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.

111 Publications


2004 | Journal Article | IST-REx-ID: 11762 | OA
Henzinger, Monika H. “Algorithmic Challenges in Web Search Engines.” Internet Mathematics. Internet Mathematics, 2004. https://doi.org/10.1080/15427951.2004.10129079.
[Published Version] View | DOI | Download Published Version (ext.)
 

2004 | Conference Paper | IST-REx-ID: 11801
Henzinger, Monika H. “Algorithmic Aspects of Web Search Engines.” In 2th Annual European Symposium on Algorithms, 3221:3. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30140-0_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 11800
Henzinger, Monika H. “The Past, Present, and Future of Web Search Engines.” In 31st International Colloquium on Automata, Languages and Programming, 3142:3. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-27836-8_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 11859
Henzinger, Monika H. “The Past, Present, and Future of Web Information Retrieval.” In SPIE Proceedings, 5296:23–26. Society of Photo-Optical Instrumentation Engineers, 2004. https://doi.org/10.1117/12.537534.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 11877 | OA
Henzinger, Monika H, and Steve Lawrence. “Extracting Knowledge from the World Wide Web.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2004. https://doi.org/10.1073/pnas.0307528100.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 12658
Strasser, Ulrich, Javier Corripio, Francesca Pellicciotti, Paolo Burlando, Ben Brock, and Martin Funk. “Spatial and Temporal Variability of Meteorological Variables at Haut Glacier d’Arolla (Switzerland) during the Ablation Season 2001: Measurements and Simulations.” Journal of Geophysical Research: Atmospheres. American Geophysical Union, 2004. https://doi.org/10.1029/2003jd003973.
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: 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: 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: 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: 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: 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 | 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 | 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: 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: 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: 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: 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: 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 | 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: 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: 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: 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 | 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: 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: 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: 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: 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: 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: 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 | 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 | 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 | Journal Article | IST-REx-ID: 3617
Barton, Nicholas H, and Alison Etheridge. “The Effect of Selection on Genealogies.” Genetics. Genetics Society of America, 2004. https://doi.org/10.1534/genetics.166.2.1115.
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
 

2004 | Conference Paper | IST-REx-ID: 3688
Ulges, Adrian, Christoph Lampert, and Thomas Breuel. “Document Capture Using Stereo Vision,” 198–200. ACM, 2004. https://doi.org/10.1145/1030397.1030434.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver, Dominik, Cheng Lien, Malle Soom, Thomas Baukrowitz, Peter M Jonas, and Bernd Fakler. “Functional Conversion between A-Type and Delayed Rectifier K+ Channels by Membrane Lipids.” Science. American Association for the Advancement of Science, 2004. https://doi.org/10.1126/science.1094113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, Krishnendu, Ritankar Majumdar, and Marcin Jurdziński. “On Nash Equilibria in Stochastic Games,” 3210:26–40. Springer, 2004. https://doi.org/10.1007/978-3-540-30124-0_6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria,” 160–69. IEEE, 2004. https://doi.org/10.1109/LICS.2004.1319610.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, Hui, Stephan Baader, Michael K Sixt, Joachim Kappler, and Uwe Rauch. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.” Journal of Histochemistry and Cytochemistry. Histochemical Society, 2004. https://doi.org/10.1369/jhc.3A6221.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, Vanessa, Bernd Laffert, Olaf Rosorius, Peter Lischka, Katja Blume, Gunther Galler, Andrea Stilper, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” Molecular Cell. Cell Press, 2004. https://doi.org/10.1016/S1097-2765(04)00004-8.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot.” Discrete & Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-2864-x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse, Karsten, Periklis Pantazis, Mark Tobias Bollenbach, Frank Julicher, and Marcos Gonzalez Gaitan. “Dpp Gradient Formation by Dynamin-Dependent Endocytosis: Receptor Trafficking and the Diffusion Model.” Development. Company of Biologists, 2004. https://doi.org/10.1242/dev.01335.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.” In Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, 7:83–87. Springer, 2004. https://doi.org/3807.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a Random Background.” Annals of Applied Probability. Institute of Mathematical Statistics, 2004.
View | Download (ext.)
 

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: 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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: 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 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 | 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 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.” Nature. Nature Publishing Group, 2004. https://doi.org/10.1038/nature02553.
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: 3918
Heinze, Jürgen, A. Böttcher, and Sylvia Cremer. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.” Insectes Sociaux. Springer, 2004. https://doi.org/10.1007/s00040-004-0740-6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, Vicky, Pankaj Agarwal, Herbert Edelsbrunner, and Johannes Rudolph. “Local Search Heuristic for Rigid Protein Docking,” 3240:218–29. Springer, 2004. https://doi.org/10.1007/978-3-540-30219-3_19.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, Robert, Herbert Edelsbrunner, Patrice Koehl, and Michael Levitt. “The Area Derivative of a Space-Filling Diagram.” Discrete & Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1099-1.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004. https://doi.org/10.1109/TVCG.2004.3.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004. https://doi.org/10.1109/TVCG.2004.32.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan, and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.” Discrete & Computational Geometry. Springer, 2004. https://doi.org/10.1007/s00454-004-1122-6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,” 275–80. IEEE, 2004. https://doi.org/10.1109/VISUAL.2004.68.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, Juan, and Carl-Philipp J Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.” Trends in Cell Biology. Cell Press, 2004. https://doi.org/10.1016/j.tcb.2004.09.008.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2004. https://doi.org/3801.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.” In Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.
View
 

2004 | Thesis | IST-REx-ID: 4236
Vladar, Harold de. “Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares.” Centro de estudios avazados, IVIC, 2004. https://doi.org/3810.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. https://doi.org/1572.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,” 232–44. ACM, 2004. https://doi.org/10.1145/964001.964021.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58. Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
View | DOI
 

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 | 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 | 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: 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: 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: 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 | 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 | Journal Article | IST-REx-ID: 6155
Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.027.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.” CHIMIA International Journal for Chemistry. Swiss Chemical Society, 2004. https://doi.org/10.2533/000942904777677029.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1 KW Stack.” Fuel Cells. Wiley, 2004. https://doi.org/10.1002/fuce.200400028.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko, Anna, Fyodor Kondrashov, and Stephen Bryant. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.” Protein Science. Wiley-Blackwell, 2004. https://doi.org/10.1110/ps.03465504.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Bioinformatical Assay of Human Gene Morbidity.” Nucleic Acids Research. Oxford University Press, 2004. https://doi.org/10.1093/nar/gkh330.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
Kondrashov, Fyodor, and Eugene Koonin. “A Common Framework for Understanding the Origin of Genetic Dominance and Evolutionary Fates of Gene Duplications.” Trends in Genetics. Elsevier, 2004. https://doi.org/10.1016/j.tig.2004.05.001.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.” Nature Genetics. Nature Publishing Group, 2004. https://doi.org/10.1038/ng1451.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 9493 | OA
Zilberman, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUTE4 in RNA-Directed DNA Methylation Triggered by Inverted Repeats.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.055.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2004

Search

Filter Publications