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


2005 | Book Review | IST-REx-ID: 3812
Hefft, Stefan, and Peter M Jonas. “Asynchronous GABA Release Generates Long-Lasting Inhibition at a Hippocampal Interneuron-Principal Neuron Synapse (Review).” Nature Neuroscience. Nature Publishing Group, 2005. https://doi.org/10.1038/nn1542.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3689
Ulges, Adrian, Christoph Lampert, and Thomas Breuel. “Document Image Dewarping Using Robust Estimation of Curled Text Lines,” 2:1001–5. IEEE, 2005. https://doi.org/ 10.1109/ICDAR.2005.90.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3691
Lampert, Christoph. “Boundary Regularity of Admissible Operators.” Publicacions Matemàtiques. Universitat Autònoma de Barcelona, Departament de Matemàtique, 2005. https://doi.org/10.5565/PUBLMAT_49105_08.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria,” 3657:141–61. Springer, 2005. https://doi.org/10.1007/11561163_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, Krishnendu. “Two-Player Nonzero-Sum ω-Regular Games,” 3653:413–27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. https://doi.org/10.1007/11539452_32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures,” 3326:89–102. Springer, 2005. https://doi.org/10.1007/978-3-540-30536-1_13.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
Cremer, Sylvia, and Jacobus Boomsma. “The Drawback of Mobility: Invasive Species in a Globalised World.” Elsevier, 2005.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3915
De Menten, Ludivine, Sylvia Cremer, Jürgen Heinze, and Serge Aron. “Primary Sex Ratio Adjustment by Ant Queens in Response to Local Mate Competition.” Animal Behaviour. Elsevier, 2005. https://doi.org/10.1016/j.anbehav.2004.09.005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Schrempf, Alexandra, Jürgen Heinze, and Sylvia Cremer. “Sexual Cooperation: Mating Increases Longevity in Ant Queens.” Current Biology. Cell Press, 2005. https://doi.org/10.1016/j.cub.2005.01.036.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt, Michael K, Nobuo Kanazawa, Manuel Selg, Thomas Samson, Gunnel Roos, Dieter Reinhardt, Reinhard Pabst, Manfred Lutz, and Lydia Sorokin. “The Conduit System Transports Soluble Antigens from the Afferent Lymph to Resident Dendritic Cells in the T Cell Area of the Lymph Node.” Immunity. Cell Press, 2005. https://doi.org/10.1016/j.immuni.2004.11.013.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Wang, Yusu, Pankaj Agarwal, Paul Brown, Herbert Edelsbrunner, and Johannes Rudolph. “Coarse and Reliable Geometric Alignment for Protein Docking,” 64–75. World Scientific Publishing, 2005. https://doi.org/10.1142/9789812702456_0007.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn, Jungsan, Jerry Parks, Gregory Buhrman, Paul Brown, Kolbrun Kristjánsdóttir, Alexias Safi, Herbert Edelsbrunner, Weitao Yang, and Johannes Rudolph. “Experimental Validation of the Docking Orientation of Cdc25 with Its Cdk2-CycA Protein Substrate.” Biochemistry. ACS, 2005. https://doi.org/10.1021/bi0516879.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton, Nicholas H, and Jitka Polechova. “The Limitations of Adaptive Dynamics as a Model of Evolution.” Journal of Evolutionary Biology. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.1420-9101.2005.00943.x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich, Florian, Michael Krieg, Eva Schötz, Vinzenz Link, Irinka Castanon, Viktor Schnabel, Anna Taubenberger, Daniel Müller, Pierre Puech, and Carl-Philipp J Heisenberg. “Wnt11 Functions in Gastrulation by Controlling Cell Cohesion through Rab5c and E-Cadherin.” Developmental Cell. Cell Press, 2005. https://doi.org/10.1016/j.devcel.2005.08.011.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech, Pierre, Anna Taubenberger, Florian Ulrich, Michael Krieg, Daniel Mueller, and Carl-Philipp J Heisenberg. “Measuring Cell Adhesion Forces of Primary Gastrulating Cells from Zebrafish Using Atomic Force Microscopy.” Journal of Cell Science. Company of Biologists, 2005. https://doi.org/10.1242/​jcs.02547.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton, Will, Maryam Mangoli, Zsolt Lele, Hans Pogoda, Brianne Diamond, Sara Mercurio, Claire Russell, et al. “Monorail/Foxa2 Regulates Floorplate Differentiation and Specification of Oligodendrocytes, Serotonergic Raphe Neurones and Cranial Motoneurones.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.01611.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero, Juan, Lara Carvalho, Michaela Wilsch Bräuninger, Beate Kilian, Chigdem Mustafa, and Carl-Philipp J Heisenberg. “Shield Formation at the Onset of Zebrafish Gastrulation.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.01667.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Misshapen Mediates Actin-Based Cell Contraction during Zebrafish Epiboly and Drosophila Dorsal Closure.” Mechanisms of Development. Elsevier, 2005. https://doi.org/10.1016/j.mod.2005.06.010.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton, Nicholas H, and Sarah Otto. “Evolution of Recombination Due to Random Drift.” Genetics. Genetics Society of America, 2005. https://doi.org/10.1534/genetics.104.032821.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson, Toby, and Nicholas H Barton. “Theoretical Models of Selection and Mutationon Quantitative Traits.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2005. https://doi.org/10.1098/rstb.2005.1667.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski, Andreas, and Thomas Wies. “Boolean Heaps,” 267–82. Springer, 2005. https://doi.org/1550.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova, Jitka, and Nicholas H Barton. “Speciation through Competition: A Critical Review.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur, Rajeev, Pavol Cerny, P. Madhusudan, and Wonhong Nam. “Synthesis of Interface Specifications for Java Classes,” 98–109. ACM, 2005. https://doi.org/1542.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic, Slobodan, and Thomas A Henzinger. “Trading End-to-End Latency for Composability,” 99–110. IEEE, 2005. https://doi.org/10.1109/RTSS.2005.43.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, Christoph, Marco Sanvido, and Thomas A Henzinger. “A Programmable Microkernel for Real-Time Systems,” 35–45. ACM, 2005. https://doi.org/10.1145/1064979.1064986.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, Thomas A, Ritankar Majumdar, and Jean Raskin. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL). ACM, 2005. https://doi.org/10.1145/1042038.1042039.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, Thomas A, Ritankar Majumdar, and Vinayak Prabhu. “Quantifying Similarities between Timed Systems,” 3829:226–41. Springer, 2005. https://doi.org/10.1007/11603009_18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,” 31–40. ACM, 2005. https://doi.org/10.1145/1081706.1081713.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,” 21–30. ACM, 2005. https://doi.org/10.1145/1065910.1065914.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,” 3829:144–61. Springer, 2005. https://doi.org/DOI: 10.1007/11603009_13.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.27.070203.144259.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.04.017.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8491
Schanda, Paul, Ēriks Kupče, and Bernhard Brutscher. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.” Journal of Biomolecular NMR. Springer Nature, 2005. https://doi.org/10.1007/s10858-005-4425-x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8492
Schanda, Paul, and Bernhard Brutscher. “Very Fast Two-Dimensional NMR Spectroscopy for Real-Time Investigation of Dynamic Events in Proteins on the Time Scale of Seconds.” Journal of the American Chemical Society. American Chemical Society, 2005. https://doi.org/10.1021/ja051306e.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8516
Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.” Journal of Functional Analysis. Elsevier, 2005. https://doi.org/10.1016/j.jfa.2004.09.006.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
Kondrashov, Fyodor. “The Analysis of Monomer Sequences in Protein and TRNA and the Manifestation of the Compensation of Pathogenic Deviations in Their Evolution.” Biofizika. Pleiades Publishing, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
Kondrashov, Fyodor. “In Search of the Limits of Evolution.” Nature Genetics. Nature Publishing Group, 2005. https://doi.org/10.1038/ng0105-9.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 882
Kondrashov, Fyodor. “Prediction of Pathogenic Mutations in Mitochondrially Encoded Human TRNAs.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi243.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
Kondrashov, Fyodor. “The Convergent Evolution of the Secondary Structure of Mitochondrial Cysteine TRNA in the Nine-Banded Armadillo Dasypus Novemcinctus.” Biofizika. Pleiades Publishing, 2005.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels, Tim P, and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/jneurosci.3508-05.2005.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels, Tim P, Kanaka Rajan, and L.F. Abbott. “Neural Network Dynamics.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.28.061604.135637.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky, Lev, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi350.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 893
Jordan, Ingo, Fyodor Kondrashov, Ivan Adzhubeǐ, Yuri Wolf, Eugene Koonin, Alexey Kondrashov, and Shamil Sunyaev. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.” Nature. Nature Publishing Group, 2005. https://doi.org/10.1038/nature03306.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
Hausel, Tamás, Eugénie Hunsicker, and Rafe Mazzeo. “Hodge Cohomology of Gravitational Instantons.” Duke Mathematical Journal. Duke University Press, 2004. https://doi.org/10.1215/S0012-7094-04-12233-X.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
Hausel, Tamás, and Michael Thaddeus. “Generators for the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” Proceedings of the London Mathematical Society. Oxford University Press, 2004. https://doi.org/10.1112/S0024611503014618.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1963
Mamedova, Aygun, Peter Holt, Joe Carroll, and Leonid A Sazanov. “Substrate-Induced Conformational Change in Bacterial Complex I.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2004. https://doi.org/10.1074/jbc.M401539200.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.” Inventiones Mathematicae. Unknown, 2004. https://doi.org/10.1007/s00222-004-0360-9.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2355 | OA
Lieb, Élliott, and Robert Seiringer. “ Equivalent Forms of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics. Springer, 2004. https://doi.org/10.1023/B:JOSS.0000019811.15510.27.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2356 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.” Communications in Mathematical Physics. Springer, 2004. https://doi.org/10.1007/s00220-003-0993-3.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 2360 | OA
Aizenman, Michael, Élliott Lieb, Robert Seiringer, Jan Solovej, and Jakob Yngvason. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2004. https://doi.org/10.1103/PhysRevA.70.023612.
View | DOI | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 2417
Lovász, László, Katalin Vesztergombi, Uli Wagner, and Emo Welzl. “Convex Quadrilaterals and K-Sets .” In Towards a Theory of Geometric Graphs, edited by János Pach, 342:139–48. American Mathematical Society, 2004. https://doi.org/10.1090/conm/342.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2308
Novarino, Gaia, Cinzia Fabrizi, Raffaella Tonini, Michela Denti, Albedi Malchiodi, Giuliana Lauro, Benedetto Sacchetti, et al. “Involvement of the Intracellular Ion Channel CLIC1 in Microglia-Mediated β-Amyloid-Induced Neurotoxicity.” Journal of Neuroscience. Society for Neuroscience, 2004. https://doi.org/10.1523/JNEUROSCI.1170-04.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2425
Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak ε-Nets.” Discrete & Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1116-4.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2426
Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.” Discrete & Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1120-8.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2636
Momiyama, Akiko, and Ryuichi Shigemoto. “Function and Distribution of Glutamate Receptors in the Central Synapses.” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan, 2004.
View
 

