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.
9114 Publications
2004 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 864
Panchenko A, Kondrashov F, Bryant S. Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. 2004;13(4):884-892. doi:10.1110/ps.03465504
View
| DOI
2004 | Journal Article | IST-REx-ID: 870
Kondrashov F, Ogurtsov A, Kondrashov A. Bioinformatical assay of human gene morbidity. Nucleic Acids Research. 2004;32(5):1731-1737. doi:10.1093/nar/gkh330
View
| DOI
2004 | Journal Article | IST-REx-ID: 875
Kondrashov F, Koonin E. A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. 2004;20(7):287-291. doi:10.1016/j.tig.2004.05.001
View
| DOI
2004 | 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 | 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 | Journal Article | IST-REx-ID: 9517 |
Xie Z, Johansen LK, Gustafson AM, et al. Genetic and functional diversification of small RNA pathways in plants. PLoS Biology. 2004;2(5):0642-0652. doi:10.1371/journal.pbio.0020104
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2004 | 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
2004 | Journal Article | IST-REx-ID: 8517
Dolgopyat D, Kaloshin V, Koralov L. A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. 2004;57(9):1127-1158. doi:10.1002/cpa.20032
View
| DOI
2004 | Journal Article | IST-REx-ID: 8518
Koralov L, Kaloshin V, Dolgopyat D. Sample path properties of the stochastic flows. The Annals of Probability. 2004;32(1A):1-27. doi:10.1214/aop/1078415827
View
| DOI
2004 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 12203
Liao Z, Chen M, Gong Y, et al. A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides. DNA Sequence. 2004;15(2):153-158. doi:10.1080/10425170410001667348
View
| DOI
| PubMed | Europe PMC
2004 | 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 | 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 | 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
2003 | Journal Article | IST-REx-ID: 11122
Walther TC, Alves A, Pickersgill H, et al. The conserved Nup107-160 complex is critical for nuclear pore complex assembly. Cell. 2003;113(2):195-206. doi:10.1016/s0092-8674(03)00235-6
[Published Version]
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 11121
Walther TC, Askjaer P, Gentzel M, et al. RanGTP mediates nuclear pore complex assembly. Nature. 2003;424(6949):689-694. doi:10.1038/nature01898
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 11766 |
Henzinger MH, Leonardi S. Scheduling multicasts on unit-capacity trees and meshes. Journal of Computer and System Sciences. 2003;66(3):567-611. doi:10.1016/s0022-0000(03)00043-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
2003 | Journal Article | IST-REx-ID: 11764
Goel A, Henzinger MH, Plotkin S, Tardos E. Scheduling data transfers in a network and the set scheduling problem. Journal of Algorithms. 2003;48(2):314-332. doi:10.1016/s0196-6774(03)00054-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 11897
Bharat K, Henzinger MH. Improved algorithms for topic distillation in a hyperlinked environment. In: 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery; 2003:104–111. doi:10.1145/290941.290972
View
| DOI
2003 | Conference Paper | IST-REx-ID: 11860
Henzinger MH, Chang B-W, Milch B, Brin S. Query-free news search. In: Proceedings of the 12th International Conference on World Wide Web. Association for Computing Machinery; 2003. doi:10.1145/775152.775154
View
| Files available
| DOI
2003 | Conference Paper | IST-REx-ID: 11909 |
Henzinger MH, Motwani R, Silverstein C. Challenges in web search engines. In: 18th International Joint Conference on Artificial Intelligence. Association for Computing Machinery; 2003:1573-1579.
[Published Version]
View
| Download Published Version (ext.)
2003 | Journal Article | IST-REx-ID: 1457 |
Hausel T, Thaddeus M. Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. 2003;153(1):197-229. doi:10.1007/s00222-003-0286-7
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 1458 |
Hausel T, Thaddeus M. Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles. Journal of the American Mathematical Society. 2003;16(2):303-329. doi:10.1090/S0894-0347-02-00417-4
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 1459 |
Etesi G, Hausel T. On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics. 2003;235(2):275-288. doi:10.1007/s00220-003-0806-8
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 166 |
Browning TD, Swarbick Jones M. Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn session in analytic number theory and diophantine equations. 2003;360.
View
| Download None (ext.)
| arXiv
2003 | Journal Article | IST-REx-ID: 1959
Holt P, Morgan D, Sazanov LA. The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping. Journal of Biological Chemistry. 2003;278(44):43114-43120. doi:10.1074/jbc.M308247200
View
| DOI
2003 | Journal Article | IST-REx-ID: 1960
Sazanov LA, Carroll J, Holt P, Toime L, Fearnley I. A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry. 2003;278(21):19483-19491. doi:10.1074/jbc.M208959200
View
| DOI
2003 | Journal Article | IST-REx-ID: 205
Browning TD. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 2003;108(3):275-295. doi:10.4064/aa108-3-7
View
| DOI
2003 | Journal Article | IST-REx-ID: 206
Browning TD. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 2003;54(1):33-39. doi:10.1093/qjmath/54.1.33
View
| DOI
2003 | Journal Article | IST-REx-ID: 207
Browning TD. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 2003;134(3):385-395. doi:10.1017/S0305004102006382
View
| DOI
2003 | Journal Article | IST-REx-ID: 208
Browning TD. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 2003;54(1):11-31. doi:10.1093/qjmath/54.1.11
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2337 |
Lieb É, Seiringer R. Bose-Einstein condensation of dilute gases in traps . In: Karpeshina Y, Weikard R, Zeng Y, eds. Vol 327. American Mathematical Society; 2003:239-250. doi:10.1090/conm/327/05818
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2357 |
Lieb É, Seiringer R, Yngvason J. Poincaré inequalities in punctured domains. Annals of Mathematics. 2003;158(3):1067-1080. doi:10.4007/annals.2003.158.1067
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2354 |
Seiringer R. Ground state asymptotics of a dilute, rotating gas. Journal of Physics A: Mathematical and Theoretical. 2003;36(37):9755-9778. doi:10.1088/0305-4470/36/37/312
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2358 |
Lieb É, Seiringer R, Yngvason J. One-dimensional Bosons in three-dimensional traps. Physical Review Letters. 2003;91(15):1504011-1504014. doi:10.1103/PhysRevLett.91.150401
View
| DOI
| Download (ext.)
2003 | Thesis | IST-REx-ID: 2414
Wagner U. On k-Sets and Their Applications. 2003. doi:10.3929/ethz-a-004708408
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2424
Giesen J, Wagner U. Shape dimension and intrinsic metric from samples of manifolds with high co-dimension. In: ACM; 2003:329-337. doi:10.1145/777792.777841
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2423
Matoušek J, Wagner U. New constructions of weak epsilon-nets. In: ACM; 2003:129-135. doi:10.1145/777792.777813
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2422
Wagner U. On the rectilinear crossing number of complete graphs. In: SIAM; 2003:583-588.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2623
Coesmans M, Sillevis Smitt P, Linden D, et al. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 2003;53(3):325-336. doi:10.1002/ana.10451
View
| DOI
2003 | Journal Article | IST-REx-ID: 2625
Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. 2003;17(5):1023-1032. doi:10.1046/j.1460-9568.2003.02499.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2626
Kaneda K, Imanishi M, Nambu A, Shigemoto R, Takada M. Differential expression patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. 2003;14(7):947-950. doi:10.1097/01.wnr.0000074344.81633.e4
View
| DOI