Sciweavers

13500 search results - page 2567 / 2700
» Improved analysis of D
Sort
View
AI
2008
Springer
14 years 11 months ago
The well-designed young mathematician
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
Aaron Sloman
ALMOB
2008
95views more  ALMOB 2008»
14 years 11 months ago
A stitch in time: Efficient computation of genomic DNA melting bubbles
Background: It is of biological interest to make genome-wide predictions of the locations of DNA melting bubbles using statistical mechanics models. Computationally, this poses th...
Eivind Tøstesen
APAL
2010
115views more  APAL 2010»
14 years 11 months ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev
BIB
2010
129views more  BIB 2010»
14 years 11 months ago
Pathway Tools version 13.0: integrated software for pathway/genome informatics and systems biology
PathwayTools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB). A PGDB such as EcoCyc integrates ...
Peter D. Karp, Suzanne M. Paley, Markus Krummenack...
BIODATAMINING
2008
120views more  BIODATAMINING 2008»
14 years 11 months ago
Filling the gap between biology and computer science
This editorial introduces BioData Mining, a new journal which publishes research articles related to advances in computational methods and techniques for the extraction of useful ...
Jesús S. Aguilar-Ruiz, Jason H. Moore, Mary...
« Prev « First page 2567 / 2700 Last » Next »