Sciweavers

2877 search results - page 157 / 576
» Computational Biology
Sort
View
ECCB
2008
IEEE
15 years 4 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
TCSB
2010
15 years 2 months ago
Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...
Céline Kuttler, Cédric Lhoussaine, M...
IJON
2007
88views more  IJON 2007»
15 years 4 months ago
On developmental mental architectures
This paper presents a computational theory of developmental mental architectures for artificial and natural systems, motivated by neuroscience. The work is an attempt to approxim...
Juyang Weng
GECCO
2008
Springer
257views Optimization» more  GECCO 2008»
15 years 5 months ago
Rapid evaluation and evolution of neural models using graphics card hardware
This paper compares three common evolutionary algorithms and our modified GA, a Distributed Adaptive Genetic Algorithm (DAGA). The optimal approach is sought to adapt, in near rea...
Thomas F. Clayton, Leena N. Patel, Gareth Leng, Al...
RECOMB
2008
Springer
16 years 4 months ago
A Bayesian Approach to Protein Inference Problem in Shotgun Proteomics
The protein inference problem represents a major challenge in shotgun proteomics. Here we describe a novel Bayesian approach to address this challenge that incorporates the predict...
Yong Fuga Li, Randy J. Arnold, Yixue Li, Predrag R...