by
Durand-Lose, Jérôme. editor.
Format:
Electronic Resources
Excerpt:
Representations by Language Equations -- Slightly Beyond Turing’s Computability for Studying Genetic Programming
by
Horimoto, Katsuhisa. editor.
Format:
Electronic Resources
Excerpt:
Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits -- On the
View Other Search Results
by
Ur, Shmuel. editor.
Format:
Electronic Resources
Excerpt:
Infrastructure for Testing -- Effective Black-Box Testing with Genetic Algorithms -- Optimal Algorithmic
by
Ramakrishnan, C. R. editor.
Format:
Electronic Resources
Excerpt:
-- Analyzing Stripped Device-Driver Executables -- Model Checking-Based Genetic Programming with an Application
by
Hespanha, João P. editor.
Format:
Electronic Resources
Excerpt:
Choice of Input Sets -- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal
by
Gabbrielli, Maurizio. editor.
Format:
Electronic Resources
Excerpt:
Algorithms and Constraint Propagation for the BACP -- The MYDDAS Project: Using a Deductive Database for
by
Cha, Sungdeok (Steve). editor.
Format:
Electronic Resources
Excerpt:
Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic
by
Grumberg, Orna. editor.
Format:
Electronic Resources
Excerpt:
-- Automata-Based Model Checking -- Improved Algorithms for the Automata-Based Approach to Model-Checking -- GOAL: A
by
Sichman, Jaime Simão. editor.
Format:
Electronic Resources
Excerpt:
-- Gait Control Generation for Physically Based Simulated Robots Using Genetic Algorithms -- Does Complex
Limit Search Results
Narrowed by: