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.

96 Publications


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
 

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
 

2004 | Journal Article | IST-REx-ID: 2741 View | DOI
 

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
 

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
 

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
 

2004 | Journal Article | IST-REx-ID: 4172
Gastrulation dynamics: cells move into focus
J. Montero, C. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model
K. Kruse, P. Pantazis, T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
A mechanism for the prebiotic emergence of proteins
H. 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
 

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
 

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
 

2004 | Book Chapter | IST-REx-ID: 4239
A Mechanism for the Prebiotic Emergence of Proteins
H. 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
 

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.)
 

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
 

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

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

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
 

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
 

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.)
 

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
 

2004 | Book Chapter | IST-REx-ID: 3587
Gastrulation in zebrafish
F. Ulrich, C. Heisenberg, in:, V. Korzh, Z. Gong (Eds.), Fish Development and Genetics : The Zebrafish and Medaka Models, World Scientific Publishing, 2004, pp. 39–86.
View
 

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
 

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
 

2004 | Journal Article | IST-REx-ID: 3615 View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
Speciation: Why, how, where and when?
N.H. Barton, Current Biology 14 (2004) R603–R604.
View | DOI
 

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
 

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.)
 

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
 

Filters and Search Terms

year=2004

Search

Filter Publications