Sciweavers

4211 search results - page 695 / 843
» Types as Abstract Interpretations
Sort
View
DNA
2005
Springer
113views Bioinformatics» more  DNA 2005»
15 years 10 months ago
A Self-assembly Model of Time-Dependent Glue Strength
Abstract Self-assembly is a ubiquitous process in which small objects selforganize into larger and complex structures. In 2000, Rothemund and Winfree proposed a Tile Assembly Model...
Sudheer Sahu, Peng Yin, John H. Reif
ECAL
2005
Springer
15 years 10 months ago
Biological Development of Cell Patterns: Characterizing the Space of Cell Chemistry Genetic Regulatory Networks
Abstract. Genetic regulatory networks (GRNs) control gene expression and are responsible for establishing the regular cellular patterns that constitute an organism. This paper intr...
Nicholas S. Flann, Jing Hu, Mayank Bansal, Vinay P...
ECAL
2005
Springer
15 years 10 months ago
Co-evolution of Structures and Controllers for Neubot Underwater Modular Robots
Abstract. This article presents the first results of a project in underwater modular robotics, called Neubots. The goals of the projects are to explore, following Von Neumann’s ...
Barthélémy von Haller, Auke Jan Ijsp...
EMO
2005
Springer
76views Optimization» more  EMO 2005»
15 years 10 months ago
Photonic Device Design Using Multiobjective Evolutionary Algorithms
Abstract. The optimization and design of two different types of photonic devices - a Fibre Bragg Grating and a Microstructured Polymer Optical Fibre is presented in light of multi...
Steven Manos, Leon Poladian, Peter J. Bentley, Mar...
EPEW
2005
Springer
15 years 10 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes