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.
111 Publications
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.)
2004 |
Published |
Journal Article |
IST-REx-ID: 1464 |
Hausel T, Thaddeus M. Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. 2004;88(3):632-658. doi:10.1112/S0024611503014618
View
| DOI
| Download (ext.)
2004 |
Published |
Journal Article |
IST-REx-ID: 13434
Campbell CJ, Fialkowski M, Klajn R, Bensemann IT, Grzybowski BA. Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts. Advanced Materials. 2004;16(21):1912-1917. doi:10.1002/adma.200400383
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 13435
Klajn R, Fialkowski M, Bensemann IT, et al. Multicolour micropatterning of thin films of dry gels. Nature Materials. 2004;3:729-735. doi:10.1038/nmat1231
View
| DOI
| PubMed | Europe PMC
2004 |
Published |
Journal Article |
IST-REx-ID: 902
Castillo Davis C, Kondrashov F, Hartl D, Kulathinal R. The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. 2004;14(5):802-811. doi:10.1101/gr.2195604
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 9454
Chan SW-L, Zilberman D, Xie Zhixin, Johansen Lisa K., Carrington JC, Jacobsen SE. RNA silencing genes control de novo DNA methylation. Science. 2004;303(5662):1336. doi:10.1126/science.1095989
View
| DOI
| PubMed | Europe PMC
2004 |
Published |
Journal Article |
IST-REx-ID: 9493 |
Zilberman D, Cao X, Johansen LK, Xie Z, Carrington JC, Jacobsen SE. Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats. Current Biology. 2004;14(13):1214-1220. doi:10.1016/j.cub.2004.06.055
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2004 |
Published |
Journal Article |
IST-REx-ID: 9511 |
Zilberman D, Henikoff S. Silencing of transposons in plant genomes: kick them when they’re down. Genome Biology. 2004;5(12). doi:10.1186/gb-2004-5-12-249
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC