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.

109 Publications


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

2003 | Journal Article | IST-REx-ID: 206
A note on the distribution of rational points on threefolds
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
Differential expression patterns of mGluR1α in monkey nigral dopamine neurons
K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, M. Takada, Neuroreport 14 (2003) 947–950.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2633
Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats
C. Millán, E. Castro, M. Torres, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 278 (2003) 23955–23962.
View | DOI
 

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

2003 | Conference Paper | IST-REx-ID: 2424 View | DOI
 

2003 | Journal Article | IST-REx-ID: 2784
Magnetohydrodynamic damping of convective flows in molten gallium
B. Hof, A. Juel, T. Mullin, Journal of Fluid Mechanics 482 (2003) 163–179.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
Automated whole mount localisation techniques for plant seedlings
J. Friml, E. Benková, U. Mayer, K. Palme, G. Muster, Plant Journal 34 (2003) 115–124.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3174
Visual correspondence using energy minimization and mutual information
J. Kim, V. Kolmogorov, R. Zabih, in:, IEEE, 2003, pp. 1033–1040.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3150
Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant
D.E. Siekhaus, D. Drubin, Nature Cell Biology 5 (2003) 231–235.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3528
Mechanisms of gamma oscillations in the hippocampus of the behaving rat
J.L. Csicsvari, B. Jamieson, K. Wise, G. Buzsáki, Neuron 37 (2003) 311–322.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3573
Surface reconstruction by wrapping finite sets in space
H. Edelsbrunner, in:, Discrete & Computational Geometry, Springer, 2003, pp. 379–404.
View | DOI | Download (ext.)
 

2003 | Book Chapter | IST-REx-ID: 3458
Molekulare und zelluläre Grundlagen des Nervensystems.
P.M. Jonas, K. Unsicker, in:, R. Schmidt (Ed.), Lehrbuch Vorklinik, Deutscher Ärzte Verlag, 2003, pp. 3–26.
View
 

2003 | Journal Article | IST-REx-ID: 3725   OA
Unfolding pathways of native bacteriorhodopsin depend on temperature
H.L. Janovjak, M. Kessler, D. Oesterhelt, H. Gaub, D. Mueller, EMBO Journal 22 (2003) 5220–5229.
View | DOI | Download (ext.)
 

2003 | Book Chapter | IST-REx-ID: 3991
Area and perimeter derivatives of a union of disks
H. Cheng, H. Edelsbrunner, in:, Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, Springer, 2003, pp. 88–97.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants
S. Cremer, J. Heinze, Current Biology 13 (2003) 219–223.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4146
Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation
F. Ulrich, M. Concha, P. Heid, E. Voss, S. Witzel, H. Roehl, M. Tada, S. Wilson, R. Adams, D. Soll, C. Heisenberg, Development 130 (2003) 5375–5384.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4254
Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation
A. Navarro, N.H. Barton, Evolution; International Journal of Organic Evolution 57 (2003) 447–459.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Stochastic mapping of morphological characters
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–58.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
True and false gharials: A nuclear gene phylogeny of crocodylia
J. Harshman, C. Huddleston, J.P. Bollback, T. Parsons, M. Braun, Systematic Biology 52 (2003) 386–402.
View | DOI
 

2003 | Thesis | IST-REx-ID: 4425
Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
View
 

2003 | Conference Paper | IST-REx-ID: 4463
Thread-modular abstraction refinement
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Springer, 2003, pp. 262–274.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
From control models to real-time code using Giotto
T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 876 View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 1960
A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I)
L.A. Sazanov, J. Carroll, P. Holt, L. Toime, I. Fearnley, Journal of Biological Chemistry 278 (2003) 19483–19491.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Sums of four biquadrates
T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 134 (2003) 385–395.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry
R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, I. Ito, Science 300 (2003) 990–994.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2634
Blockade of GABAB receptors alters the tangential migration of cortical neurons
G. López Bendito, R. Luján, R. Shigemoto, P. Ganter, O. Paulsen, Z. Molnár, Cerebral Cortex 13 (2003) 932–942.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2785
Scaling of the turbulence transition threshold in a pipe
B. Hof, A. Juel, T. Mullin, Physical Review Letters 91 (2003) 244502/1-244502/4.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
Regulation of phyllotaxis by polar auxin transport
D. Reinhardt, E. Pesce, P. Stieger, T. Mandel, K. Baltensperger, M. Bennett, J. Traas, J. Friml, C. Kuhlemeier, Nature 426 (2003) 255–260.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development
L. Rayburn, H. Gooding, S. Choksi, D. Maloney, A. Kidd, D.E. Siekhaus, M. Bender, Genetics 163 (2003) 227–237.
View
 

2003 | Conference Paper | IST-REx-ID: 3170
Computing geodesics and minimal surfaces via graph cuts
Y. Boykov, V. Kolmogorov, in:, IEEE, 2003, pp. 26–33.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3529
Massively parallel recording of unit and local field potentials with silicon-based electrodes
J.L. Csicsvari, D. Henze, B. Jamieson, K. Harris, A. Sirota, P. Bartho, K. Wise, G. Buzsáki, Journal of Neurophysiology 90 (2003) 1314–1323.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3536
Hippocampal network patterns of activity in the mouse
G. Buzsáki, D. Buhl, K. Harris, J.L. Csicsvari, B. Czéh, A. Morozov, Neuroscience 116 (2003) 201–211.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3543
Communication between neocortex and hippocampus during sleep in rodents
A. Sirota, J.L. Csicsvari, D. Buhl, G. Buzsáki, PNAS 100 (2003) 2065–2069.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3593
A branching time temporal framework for quantitative reasoning
K. Chatterjee, P. Dasgupta, P. Chakrabarti, Journal of Automated Reasoning 30 (2003) 205–232.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3618
A new approach to detecting mixed families
T. Vines, N.H. Barton, Molecular Ecology 12 (2003) 1999–2002.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae)
B. Nürnberger, S. Hofman, B. Förg Brey, G. Praetzel, A. Maclean, J. Szymura, C. Abbott, N.H. Barton, Heredity 91 (2003) 136–142.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3752   OA
Modeling network dynamics: the lac operon, a case study
J. Vilar, C.C. Guet, S. Leibler, Journal of Cell Biology 161 (2003) 471–476.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3992
The weighted-volume derivative of a space-filling diagram
H. Edelsbrunner, P. Koehl, PNAS 100 (2003) 2203–2208.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
A multi-resolution data structure for two-dimensional Morse-Smale functions
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, in:, IEEE, 2003, pp. 139–146.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255 View | DOI
 

2003 | Journal Article | IST-REx-ID: 4185
The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation
B. Kilian, H. Mansukoski, F. Barbosa, F. Ulrich, M. Tada, C. Heisenberg, Mechanisms of Development 120 (2003) 467–476.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Schedule-carrying code
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2003, pp. 241–256.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
Discounting the future in systems theory
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Springer, 2003, pp. 1022–1037.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
The element of surprise in timed games
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–158.
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 1959 View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Export / Embed