_id,doi,title
4225,10.1101/gr.6144007,Evolution and multilevel optimization of the genetic code
4226,10.1126/science.1135774,Kinetics of morphogen gradient formation
4233,3808,Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
4234,10.1016/j.physa.2006.06.025,"Determinism, noise, and spurious estimations in a generalised model of population growth"
4246,10.1016/j.tree.2007.07.007,Do evolution and ecology need the Gaia hypothesis?
4247,10.1086/510602,The relation between multilocus population genetics and social evolution theory
4342,601,Library 2.0 and User-Generated Content - What can the users do for us?
4343,485,Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei
4344,45,Bibliothek 2.0 ? Wird alles anders?
4353,10.1371/journal.pone.0000197,The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing
4354,10.1101/gr.5890907,Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA
4355,10.1093/molbev/msm056,Clonal interference is alleviated by high mutation rates in large populations
4356,10.1101/gr.6254707,Genes under positive selection in Escherichia coli
4368,1567,AMT: a property-based monitoring tool for analog systems
4370,1568,On synthesizing controllers from bounded-response properties
4394,1552,Using First-Order Theorem Provers in the Jahob Data Structure Verification System
4398,1553,Shape Analysis for Composite Data Structures
4399,10.1007/978-3-540-73368-3_4,Algorithms for interface synthesis
4402,1544,Model Checking on Trees with Path Equivalences
4405,10.1186/1752-0509-1-4,Qualitative networks: A symbolic approach to analyze biological signaling networks