Sciweavers

401 search results - page 13 / 81
» Genetic Programming Theory and Practice
Sort
View
CEC
2009
IEEE
14 years 2 months ago
Optimization of the sizing of a solar thermal electricity plant: Mathematical programming versus genetic algorithms
— Genetic algorithms (GAs) have been argued to constitute a flexible search thereby enabling to solve difficult problems which classical optimization methodologies may find ha...
Jose M. Cabello, Jose M. Cejudo, Mariano Luque, Fr...
LOPSTR
2001
Springer
13 years 12 months ago
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
Giorgio Delzanno, Sandro Etalle
EUROGP
2006
Springer
140views Optimization» more  EUROGP 2006»
13 years 11 months ago
Evolving Noisy Oscillatory Dynamics in Genetic Regulatory Networks
We introduce a genetic programming (GP) approach for evolving genetic networks that demonstrate desired dynamics when simulated as a discrete stochastic process. Our representation...
André Leier, P. Dwight Kuo, Wolfgang Banzha...
ISMB
1994
13 years 8 months ago
Genetic Map Construction with Constraints
Apilot program,CME,is describedfor generatinga physical genetic mapfromhybridization fingerprintingdata. CMEis implementedin the parallel constraint logic programming language Eli...
Dominic A. Clark, Christopher J. Rawlings, Sylvie ...
INFOCOM
2011
IEEE
12 years 11 months ago
Secure and practical outsourcing of linear programming in cloud computing
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
Cong Wang, Kui Ren, Jia Wang