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.

9698 Publications


2004 |Published| 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 |Published| Journal Article | IST-REx-ID: 3615 View | DOI
 

2004 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| Thesis | IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
 

2004 |Published| 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 |Published| 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
 

Search

Filter Publications