Sciweavers

1781 search results - page 131 / 357
» Functional Answer Set Programming
Sort
View
ICLP
2004
Springer
15 years 7 months ago
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
Olivier Defour, Jean-Marc Jézéquel, ...
ESOP
2001
Springer
15 years 6 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen
CSB
2005
IEEE
124views Bioinformatics» more  CSB 2005»
15 years 7 months ago
Discovering Functional Transcription Factor Binding from Superimposed Gene Networks
The availability of entire genome sequences, coupled with genome-wide studies of gene expression, offers promise for discovering new pathways along with their regulatory programs....
Matthew T. Weirauch, Joshua M. Stuart
GECCO
2004
Springer
139views Optimization» more  GECCO 2004»
15 years 7 months ago
Chemical Genetic Programming - Coevolution Between Genotypic Strings and Phenotypic Trees
Chemical Genetic Programming (CGP) is a new method of genetic programming that introduced collision-based biochemical processes and realized dynamic mapping from genotypic strings ...
Wojciech Piaseczny, Hideaki Suzuki, Hidefumi Sawai
BMCBI
2008
90views more  BMCBI 2008»
15 years 1 months ago
Function2Gene: A gene selection tool to increase the power of genetic association studies by utilizing public databases and expe
Background: Many common disorders have multiple genetic components which convey increased susceptibility. SNPs have been used to identify genetic components which are associated w...
Don L. Armstrong, Chaim O. Jacob, Raphael Zidovetz...