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.
119 Publications
2003 | Journal Article | IST-REx-ID: 207
Browning, Timothy D. “Sums of Four Biquadrates.” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 134, no. 3, Cambridge University Press, 2003, pp. 385–95, doi: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, vol. 54, no. 1, Oxford University Press, 2003, pp. 11–31, doi:10.1093/qjmath/54.1.11.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2337 | 
Lieb, Élliott, and Robert Seiringer. Bose-Einstein Condensation of Dilute Gases in Traps . Edited by Yulia Karpeshina et al., vol. 327, American Mathematical Society, 2003, pp. 239–50, doi:10.1090/conm/327/05818.
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2357 |
Lieb, Élliott, et al. “Poincaré Inequalities in Punctured Domains.” Annals of Mathematics, vol. 158, no. 3, Princeton University Press, 2003, pp. 1067–80, doi:10.4007/annals.2003.158.1067 .
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2354 |
Seiringer, Robert. “Ground State Asymptotics of a Dilute, Rotating Gas.” Journal of Physics A: Mathematical and Theoretical, vol. 36, no. 37, IOP Publishing Ltd., 2003, pp. 9755–78, doi:10.1088/0305-4470/36/37/312.
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2358 |
Lieb, Élliott, et al. “One-Dimensional Bosons in Three-Dimensional Traps.” Physical Review Letters, vol. 91, no. 15, American Physical Society, 2003, pp. 1504011–14, doi: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, doi:10.3929/ethz-a-004708408.
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. ACM, 2003, pp. 329–37, doi:10.1145/777792.777841.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2423
Matoušek, Jiří, and Uli Wagner. New Constructions of Weak Epsilon-Nets. ACM, 2003, pp. 129–35, doi:10.1145/777792.777813.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 2422
Wagner, Uli. On the Rectilinear Crossing Number of Complete Graphs. SIAM, 2003, pp. 583–88.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 2623
Coesmans, Michiel, et al. “Mechanisms Underlying Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” Annals of Neurology, vol. 53, no. 3, Wiley-Blackwell, 2003, pp. 325–36, doi:10.1002/ana.10451.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2625
Minami, Itsunari, et al. “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, 2003, pp. 1023–32, doi:10.1046/j.1460-9568.2003.02499.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2626
Kaneda, Katsuyuki, et al. “Differential Expression Patterns of MGluR1α in Monkey Nigral Dopamine Neurons.” Neuroreport, vol. 14, no. 7, Lippincott, Williams & Wilkins, 2003, pp. 947–50, doi:10.1097/01.wnr.0000074344.81633.e4.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2627
Kawakami, Ryosuke, et al. “Asymmetrical Allocation of NMDA Receptor Ε2 Subunits in Hippocampal Circuitry.” Science, vol. 300, no. 5621, American Association for the Advancement of Science, 2003, pp. 990–94, doi:10.1126/science.1082609.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2629
Somogyi, Péter, et al. “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, 2003, pp. 2503–20, doi:10.1046/j.1460-9568.2003.02697.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2628
Momiyama, Akiko, 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, 2003, pp. 75–92, doi:10.1113/jphysiol.2002.033472.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2631
Higashida, Haruhiro, 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, 2003, pp. 1148–58, doi:10.1046/j.1471-4159.2003.01751.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2633
Millán, Carmelo, et al. “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, 2003, pp. 23955–62, doi:10.1074/jbc.M211471200.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2632
Holderith, Noémi, et al. “Cell Type-Dependent Expression of HCN1 in the Main Olfactory Bulb.” European Journal of Neuroscience, vol. 18, no. 2, Wiley-Blackwell, 2003, pp. 344–54, doi:10.1046/j.1460-9568.2003.02756.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2635
Kulik, Ákos, et al. “Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus.” Journal of Neuroscience, vol. 23, no. 35, Society for Neuroscience, 2003, pp. 11026–35.
View
2003 | Journal Article | IST-REx-ID: 2634
López Bendito, Guillermina, et al. “Blockade of GABAB Receptors Alters the Tangential Migration of Cortical Neurons.” Cerebral Cortex, vol. 13, no. 9, Oxford University Press, 2003, pp. 932–42, doi:10.1093/cercor/13.9.932.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2630
Toyono, Takashi, et al. “Expression of Metabotropic Glutamate Receptor Group I in Rat Gustatory Papillae.” Cell and Tissue Research, vol. 313, no. 1, Springer, 2003, pp. 29–35, doi:10.1007/s00441-003-0740-2.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2637
Bell, Karen, et al. “Structural Involvement of the Glutamatergic Presynaptic Boutons in a Transgenic Mouse Model Expressing Early Onset Amyloid Pathology.” Neuroscience Letters, vol. 353, no. 2, Elsevier, 2003, pp. 143–47, doi:10.1016/j.neulet.2003.09.027.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2784
Hof, Björn, et al. “Magnetohydrodynamic Damping of Convective Flows in Molten Gallium.” Journal of Fluid Mechanics, vol. 482, Cambridge University Press, 2003, pp. 163–79, doi:10.1017/S0022112003004014.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2785
Hof, Björn, et al. “Scaling of the Turbulence Transition Threshold in a Pipe.” Physical Review Letters, vol. 91, no. 24, American Physical Society, 2003, p. 244502/1-244502/4, doi:10.1103/PhysRevLett.91.244502.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2990
Friml, Jiří. “Auxin Transport - Shaping the Plant.” Current Opinion in Plant Biology, vol. 6, no. 1, Elsevier, 2003, pp. 7–12, doi:10.1016/S1369526602000031.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2992
Willemsen, Viola, et al. “Cell Polarity and PIN Protein Positioning in Arabidopsis Require STEROL METHYLTRANSFERASE1 Function.” Plant Cell, vol. 15, no. 3, American Society of Plant Biologists, 2003, pp. 612–25, doi:10.1105/tpc.008433.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2996
Benková, Eva, et al. “Local, Efflux-Dependent Auxin Gradients as a Common Module for Plant Organ Formation.” Cell, vol. 115, no. 5, Cell Press, 2003, pp. 591–602, doi:10.1016/S0092-8674(03)00924-3.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2995
Friml, Jiří, et al. “Efflux Dependent Auxin Gradients Establish the Apical Basal Axis of Arabidopsis.” Nature, vol. 426, no. 6963, Nature Publishing Group, 2003, pp. 147–53, doi:10.1038/nature02085.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2994
Reinhardt, Didier, et al. “Regulation of Phyllotaxis by Polar Auxin Transport.” Nature, vol. 426, no. 6964, Nature Publishing Group, 2003, pp. 255–60, doi:10.1038/nature02081.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2993
Friml, Jiří, et al. “Automated Whole Mount Localisation Techniques for Plant Seedlings.” Plant Journal, vol. 34, no. 1, Wiley-Blackwell, 2003, pp. 115–24, doi:10.1046/j.1365-313X.2003.01705.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3151
Rayburn, Lowell, et al. “Amontillado, the Drosophila Homolog of the Prohormone Processing Protease PC2, Is Required during Embryogenesis and Early Larval Development.” Genetics, vol. 163, no. 1, Genetics Society of America, 2003, pp. 227–37.
View
2003 | Journal Article | IST-REx-ID: 3150
Siekhaus, Daria E., and David Drubin. “Spontaneous Receptor-Independent Heterotrimeric G-Protein Signalling in an RGS Mutant.” Nature Cell Biology, vol. 5, no. 3, Nature Publishing Group, 2003, pp. 231–35, doi:10.1038/ncb941.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3209
Pietrzak, Krzysztof Z. “On the Parameterized Complexity of the Fixed Alphabet Shortest Common Supersequence and Longest Common Subsequence Problems.” Journal of Computer and System Sciences, vol. 67, no. 4, Elsevier, 2003, pp. 757–71, doi:10.1016/S0022-0000(03)00078-3.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3210
Maurer, Ueli, and Krzysztof Z. Pietrzak. The Security of Many Round Luby Rackoff Pseudo Random Permutations. Vol. 2656, Springer, 2003, pp. 544–61, doi:10.1007/3-540-39200-9_34.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3425
Bollenbach, Mark Tobias, et al. 3D Supernova Collapse Calculations. Vol. 166, Springer, 2003, pp. 277–88, doi:10.1007/978-1-4020-2705-5_21.
View
| DOI
2003 | Book Chapter | IST-REx-ID: 3458
Jonas, Peter M., and Klaus Unsicker. “Molekulare Und Zelluläre Grundlagen Des Nervensystems.” Lehrbuch Vorklinik, edited by R. Schmidt, vol. B, Deutscher Ärzte Verlag, 2003, pp. 3–26.
View
2003 | Journal Article | IST-REx-ID: 3536
Buzsáki, György, et al. “Hippocampal Network Patterns of Activity in the Mouse.” Neuroscience, vol. 116, no. 1, Elsevier, 2003, pp. 201–11, doi:10.1016/S0306-4522(02)00669-3.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner, Herbert, et al. Morse-Smale Complexes for Piecewise Linear 3-Manifolds. ACM, 2003, pp. 361–70, doi:10.1145/777792.777846.
View
| DOI
| Download (ext.)
2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner, Herbert. “Surface Reconstruction by Wrapping Finite Sets in Space.” Discrete & Computational Geometry, Springer, 2003, pp. 379–404, doi:10.1007/978-3-642-55566-4_17.
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner, Herbert, and Afra Zomorodian. “Computing Linking Numbers of a Filtration.” Homology, Homotopy and Applications, vol. 5, no. 2, International Press, 2003, pp. 19–37.
View
| Download None (ext.)
2003 | Journal Article | IST-REx-ID: 3620
Nürnberger, Beate, et al. “A Linkage Map for the Hybridising Toads Bombina Bombina and B. Variegata (Anura: Discoglossidae).” Heredity, vol. 91, no. 2, Nature Publishing Group, 2003, pp. 136–42, doi:10.1038/sj.hdy.6800291.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3619
Baird, Stuart, et al. “The Distribution of Surviving Blocks of an Ancestral Genome.” Theoretical Population Biology, vol. 64, no. 4, Academic Press, 2003, pp. 451–71, doi:10.1016/S0040-5809(03)00098-4.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3618
Vines, Timothy, and Nicholas H. Barton. “A New Approach to Detecting Mixed Families.” Molecular Ecology, vol. 12, no. 7, Wiley-Blackwell, 2003, pp. 1999–2002, doi:10.1046/j.1365-294X.2003.01867.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3752 |
Vilar, Jose, et al. “Modeling Network Dynamics: The Lac Operon, a Case Study.” Journal of Cell Biology, vol. 161, no. 3, Rockefeller University Press, 2003, pp. 471–76, doi:10.1083/jcb.200301125.
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3797
Bauer, Wolfgang, et al. “Breaking Atomic Nuclei into Little Pieces: Evidence for a Phase Transition.” Revista Mexicana De Fisica, vol. 49, no. 4, Sociedad Mexicana de Física, 2003, pp. 1–6.
View
2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, et al. Simple Stochastic Parity Games. Vol. 2803, Springer, 2003, pp. 100–13, doi:10.1007/978-3-540-45220-1_11.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, et al. Stack Size Analysis for Interrupt-Driven Programs. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner, Herbert, et al. “Hierarchical Morse-Smale Complexes for Piecewise Linear 2-Manifolds.” Discrete & Computational Geometry, vol. 30, no. 1, Springer, 2003, pp. 87–107, doi: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, vol. 26, no. 2, Elsevier, 2003, pp. 173–92, doi:10.1016/S0925-7721(02)00124-4.
View
| DOI
2003 | Book Review | IST-REx-ID: 3139
Chen, Hsiao, et al. “Development of the Monosynaptic Stretch Reflex Circuit.” Current Opinion in Neurobiology, vol. 13, no. 1, Elsevier, 2003, pp. 96–102, doi:10.1016/S0959-4388(03)00006-0.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3171
Kolmogorov, Vladimir, et al. Generalized Multi Camera Scene Reconstruction Using Graph Cuts. Vol. 2683, Springer, 2003, pp. 501–16, doi:10.1007/978-3-540-45063-4_32.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3174
Kim, Junhwan, et al. Visual Correspondence Using Energy Minimization and Mutual Information. Vol. 2, IEEE, 2003, pp. 1033–40, doi:10.1109/ICCV.2003.1238463.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3170
Boykov, Yuri, and Vladimir Kolmogorov. Computing Geodesics and Minimal Surfaces via Graph Cuts. Vol. 1, IEEE, 2003, pp. 26–33, doi:10.1109/ICCV.2003.1238310.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3526
Harris, Kenneth, et al. “Organization of Cell Assemblies in the Hippocampus.” Nature, vol. 424, no. 6948, Nature Publishing Group, 2003, pp. 552–56, doi:0.1038/nature01834.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3529
Csicsvari, Jozsef L., et al. “Massively Parallel Recording of Unit and Local Field Potentials with Silicon-Based Electrodes.” Journal of Neurophysiology, vol. 90, no. 2, American Physiological Society, 2003, pp. 1314–23, doi:10.1152/jn.00116.2003.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3528
Csicsvari, Jozsef L., et al. “Mechanisms of Gamma Oscillations in the Hippocampus of the Behaving Rat.” Neuron, vol. 37, no. 2, Elsevier, 2003, pp. 311–22, doi:10.1016/S0896-6273(02)01169-8.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3543
Sirota, Anton, et al. “Communication between Neocortex and Hippocampus during Sleep in Rodents.” PNAS, vol. 100, no. 4, National Academy of Sciences, 2003, pp. 2065–69, doi:10.1073/pnas.0437938100.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3593
Chatterjee, Krishnendu, et al. “A Branching Time Temporal Framework for Quantitative Reasoning.” Journal of Automated Reasoning, vol. 30, no. 2, Springer, 2003, pp. 205–32, doi:10.1023/A:1023217515688.
View
| DOI
2003 | Thesis | IST-REx-ID: 3678
Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric .” Bonner Mathematische Schriften, vol. 356, Universität Bonn, Fachbibliothek Mathematik, 2003, pp. 1–165.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3725 |
Janovjak, Harald L., et al. “Unfolding Pathways of Native Bacteriorhodopsin Depend on Temperature.” EMBO Journal, vol. 22, no. 19, Wiley-Blackwell, 2003, pp. 5220–29, doi:10.1093/emboj/cdg509.
View
| DOI
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3804
Lien, Cheng, and Peter M. Jonas. “Kv3 Potassium Conductance Is Necessary and Kinetically Optimized for High-Frequency Action Potential Generation in Hippocampal Interneurons.” Journal of Neuroscience, vol. 23, no. 6, Society for Neuroscience, 2003, pp. 2058–68.
View
2003 | Journal Article | IST-REx-ID: 3806
Hallermann, Stefan, et al. “A Large Pool of Releasable Vesicles in a Cortical Glutamatergic Synapse.” PNAS, vol. 100, no. 15, National Academy of Sciences, 2003, pp. 8975–80, doi:10.1073/pnas.1432836100.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3921
Anderson, Carl, et al. “Live and Let Die: Why Fighter Males of the Ant Cardiocondyla Kill Each Other but Tolerate Their Winged Rivals.” Behavioral Ecology, vol. 14, no. 1, Oxford University Press, 2003, pp. 54–62, doi: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, vol. 13, no. 3, Cell Press, 2003, pp. 219–23, doi:10.1016/S0960-9822(03)00012-5.
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, vol. 12, no. 15, Schnell und Steiner, 2003, pp. 32–36.
View
2003 | Thesis | IST-REx-ID: 4416
Majumdar, Ritankar. Symbolic Algorithms for Verification and Control. University of California, Berkeley, 2003, pp. 1–201.
View
2003 | Thesis | IST-REx-ID: 4425
Horowitz, Benjamin. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley, 2003, pp. 1–237.
View
2003 | Journal Article | IST-REx-ID: 576
Hosten, Onur, et al. “Free Expansion of Two-Dimensional Condensates with a Vortex.” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 36, no. 12, IOP Publishing Ltd., 2003, pp. 2455–63, doi:10.1088/0953-4075/36/12/306.
View
| DOI
2003 | Journal Article | IST-REx-ID: 6156
Rogers, Candida, et al. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.” Nature Neuroscience, vol. 6, no. 11, Springer Nature, 2003, pp. 1178–85, doi:10.1038/nn1140.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 6157
de Bono, Mario. “Molecular Approaches to Aggregation Behavior and Social Attachment.” Journal of Neurobiology, vol. 54, no. 1, Wiley, 2003, pp. 78–92, doi:10.1002/neu.10162.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 847
Sunyaev, Shamil, et al. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.” Human Molecular Genetics, vol. 12, no. 24, Oxford University Press, 2003, pp. 3325–30, doi:10.1093/hmg/ddg359.
View
| DOI
2003 | Journal Article | IST-REx-ID: 876
Kondrashov, Fyodor, and Eugene Koonin. “Evolution of Alternative Splicing: Deletions, Insertions and Origin of Functional Parts of Proteins from Intron Sequences.” Trends in Genetics, vol. 19, no. 3, Elsevier, 2003, pp. 115–19, doi:10.1016/S0168-9525(02)00029-X.
View
| DOI
2003 | Journal Article | IST-REx-ID: 9495 |
Cao, Xiaofeng, et al. “Role of the DRM and CMT3 Methyltransferases in RNA-Directed DNA Methylation.” Current Biology, vol. 13, no. 24, Elsevier, 2003, pp. 2212–17, doi:10.1016/j.cub.2003.11.052.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 8519
Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate for Cyclicity of Elementary Polycycles.” Inventiones Mathematicae, vol. 151, no. 3, Springer Nature, 2003, pp. 451–512, doi:10.1007/s00222-002-0244-9.
View
| DOI
2003 | Journal Article | IST-REx-ID: 9455
Zilberman, Daniel, et al. “ARGONAUTE4 Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.” Science, vol. 299, no. 5607, American Association for the Advancement of Science, 2003, pp. 716–19, doi:10.1126/science.1079695.
View
| DOI
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, et al. “Discounting the Future in Systems Theory.” Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 1022–37, doi:10.1007/3-540-45061-0_79.
View
| DOI
2003 | Journal Article | IST-REx-ID: 13436
Michrowska, Anna, et al. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.” Tetrahedron, vol. 59, no. 25, Elsevier, 2003, pp. 4525–31, doi:10.1016/s0040-4020(03)00682-3.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, et al. “Resource Interfaces.” Third International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, et al. “The Element of Surprise in Timed Games.” Proceedings of the 14th International Conference on Concurrency Theory, vol. 2761, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–58, doi:10.1007/978-3-540-45187-7_9.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4468
Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:10.1109/MCS.2003.1172829.
View
| DOI
2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–46, doi:10.1002/047172288X.ch8.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 2619, Springer, 2003, pp. 49–64, doi:10.1007/3-540-36577-X_5.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A., et al. “Software Verification with BLAST.” Proceedings of the 10th International SPIN Workshop , vol. 2648, Springer, 2003, pp. 235–39, doi:10.1007/3-540-44829-2_17.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A., et al. “Thread-Modular Abstraction Refinement.” Proceedings of the 15th International Conference on Computer Aided Verification, vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A., et al. “Counterexample-Guided Control.” Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A., et al. “Schedule-Carrying Code.” Proceedings of the 3rd International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design, vol. 23, no. 3, Springer, 2003, pp. 303–27, doi:10.1023/A:1026228213080.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4469
Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE, vol. 91, no. 1, IEEE, 2003, pp. 84–99, doi:10.1109/JPROC.2002.805825.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4338
Vines, Timothy, et al. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.” Evolution, vol. 57, no. 8, Wiley-Blackwell, 2003, pp. 1876–88, doi:10.1111/j.0014-3820.2003.tb00595.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4350
Harshman, John, et al. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.” Systematic Biology, vol. 52, no. 3, Oxford University Press, 2003, pp. 386–402, doi:10.1080/10635150390197028.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, et al. “Stochastic Mapping of Morphological Characters.” Systematic Biology, vol. 52, no. 2, Oxford University Press, 2003, pp. 131–58, doi:10.1080/10635150390192780.
View
| DOI
| PubMed | Europe PMC
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, vol. 57, no. 3, Wiley-Blackwell, 2003, pp. 447–59, doi:10.1111/j.0014-3820.2003.tb01537.x.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, Brian, et al. “The Effects of Genetic and Geographic Structure on Neutral Variation.” Annual Review of Ecology and Systematics, vol. 34, Annual Reviews, 2003, pp. 99–125, doi:10.1146/annurev.ecolsys.34.011802.132359.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4256
Barton, Nicholas H., and Willem Zuidema. “The Erratic Path towards Complexity.” Current Biology, vol. 13, no. 16, Cell Press, 2003, pp. R649–51, doi:10.1016/S0960-9822(03)00573-6.
[Published Version]
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, vol. 300, no. 5617, American Association for the Advancement of Science, 2003, pp. 321–24, doi:10.1126/science.1080600 .
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4146 |
Ulrich, Florian, et al. “Slb/Wnt11 Controls Hypoblast Cell Migration and Morphogenesis at the Onset of Zebrafish Gastrulation.” Development, vol. 130, no. 22, Company of Biologists, 2003, pp. 5375–84, doi:10.1242/dev.00758.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4169
Montero, Juan, et al. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.” Current Biology, vol. 13, no. 15, Cell Press, 2003, pp. 1279–89, doi:10.1016/S0960-9822(03)00505-0.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4185
Kilian, Beate, et al. “The Role of Ppt/Wnt5 in Regulating Cell Shape and Movement during Zebrafish Gastrulation.” Mechanisms of Development, vol. 120, no. 4, Elsevier, 2003, pp. 467–76, doi:10.1016/S0925-4773(03)00004-2.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 3992 |
Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.” PNAS, vol. 100, no. 5, National Academy of Sciences, 2003, pp. 2203–08, doi:10.1073/pnas.0537830100.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC