Please note that IST 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.

6113 Publications


2004 | Journal Article | IST-REx-ID: 4238
H. de Vladar and J. González, “Dynamic response of cancer under the influence of immunological activity and therapy,” Journal of Theoretical Biology, vol. 227, no. 3. Elsevier, pp. 335–348, 2004.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
H. de Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A Mechanism for the Prebiotic Emergence of Proteins,” in Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, vol. 7, J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, Eds. Springer, 2004, pp. 83–87.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
N. H. Barton, A. Etheridge, and A. Sturm, “Coalescence in a Random Background,” Annals of Applied Probability, vol. 14, no. 2. Institute of Mathematical Statistics, pp. 754–785, 2004.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 7333
M. Santis, D. Schmid, M. Ruge, S. A. Freunberger, and F. N. Büchi, “Modular stack-internal air humidification concept-verification in a 1 kW stack,” Fuel Cells, vol. 4, no. 3. Wiley, pp. 214–218, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA International Journal for Chemistry, vol. 58, no. 12. Swiss Chemical Society, pp. 857–868, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
A. Brunet et al., “Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase,” Science, vol. 303, no. 5666. American Association for the Advancement of Science, pp. 2011–2015, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8517
D. Dolgopyat, V. Kaloshin, and L. Koralov, “A limit shape theorem for periodic stochastic dispersion,” Communications on Pure and Applied Mathematics, vol. 57, no. 9. Wiley, pp. 1127–1158, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
L. Koralov, V. Kaloshin, and D. Dolgopyat, “Sample path properties of the stochastic flows,” The Annals of Probability, vol. 32, no. 1A. Institute of Mathematical Statistics, pp. 1–27, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, and A. Kondrashov, “Positive selection at sites of multiple amino acid replacements since rat-mouse divergence,” Nature, vol. 429, no. 6991. Nature Publishing Group, pp. 558–562, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
A. Panchenko, F. Kondrashov, and S. Bryant, “Prediction of functional sites by analysis of sequence and structure conservation,” Protein Science, vol. 13, no. 4. Wiley-Blackwell, pp. 884–892, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
F. Kondrashov and E. Koonin, “A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications,” Trends in Genetics, vol. 20, no. 7. Elsevier, pp. 287–291, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
F. Kondrashov, A. Ogurtsov, and A. Kondrashov, “Bioinformatical assay of human gene morbidity,” Nucleic Acids Research, vol. 32, no. 5. Oxford University Press, pp. 1731–1737, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs,” Nature Genetics, vol. 36, no. 11. Nature Publishing Group, pp. 1207–1212, 2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
C. Castillo Davis, F. Kondrashov, D. Hartl, and R. Kulathinal, “The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint,” Genome Research, vol. 14, no. 5. Cold Spring Harbor Laboratory Press, pp. 802–811, 2004.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
T. Hausel and M. Thaddeus, “Mirror symmetry, langlands duality, and the Hitchin system,” Inventiones Mathematicae, vol. 153, no. 1. Springer, pp. 197–229, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
T. Hausel and M. Thaddeus, “Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles,” Journal of the American Mathematical Society, vol. 16, no. 2. American Mathematical Society, pp. 303–329, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
G. Etesi and T. Hausel, “On Yang-Mills instantons over multi-centered gravitational instantons,” Communications in Mathematical Physics, vol. 235, no. 2. Springer, pp. 275–288, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 166 | OA
T. D. Browning and M. Swarbick Jones, “Counting rational points on del Pezzo surfaces of degree 5,” Proceedings of the Bonn session in analytic number theory and diophantine equations, vol. 360. Mathematisches Institut der Universität Bonn, 2003.
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 1959
P. Holt, D. Morgan, and L. A. Sazanov, “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, vol. 278, no. 44. American Society for Biochemistry and Molecular Biology, pp. 43114–43120, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1960
L. A. Sazanov, J. Carroll, P. Holt, L. Toime, and I. Fearnley, “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, vol. 278, no. 21. American Society for Biochemistry and Molecular Biology, pp. 19483–19491, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 205
T. D. Browning, “Counting rational points on cubic and quartic surfaces,” Acta Arithmetica, vol. 108, no. 3. Instytut Matematyczny, pp. 275–295, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
T. D. Browning, “A note on the distribution of rational points on threefolds,” Quarterly Journal of Mathematics, vol. 54, no. 1. Unknown, pp. 33–39, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
T. D. Browning, “Sums of four biquadrates,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 134, no. 3. Cambridge University Press, pp. 385–395, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
T. D. Browning, “Counting rational points on diagonal quadratic surfaces,” Quarterly Journal of Mathematics, vol. 54, no. 1. Oxford University Press, pp. 11–31, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
É. Lieb and R. Seiringer, “Bose-Einstein condensation of dilute gases in traps ,” presented at the Differential Equations and Mathematical Physics, 2003, vol. 327, pp. 239–250.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
R. Seiringer, “Ground state asymptotics of a dilute, rotating gas,” Journal of Physics A: Mathematical and Theoretical, vol. 36, no. 37. IOP Publishing Ltd., pp. 9755–9778, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Poincaré inequalities in punctured domains,” Annals of Mathematics, vol. 158, no. 3. Princeton University Press, pp. 1067–1080, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional Bosons in three-dimensional traps,” Physical Review Letters, vol. 91, no. 15. American Physical Society, pp. 1504011–1504014, 2003.
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
U. Wagner, “On k-Sets and Their Applications,” ETH Zurich, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
U. Wagner, “On the rectilinear crossing number of complete graphs,” presented at the SODA: Symposium on Discrete Algorithms, 2003, pp. 583–588.
View | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 2423
J. Matoušek and U. Wagner, “New constructions of weak epsilon-nets,” presented at the SoCG: Symposium on Computational Geometry, 2003, pp. 129–135.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2424
J. Giesen and U. Wagner, “Shape dimension and intrinsic metric from samples of manifolds with high co-dimension,” presented at the SoCG: Symposium on Computational Geometry, 2003, pp. 329–337.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2623
M. Coesmans et al., “Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies,” Annals of Neurology, vol. 53, no. 3. Wiley-Blackwell, pp. 325–336, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, and T. Hirano, “Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons,” European Journal of Neuroscience, vol. 17, no. 5. Wiley-Blackwell, pp. 1023–1032, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, and M. Takada, “Differential expression patterns of mGluR1α in monkey nigral dopamine neurons,” Neuroreport, vol. 14, no. 7. Lippincott, Williams & Wilkins, pp. 947–950, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, and I. Ito, “Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry,” Science, vol. 300, no. 5621. American Association for the Advancement of Science, pp. 990–994, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2628
A. Momiyama et al., “The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats,” Journal of Physiology, vol. 549, no. 1. Wiley-Blackwell, pp. 75–92, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2629
P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, and R. Shigemoto, “High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus,” European Journal of Neuroscience, vol. 17, no. 12. Wiley-Blackwell, pp. 2503–2520, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2630
T. Toyono, Y. Seta, S. Kataoka, S. Kawano, R. Shigemoto, and K. Toyoshima, “Expression of metabotropic glutamate receptor group I in rat gustatory papillae,” Cell and Tissue Research, vol. 313, no. 1. Springer, pp. 29–35, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2631
H. Higashida et al., “Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells,” Journal of Neurochemistry, vol. 85, no. 5. Wiley-Blackwell, pp. 1148–1158, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2632
N. Holderith, R. Shigemoto, and Z. Nusser, “Cell type-dependent expression of HCN1 in the main olfactory bulb,” European Journal of Neuroscience, vol. 18, no. 2. Wiley-Blackwell, pp. 344–354, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2633
C. Millán, E. Castro, M. Torres, R. Shigemoto, and J. Sánchez Prieto, “Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats,” Journal of Biological Chemistry, vol. 278, no. 26. American Society for Biochemistry and Molecular Biology, pp. 23955–23962, 2003.
View | DOI
 

Search

Filter Publications