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.

6030 Publications


2003 | Journal Article | IST-REx-ID: 206
Browning, Timothy D. “A Note on the Distribution of Rational Points on Threefolds.” Quarterly Journal of Mathematics 54, no. 1 (2003): 33–39. https://doi.org/10.1093/qjmath/54.1.33.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Browning, Timothy D. “Sums of Four Biquadrates.” Mathematical Proceedings of the Cambridge Philosophical Society 134, no. 3 (2003): 385–95. https://doi.org/10.1017/S0305004102006382.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
Browning, Timothy D. “Counting Rational Points on Diagonal Quadratic Surfaces.” Quarterly Journal of Mathematics 54, no. 1 (2003): 11–31. https://doi.org/10.1093/qjmath/54.1.11.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
Lieb, Élliott, and Robert Seiringer. “Bose-Einstein Condensation of Dilute Gases in Traps .” edited by Yulia Karpeshina, Rudi Weikard, and Yanni Zeng, 327:239–50. American Mathematical Society, 2003. https://doi.org/10.1090/conm/327/05818.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
Seiringer, Robert. “Ground State Asymptotics of a Dilute, Rotating Gas.” Journal of Physics A: Mathematical and Theoretical 36, no. 37 (2003): 9755–78. https://doi.org/10.1088/0305-4470/36/37/312.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Poincaré Inequalities in Punctured Domains.” Annals of Mathematics 158, no. 3 (2003): 1067–80. https://doi.org/10.4007/annals.2003.158.1067 .
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Bosons in Three-Dimensional Traps.” Physical Review Letters 91, no. 15 (2003): 1504011–14. https://doi.org/10.1103/PhysRevLett.91.150401.
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
Wagner, Uli. On K-Sets and Their Applications. ETH Zurich, 2003. https://doi.org/10.3929/ethz-a-004708408.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
Wagner, Uli. “On the Rectilinear Crossing Number of Complete Graphs,” 583–88. SIAM, 2003.
View | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 2423
Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak Epsilon-Nets,” 129–35. ACM, 2003. https://doi.org/10.1145/777792.777813.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2424
Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds with High Co-Dimension,” 329–37. ACM, 2003. https://doi.org/10.1145/777792.777841.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
Cremer, Sylvia, and Jürgen Heinze. “Zwischen Hochzeitsflug Und Brudermord: Reproduktive Taktiken Bei Ameisenmännchen.” Blick in Die Wissenschaft 12, no. 15 (2003): 32–36.
View
 

