_id,doi,title
889,10.1038/ng1451,Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs
898,10.1038/nature02601,Positive selection at sites of multiple amino acid replacements since rat-mouse divergence
1963,10.1074/jbc.M401539200,Substrate-induced conformational change in bacterial complex I
209,10.1007/s00222-004-0360-9,Equal sums of three powers
2308,10.1523/JNEUROSCI.1170-04.2004,Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity
2355,10.1023/B:JOSS.0000019811.15510.27, Equivalent forms of the Bessis-Moussa-Villani conjecture
2356,10.1007/s00220-003-0993-3,"One-dimensional behavior of dilute, trapped Bose gases"
2360,10.1103/PhysRevA.70.023612,Bose-Einstein quantum phase transition in an optical lattice model
2417,10.1090/conm/342,Convex quadrilaterals and k-sets 
2425,10.1007/s00454-004-1116-4,New constructions of weak ε-nets
2426,10.1007/s00454-004-1120-8,Shape dimension and intrinsic metric from samples of manifolds
7333,10.1002/fuce.200400028,"Modular stack-internal air humidification concept-verification in a 1 kW stack"
7334,10.2533/000942904777677029,Fuel cell modeling and simulations
7706,10.1126/science.1094637,Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase
4577,10.1109/WPC.2004.1311069  ,An eclipse plug-in for model checking
4578,10.1007/978-3-540-27864-1_2,The BLAST query language for software verification
4581,10.1109/ICSE.2004.1317455,Generating tests from counterexamples
4629,10.1007/978-3-540-24730-2_6,Model checking discounted temporal properties
6155,10.1016/j.cub.2004.06.027,Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
1456,10.1215/S0012-7094-04-12233-X,Hodge cohomology of gravitational instantons