Hausel, Tamás, Eugénie Hunsicker, and Rafe Mazzeo. “Hodge Cohomology of Gravitational Instantons.”https://doi.org/10.1215/S0012-7094-04-12233-X__Duke Mathematical Journal. Duke University Press, 2004.https://doi.org/10.1215/S0012-7094-04-12233-X .

Hausel, Tamás, and Michael Thaddeus. “Generators for the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.”https://doi.org/10.1112/S0024611503014618__Proceedings of the London Mathematical Society. Oxford University Press, 2004.https://doi.org/10.1112/S0024611503014618 .

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

Browning, Timothy D, and Roger Heath Brown. “Equal Sums of Three Powers.”https://doi.org/10.1007/s00222-004-0360-9__Inventiones Mathematicae. Unknown, 2004.https://doi.org/10.1007/s00222-004-0360-9 .

Novarino, Gaia, Cinzia Fabrizi, Raffaella Tonini, Michela Denti, Albedi Malchiodi, Giuliana Lauro, Benedetto Sacchetti, et al. “Involvement of the Intracellular Ion Channel CLI in Microglia-Mediated ;2-Amyloid-Induced Neurotoxicity.”https://doi.org/10.1523/JNEUROSCI.1170-04.2004__Journal of Neuroscience. Society for Neuroscience, 2004.https://doi.org/10.1523/JNEUROSCI.1170-04.2004 .

Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Behavior of Dilute, Trapped Bose Gases.”https://doi.org/10.1007/s00220-003-0993-3__Communications in Mathematical Physics. Springer, 2004.https://doi.org/10.1007/s00220-003-0993-3 .

Lieb, Élliott, and Robert Seiringer. “Equivalent Forms of the Bessis-Moussa-Villani Conjecture.”https://doi.org/10.1023/B:JOSS.0000019811.15510.27__Journal of Statistical Physics. Springer, 2004.https://doi.org/10.1023/B:JOSS.0000019811.15510.27 .

Aizenman, Michael, Élliott Lieb, Robert Seiringer, Jan Solovej, and Jakob Yngvason. “Bose-Einstein Quantum Phase Transition in an Optical Lattice Model.”https://doi.org/10.1103/PhysRevA.70.023612__Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2004.https://doi.org/10.1103/PhysRevA.70.023612 .

Lovász, László, Katalin Vesztergombi, Uli Wagner, and Emo Welzl. “Convex Quadrilaterals and K-Sets .”https://doi.org/10.1090/conm/342__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 .

Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds.”https://doi.org/10.1007/s00454-004-1120-8__Discrete &; Computational Geometry. Springer, 2004.https://doi.org/10.1007/s00454-004-1120-8 .

Matousek, Jií, and Uli Wagner. “New Constructions of Weak ;5-Nets.”https://doi.org/10.1007/s00454-004-1116-4__Discrete &; Computational Geometry. Springer, 2004.https://doi.org/10.1007/s00454-004-1116-4 .

Sauer, Michael, and Jií Friml. “The Matryoshka Dolls of Plant Polarity.”https://doi.org/10.1242/dev.01463__Development. Company of Biologists, 2004.https://doi.org/10.1242/dev.01463 .

Ferraguti, Francesco, Philip Cobden, Marie Pollard, David Cope, Ryuichi Shigemoto, Masahiko Watanabe, and Péter Somogyi. “Immunolocalization of Metabotropic Glutamate Receptor 1;1 (MGlu;1) in Distinct Classes of Interneuron in the C Region of the Rat Hippocampus.”https://doi.org/10.1002/hipo.10163__Hippocampus. Wiley-Blackwell, 2004.https://doi.org/10.1002/hipo.10163 .

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 (VGLU) in Their Synaptic Terminals in Hippocampus and Isocortex of the Rat.”https://doi.org/10.1111/j.0953-816X.2003.03091.x__European Journal of Neuroscience. Wiley-Blackwell, 2004.https://doi.org/10.1111/j.0953-816X.2003.03091.x .

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.”https://doi.org/10.1002/cne.20160__Journal of Comparative Neurology. Wiley-Blackwell, 2004.https://doi.org/10.1002/cne.20160 .

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

Notomi, Takuya, and Ryuichi Shigemoto. “Immunohistochemical Localization of Ih Channel Subunits, HCN1-4, in the Rat Brain.”https://doi.org/10.1002/cne.11039__Journal of Comparative Neurology. Wiley-Blackwell, 2004.https://doi.org/10.1002/cne.11039 .

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

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.

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.”https://doi.org/10.1523/JNEUROSCI.2162-04.2004__Journal of Neuroscience. Society for Neuroscience, 2004.https://doi.org/10.1523/JNEUROSCI.2162-04.2004 .

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.”https://doi.org/10.1111/j.0953-816X.2004.03394.x__European Journal of Neuroscience. Wiley-Blackwell, 2004.https://doi.org/10.1111/j.0953-816X.2004.03394.x .

López Bendito, Guillermina, Ryuichi Shigemoto, Ákos Kulik, Imre Vida, Alfonso Fairén, and Rafael Luján. “Distribution of Metabotropic GABA Receptor Subunits GABAa/b and GABA in the Rat Hippocampus during Prenatal and Postnatal Development.”https://doi.org/10.1002/hipo.10221__Hippocampus. Wiley-Blackwell, 2004.https://doi.org/10.1002/hipo.10221 .

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

Erdös, László, Manfred Salmhofer, and Horng Yau. “On the Quantum Boltzmann Equation.”https://doi.org/10.1023/B:JOSS.0000037224.56191.ed__Journal of Statistical Physics. Springer, 2004.https://doi.org/10.1023/B:JOSS.0000037224.56191.ed .

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

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

Hof, Björn, Anne Juel, Li Zhao, Daniel Henry, Hamda Ben Hadid, and Tom Mullin. “On the Onset of Oscillatory Convection in Molten Gallium.”https://doi.org/10.1017/S0022112004000527__Journal of Fluid Mechanics. Cambridge University Press, 2004.https://doi.org/10.1017/S0022112004000527 .

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.”https://doi.org/10.1126/science.1100393__Science. American Association for the Advancement of Science, 2004.https://doi.org/10.1126/science.1100393 .

Duroux, Meg, Andreas Houben, Kamil Rfeidka, Jií Friml, and Klaus Grasser. “The Chromatin Remodelling Complex FACT Associates with Actively Transcribed Regions of the Arabidopsis Genome.”https://doi.org/10.1111/j.1365-313X.2004.02242.x__Plant Journal. Wiley-Blackwell, 2004.https://doi.org/10.1111/j.1365-313X.2004.02242.x .

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.”https://doi.org/10.1126/science.1100618__Science. American Association for the Advancement of Science, 2004.https://doi.org/10.1126/science.1100618 .

Sauer, Michael, and Jií Friml. “In Vitro Culture of Arabidopsis Embryos within Their Ovules.”https://doi.org/10.1111/j.1365-313X.2004.02248.x__Plant Journal. Wiley-Blackwell, 2004.https://doi.org/10.1111/j.1365-313X.2004.02248.x .

Maurer, Ueli, and Krzysztof Z Pietrzak. “Composition of Random Systems: When Two Weak Make One Strong,”https://doi.org/10.1007/978-3-540-24638-1_23__2951:410–27. Springer, 2004.https://doi.org/10.1007/978-3-540-24638-1_23 .

Ulrich, Florian, and Carl-Philipp J Heisenberg. “Gastrulation in Zebrafish.” In Fish Development and Geneticsf: The Zebrafish and Medaka Models, edited by Vladimir Korzh and Zhiyuan Gong, 2:39–86. World Scientific Publishing, 2004.

Barton, Nicholas H, and Alison Etheridge. “The Effect of Selection on Genealogies.”https://doi.org/10.1534/genetics.166.2.1115__Genetics. Genetics Society of America, 2004.https://doi.org/10.1534/genetics.166.2.1115 .

Barton, Nicholas H. “Speciation: Why, How, Where and When?”https://doi.org/10.1016/j.cub.2004.07.037__Current Biology. Cell Press, 2004.https://doi.org/10.1016/j.cub.2004.07.037 .

Ulges, Adrian, Christoph Lampert, and Thomas Breuel. “Document Capture Using Stereo Vision,”https://doi.org/10.1145/1030397.1030434__198–200. ACM, 2004.https://doi.org/10.1145/1030397.1030434 .

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.”https://doi.org/10.1126/science.1094113__Science. American Association for the Advancement of Science, 2004.https://doi.org/10.1126/science.1094113 .

