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.
LibreCat: https://research-explorer.ista.ac.at/record/2997
DOI: 10.1126/science.1100618

In vitro culture of Arabidopsis embryos within their ovules
M. Sauer, J. Friml, Plant Journal 40 (2004) 835–843.
LibreCat: https://research-explorer.ista.ac.at/record/2999
DOI: 10.1111/j.1365-313X.2004.02248.x

Composition of random systems: When two weak make one strong
U. Maurer, K.Z. Pietrzak, in:, Springer, 2004, pp. 410–427.
LibreCat: https://research-explorer.ista.ac.at/record/3208
DOI: 10.1007/978-3-540-24638-1_23

Gastrulation in zebrafish
F. Ulrich, C.-P.J. Heisenberg, in:, V. Korzh, Z. Gong (Eds.), Fish Development and Geneticsf: The Zebrafish and Medaka Models, World Scientific Publishing, 2004, pp. 39–86.
LibreCat: https://research-explorer.ista.ac.at/record/3587

The effect of selection on genealogies
N.H. Barton, A. Etheridge, Genetics 166 (2004) 1115–1131.
LibreCat: https://research-explorer.ista.ac.at/record/3617
DOI: 10.1534/genetics.166.2.1115

Speciation: Why, how, where and when?
N.H. Barton, Current Biology 14 (2004) 3–4.
LibreCat: https://research-explorer.ista.ac.at/record/3616
DOI: 10.1016/j.cub.2004.07.037

Document capture using stereo vision
A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2004, pp. 198–200.
LibreCat: https://research-explorer.ista.ac.at/record/3688
DOI: 10.1145/1030397.1030434

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.
LibreCat: https://research-explorer.ista.ac.at/record/3810
DOI: 10.1126/science.1094113

On Nash equilibria in stochastic games
K. Chatterjee, R. Majumdar, M. Jurdziski, in:, Springer, 2004, pp. 26–40.
LibreCat: https://research-explorer.ista.ac.at/record/3894
DOI: 10.1007/978-3-540-30124-0_6

Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziski, in:, IEEE, 2004, pp. 160–169.
LibreCat: https://research-explorer.ista.ac.at/record/3895
DOI: 10.1109/LICS.2004.1319610

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.
LibreCat: https://research-explorer.ista.ac.at/record/3931
DOI: 10.1369/jhc.3A6221.2004

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.
LibreCat: https://research-explorer.ista.ac.at/record/3929
DOI: 10.1016/S1097-2765(04)00004-8

Computing the writhing number of a polygonal knot
P. Agarwal, H. Edelsbrunner, Y. Wang, Discrete &; Computational Geometry 32 (2004) 37–53.
LibreCat: https://research-explorer.ista.ac.at/record/3990
DOI: 10.1007/s00454-004-2864-x

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.
LibreCat: https://research-explorer.ista.ac.at/record/4224
DOI: 10.1242/dev.01335

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.
LibreCat: https://research-explorer.ista.ac.at/record/4239
DOI: 3807

Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
LibreCat: https://research-explorer.ista.ac.at/record/4253

Control of neuronal phenotype: What targets tell the cell bodies
S. Hippenmeyer, I. Kramer, S. Arber, Trends in Neurosciences 27 (2004) 482–488.
LibreCat: https://research-explorer.ista.ac.at/record/3142
DOI: 10.1016/j.tins.2004.05.012

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.
LibreCat: https://research-explorer.ista.ac.at/record/3178
DOI: 10.1109/TPAMI.2004.60

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.
LibreCat: https://research-explorer.ista.ac.at/record/3173
DOI: 10.1109/TPAMI.2004.1262177

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.
LibreCat: https://research-explorer.ista.ac.at/record/3172
DOI: 10.1002/mrm.20162

Spatially coherent clustering using graph cuts
R. Zabih, V. Kolmogorov, in:, IEEE, 2004, pp. 437–444.
LibreCat: https://research-explorer.ista.ac.at/record/3177
DOI: 10.1109/CVPR.2004.1315196

&quot;GrabCut&quot; - Interactive foreground extraction using iterated graph cuts 
C. Rother, V. Kolmogorov, A. Blake, in:, ACM, 2004, pp. 309–314.
LibreCat: https://research-explorer.ista.ac.at/record/3179
DOI: 10.1145/1015706.1015720

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.
LibreCat: https://research-explorer.ista.ac.at/record/3420
DOI: 10.1016/j.jmb.2004.05.026

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.
LibreCat: https://research-explorer.ista.ac.at/record/3419
DOI: 10.1016/j.str.2004.03.016

Jacobi sets of multiple Morse functions
H. Edelsbrunner, J. Harer, in:, Foundations of Computational Mathematics, Springer, 2004, pp. 37–57.
LibreCat: https://research-explorer.ista.ac.at/record/3575
DOI: 10.1017/CBO9781139106962.003

Biological applications of computational topology
H. Edelsbrunner, in:, Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–1412.
LibreCat: https://research-explorer.ista.ac.at/record/3574

Genome size: Does bigger mean worse?
B. Charlesworth, N.H. Barton, Current Biology 14 (2004) 3–5.
LibreCat: https://research-explorer.ista.ac.at/record/3595
DOI: 10.1016/j.cub.2004.02.054

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.
LibreCat: https://research-explorer.ista.ac.at/record/3614
DOI: 10.1111/j.0014-3820.2004.tb01591.x

Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions
M. Turelli, N.H. Barton, Genetics 166 (2004) 1053–1079.
LibreCat: https://research-explorer.ista.ac.at/record/3615
DOI: 10.1534/genetics.166.2.1053

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.
LibreCat: https://research-explorer.ista.ac.at/record/3807
DOI: 10.1113/jphysiol.2003.058842 

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.
LibreCat: https://research-explorer.ista.ac.at/record/3809
DOI: 10.1038/nature02553

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.
LibreCat: https://research-explorer.ista.ac.at/record/3805
DOI: doi:10.1016/j.tins.2003.10.010

Production of winged and wingless males in the ant, Cardiocondyla minutior
J. Heinze, A. Böttcher, S. Cremer, Insectes Sociaux 51 (2004) 275–278.
LibreCat: https://research-explorer.ista.ac.at/record/3918
DOI: 10.1007/s00040-004-0740-6

Local search heuristic for rigid protein docking
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229.
LibreCat: https://research-explorer.ista.ac.at/record/3988
DOI: 10.1007/978-3-540-30219-3_19

The area derivative of a space-filling diagram
R. Bryant, H. Edelsbrunner, P. Koehl, M. Levitt, Discrete &; Computational Geometry 32 (2004) 293–308.
LibreCat: https://research-explorer.ista.ac.at/record/3986
DOI: 10.1007/s00454-004-1099-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/3984
DOI: 10.1109/TVCG.2004.3

Simplification of three-dimensional density maps
V. Natarajan, H. Edelsbrunner, IEEE Transactions on Visualization and Computer Graphics 10 (2004) 587–597.
LibreCat: https://research-explorer.ista.ac.at/record/3987
DOI: 10.1109/TVCG.2004.32

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.
LibreCat: https://research-explorer.ista.ac.at/record/3985
DOI: 10.1007/s00454-004-1122-6

Local and global comparison of continuous functions
H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, in:, IEEE, 2004, pp. 275–280.
LibreCat: https://research-explorer.ista.ac.at/record/3989
DOI: 10.1109/VISUAL.2004.68

Gastrulation dynamics: cells move into focus
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
LibreCat: https://research-explorer.ista.ac.at/record/4172
DOI: 10.1016/j.tcb.2004.09.008

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.
LibreCat: https://research-explorer.ista.ac.at/record/4238
DOI: 3801

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.
LibreCat: https://research-explorer.ista.ac.at/record/4230

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.
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

Monitoring Temporal Properties of Continuous Signals
O. Maler, D. Nickovic, in:, Springer, 2004, pp. 152–166.
LibreCat: https://research-explorer.ista.ac.at/record/4372
DOI: 1572

Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4424

A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
LibreCat: https://research-explorer.ista.ac.at/record/4445
DOI: 10.1145/1017753.1017774

Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, ACM, 2004, pp. 232–244.
LibreCat: https://research-explorer.ista.ac.at/record/4458
DOI: 10.1145/964001.964021

Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
LibreCat: https://research-explorer.ista.ac.at/record/4461
DOI: 10.1007/978-3-540-39910-0_16

Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4459
DOI: 10.1145/996841.996844

Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
LibreCat: https://research-explorer.ista.ac.at/record/4525
DOI: 10.1007/978-3-540-24743-2_24

Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
LibreCat: https://research-explorer.ista.ac.at/record/4555
DOI: 10.1109/QEST.2004.10051

