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 | Book Review | IST-REx-ID: 3616
Speciation: Why, how, where and when?
N.H. Barton, Current Biology 14 (2004) R603–R604.
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: 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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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 | 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: 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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: 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 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 | Journal Article | IST-REx-ID: 3807 | OA
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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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: 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
 

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 | 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 | 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: 4459
Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
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 | 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 | 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: 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: 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: 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: 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
 

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
 

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
 

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
 

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

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
 

2004 | Journal Article | IST-REx-ID: 9493 | OA
Role of Arabidopsis ARGONAUTE4 in RNA-directed DNA methylation triggered by inverted repeats
D. Zilberman, X. Cao, L.K. Johansen, Z. Xie, J.C. Carrington, S.E. Jacobsen, Current Biology 14 (2004) 1214–1220.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9517 | OA
Genetic and functional diversification of small RNA pathways in plants
Z. Xie, L.K. Johansen, A.M. Gustafson, K.D. Kasschau, A.D. Lellis, D. Zilberman, S.E. Jacobsen, J.C. Carrington, PLoS Biology 2 (2004) 0642–0652.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9511 | OA
Silencing of transposons in plant genomes: kick them when they're down
D. Zilberman, S. Henikoff, Genome Biology 5 (2004).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
 

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
 

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
 

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
 

2004 | Journal Article | IST-REx-ID: 9454
RNA silencing genes control de novo DNA methylation
S.W.-L. Chan, D. Zilberman, Zhixin Xie, Lisa K. Johansen, J.C. Carrington, S.E. Jacobsen, Science 303 (2004) 1336.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 12203
A new geranylgeranyl Diphosphate synthase gene from Ginkgo biloba, which intermediates the biosynthesis of the key precursor for ginkgolides
Z. Liao, M. Chen, Y. Gong, L. Guo, Q. Tan, X. Feng, X. Sun, F. Tan, K. Tang, DNA Sequence 15 (2004) 153–158.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 13435
Multicolour micropatterning of thin films of dry gels
R. Klajn, M. Fialkowski, I.T. Bensemann, A. Bitner, C.J. Campbell, K. Bishop, S. Smoukov, B.A. Grzybowski, Nature Materials 3 (2004) 729–735.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 13434
Color micro- and nanopatterning with counter-propagating reaction-diffusion fronts
C.J. Campbell, M. Fialkowski, R. Klajn, I.T. Bensemann, B.A. Grzybowski, Advanced Materials 16 (2004) 1912–1917.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7706
Stress-dependent regulation of FOXO transcription factors by the SIRT1 deacetylase
A. Brunet, L.B. 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
 

Filters and Search Terms

year=2004

Search

Filter Publications