]> BibSonomy publications for /author/Ibarra-Berastegi http://www.bibsonomy.org/burst/author/Ibarra-Berastegi BibSonomy BuRST Feed for /author/Ibarra-Berastegi 2008-07-20T23:40:02+02:00 Transformation of Equational Specification by Means of Genetic Programming http://www.bibsonomy.org/bibtex/27f266a7bc60bd28e4f91203930a4e6f4/brazovayeye brazovayeye 2008-06-19T17:35:00+02:00 FRESH algorithms, genetic programming,
Transformation of Equational Specification by Means of Genetic Programming
Aitor Ibarra and J. Lanchares and J. Mendias and J. I. Hidalgo and R. Hermida Genetic Programming, Proceedings of the 5th European Conference, EuroGP 2002 248--257 (2002)
to FRESH algorithms, genetic programming, by brazovayeye on 2008-06-19 17:35:00 ]]> Kinsale, IrelandGenetic Programming, Proceedings of the 5th European Conference, EuroGP 20023-5 April248--257LNCSTransformation of Equational Specification by Means of Genetic Programming22782002FRESH algorithms, genetic programming, 2008-06-19 17:35:00.0High Level Synthesis (HLS) is a designing methodology aimed to the synthesis of hardware devices from behavioural specifications. One of the techniques used in HLS is formal verification. In this work we present an evolutionary algorithm in order to optimize circuit equational specifications by means of a special type of genetic operator. We have named this operator algebraic mutation, carried out with the help of the equations that Formal Verification Synthesis offers. This work can be classified within the development of an automatic tool of Formal Verification Synthesis by using genetic techniques. We have applied this technique to a simple circuit equational specification and to a much more complex algebraic equation. In the first case our algorithm simplifies the equation until the best specification is found and in the second a solution improving the former is always obtained. Guest Editors' Introduction: Intelligent Systems for Interactive Entertainment. dblphttp://www.bibsonomy.org/bibtex/222eb2339f2963a1287ca689d54816547/dblp dblp 2008-06-05T00:00:00+02:00 dblp
Guest Editors' Introduction: Intelligent Systems for Interactive Entertainment.
Dina Goren-Bar and Oscar Mayora-Ibarra IEEE Intelligent Systems 21 10-12 (2006)
to dblp by dblp on 2008-06-05 00:00:00 ]]> IEEE Intelligent Systems510-12Guest Editors' Introduction: Intelligent Systems for Interactive Entertainment.212006dblp 2008-06-05 00:00:00.0 Computing with Cells: Membrane Systems. dblphttp://www.bibsonomy.org/bibtex/2c850ac3fa7776298797e2cb7b41fec14/dblp dblp 2008-05-19T00:00:00+02:00 dblp
Computing with Cells: Membrane Systems.
Oscar H. Ibarra ISPAN 3 (2008)
to dblp by dblp on 2008-05-19 00:00:00 ]]> ISPANconf/ispan/20083Computing with Cells: Membrane Systems.2008dblp 2008-05-19 00:00:00.0 On Stateless Multihead Automata: Hierarchies and the Emptiness Problem. dblphttp://www.bibsonomy.org/bibtex/2851be127cf4d7d5061229d0f28bf7ab4/dblp dblp 2008-04-25T00:00:00+02:00 dblp
On Stateless Multihead Automata: Hierarchies and the Emptiness Problem.
Oscar H. Ibarra and Juhani Karhumäki and Alexander Okhotin LATIN 94-105 (2008)
to dblp by dblp on 2008-04-25 00:00:00 ]]> LATINconf/latin/200894-105Lecture Notes in Computer ScienceOn Stateless Multihead Automata: Hierarchies and the Emptiness Problem.49572008dblp 2008-04-25 00:00:00.0 Fractality and time correlation in contemporary war Chaos, Solitons & Fractalshttp://www.bibsonomy.org/bibtex/293ac71c1a2dc713229965bfd96127fa5/smicha smicha 2008-04-22T12:52:29+02:00 imported
Fractality and time correlation in contemporary war
J. Alvarez-Ramirez and C. Ibarra-Valdez and E. Rodriguez and R. Urrea Chaos, Solitons \& Fractals 34 1039--1049 (2007)
to imported by smicha on 2008-04-22 12:52:29 ]]> Chaos, Solitons \& FractalsNov41039--1049Fractality and time correlation in contemporary war342007imported 2008-04-22 12:52:29.0 Trading strategies, feedback control and market dynamics Physica Ahttp://www.bibsonomy.org/bibtex/2a265436a217eb97abf636d960e26246d/smicha smicha 2008-04-22T10:36:30+02:00 Feedback
Trading strategies, feedback control and market dynamics
Jose Alvarez-Ramirez and Rodolfo Suarez and Carlos Ibarra-Valdez Physica A: Statistical Mechanics and its Applications 324 220--226 (2003)
to Feedback by smicha on 2008-04-22 10:36:30 ]]> Physica A: Statistical Mechanics and its ApplicationsJun1-2220--226Trading strategies, feedback control and market dynamics3242003Feedback 012008-04-22 10:36:30.0 Technical trading can induce long-run memory in financial markets Physica Ahttp://www.bibsonomy.org/bibtex/227e367e28973e614e8365e7ab1101b2b/smicha smicha 2008-04-22T10:36:30+02:00 Econophysics
Technical trading can induce long-run memory in financial markets
Jose Alvarez-Ramirez and Angel Soriano and Carlos Ibarra-Valdez and Myriam Cisneros Physica A: Statistical Mechanics and its Applications 316 483--495 (2002)
to Econophysics by smicha on 2008-04-22 10:36:30 ]]> Physica A: Statistical Mechanics and its ApplicationsDec1-4483--495Technical trading can induce long-run memory in financial markets3162002Econophysics 152008-04-22 10:36:30.0 1/f-Noise structures in Pollocks's drip paintings Physica Ahttp://www.bibsonomy.org/bibtex/2015bd3f999da2462ee91cf68b5a65fe8/smicha smicha 2008-04-22T10:36:30+02:00 Visual arts
1/f-Noise structures in Pollocks's drip paintings
Jose Alvarez-Ramirez and Carlos Ibarra-Valdez and Eduardo Rodriguez and Leonardo Dagdug Physica A: Statistical Mechanics and its Applications 387 281--295 (2008)
to Visual arts by smicha on 2008-04-22 10:36:30 ]]> Physica A: Statistical Mechanics and its ApplicationsJan1281--2951/f-Noise structures in Pollocks's drip paintings3872008Visual arts 012008-04-22 10:36:30.0 A modified Taylor rule for dealing with demand shocks and uncertain potential macroeconomic output Physica Ahttp://www.bibsonomy.org/bibtex/2dc91593bd243d158566a8d3ff84fa6dd/smicha smicha 2008-04-22T10:36:30+02:00 Monetary policy
A modified Taylor rule for dealing with demand shocks and uncertain potential macroeconomic output
Jose Alvarez-Ramirez and Carlos Ibarra-Valdez and Guillermo Fernandez-Anaya and Francisco Villarreal Physica A: Statistical Mechanics and its Applications 387 1283--1300 (2008)
to Monetary policy by smicha on 2008-04-22 10:36:30 ]]> Physica A: Statistical Mechanics and its ApplicationsFeb5-61283--1300A modified Taylor rule for dealing with demand shocks and uncertain potential macroeconomic output3872008Monetary policy 152008-04-22 10:36:30.0 Power-law periodicity in the 2003-2004 crude oil price dynamics Physica Ahttp://www.bibsonomy.org/bibtex/297f2c5e297f0ca5c32cb9ebd431e14eb/smicha smicha 2008-04-22T10:36:30+02:00 Crude market oil
Power-law periodicity in the 2003-2004 crude oil price dynamics
Jose Alvarez-Ramirez and Carlos Ibarra-Valdez and Araceli Bernabe and Eduardo Rodriguez Physica A: Statistical Mechanics and its Applications 349 625--640 (2005)
to Crude market oil by smicha on 2008-04-22 10:36:30 ]]> Physica A: Statistical Mechanics and its ApplicationsApr3-4625--640Power-law periodicity in the 2003-2004 crude oil price dynamics3492005Crude market oil 152008-04-22 10:36:30.0