533 search results - page 76 / 107 » Protocol synthesis from timed and structured specifications |
PROFES
2001
Springer
14 years 3 months ago
2001
Springer
New information is obtained by research and disseminated by papers in conferences and journals. The synthesis of knowledge depends upon social discourse among the experts in a give...
TASLP
2010
13 years 5 months ago
2010
Abstract-- In many research fields of engineering and acoustics, the image-source model represents one of the most popular tools for the simulation of sound fields in virtual rever...
GECCO
2006
Springer
14 years 2 months ago
2006
Springer
Embedded Cartesian Genetic Programming (ECGP) is an extension of Cartesian Genetic Programming (CGP) that can automatically acquire, evolve and re-use partial solutions in the for...
BMCBI
2007
13 years 11 months ago
2007
Background: Peptide ligands have tremendous therapeutic potential as efficacious drugs. Currently, more than 40 peptides are available in the market for a drug. However, since cos...
ISMB
1997
14 years 9 days ago
1997
We are building a knowledge base (KB) of published structural data on the 30s ribosomal subunit in prokaryotes. Our KB is distinguished by a standardized representation of biologi...