Chatterjee, Krishnendu, Ritankar Majumdar, and Marcin Jurdziski. “On Nash Equilibria in Stochastic Games,”https://doi.org/10.1007/978-3-540-30124-0_6__3210:26–40. Springer, 2004.https://doi.org/10.1007/978-3-540-30124-0_6 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Games with Secure Equilibria,”https://doi.org/10.1109/LICS.2004.1319610__160–69. IEEE, 2004.https://doi.org/10.1109/LICS.2004.1319610 .

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.”https://doi.org/10.1369/jhc.3A6221.2004__Journal of Histochemistry and Cytochemistry. Histochemical Society, 2004.https://doi.org/10.1369/jhc.3A6221.2004 .

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.”https://doi.org/10.1016/S1097-2765(04)00004-8__Molecular Cell. Cell Press, 2004.https://doi.org/10.1016/S1097-2765(04)00004-8 .

Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot.”https://doi.org/10.1007/s00454-004-2864-x__Discrete &; Computational Geometry. Springer, 2004.https://doi.org/10.1007/s00454-004-2864-x .

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.”https://doi.org/10.1242/dev.01335__Development. Company of Biologists, 2004.https://doi.org/10.1242/dev.01335 .

Vladar, Harold de, Roberto Cipriani, Benjamin Scharifker, and Jose Bubis. “A Mechanism for the Prebiotic Emergence of Proteins.”https://doi.org/3807__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 .

Barton, Nicholas H, Alison Etheridge, and Anja Sturm. “Coalescence in a Random Background.” Annals of Applied Probability. Institute of Mathematical Statistics, 2004.

Hippenmeyer, Simon, Ina Kramer, and Silvia Arber. “Control of Neuronal Phenotype: What Targets Tell the Cell Bodies.”https://doi.org/10.1016/j.tins.2004.05.012__Trends in Neurosciences. Elsevier, 2004.https://doi.org/10.1016/j.tins.2004.05.012 .

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

Kolmogorov, Vladimir, and Ramin Zabih. “What Energy Functions Can Be Minimized via Graph Cuts? .”https://doi.org/10.1109/TPAMI.2004.1262177__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2004.https://doi.org/10.1109/TPAMI.2004.1262177 .

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.”https://doi.org/10.1002/mrm.20162__Magnetic Resonance in Medicine. Wiley-Blackwell, 2004.https://doi.org/10.1002/mrm.20162 .

Zabih, Ramin, and Vladimir Kolmogorov. “Spatially Coherent Clustering Using Graph Cuts,”https://doi.org/10.1109/CVPR.2004.1315196__2:437–44. IEEE, 2004.https://doi.org/10.1109/CVPR.2004.1315196 .

Rother, Carsten, Vladimir Kolmogorov, and Andrew Blake. “&;quot;GrabCut&;quot; - Interactive Foreground Extraction Using Iterated Graph Cuts ,”https://doi.org/10.1145/1015706.1015720__23:309–14. ACM, 2004.https://doi.org/10.1145/1015706.1015720 .

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.”https://doi.org/10.1016/j.jmb.2004.05.026__Journal of Molecular Biology. Elsevier, 2004.https://doi.org/10.1016/j.jmb.2004.05.026 .

Janovjak, Harald L, Jens Struckmeier, Maurice Hubain, Max Kessler, Alexej Kedrov, and Daniel Mueller. “Probing the Energy Landscape of the Membrane Protein Bacteriorhodopsin.”https://doi.org/10.1016/j.str.2004.03.016__Structure. Cell Press, 2004.https://doi.org/10.1016/j.str.2004.03.016 .

Edelsbrunner, Herbert, and John Harer. “Jacobi Sets of Multiple Morse Functions.”https://doi.org/10.1017/CBO9781139106962.003__In Foundations of Computational Mathematics, 312:37–57. Springer, 2004.https://doi.org/10.1017/CBO9781139106962.003 .

Edelsbrunner, Herbert. “Biological Applications of Computational Topology.” In Handbook of Discrete and Computational Geometry, 1395–1412. CRC Press, 2004.

Charlesworth, Brian, and Nicholas H Barton. “Genome Size: Does Bigger Mean Worse?”https://doi.org/10.1016/j.cub.2004.02.054__Current Biology. Cell Press, 2004.https://doi.org/10.1016/j.cub.2004.02.054 .

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

Turelli, Michael, and Nicholas H Barton. “Polygenic Variation Maintained by Balancing Selection: Pleiotropy, Sex-Dependent Allelic Effects and GxE Interactions.”https://doi.org/10.1534/genetics.166.2.1053__Genetics. Genetics Society of America, 2004.https://doi.org/10.1534/genetics.166.2.1053 .

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.”https://doi.org/10.1113/jphysiol.2003.058842 __Journal of Physiology. Wiley-Blackwell, 2004.https://doi.org/10.1113/jphysiol.2003.058842  .

Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.”https://doi.org/10.1038/nature02553__Nature. Nature Publishing Group, 2004.https://doi.org/10.1038/nature02553 .

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.”https://doi.org/doi:10.1016/j.tins.2003.10.010__Trends in Neurosciences. Elsevier, 2004.https://doi.org/doi:10.1016/j.tins.2003.10.010 .

Heinze, Jürgen, A. Böttcher, and Sylvia Cremer. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.”https://doi.org/10.1007/s00040-004-0740-6__Insectes Sociaux. Springer, 2004.https://doi.org/10.1007/s00040-004-0740-6 .

Choi, Vicky, Pankaj Agarwal, Herbert Edelsbrunner, and Johannes Rudolph. “Local Search Heuristic for Rigid Protein Docking,”https://doi.org/10.1007/978-3-540-30219-3_19__3240:218–29. Springer, 2004.https://doi.org/10.1007/978-3-540-30219-3_19 .

Bryant, Robert, Herbert Edelsbrunner, Patrice Koehl, and Michael Levitt. “The Area Derivative of a Space-Filling Diagram.”https://doi.org/10.1007/s00454-004-1099-1__Discrete &; Computational Geometry. Springer, 2004.https://doi.org/10.1007/s00454-004-1099-1 .

Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Topological Hierarchy for Functions on Triangulated Surfaces.”https://doi.org/10.1109/TVCG.2004.3__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004.https://doi.org/10.1109/TVCG.2004.3 .

Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.”https://doi.org/10.1109/TVCG.2004.32__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2004.https://doi.org/10.1109/TVCG.2004.32 .

Cole Mclaughlin, Kree, Herbert Edelsbrunner, John Harer, Vijay Natarajan, and Valerio Pascucci. “Loops in Reeb Graphs of 2-Manifolds.”https://doi.org/10.1007/s00454-004-1122-6__Discrete &; Computational Geometry. Springer, 2004.https://doi.org/10.1007/s00454-004-1122-6 .

Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,”https://doi.org/10.1109/VISUAL.2004.68__275–80. IEEE, 2004.https://doi.org/10.1109/VISUAL.2004.68 .

Montero, Juan, and Carl-Philipp J Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.”https://doi.org/10.1016/j.tcb.2004.09.008__Trends in Cell Biology. Cell Press, 2004.https://doi.org/10.1016/j.tcb.2004.09.008 .

Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.”https://doi.org/3801__Journal of Theoretical Biology. Elsevier, 2004.https://doi.org/3801 .

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.

Vladar, Harold de. “Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares.”https://doi.org/3810__Centro de estudios avazados, IVIC, 2004.https://doi.org/3810 .

Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,”https://doi.org/1572__152–66. Springer, 2004.https://doi.org/1572 .

Jhala, Ranjit. “Program Verification by Lazy Abstraction.” University of California, Berkeley, 2004.

Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,”https://doi.org/10.1145/1017753.1017774__104–13. ACM, 2004.https://doi.org/10.1145/1017753.1017774 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,”https://doi.org/10.1145/964001.964021__232–44. ACM, 2004.https://doi.org/10.1145/964001.964021 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.”https://doi.org/10.1007/978-3-540-39910-0_16__In Verification: Theory and Practice, 2772:332–58. Springer, 2004.https://doi.org/10.1007/978-3-540-39910-0_16 .

Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,”https://doi.org/10.1145/996841.996844__1–13. ACM, 2004.https://doi.org/10.1145/996841.996844 .

Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,”https://doi.org/10.1007/978-3-540-24743-2_24__2993:167–70. Springer, 2004.https://doi.org/10.1007/978-3-540-24743-2_24 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,”https://doi.org/10.1109/QEST.2004.10051__206–17. IEEE, 2004.https://doi.org/10.1109/QEST.2004.10051 .

Chatterjee, Krishnendu, Marcin Jurdziski, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.

Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.”https://doi.org/10.1016/j.ic.2004.06.001__Information and Computation. Elsevier, 2004.https://doi.org/10.1016/j.ic.2004.06.001 .

Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,”https://doi.org/10.1007/978-3-540-27864-1_2__3148:2–18. Springer, 2004.https://doi.org/10.1007/978-3-540-27864-1_2 .

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,”https://doi.org/10.1109/WPC.2004.1311069Â  __251–55. IEEE, 2004.https://doi.org/10.1109/WPC.2004.1311069Â   .

Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,”https://doi.org/10.1109/ICSE.2004.1317455__326–35. IEEE, 2004.https://doi.org/10.1109/ICSE.2004.1317455 .

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,”https://doi.org/10.1007/978-3-540-24730-2_6__2988:77–92. Springer, 2004.https://doi.org/10.1007/978-3-540-24730-2_6 .

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.”https://doi.org/10.1016/j.cub.2004.06.027__Current Biology. Elsevier, 2004.https://doi.org/10.1016/j.cub.2004.06.027 .

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.”https://doi.org/10.2533/000942904777677029__CHIMIA International Journal for Chemistry. Swiss Chemical Society, 2004.https://doi.org/10.2533/000942904777677029 .