2003 | Journal Article | IST-REx-ID: 3921
Anderson, Carl, Sylvia Cremer, and Jürgen Heinze. “Live and Let Die: Why Fighter Males of the Ant Cardiocondyla Kill Each Other but Tolerate Their Winged Rivals.” Behavioral Ecology 14, no. 1 (2003): 54–62. https://doi.org/10.1093/beheco/14.1.54.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
Cremer, Sylvia, and Jürgen Heinze. “Stress Grows Wings: Environmental Induction of Winged Dispersal Males in Cardiocondyla Ants.” Current Biology 13, no. 3 (2003): 219–23. https://doi.org/10.1016/S0960-9822(03)00012-5.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3991
Cheng, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.” In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 2598:88–97. Springer, 2003. https://doi.org/10.1007/3-540-36477-3_7.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3992
Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.” PNAS 100, no. 5 (2003): 2203–8. https://doi.org/10.1073/pnas.0537830100.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner, Herbert, John Harer, and Afra Zomorodian. “Hierarchical Morse-Smale Complexes for Piecewise Linear 2-Manifolds.” Discrete & Computational Geometry 30, no. 1 (2003): 87–107. https://doi.org/10.1007/s00454-003-2926-5.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Cheng, Ho, and Herbert Edelsbrunner. “Area, Perimeter and Derivatives of a Skin Curve.” Computational Geometry: Theory and Applications 26, no. 2 (2003): 173–92. https://doi.org/10.1016/S0925-7721(02)00124-4.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Multi-Resolution Data Structure for Two-Dimensional Morse-Smale Functions,” 139–46. IEEE, 2003. https://doi.org/10.1109/VISUAL.2003.1250365.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, Herbert, and Alper Üngör. “Relaxed Scheduling in Dynamic Skin Triangulation,” 2866:135–51. Springer, 2003. https://doi.org/10.1007/978-3-540-44400-8_14.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4254
Navarro, Arcadio, and Nicholas H Barton. “Accumulating Postzygotic Isolation Genes in Parapatry: A New Twist on Chromosomal Speciation.” Evolution; International Journal of Organic Evolution 57, no. 3 (2003): 447–59. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
Navarro, Arcadio, and Nicholas H Barton. “Chromosomal Speciation and Molecular Divergence -- Accelerated Evolution in Rearranged Chromosomes.” Science 300, no. 5617 (2003): 321–24. https://doi.org/10.1126/science.1080600 .
View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
Barton, Nicholas H, and Willem Zuidema. “The Erratic Path towards Complexity.” Current Biology. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00573-6.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, Brian, Deborah Charlesworth, and Nicholas H Barton. “The Effects of Genetic and Geographic Structure on Neutral Variation.” Annual Review of Ecology and Systematics 34 (2003): 99–125. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines, Timothy, S C Kohler, M Thiel, Ioan Ghira, T R Sands, Catriona Maccallum, Nicholas H Barton, and Beate Nürnberger. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.” Evolution; International Journal of Organic Evolution 57, no. 8 (2003): 1876–88. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, Rasmus Nielsen, and Jonathan P Bollback. “Stochastic Mapping of Morphological Characters.” Systematic Biology 52, no. 2 (2003): 131–58. https://doi.org/10.1080/10635150390192780.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
Harshman, John, Christopher Huddleston, Jonathan P Bollback, Thomas Parsons, and Michael Braun. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.” Systematic Biology 52, no. 3 (2003): 386–402. https://doi.org/10.1080/10635150390197028.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design 23, no. 3 (2003): 303–27. https://doi.org/10.1023/A:1026228213080.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control,” 2719:886–902. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_69.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement,” 2725:262–74. Springer, 2003. https://doi.org/10.1007/978-3-540-45069-6_27.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code,” 2855:241–56. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_16.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003. https://doi.org/10.1002/047172288X.ch8.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus,” 2619:49–64. Springer, 2003. https://doi.org/10.1007/3-540-36577-X_5.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST,” 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine 23, no. 1 (2003): 50–64. https://doi.org/10.1109/MCS.2003.1172829.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE 91, no. 1 (2003): 84–99. https://doi.org/10.1109/JPROC.2002.805825.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces,” 2855:117–33. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_9.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory,” 2719:1022–37. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_79.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “The Element of Surprise in Timed Games,” 2761:144–58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003. https://doi.org/10.1007/978-3-540-45187-7_9.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 576
Hosten, Onur, Patrizia Vignolo, Anna Minguzzi, Bilal Tanatar, and Mario Tosi. “Free Expansion of Two-Dimensional Condensates with a Vortex.” Journal of Physics B: Atomic, Molecular and Optical Physics 36, no. 12 (2003): 2455–63. https://doi.org/10.1088/0953-4075/36/12/306.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
Rogers, Candida, Vincenzina Reale, Kyuhyung Kim, Heather Chatwin, Chris Li, Peter Evans, and Mario de Bono. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.” Nature Neuroscience 6, no. 11 (2003): 1178–85. https://doi.org/10.1038/nn1140.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
Bono, Mario de. “Molecular Approaches to Aggregation Behavior and Social Attachment.” Journal of Neurobiology 54, no. 1 (2003): 78–92. https://doi.org/10.1002/neu.10162.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 2623
Coesmans, Michiel, Peter Sillevis Smitt, David Linden, Ryuichi Shigemoto, Tomoo Hirano, Yoshinori Yamakawa, Adriaan Van Alphen, et al. “Mechanisms Underlying Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” Annals of Neurology 53, no. 3 (2003): 325–36. https://doi.org/10.1002/ana.10451.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
Minami, Itsunari, Mineko Kengaku, Sillevis Smitt, Ryuichi Shigemoto, and Tomoo Hirano. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced Homer1a in Mouse Cerebellar Purkinje Neurons.” European Journal of Neuroscience 17, no. 5 (2003): 1023–32. https://doi.org/10.1046/j.1460-9568.2003.02499.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
Kaneda, Katsuyuki, Michiko Imanishi, Atsushi Nambu, Ryuichi Shigemoto, and Masahiko Takada. “Differential Expression Patterns of MGluR1α in Monkey Nigral Dopamine Neurons.” Neuroreport 14, no. 7 (2003): 947–50. https://doi.org/10.1097/01.wnr.0000074344.81633.e4.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami, Ryosuke, Yoshiaki Shinohara, Yuichiro Kato, Hiroyuki Sugiyama, Ryuichi Shigemoto, and Isao Ito. “Asymmetrical Allocation of NMDA Receptor Ε2 Subunits in Hippocampal Circuitry.” Science 300, no. 5621 (2003): 990–94. https://doi.org/10.1126/science.1082609.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2628
Momiyama, Akiko, Rachel Silver, Michael Häusser, Takuya Notomi, Yue Wu, Ryuichi Shigemoto, and Stuart Cull Candy. “The Density of AMPA Receptors Activated by a Transmitter Quantum at the Climbing Fibre - Purkinje Cell Synapse in Immature Rats.” Journal of Physiology 549, no. 1 (2003): 75–92. https://doi.org/10.1113/jphysiol.2002.033472.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2629
Somogyi, Péter, Yannis Dalezios, Rafael Luján, John Roberts, Masahiko Watanabe, and Ryuichi 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 17, no. 12 (2003): 2503–20. https://doi.org/10.1046/j.1460-9568.2003.02697.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2630
Toyono, Takashi, Yuji Seta, Shinji Kataoka, Shintaro Kawano, Ryuichi Shigemoto, and Kuniaki Toyoshima. “Expression of Metabotropic Glutamate Receptor Group I in Rat Gustatory Papillae.” Cell and Tissue Research 313, no. 1 (2003): 29–35. https://doi.org/10.1007/s00441-003-0740-2.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2631
Higashida, Haruhiro, Jia Zhang, Sumiko Mochida, Xiao Chen, Yeonsook Shin, Mami Noda, Kazi Hossain, 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 85, no. 5 (2003): 1148–58. https://doi.org/10.1046/j.1471-4159.2003.01751.x.
View | DOI
 

Search

Filter Publications