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.

110 Publications


2003 | Journal Article | IST-REx-ID: 205
Counting rational points on cubic and quartic surfaces
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
View | DOI
 

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: 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: 208
Counting rational points on diagonal quadratic surfaces
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
Bose-Einstein condensation of dilute gases in traps
É. Lieb, R. Seiringer, in:, Y. Karpeshina, R. Weikard, Y. Zeng (Eds.), American Mathematical Society, 2003, pp. 239–250.
View | DOI | Download (ext.)
 

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 | Journal Article | IST-REx-ID: 2357 | OA
Poincaré inequalities in punctured domains
É. Lieb, R. Seiringer, J. Yngvason, Annals of Mathematics 158 (2003) 1067–1080.
View | DOI | Download (ext.)
 

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

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

2003 | Conference Paper | IST-REx-ID: 2422
On the rectilinear crossing number of complete graphs
U. Wagner, in:, SIAM, 2003, pp. 583–588.
View | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 2423
New constructions of weak epsilon-nets
J. Matoušek, U. Wagner, in:, ACM, 2003, pp. 129–135.
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 3917
Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen
S. Cremer, J. Heinze, Blick in Die Wissenschaft 12 (2003) 32–36.
View
 

2003 | Journal Article | IST-REx-ID: 3921
Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals
C. Anderson, S. Cremer, J. Heinze, Behavioral Ecology 14 (2003) 54–62.
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 | 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: 3992
The weighted-volume derivative of a space-filling diagram
H. Edelsbrunner, P. Koehl, PNAS 100 (2003) 2203–2208.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
H. Edelsbrunner, J. Harer, A. Zomorodian, Discrete & Computational Geometry 30 (2003) 87–107.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Area, perimeter and derivatives of a skin curve
H. Cheng, H. Edelsbrunner, Computational Geometry: Theory and Applications 26 (2003) 173–192.
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 | Conference Paper | IST-REx-ID: 3999
Relaxed scheduling in dynamic skin triangulation
H. Edelsbrunner, A. Üngör, in:, Springer, 2003, pp. 135–151.
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: 4255 View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
The erratic path towards complexity
N.H. Barton, W. Zuidema, Current Biology 13 (2003) R649–R651.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
The effects of genetic and geographic structure on neutral variation
B. Charlesworth, D. Charlesworth, N.H. Barton, Annual Review of Ecology and Systematics 34 (2003) 99–125.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata
T. Vines, S.C. Kohler, M. Thiel, I. Ghira, T.R. Sands, C. Maccallum, N.H. Barton, B. Nürnberger, Evolution; International Journal of Organic Evolution 57 (2003) 1876–1888.
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 | Journal Article | IST-REx-ID: 4460
From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Counterexample-guided control
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2003, pp. 886–902.
View | DOI
 

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 | 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 | Book Chapter | IST-REx-ID: 4465
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2003, pp. 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Software verification with BLAST
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Springer, 2003, pp. 235–239.
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: 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: 4561
Resource interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, ACM, 2003, pp. 117–133.
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: 576
Free expansion of two-dimensional condensates with a vortex
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, M. Tosi, Journal of Physics B: Atomic, Molecular and Optical Physics 36 (2003) 2455–2463.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1
C. Rogers, V. Reale, K. Kim, H. Chatwin, C. Li, P. Evans, M. de Bono, Nature Neuroscience 6 (2003) 1178–1185.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
Molecular approaches to aggregation behavior and social attachment
M. de Bono, Journal of Neurobiology 54 (2003) 78–92.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 2623
Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies
M. Coesmans, P. Sillevis Smitt, D. Linden, R. Shigemoto, T. Hirano, Y. Yamakawa, A. Van Alphen, C. Luo, J. Van Der Geest, J. Kros, C. Gaillard, M. Frens, C. De Zeeuw, Annals of Neurology 53 (2003) 325–336.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons
I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, T. Hirano, European Journal of Neuroscience 17 (2003) 1023–1032.
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: 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: 2628
The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats
A. Momiyama, R. Silver, M. Häusser, T. Notomi, Y. Wu, R. Shigemoto, S. Cull Candy, Journal of Physiology 549 (2003) 75–92.
View | DOI
 

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

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

Filters and Search Terms

year=2003

Search

Filter Publications