Santis, M., D. Schmid, M. Ruge, Stefan Alexander Freunberger, and F.N. Büchi. “Modular Stack-Internal Air Humidification Concept-Verification in a 1KW Stack.”https://doi.org/10.1002/fuce.200400028__Fuel Cells. Wiley, 2004.https://doi.org/10.1002/fuce.200400028 .

Panchenko, Anna, Fyodor Kondrashov, and Stephen Bryant. “Prediction of Functional Sites by Analysis of Sequence and Structure Conservation.”https://doi.org/10.1110/ps.03465504__Protein Science. Wiley-Blackwell, 2004.https://doi.org/10.1110/ps.03465504 .

Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Bioinformatical Assay of Human Gene Morbidity.”https://doi.org/10.1093/nar/gkh330__Nucleic Acids Research. Oxford University Press, 2004.https://doi.org/10.1093/nar/gkh330 .

Kondrashov, Fyodor, and Eugene Koonin. “A Common Framework for Understanding the Origin of Genetic Dominance and Evolutionary Fates of Gene Duplications.”https://doi.org/10.1016/j.tig.2004.05.001__Trends in Genetics. Elsevier, 2004.https://doi.org/10.1016/j.tig.2004.05.001 .

Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.”https://doi.org/10.1038/ng1451__Nature Genetics. Nature Publishing Group, 2004.https://doi.org/10.1038/ng1451 .

Zilberman, Daniel, Xiaofeng Cao, Lisa K. Johansen, Zhixin Xie, James C. Carrington, and Steven E. Jacobsen. “Role of Arabidopsis ARGONAUT in RNA-Directed DNA Methylation Triggered by Inverted Repeats.”https://doi.org/10.1016/j.cub.2004.06.055__Current Biology. Elsevier, 2004.https://doi.org/10.1016/j.cub.2004.06.055 .

Xie, Zhixin, Lisa K. Johansen, Adam M. Gustafson, Kristin D. Kasschau, Andrew D.https://doi.org/10.1371/journal.pbio.0020104__Lellis, Daniel Zilberman, Steven E. Jacobsen, and James C. Carrington. “Genetic and Functional Diversification of Small RNA Pathways in Plants.”https://doi.org/10.1371/journal.pbio.0020104__PLoS Biology. Public Library of Science, 2004.https://doi.org/10.1371/journal.pbio.0020104 .

Zilberman, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.”https://doi.org/10.1186/gb-2004-5-12-249__Genome Biology. Springer Nature, 2004.https://doi.org/10.1186/gb-2004-5-12-249 .

Dolgopyat, Dmitry, Vadim Kaloshin, and Leonid Koralov. “A Limit Shape Theorem for Periodic Stochastic Dispersion.”https://doi.org/10.1002/cpa.20032__Communications on Pure and Applied Mathematics. Wiley, 2004.https://doi.org/10.1002/cpa.20032 .

Koralov, Leonid, Vadim Kaloshin, and Dmitry Dolgopyat. “Sample Path Properties of the Stochastic Flows.”https://doi.org/10.1214/aop/1078415827__The Annals of Probability. Institute of Mathematical Statistics, 2004.https://doi.org/10.1214/aop/1078415827 .

Bazykin, Georgii, Fyodor Kondrashov, Aleksey Ogurtsov, Shamil Sunyaev, and Alexey Kondrashov. “Positive Selection at Sites of Multiple Amino Acid Replacements since Rat-Mouse Divergence.”https://doi.org/10.1038/nature02601__Nature. Nature Publishing Group, 2004.https://doi.org/10.1038/nature02601 .

Castillo Davis, Cristian, Fyodor Kondrashov, Daniel Hartl, and Rob Kulathinal. “The Functional Genomic Distribution of Protein Divergence in Two Animal Phyla: Coevolution, Genomic Conflict, and Constraint.”https://doi.org/10.1101/gr.2195604__Genome Research. Cold Spring Harbor Laboratory Press, 2004.https://doi.org/10.1101/gr.2195604 .