Quantitative stochastic parity games
K. Chatterjee, M. Jurdziski, T.A. Henzinger, in:, SIAM, 2004, pp. 121–130.
LibreCat: https://research-explorer.ista.ac.at/record/4558

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.
LibreCat: https://research-explorer.ista.ac.at/record/4556
DOI: 10.1016/j.ic.2004.06.001

The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
LibreCat: https://research-explorer.ista.ac.at/record/4578
DOI: 10.1007/978-3-540-27864-1_2

An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 251–255.
LibreCat: https://research-explorer.ista.ac.at/record/4577
DOI: 10.1109/WPC.2004.1311069  

Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, IEEE, 2004, pp. 326–335.
LibreCat: https://research-explorer.ista.ac.at/record/4581
DOI: 10.1109/ICSE.2004.1317455

Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
LibreCat: https://research-explorer.ista.ac.at/record/4629
DOI: 10.1007/978-3-540-24730-2_6

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.
LibreCat: https://research-explorer.ista.ac.at/record/6155
DOI: 10.1016/j.cub.2004.06.027
PMID: 15203005

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.
LibreCat: https://research-explorer.ista.ac.at/record/7334
DOI: 10.2533/000942904777677029

Modular stack-internal air humidification concept-verification in a 1kW stack
M. Santis, D. Schmid, M. Ruge, S.A. Freunberger, F.N. Büchi, Fuel Cells 4 (2004) 214–218.
LibreCat: https://research-explorer.ista.ac.at/record/7333
DOI: 10.1002/fuce.200400028

Prediction of functional sites by analysis of sequence and structure conservation
A. Panchenko, F. Kondrashov, S. Bryant, Protein Science 13 (2004) 884–892.
LibreCat: https://research-explorer.ista.ac.at/record/864
DOI: 10.1110/ps.03465504

Bioinformatical assay of human gene morbidity
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Nucleic Acids Research 32 (2004) 1731–1737.
LibreCat: https://research-explorer.ista.ac.at/record/870
DOI: 10.1093/nar/gkh330

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.
LibreCat: https://research-explorer.ista.ac.at/record/875
DOI: 10.1016/j.tig.2004.05.001

Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
LibreCat: https://research-explorer.ista.ac.at/record/889
DOI: 10.1038/ng1451

Role of Arabidopsis ARGONAUT 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.
LibreCat: https://research-explorer.ista.ac.at/record/9493
DOI: 10.1016/j.cub.2004.06.055
PMID: 15242620 

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.
LibreCat: https://research-explorer.ista.ac.at/record/9517
DOI: 10.1371/journal.pbio.0020104
PMID: 15024409

Silencing of transposons in plant genomes: kick them when they're down
D. Zilberman, S. Henikoff, Genome Biology 5 (2004).
LibreCat: https://research-explorer.ista.ac.at/record/9511
DOI: 10.1186/gb-2004-5-12-249
PMID: 15575975

A limit shape theorem for periodic stochastic dispersion
D. Dolgopyat, V. Kaloshin, L. Koralov, Communications on Pure and Applied Mathematics 57 (2004) 1127–1158.
LibreCat: https://research-explorer.ista.ac.at/record/8517
DOI: 10.1002/cpa.20032

Sample path properties of the stochastic flows
L. Koralov, V. Kaloshin, D. Dolgopyat, The Annals of Probability 32 (2004) 1–27.
LibreCat: https://research-explorer.ista.ac.at/record/8518
DOI: 10.1214/aop/1078415827

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.
LibreCat: https://research-explorer.ista.ac.at/record/898
DOI: 10.1038/nature02601

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.
LibreCat: https://research-explorer.ista.ac.at/record/902
DOI: 10.1101/gr.2195604

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.
LibreCat: https://research-explorer.ista.ac.at/record/9454
DOI: 10.1126/science.1095989
PMID: 14988555

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.
LibreCat: https://research-explorer.ista.ac.at/record/12203
DOI: 10.1080/10425170410001667348
PMID: 15352294

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.
LibreCat: https://research-explorer.ista.ac.at/record/13435
DOI: 10.1038/nmat1231
PMID: 15378052

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.
LibreCat: https://research-explorer.ista.ac.at/record/13434
DOI: 10.1002/adma.200400383

Stress-dependent regulation of FOXO transcription factors by the SIR 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.
LibreCat: https://research-explorer.ista.ac.at/record/7706
DOI: 10.1126/science.1094637