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.
6318 Publications
2004 | Journal Article | IST-REx-ID: 2640
Immunohistochemical localization of Ih channel subunits, HCN1-4, in the rat brain
T. Notomi, R. Shigemoto, Journal of Comparative Neurology 471 (2004) 241–276.
View
| DOI
T. Notomi, R. Shigemoto, Journal of Comparative Neurology 471 (2004) 241–276.
2004 | Journal Article | IST-REx-ID: 2641
Bidirectional interactions between H-channels and Na+-K + pumps in mesencephalic trigeminal neurons
Y. Kang, T. Notomi, M. Saito, W. Zhang, R. Shigemoto, Journal of Neuroscience 24 (2004) 3694–3702.
View
| DOI
Y. Kang, T. Notomi, M. Saito, W. Zhang, R. Shigemoto, Journal of Neuroscience 24 (2004) 3694–3702.
2004 | Journal Article | IST-REx-ID: 2642
Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus
F. Ferraguti, P. Cobden, M. Pollard, D. Cope, R. Shigemoto, M. Watanabe, P. Somogyi, Hippocampus 14 (2004) 193–215.
View
| DOI
F. Ferraguti, P. Cobden, M. Pollard, D. Cope, R. Shigemoto, M. Watanabe, P. Somogyi, Hippocampus 14 (2004) 193–215.
2004 | Journal Article | IST-REx-ID: 2643
Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat
R. Luján, R. Shigemoto, Á. Kulik, J. Juíz, Journal of Comparative Neurology 475 (2004) 36–46.
View
| DOI
R. Luján, R. Shigemoto, Á. Kulik, J. Juíz, Journal of Comparative Neurology 475 (2004) 36–46.
2004 | Journal Article | IST-REx-ID: 2644
Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740.
View
| DOI
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740.
2004 | Journal Article | IST-REx-ID: 2645
HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons
S. Chan, R. Shigemoto, J. Mercer, J. Surmeier, Journal of Neuroscience 24 (2004) 9921–9932.
View
| DOI
S. Chan, R. Shigemoto, J. Mercer, J. Surmeier, Journal of Neuroscience 24 (2004) 9921–9932.
2004 | Journal Article | IST-REx-ID: 2646
Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development
G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, R. Luján, Hippocampus 14 (2004) 836–848.
View
| DOI
G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, R. Luján, Hippocampus 14 (2004) 836–848.
2004 | Journal Article | IST-REx-ID: 2706
Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength
L. Erdös, J. Solovej, Journal of Statistical Physics 116 (2004) 475–506.
View
| DOI
L. Erdös, J. Solovej, Journal of Statistical Physics 116 (2004) 475–506.
2004 | Journal Article | IST-REx-ID: 2707
On the quantum Boltzmann equation
L. Erdös, M. Salmhofer, H. Yau, Journal of Statistical Physics 116 (2004) 367–380.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Journal of Statistical Physics 116 (2004) 367–380.
2004 | Journal Article | IST-REx-ID: 2741
Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field
L. Erdös, J. Solovej, Annales Henri Poincare 5 (2004) 671–741.
View
| DOI
L. Erdös, J. Solovej, Annales Henri Poincare 5 (2004) 671–741.
2004 | Journal Article | IST-REx-ID: 2742
Nonlinear Hartree equation as the mean field limit of weakly coupled fermions
A. Elgart, L. Erdös, B. Schlein, H. Yau, Journal de Mathématiques Pures et Appliquées 83 (2004) 1241–1273.
View
| DOI
A. Elgart, L. Erdös, B. Schlein, H. Yau, Journal de Mathématiques Pures et Appliquées 83 (2004) 1241–1273.
2004 | Journal Article | IST-REx-ID: 2786
Experimental observation of nonlinear traveling waves in turbulent pipe flow
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, H. Faisst, B. Eckhardt, H. Wedin, R. Kersweli, F. Waleffe, Science 305 (2004) 1594–1598.
View
| DOI
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, H. Faisst, B. Eckhardt, H. Wedin, R. Kersweli, F. Waleffe, Science 305 (2004) 1594–1598.
2004 | Journal Article | IST-REx-ID: 2787
On the onset of oscillatory convection in molten gallium
B. Hof, A. Juel, L. Zhao, D. Henry, H. Ben Hadid, T. Mullin, Journal of Fluid Mechanics 515 (2004) 391–413.
View
| DOI
B. Hof, A. Juel, L. Zhao, D. Henry, H. Ben Hadid, T. Mullin, Journal of Fluid Mechanics 515 (2004) 391–413.
2004 | Journal Article | IST-REx-ID: 8517
A limit shape theorem for periodic stochastic dispersion
D. Dolgopyat, V. Kaloshin, L. Koralov, Communications on Pure and Applied Mathematics 57 (2004) 1127–1158.
View
| DOI
D. Dolgopyat, V. Kaloshin, L. Koralov, Communications on Pure and Applied Mathematics 57 (2004) 1127–1158.
2004 | Journal Article | IST-REx-ID: 8518
Sample path properties of the stochastic flows
L. Koralov, V. Kaloshin, D. Dolgopyat, The Annals of Probability 32 (2004) 1–27.
View
| DOI
L. Koralov, V. Kaloshin, D. Dolgopyat, The Annals of Probability 32 (2004) 1–27.
2004 | Journal Article | IST-REx-ID: 864
Prediction of functional sites by analysis of sequence and structure conservation
A. Panchenko, F. Kondrashov, S. Bryant, Protein Science 13 (2004) 884–892.
View
| DOI
A. Panchenko, F. Kondrashov, S. Bryant, Protein Science 13 (2004) 884–892.
2004 | Journal Article | IST-REx-ID: 870
Bioinformatical assay of human gene morbidity
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Nucleic Acids Research 32 (2004) 1731–1737.
View
| DOI
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Nucleic Acids Research 32 (2004) 1731–1737.
2004 | Journal Article | IST-REx-ID: 875
A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
View
| DOI
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
2004 | Journal Article | IST-REx-ID: 1963
Substrate-induced conformational change in bacterial complex I
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
View
| DOI
A. Mamedova, P. Holt, J. Carroll, L.A. Sazanov, Journal of Biological Chemistry 279 (2004) 23830–23836.
2004 | Journal Article | IST-REx-ID: 209
Equal sums of three powers
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
View
| DOI
T.D. Browning, R. Heath Brown, Inventiones Mathematicae 157 (2004) 553–573.
2004 | Journal Article | IST-REx-ID: 7333
Modular stack-internal air humidification concept-verification in a 1 kW stack
M. Santis, D. Schmid, M. Ruge, S.A. Freunberger, F.N. Büchi, Fuel Cells 4 (2004) 214–218.
View
| DOI
M. Santis, D. Schmid, M. Ruge, S.A. Freunberger, F.N. Büchi, Fuel Cells 4 (2004) 214–218.
2004 | Journal Article | IST-REx-ID: 7334
Fuel cell modeling and simulations
J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.
View
| DOI
J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.
2004 | Journal Article | IST-REx-ID: 7706
Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase
A. Brunet, L.B.J. Sweeney, J.F. Sturgill, K. Chua, P. Greer, Y. Lin, H. Tran, S. Ross, R. Mostoslavsky, H. Cohen, L. Hu, H.-L. Chen, M. Jedrychowski, S. Gygi, D. Sinclair, F. Alt, M. Greenberg, Science 303 (2004) 2011–2015.
View
| DOI
A. Brunet, L.B.J. Sweeney, J.F. Sturgill, K. Chua, P. Greer, Y. Lin, H. Tran, S. Ross, R. Mostoslavsky, H. Cohen, L. Hu, H.-L. Chen, M. Jedrychowski, S. Gygi, D. Sinclair, F. Alt, M. Greenberg, Science 303 (2004) 2011–2015.
2004 | Conference Paper | IST-REx-ID: 4629
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
2004 | Journal Article | IST-REx-ID: 6155
Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
View
| DOI
| PubMed | Europe PMC
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
2004 | Journal Article | IST-REx-ID: 1456 | 
Hodge cohomology of gravitational instantons
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
View
| DOI
| Download (ext.)
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
2004 | Journal Article | IST-REx-ID: 1464 |
Generators for the cohomology ring of the moduli space of rank 2 higgs bundles
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
2004 | Journal Article | IST-REx-ID: 889
Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
View
| DOI
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
2004 | Journal Article | IST-REx-ID: 898
Positive selection at sites of multiple amino acid replacements since rat-mouse divergence
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, A. Kondrashov, Nature 429 (2004) 558–562.
View
| DOI
G. Bazykin, F. Kondrashov, A. Ogurtsov, S. Sunyaev, A. Kondrashov, Nature 429 (2004) 558–562.
2004 | Journal Article | IST-REx-ID: 902
The functional genomic distribution of protein divergence in two animal phyla: Coevolution, genomic conflict, and constraint
C. Castillo Davis, F. Kondrashov, D. Hartl, R. Kulathinal, Genome Research 14 (2004) 802–811.
View
| DOI
C. Castillo Davis, F. Kondrashov, D. Hartl, R. Kulathinal, Genome Research 14 (2004) 802–811.
2004 | Journal Article | IST-REx-ID: 3805
Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons
P.M. Jonas, J. Bischofberger, D. Fricker, R. Miles, Trends in Neurosciences 27 (2004) 30–40.
View
| DOI
P.M. Jonas, J. Bischofberger, D. Fricker, R. Miles, Trends in Neurosciences 27 (2004) 30–40.
2004 | Journal Article | IST-REx-ID: 3807 |
Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity
B. Kampa, J. Clements, P.M. Jonas, G. Stuart, Journal of Physiology 556 (2004) 337–45.
View
| DOI
| Download (ext.)
B. Kampa, J. Clements, P.M. Jonas, G. Stuart, Journal of Physiology 556 (2004) 337–45.
2004 | Journal Article | IST-REx-ID: 3809
Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Nature 429 (2004) 184–7.
View
| DOI
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Nature 429 (2004) 184–7.
2004 | Journal Article | IST-REx-ID: 3810
Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P.M. Jonas, B. Fakler, Science 304 (2004) 265–70.
View
| DOI
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P.M. Jonas, B. Fakler, Science 304 (2004) 265–70.
2004 | Conference Paper | IST-REx-ID: 3894
On Nash equilibria in stochastic games
K. Chatterjee, R. Majumdar, M. Jurdziński, in:, Springer, 2004, pp. 26–40.
View
| DOI
K. Chatterjee, R. Majumdar, M. Jurdziński, in:, Springer, 2004, pp. 26–40.
2004 | Conference Paper | IST-REx-ID: 3895
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2004, pp. 160–169.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2004, pp. 160–169.
2004 | Journal Article | IST-REx-ID: 3918
Production of winged and wingless males in the ant, Cardiocondyla minutior
J. Heinze, A. Böttcher, S. Cremer, Insectes Sociaux 51 (2004) 275–278.
View
| DOI
J. Heinze, A. Böttcher, S. Cremer, Insectes Sociaux 51 (2004) 275–278.
2004 | Journal Article | IST-REx-ID: 3929
HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane
V. Witte, B. Laffert, O. Rosorius, P. Lischka, K. Blume, G. Galler, A. Stilper, D. Willbold, P. D’Aloja, M.K. Sixt, J. Kolanus, M. Ott, W. Kolanus, G. Schuler, A. Baur, Molecular Cell 13 (2004) 179–190.
View
| DOI
V. Witte, B. Laffert, O. Rosorius, P. Lischka, K. Blume, G. Galler, A. Stilper, D. Willbold, P. D’Aloja, M.K. Sixt, J. Kolanus, M. Ott, W. Kolanus, G. Schuler, A. Baur, Molecular Cell 13 (2004) 179–190.
2004 | Journal Article | IST-REx-ID: 3931
Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells
H. Zhang, S. Baader, M.K. Sixt, J. Kappler, U. Rauch, Journal of Histochemistry and Cytochemistry 52 (2004) 915–922.
View
| DOI
H. Zhang, S. Baader, M.K. Sixt, J. Kappler, U. Rauch, Journal of Histochemistry and Cytochemistry 52 (2004) 915–922.
2004 | Journal Article | IST-REx-ID: 3984
A topological hierarchy for functions on triangulated surfaces
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 385–396.
View
| DOI
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 385–396.
2004 | Journal Article | IST-REx-ID: 3985
Loops in Reeb graphs of 2-manifolds
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, Discrete & Computational Geometry 32 (2004) 231–244.
View
| DOI
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, Discrete & Computational Geometry 32 (2004) 231–244.
2004 | Journal Article | IST-REx-ID: 3986
The area derivative of a space-filling diagram
R. Bryant, H. Edelsbrunner, P. Koehl, M. Levitt, Discrete & Computational Geometry 32 (2004) 293–308.
View
| DOI
R. Bryant, H. Edelsbrunner, P. Koehl, M. Levitt, Discrete & Computational Geometry 32 (2004) 293–308.
2004 | Journal Article | IST-REx-ID: 3987
Simplification of three-dimensional density maps
V. Natarajan, H. Edelsbrunner, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 587–597.
View
| DOI
V. Natarajan, H. Edelsbrunner, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 587–597.
2004 | Conference Paper | IST-REx-ID: 3988
Local search heuristic for rigid protein docking
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229.
View
| DOI
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229.
2004 | Conference Paper | IST-REx-ID: 3989
Local and global comparison of continuous functions
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, IEEE, 2004, pp. 275–280.
View
| DOI
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, IEEE, 2004, pp. 275–280.
2004 | Journal Article | IST-REx-ID: 3990
Computing the writhing number of a polygonal knot
P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete & Computational Geometry 32 (2004) 37–53.
View
| DOI
P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete & Computational Geometry 32 (2004) 37–53.
2004 | Journal Article | IST-REx-ID: 4172
Gastrulation dynamics: cells move into focus
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
View
| DOI
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
2004 | Journal Article | IST-REx-ID: 4224
Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model
K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.
View
| DOI
K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.
2004 | Book Chapter | IST-REx-ID: 4230
A mechanism for the prebiotic emergence of proteins
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S. Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
View
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, in:, A. Hanslmeier, S. Kempe, J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, Springer, 2004, pp. 83–87.
2004 | Thesis | IST-REx-ID: 4236
Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares
H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
View
| DOI
H. de Vladar, Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares, Centro de estudios avazados, IVIC, 2004.
2004 | Journal Article | IST-REx-ID: 4238
Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.
View
| DOI
H. de Vladar, J. González, Journal of Theoretical Biology 227 (2004) 335–348.
2004 | Book Chapter | IST-REx-ID: 4239
A Mechanism for the Prebiotic Emergence of Proteins
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, 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, Springer, 2004, pp. 83–87.
View
| DOI
H. de Vladar, R. Cipriani, B. Scharifker, J. Bubis, 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, Springer, 2004, pp. 83–87.
2004 | Journal Article | IST-REx-ID: 4253
Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
View
| Download (ext.)
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
2004 | Conference Paper | IST-REx-ID: 4372
Monitoring Temporal Properties of Continuous Signals
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
View
| DOI
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
2004 | Thesis | IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
2004 | Conference Paper | IST-REx-ID: 4445
A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
View
| DOI
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
2004 | Conference Paper | IST-REx-ID: 4458
Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
2004 | Conference Paper | IST-REx-ID: 4459
Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
2004 | Book Chapter | IST-REx-ID: 4461
Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
2004 | Conference Paper | IST-REx-ID: 4525
Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
View
| DOI
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
2004 | Conference Paper | IST-REx-ID: 4555
Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
2004 | Journal Article | IST-REx-ID: 4556
Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
View
| DOI
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
2004 | Conference Paper | IST-REx-ID: 4558
Quantitative stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
View
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
2004 | Conference Paper | IST-REx-ID: 4577
An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
2004 | Conference Paper | IST-REx-ID: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
2004 | Conference Paper | IST-REx-ID: 4581
Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
2004 | Journal Article | IST-REx-ID: 2997
A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux
J. Friml, X. Yang, M. Michniewicz, D. Weijers, A. Quint, O. Tietz, R. Benjamins, P. Ouwerkerk, K. Ljung, G. Sandberg, P. Hooykaas, K. Palme, R. Offringa, Science 306 (2004) 862–865.
View
| DOI
J. Friml, X. Yang, M. Michniewicz, D. Weijers, A. Quint, O. Tietz, R. Benjamins, P. Ouwerkerk, K. Ljung, G. Sandberg, P. Hooykaas, K. Palme, R. Offringa, Science 306 (2004) 862–865.
2004 | Journal Article | IST-REx-ID: 2998
The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome
M. Duroux, A. Houben, K. Růžička, J. Friml, K. Grasser, Plant Journal 40 (2004) 660–671.
View
| DOI
M. Duroux, A. Houben, K. Růžička, J. Friml, K. Grasser, Plant Journal 40 (2004) 660–671.
2004 | Journal Article | IST-REx-ID: 2999
In vitro culture of Arabidopsis embryos within their ovules
M. Sauer, J. Friml, Plant Journal 40 (2004) 835–843.
View
| DOI
M. Sauer, J. Friml, Plant Journal 40 (2004) 835–843.
2004 | Book Review | IST-REx-ID: 3142
Control of neuronal phenotype: What targets tell the cell bodies
S. Hippenmeyer, I. Kramer, S. Arber, Trends in Neurosciences 27 (2004) 482–488.
View
| DOI
S. Hippenmeyer, I. Kramer, S. Arber, Trends in Neurosciences 27 (2004) 482–488.
2004 | Journal Article | IST-REx-ID: 3172
Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method
V. Kolmogorov, T. Nguyen, A. Nuval, P. Spincemaille, M. Prince, R. Zabih, Y. Wang, Magnetic Resonance in Medicine 52 (2004) 362–367.
View
| DOI
V. Kolmogorov, T. Nguyen, A. Nuval, P. Spincemaille, M. Prince, R. Zabih, Y. Wang, Magnetic Resonance in Medicine 52 (2004) 362–367.
2004 | Journal Article | IST-REx-ID: 3173
What energy functions can be minimized via graph cuts?
V. Kolmogorov, R. Zabih, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 147–159.
View
| DOI
V. Kolmogorov, R. Zabih, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 147–159.
2004 | Conference Paper | IST-REx-ID: 3177
Spatially coherent clustering using graph cuts
R. Zabih, V. Kolmogorov, in:, IEEE, 2004, pp. 437–444.
View
| DOI
R. Zabih, V. Kolmogorov, in:, IEEE, 2004, pp. 437–444.
2004 | Journal Article | IST-REx-ID: 3178
An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision
Y. Boykov, V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 1124–1137.
View
| DOI
Y. Boykov, V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (2004) 1124–1137.
2004 | Conference Paper | IST-REx-ID: 3179
"GrabCut" - Interactive foreground extraction using iterated graph cuts
C. Rother, V. Kolmogorov, A. Blake, in:, ACM, 2004, pp. 309–314.
View
| DOI
| Download (ext.)
C. Rother, V. Kolmogorov, A. Blake, in:, ACM, 2004, pp. 309–314.
2004 | Conference Paper | IST-REx-ID: 3208
Composition of random systems: When two weak make one strong
U. Maurer, K.Z. Pietrzak, in:, Springer, 2004, pp. 410–427.
View
| DOI
U. Maurer, K.Z. Pietrzak, in:, Springer, 2004, pp. 410–427.
2004 | Journal Article | IST-REx-ID: 3419
Probing the energy landscape of the membrane protein bacteriorhodopsin
H.L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, D. Mueller, Structure 12 (2004) 871–879.
View
| DOI
H.L. Janovjak, J. Struckmeier, M. Hubain, M. Kessler, A. Kedrov, D. Mueller, Structure 12 (2004) 871–879.
2004 | Journal Article | IST-REx-ID: 3420
Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy
A. Kedrov, C. Ziegler, H.L. Janovjak, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 340 (2004) 1143–1152.
View
| DOI
A. Kedrov, C. Ziegler, H.L. Janovjak, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 340 (2004) 1143–1152.
2004 | Book Chapter | IST-REx-ID: 3574
Biological applications of computational topology
H. Edelsbrunner, in:, Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
View
| Download (ext.)
H. Edelsbrunner, in:, Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
2004 | Book Chapter | IST-REx-ID: 3575
Jacobi sets of multiple Morse functions
H. Edelsbrunner, J. Harer, in:, Foundations of Computational Mathematics, Springer, 2004, pp. 37–57.
View
| DOI
H. Edelsbrunner, J. Harer, in:, Foundations of Computational Mathematics, Springer, 2004, pp. 37–57.
2004 | Book Chapter | IST-REx-ID: 3587
Gastrulation in zebrafish
F. Ulrich, C.-P.J. Heisenberg, in:, V. Korzh, Z. Gong (Eds.), Fish Development and Genetics : The Zebrafish and Medaka Models, World Scientific Publishing, 2004, pp. 39–86.
View
F. Ulrich, C.-P.J. Heisenberg, in:, V. Korzh, Z. Gong (Eds.), Fish Development and Genetics : The Zebrafish and Medaka Models, World Scientific Publishing, 2004, pp. 39–86.
2004 | Book Review | IST-REx-ID: 3595
Genome size: Does bigger mean worse?
B. Charlesworth, N.H. Barton, Current Biology 14 (2004) R233–R235.
View
| DOI
B. Charlesworth, N.H. Barton, Current Biology 14 (2004) R233–R235.
2004 | Journal Article | IST-REx-ID: 3614
Effects of allele frequency changes on variance components under a general model of epistasis
N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 58 (2004) 2111–2132.
View
| DOI
N.H. Barton, M. Turelli, Evolution; International Journal of Organic Evolution 58 (2004) 2111–2132.
2004 | Journal Article | IST-REx-ID: 3615
Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions
M. Turelli, N.H. Barton, Genetics 166 (2004) 1053–1079.
View
| DOI
M. Turelli, N.H. Barton, Genetics 166 (2004) 1053–1079.
2004 | Book Review | IST-REx-ID: 3616
Speciation: Why, how, where and when?
N.H. Barton, Current Biology 14 (2004) R603–R604.
View
| DOI
N.H. Barton, Current Biology 14 (2004) R603–R604.
2004 | Journal Article | IST-REx-ID: 3617
The effect of selection on genealogies
N.H. Barton, A. Etheridge, Genetics 166 (2004) 1115–1131.
View
| DOI
N.H. Barton, A. Etheridge, Genetics 166 (2004) 1115–1131.
2004 | Conference Paper | IST-REx-ID: 3688
Document capture using stereo vision
A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2004, pp. 198–200.
View
| DOI
| Download (ext.)
A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2004, pp. 198–200.
2003 | Conference Paper | IST-REx-ID: 2337 |
Bose-Einstein condensation of dilute gases in traps
É. Lieb, R. Seiringer, in:, Y. Karpeshina, R. Weikard, Y. Zeng (Eds.), American Mathematical Society, 2003, pp. 239–250.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, in:, Y. Karpeshina, R. Weikard, Y. Zeng (Eds.), American Mathematical Society, 2003, pp. 239–250.
2003 | Journal Article | IST-REx-ID: 2354 |
Ground state asymptotics of a dilute, rotating gas
R. Seiringer, Journal of Physics A: Mathematical and Theoretical 36 (2003) 9755–9778.
View
| DOI
| Download (ext.)
R. Seiringer, Journal of Physics A: Mathematical and Theoretical 36 (2003) 9755–9778.
2003 | Journal Article | IST-REx-ID: 2357 |
Poincaré inequalities in punctured domains
É. Lieb, R. Seiringer, J. Yngvason, Annals of Mathematics 158 (2003) 1067–1080.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Annals of Mathematics 158 (2003) 1067–1080.
2003 | Journal Article | IST-REx-ID: 2358 |
One-dimensional Bosons in three-dimensional traps
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 91 (2003) 1504011–1504014.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 91 (2003) 1504011–1504014.
2003 | Thesis | IST-REx-ID: 2414
On k-Sets and Their Applications
U. Wagner, On K-Sets and Their Applications, ETH Zurich, 2003.
View
| DOI
U. Wagner, On K-Sets and Their Applications, ETH Zurich, 2003.
2003 | Conference Paper | IST-REx-ID: 2422
On the rectilinear crossing number of complete graphs
U. Wagner, in:, SIAM, 2003, pp. 583–588.
View
| Download (ext.)
U. Wagner, in:, SIAM, 2003, pp. 583–588.
2003 | Conference Paper | IST-REx-ID: 2423
New constructions of weak epsilon-nets
J. Matoušek, U. Wagner, in:, ACM, 2003, pp. 129–135.
View
| DOI
J. Matoušek, U. Wagner, in:, ACM, 2003, pp. 129–135.
2003 | Conference Paper | IST-REx-ID: 2424
Shape dimension and intrinsic metric from samples of manifolds with high co-dimension
J. Giesen, U. Wagner, in:, ACM, 2003, pp. 329–337.
View
| DOI
J. Giesen, U. Wagner, in:, ACM, 2003, pp. 329–337.
2003 | Journal Article | IST-REx-ID: 2623
Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies
M. Coesmans, P. Sillevis Smitt, D. Linden, R. Shigemoto, T. Hirano, Y. Yamakawa, A. Van Alphen, C. Luo, J. Van Der Geest, J. Kros, C. Gaillard, M. Frens, C. De Zeeuw, Annals of Neurology 53 (2003) 325–336.
View
| DOI
M. Coesmans, P. Sillevis Smitt, D. Linden, R. Shigemoto, T. Hirano, Y. Yamakawa, A. Van Alphen, C. Luo, J. Van Der Geest, J. Kros, C. Gaillard, M. Frens, C. De Zeeuw, Annals of Neurology 53 (2003) 325–336.
2003 | Journal Article | IST-REx-ID: 2625
Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons
I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, T. Hirano, European Journal of Neuroscience 17 (2003) 1023–1032.
View
| DOI
I. Minami, M. Kengaku, S. Smitt, R. Shigemoto, T. Hirano, European Journal of Neuroscience 17 (2003) 1023–1032.
2003 | Journal Article | IST-REx-ID: 2626
Differential expression patterns of mGluR1α in monkey nigral dopamine neurons
K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, M. Takada, Neuroreport 14 (2003) 947–950.
View
| DOI
K. Kaneda, M. Imanishi, A. Nambu, R. Shigemoto, M. Takada, Neuroreport 14 (2003) 947–950.
2003 | Journal Article | IST-REx-ID: 2627
Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry
R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, I. Ito, Science 300 (2003) 990–994.
View
| DOI
R. Kawakami, Y. Shinohara, Y. Kato, H. Sugiyama, R. Shigemoto, I. Ito, Science 300 (2003) 990–994.
2003 | Journal Article | IST-REx-ID: 2628
The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats
A. Momiyama, R. Silver, M. Häusser, T. Notomi, Y. Wu, R. Shigemoto, S. Cull Candy, Journal of Physiology 549 (2003) 75–92.
View
| DOI
A. Momiyama, R. Silver, M. Häusser, T. Notomi, Y. Wu, R. Shigemoto, S. Cull Candy, Journal of Physiology 549 (2003) 75–92.