Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
8920 Publications
2004 |
Published |
Journal Article |
IST-REx-ID: 889
Kern A, Kondrashov F. Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. 2004;36(11):1207-1212. doi:10.1038/ng1451
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 898
Bazykin G, Kondrashov F, Ogurtsov A, Sunyaev S, Kondrashov A. Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. 2004;429(6991):558-562. doi:10.1038/nature02601
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 1963
Mamedova A, Holt P, Carroll J, Sazanov LA. Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. 2004;279(22):23830-23836. doi:10.1074/jbc.M401539200
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 209
Browning TD, Heath Brown R. Equal sums of three powers. Inventiones Mathematicae. 2004;157(3):553-573. doi:10.1007/s00222-004-0360-9
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2308
Novarino G, Fabrizi C, Tonini R, et al. Involvement of the intracellular ion channel CLIC1 in microglia-mediated β-amyloid-induced neurotoxicity. Journal of Neuroscience. 2004;24(23):5322-5330. doi:10.1523/JNEUROSCI.1170-04.2004
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2355 |
Lieb É, Seiringer R. Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 2004;115(1-2):185-190. doi:10.1023/B:JOSS.0000019811.15510.27
View
| DOI
| Download (ext.)
2004 |
Published |
Journal Article |
IST-REx-ID: 2356 |
Lieb É, Seiringer R, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. 2004;244(2):347-393. doi:10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)
2004 |
Published |
Journal Article |
IST-REx-ID: 2360 |
Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. Bose-Einstein quantum phase transition in an optical lattice model. Physical Review A - Atomic, Molecular, and Optical Physics. 2004;70(2):023612-1-0236121-2. doi:10.1103/PhysRevA.70.023612
View
| DOI
| Download (ext.)
2004 |
Published |
Book Chapter |
IST-REx-ID: 2417
Lovász L, Vesztergombi K, Wagner U, Welzl E. Convex quadrilaterals and k-sets . In: Pach J, ed. Towards a Theory of Geometric Graphs. Vol 342. American Mathematical Society; 2004:139-148. doi:10.1090/conm/342
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2425
Matoušek J, Wagner U. New constructions of weak ε-nets. Discrete & Computational Geometry. 2004;32(2):195-206. doi:10.1007/s00454-004-1116-4
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 2426
Giesen J, Wagner U. Shape dimension and intrinsic metric from samples of manifolds. Discrete & Computational Geometry. 2004;32(2):245-267. doi:10.1007/s00454-004-1120-8
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 7333
Santis M, Schmid D, Ruge M, Freunberger SA, Büchi FN. Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. 2004;4(3):214-218. doi:10.1002/fuce.200400028
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 7334
Mantzaras J, Freunberger SA, Büchi FN, et al. Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. 2004;58(12):857-868. doi:10.2533/000942904777677029
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 7706
Brunet A, Sweeney LB, Sturgill JF, et al. Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. 2004;303(5666):2011-2015. doi:10.1126/science.1094637
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking. In: IEEE; 2004:251-255. doi:10.1109/WPC.2004.1311069
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. The BLAST query language for software verification. In: Vol 3148. Springer; 2004:2-18. doi:10.1007/978-3-540-27864-1_2
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 6155
Cheung BH., Arellano-Carbajal F, Rybicki I, de Bono M. Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. 2004;14(12):1105-1111. doi:10.1016/j.cub.2004.06.027
View
| DOI
| PubMed | Europe PMC
2004 |
Published |
Journal Article |
IST-REx-ID: 1456 |
Hausel T, Hunsicker E, Mazzeo R. Hodge cohomology of gravitational instantons. Duke Mathematical Journal. 2004;122(3):485-548. doi:10.1215/S0012-7094-04-12233-X
View
| DOI
| Download (ext.)