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.

6696 Publications


2004 | Journal Article | IST-REx-ID: 2741
Erdös, L., & Solovej, J. (2004). Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-004-0180-x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2742
Elgart, A., Erdös, L., Schlein, B., & Yau, H. (2004). Nonlinear Hartree equation as the mean field limit of weakly coupled fermions. Journal de Mathématiques Pures et Appliquées. Elsevier. https://doi.org/10.1016/j.matpur.2004.03.006
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2786
Hof, B., Van Doorne, C., Westerweel, J., Nieuwstadt, F., Faisst, H., Eckhardt, B., … Waleffe, F. (2004). Experimental observation of nonlinear traveling waves in turbulent pipe flow. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1100393
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2787
Hof, B., Juel, A., Zhao, L., Henry, D., Ben Hadid, H., & Mullin, T. (2004). On the onset of oscillatory convection in molten gallium. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/S0022112004000527
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8517
Dolgopyat, D., Kaloshin, V., & Koralov, L. (2004). A limit shape theorem for periodic stochastic dispersion. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.20032
View | DOI
 

2004 | Journal Article | IST-REx-ID: 8518
Koralov, L., Kaloshin, V., & Dolgopyat, D. (2004). Sample path properties of the stochastic flows. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/aop/1078415827
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko, A., Kondrashov, F., & Bryant, S. (2004). Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. Wiley-Blackwell. https://doi.org/10.1110/ps.03465504
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2004). Bioinformatical assay of human gene morbidity. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkh330
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
Kondrashov, F., & Koonin, E. (2004). A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2004.05.001
View | DOI
 

2004 | Journal Article | IST-REx-ID: 1963
Mamedova, A., Holt, P., Carroll, J., & Sazanov, L. A. (2004). Substrate-induced conformational change in bacterial complex I. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M401539200
View | DOI
 

2004 | Journal Article | IST-REx-ID: 209
Browning, T. D., & Heath Brown, R. (2004). Equal sums of three powers. Inventiones Mathematicae. Unknown. https://doi.org/10.1007/s00222-004-0360-9
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., & Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200400028
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Brunet, A., Sweeney, L. B. J., Sturgill, J. F., Chua, K., Greer, P., Lin, Y., … Greenberg, M. (2004). Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1094637
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 1456 | OA
Hausel, T., Hunsicker, E., & Mazzeo, R. (2004). Hodge cohomology of gravitational instantons. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/S0012-7094-04-12233-X
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 1464 | OA
Hausel, T., & Thaddeus, M. (2004). Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/S0024611503014618
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 889
Kern, A., & Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng1451
View | DOI
 

2004 | Journal Article | IST-REx-ID: 898
Bazykin, G., Kondrashov, F., Ogurtsov, A., Sunyaev, S., & Kondrashov, A. (2004). Positive selection at sites of multiple amino acid replacements since rat-mouse divergence. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02601
View | DOI
 

2004 | Journal Article | IST-REx-ID: 902
Castillo Davis, C., Kondrashov, F., Hartl, D., & Kulathinal, R. (2004). The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.2195604
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas, P. M., Bischofberger, J., Fricker, D., & Miles, R. (2004). Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. Elsevier. https://doi.org/doi:10.1016/j.tins.2003.10.010
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
Kampa, B., Clements, J., Jonas, P. M., & Stuart, G. (2004). Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2003.058842
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2004). Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02553
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver, D., Lien, C., Soom, M., Baukrowitz, T., Jonas, P. M., & Fakler, B. (2004). Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1094113
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, K., Majumdar, R., & Jurdziński, M. (2004). On Nash equilibria in stochastic games (Vol. 3210, pp. 26–40). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-30124-0_6
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2004). Games with secure equilibria (pp. 160–169). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2004.1319610
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze, J., Böttcher, A., & Cremer, S. (2004). Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. Springer. https://doi.org/10.1007/s00040-004-0740-6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, V., Laffert, B., Rosorius, O., Lischka, P., Blume, K., Galler, G., … Baur, A. (2004). HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. Cell Press. https://doi.org/10.1016/S1097-2765(04)00004-8
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, H., Baader, S., Sixt, M. K., Kappler, J., & Rauch, U. (2004). Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. Journal of Histochemistry and Cytochemistry. Histochemical Society. https://doi.org/10.1369/jhc.3A6221.2004
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, P., Edelsbrunner, H., Hamann, B., & Pascucci, V. (2004). A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.3
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, K., Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Loops in Reeb graphs of 2-manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1122-6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, R., Edelsbrunner, H., Koehl, P., & Levitt, M. (2004). The area derivative of a space-filling diagram. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1099-1
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, V., & Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.32
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, V., Agarwal, P., Edelsbrunner, H., & Rudolph, J. (2004). Local search heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer. https://doi.org/10.1007/978-3-540-30219-3_19
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Local and global comparison of continuous functions (pp. 275–280). Presented at the VIS: IEEE Visualization, IEEE. https://doi.org/10.1109/VISUAL.2004.68
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, P., Edelsbrunner, H., & Wang, Y. (2004). Computing the writhing number of a polygonal knot. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-2864-x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, J., & Heisenberg, C.-P. J. (2004). Gastrulation dynamics: cells move into focus. Trends in Cell Biology. Cell Press. https://doi.org/10.1016/j.tcb.2004.09.008
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse, K., Pantazis, P., Bollenbach, M. T., Julicher, F., & Gonzalez Gaitan, M. (2004). Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. Company of Biologists. https://doi.org/10.1242/dev.01335
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
de Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A mechanism for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, & J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (pp. 83–87). Springer.
View
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC. https://doi.org/3810
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar, H., & González, J. (2004). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier. https://doi.org/3801
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
de Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A Mechanism for the Prebiotic Emergence of Proteins. In J. Seckbach, J. Chela Flores, T. Owen, & F. Raulin (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (Vol. 7, pp. 83–87). Springer. https://doi.org/3807
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability. Institute of Mathematical Statistics.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1572
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View | DOI
 

Search

Filter Publications