2004 | Journal Article | IST-REx-ID: 2638
Kulik, Ákos, Kazuhiko Nakadate, Akari Hagiwara, Yugo Fukazawa, Rafael Luján, Hiromitsu Saito, Noboru Suzuki, et al. “Immunocytochemical Localization of the Α1A Subunit of the P/Q-Type Calcium Channel in the Rat Cerebellum.” European Journal of Neuroscience. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.0953-816X.2004.03319.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2639
Somogyi, Jozsef, Agnès Baude, Yuko Omori, Hidemi Shimizu, Salah El Mestikawy, Masahiro Fukaya, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “GABAergic Basket Cells Expressing Cholecystokinin Contain Vesicular Glutamate Transporter Type 3 (VGLUT3) in Their Synaptic Terminals in Hippocampus and Isocortex of the Rat.” European Journal of Neuroscience. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.0953-816X.2003.03091.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2640
Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.” Journal of Comparative Neurology. Wiley-Blackwell, 2004. https://doi.org/10.1002/cne.11039.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2641
Kang, Youngnam, Takuya Notomi, Mitsuru Saito, Wei Zhang, and Ryuichi Shigemoto. “Bidirectional Interactions between H-Channels and Na+-K + Pumps in Mesencephalic Trigeminal Neurons.” Journal of Neuroscience. Society for Neuroscience, 2004. https://doi.org/10.1523/JNEUROSCI.5641-03.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2642
Ferraguti, Francesco, Philip Cobden, Marie Pollard, David Cope, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “Immunolocalization of Metabotropic Glutamate Receptor 1α (MGluR1α) in Distinct Classes of Interneuron in the CA1 Region of the Rat Hippocampus.” Hippocampus. Wiley-Blackwell, 2004. https://doi.org/10.1002/hipo.10163.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Luján, Rafael, Ryuichi Shigemoto, Ákos Kulik, and José Juíz. “Localization of the GABAB Receptor 1a/b Subunit Relative to Glutamatergic Synapses in the Dorsal Cochlear Nucleus of the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 2004. https://doi.org/10.1002/cne.20160.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
Kogo, Naoki, Yannis Dalezios, Marco Capogna, Francesco Ferraguti, Ryuichi Shigemoto, and Péter Somogyi. “Depression of GABAergic Input to Identified Hippocampal Neurons by Group III Metabotropic Glutamate Receptors in the Rat.” European Journal of Neuroscience. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.0953-816X.2004.03394.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2645
Chan, Savio, Ryuichi Shigemoto, Jeff Mercer, and James Surmeier. “HCN2 and HCN1 Channels Govern the Regularity of Autonomous Pacemaking and Synaptic Resetting in Globus Pallidus Neurons.” Journal of Neuroscience. Society for Neuroscience, 2004. https://doi.org/10.1523/JNEUROSCI.2162-04.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2646
López Bendito, Guillermina, Ryuichi Shigemoto, Ákos Kulik, Imre Vida, Alfonso Fairén, and Rafael Luján. “ Distribution of Metabotropic GABA Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus during Prenatal and Postnatal Development.” Hippocampus. Wiley-Blackwell, 2004. https://doi.org/10.1002/hipo.10221.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
Sauer, Michael, and Jiří Friml. “The Matryoshka Dolls of Plant Polarity.” Development. Company of Biologists, 2004. https://doi.org/10.1242/dev.01463.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2741
Erdös, László, and Jan Solovej. “Uniform Lieb-Thirring Inequality for the Three-Dimensional Pauli Operator with a Strong Non-Homogeneous Magnetic Field.” Annales Henri Poincare. Birkhäuser, 2004. https://doi.org/10.1007/s00023-004-0180-x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2742
Elgart, Alexander, László Erdös, Benjamin Schlein, and Horng Yau. “Nonlinear Hartree Equation as the Mean Field Limit of Weakly Coupled Fermions.” Journal de Mathématiques Pures et Appliquées. Elsevier, 2004. https://doi.org/10.1016/j.matpur.2004.03.006.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2706
Erdös, László, and Jan Solovej. “Magnetic Lieb-Thirring Inequalities with Optimal Dependence on the Field Strength.” Journal of Statistical Physics. Springer, 2004. https://doi.org/10.1023/B:JOSS.0000037216.45270.1d.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2707
Erdös, László, Manfred Salmhofer, and Horng Yau. “On the Quantum Boltzmann Equation.” Journal of Statistical Physics. Springer, 2004. https://doi.org/10.1023/B:JOSS.0000037224.56191.ed.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2786
Hof, Björn, Casimir Van Doorne, Jerry Westerweel, Frans Nieuwstadt, Holger Faisst, Bruno Eckhardt, Håkan Wedin, Richard Kersweli, and Fabian Waleffe. “Experimental Observation of Nonlinear Traveling Waves in Turbulent Pipe Flow.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1100393.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2787
Hof, Björn, Anne Juel, Li Zhao, Daniel Henry, Hamda Ben Hadid, and Tom Mullin. “On the Onset of Oscillatory Convection in Molten Gallium.” Journal of Fluid Mechanics. Cambridge University Press, 2004. https://doi.org/10.1017/S0022112004000527.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml, Jiří, Xiong Yang, Marta Michniewicz, Dolf Weijers, Ab Quint, Olaf Tietz, René Benjamins, et al. “A PINOID-Dependent Binary Switch in Apical-Basal PIN Polar Targeting Directs Auxin Efflux.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1100618.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux, Meg, Andreas Houben, Kamil Růžička, Jiří Friml, and Klaus Grasser. “The Chromatin Remodelling Complex FACT Associates with Actively Transcribed Regions of the Arabidopsis Genome.” Plant Journal. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.1365-313X.2004.02242.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos within Their Ovules.” Plant Journal. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.1365-313X.2004.02248.x.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
Hippenmeyer, Simon, Ina Kramer, and Silvia Arber. “Control of Neuronal Phenotype: What Targets Tell the Cell Bodies.” Trends in Neurosciences. Elsevier, 2004. https://doi.org/10.1016/j.tins.2004.05.012.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3172
Kolmogorov, Vladimir, Thành Nguyen, Anthony Nuval, Pascal Spincemaille, Martin Prince, Ramin Zabih, and Yusu Wang. “Multiprocessor Scheduling Implementation of the Simultaneous Multiple Volume SMV Navigator Method.” Magnetic Resonance in Medicine. Wiley-Blackwell, 2004. https://doi.org/10.1002/mrm.20162.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
Kolmogorov, Vladimir, and Ramin Zabih. “What Energy Functions Can Be Minimized via Graph Cuts? .” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2004. https://doi.org/10.1109/TPAMI.2004.1262177.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
Zabih, Ramin, and Vladimir Kolmogorov. “Spatially Coherent Clustering Using Graph Cuts,” 2:437–44. IEEE, 2004. https://doi.org/10.1109/CVPR.2004.1315196.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Boykov, Yuri, and Vladimir Kolmogorov. “An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Vision.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2004. https://doi.org/10.1109/TPAMI.2004.60.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
Rother, Carsten, Vladimir Kolmogorov, and Andrew Blake. “"GrabCut" - Interactive Foreground Extraction Using Iterated Graph Cuts ,” 23:309–14. ACM, 2004. https://doi.org/10.1145/1015706.1015720.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3208
Maurer, Ueli, and Krzysztof Z Pietrzak. “Composition of Random Systems: When Two Weak Make One Strong,” 2951:410–27. Springer, 2004. https://doi.org/10.1007/978-3-540-24638-1_23.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
Janovjak, Harald L, Jens Struckmeier, Maurice Hubain, Max Kessler, Alexej Kedrov, and Daniel Mueller. “Probing the Energy Landscape of the Membrane Protein Bacteriorhodopsin.” Structure. Cell Press, 2004. https://doi.org/10.1016/j.str.2004.03.016.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
Kedrov, Alexej, Christine Ziegler, Harald L Janovjak, Werner Kühlbrandt, and Daniel Mueller. “Controlled Unfolding and Refolding of a Single Sodium/Proton Antiporter Using Atomic Force Microscopy.” Journal of Molecular Biology. Elsevier, 2004. https://doi.org/10.1016/j.jmb.2004.05.026.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
Edelsbrunner, Herbert. “Biological Applications of Computational Topology.” In Handbook of Discrete and Computational Geometry, 1395–1412. CRC Press, 2004.
View | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 3575
Edelsbrunner, Herbert, and John Harer. “Jacobi Sets of Multiple Morse Functions.” In Foundations of Computational Mathematics, 312:37–57. Springer, 2004. https://doi.org/10.1017/CBO9781139106962.003.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
Ulrich, Florian, and Carl-Philipp J Heisenberg. “Gastrulation in Zebrafish.” In Fish Development and Genetics : The Zebrafish and Medaka Models, edited by Vladimir Korzh and Zhiyuan Gong, 2:39–86. World Scientific Publishing, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,” 206–17. IEEE, 2004. https://doi.org/10.1109/QEST.2004.10051.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation. Elsevier, 2004. https://doi.org/10.1016/j.ic.2004.06.001.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,” 2988:77–92. Springer, 2004. https://doi.org/10.1007/978-3-540-24730-2_6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,” 251–55. IEEE, 2004. https://doi.org/10.1109/WPC.2004.1311069  .
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,” 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas, Peter M, Josef Bischofberger, Desdemona Fricker, and Richard Miles. “Interneuron Diversity Series: Fast in, Fast out--Temporal and Spatial Signal Processing in Hippocampal Interneurons.” Trends in Neurosciences. Elsevier, 2004. https://doi.org/doi:10.1016/j.tins.2003.10.010.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
Kampa, Bjorn, John Clements, Peter M Jonas, and Greg Stuart. “Kinetics of Mg(2+) Unblock of NMDA Receptors: Implications for Spike-Timing Dependent Synaptic Plasticity.” Journal of Physiology. Wiley-Blackwell, 2004. https://doi.org/10.1113/jphysiol.2003.058842 .
View | DOI | Download (ext.)
 

2004 | Book Review | IST-REx-ID: 3595
Charlesworth, Brian, and Nicholas H Barton. “Genome Size: Does Bigger Mean Worse?” Current Biology. Cell Press, 2004. https://doi.org/10.1016/j.cub.2004.02.054.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
Barton, Nicholas H, and Michael Turelli. “Effects of Allele Frequency Changes on Variance Components under a General Model of Epistasis.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2004. https://doi.org/10.1111/j.0014-3820.2004.tb01591.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
Turelli, Michael, and Nicholas H Barton. “Polygenic Variation Maintained by Balancing Selection: Pleiotropy, Sex-Dependent Allelic Effects and GxE Interactions.” Genetics. Genetics Society of America, 2004. https://doi.org/10.1534/genetics.166.2.1053.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
Barton, Nicholas H. “Speciation: Why, How, Where and When?” Current Biology. Cell Press, 2004. https://doi.org/10.1016/j.cub.2004.07.037.
View | DOI
 

Search

Filter Publications