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.

102 Publications


2004 | Journal Article | IST-REx-ID: 902
Castillo Davis, Cristian, et al. “The Functional Genomic Distribution of Protein Divergence in Two Animal Phyla: Coevolution, Genomic Conflict, and Constraint.” Genome Research, vol. 14, no. 5, Cold Spring Harbor Laboratory Press, 2004, pp. 802–11, doi:10.1101/gr.2195604.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas, Peter M., et al. “Interneuron Diversity Series: Fast in, Fast out--Temporal and Spatial Signal Processing in Hippocampal Interneurons.” Trends in Neurosciences, vol. 27, no. 1, Elsevier, 2004, pp. 30–40, doi:doi:10.1016/j.tins.2003.10.010.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
Kampa, Bjorn, et al. “Kinetics of Mg(2+) Unblock of NMDA Receptors: Implications for Spike-Timing Dependent Synaptic Plasticity.” Journal of Physiology, vol. 556, no. Pt 2, Wiley-Blackwell, 2004, pp. 337–45, doi:10.1113/jphysiol.2003.058842 .
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, Christoph, et al. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.” Nature, vol. 429, no. 6988, Nature Publishing Group, 2004, pp. 184–87, doi:10.1038/nature02553.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver, Dominik, et al. “Functional Conversion between A-Type and Delayed Rectifier K+ Channels by Membrane Lipids.” Science, vol. 304, no. 5668, American Association for the Advancement of Science, 2004, pp. 265–70, doi:10.1126/science.1094113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, Krishnendu, et al. On Nash Equilibria in Stochastic Games. Vol. 3210, Springer, 2004, pp. 26–40, doi:10.1007/978-3-540-30124-0_6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. IEEE, 2004, pp. 160–69, doi:10.1109/LICS.2004.1319610.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze, Jürgen, et al. “Production of Winged and Wingless Males in the Ant, Cardiocondyla Minutior.” Insectes Sociaux, vol. 51, no. 3, Springer, 2004, pp. 275–78, doi:10.1007/s00040-004-0740-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte, Vanessa, et al. “HIV-1 Nef Mimics an Integrin Receptor Signal That Recruits the Polycomb Group Protein Eed to the Plasma Membrane.” Molecular Cell, vol. 13, no. 2, Cell Press, 2004, pp. 179–90, doi:10.1016/S1097-2765(04)00004-8.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang, Hui, et al. “Neurocan-GFP Fusion Protein: A New Approach to Detect Hyaluronan on Tissue Sections and Living Cells.” Journal of Histochemistry and Cytochemistry, vol. 52, no. 7, Histochemical Society, 2004, pp. 915–22, doi:10.1369/jhc.3A6221.2004.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, Peer, et al. “A Topological Hierarchy for Functions on Triangulated Surfaces.” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 4, IEEE, 2004, pp. 385–96, doi:10.1109/TVCG.2004.3.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, Kree, et al. “Loops in Reeb Graphs of 2-Manifolds.” Discrete & Computational Geometry, vol. 32, no. 2, Springer, 2004, pp. 231–44, doi:10.1007/s00454-004-1122-6.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, Robert, et al. “The Area Derivative of a Space-Filling Diagram.” Discrete & Computational Geometry, vol. 32, no. 3, Springer, 2004, pp. 293–308, doi:10.1007/s00454-004-1099-1.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, Vijay, and Herbert Edelsbrunner. “Simplification of Three-Dimensional Density Maps.” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 5, IEEE, 2004, pp. 587–97, doi:10.1109/TVCG.2004.32.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, Vicky, et al. Local Search Heuristic for Rigid Protein Docking. Vol. 3240, Springer, 2004, pp. 218–29, doi:10.1007/978-3-540-30219-3_19.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, Herbert, et al. Local and Global Comparison of Continuous Functions. IEEE, 2004, pp. 275–80, doi:10.1109/VISUAL.2004.68.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, Pankaj, et al. “Computing the Writhing Number of a Polygonal Knot.” Discrete & Computational Geometry, vol. 32, no. 1, Springer, 2004, pp. 37–53, doi:10.1007/s00454-004-2864-x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, Juan, and Carl-Philipp J. Heisenberg. “Gastrulation Dynamics: Cells Move into Focus.” Trends in Cell Biology, vol. 14, no. 11, Cell Press, 2004, pp. 620–27, doi:10.1016/j.tcb.2004.09.008.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse, Karsten, et al. “Dpp Gradient Formation by Dynamin-Dependent Endocytosis: Receptor Trafficking and the Diffusion Model.” Development, vol. 131, no. 19, Company of Biologists, 2004, pp. 4843–56, doi:10.1242/dev.01335.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by A. Hanslmeier et al., Springer, 2004, pp. 83–87.
View
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar, Harold. Métodos No Lineales y Sus Aplicaciones En Dinámicas Aleatorias de Poblaciones Celulares. Centro de estudios avazados, IVIC, 2004, doi:3810.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology, vol. 227, no. 3, Elsevier, 2004, pp. 335–48, doi:3801.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4239
de Vladar, Harold, et al. “A Mechanism for the Prebiotic Emergence of Proteins.” Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, edited by J. Seckbach et al., vol. 7, Springer, 2004, pp. 83–87, doi:3807.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
Barton, Nicholas H., et al. “Coalescence in a Random Background.” Annals of Applied Probability, vol. 14, no. 2, Institute of Mathematical Statistics, 2004, pp. 754–85.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:1572.
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069  .
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml, Jiří, et al. “A PINOID-Dependent Binary Switch in Apical-Basal PIN Polar Targeting Directs Auxin Efflux.” Science, vol. 306, no. 5697, American Association for the Advancement of Science, 2004, pp. 862–65, doi:10.1126/science.1100618.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux, Meg, et al. “The Chromatin Remodelling Complex FACT Associates with Actively Transcribed Regions of the Arabidopsis Genome.” Plant Journal, vol. 40, no. 5, Wiley-Blackwell, 2004, pp. 660–71, doi:10.1111/j.1365-313X.2004.02242.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos within Their Ovules.” Plant Journal, vol. 40, no. 5, Wiley-Blackwell, 2004, pp. 835–43, doi:10.1111/j.1365-313X.2004.02248.x.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
Hippenmeyer, Simon, et al. “Control of Neuronal Phenotype: What Targets Tell the Cell Bodies.” Trends in Neurosciences, vol. 27, no. 8, Elsevier, 2004, pp. 482–88, doi:10.1016/j.tins.2004.05.012.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3172
Kolmogorov, Vladimir, et al. “Multiprocessor Scheduling Implementation of the Simultaneous Multiple Volume SMV Navigator Method.” Magnetic Resonance in Medicine, vol. 52, no. 2, Wiley-Blackwell, 2004, pp. 362–67, doi:10.1002/mrm.20162.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
Kolmogorov, Vladimir, and Ramin Zabih. “What Energy Functions Can Be Minimized via Graph Cuts? .” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 2, IEEE, 2004, pp. 147–59, doi:10.1109/TPAMI.2004.1262177.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
Zabih, Ramin, and Vladimir Kolmogorov. Spatially Coherent Clustering Using Graph Cuts. Vol. 2, IEEE, 2004, pp. 437–44, doi:10.1109/CVPR.2004.1315196.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Boykov, Yuri, and Vladimir Kolmogorov. “An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Vision.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 9, IEEE, 2004, pp. 1124–37, doi:10.1109/TPAMI.2004.60.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
Rother, Carsten, et al. "GrabCut" - Interactive Foreground Extraction Using Iterated Graph Cuts . Vol. 23, no. 3, ACM, 2004, pp. 309–14, doi:10.1145/1015706.1015720.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3208
Maurer, Ueli, and Krzysztof Z. Pietrzak. Composition of Random Systems: When Two Weak Make One Strong. Vol. 2951, Springer, 2004, pp. 410–27, doi:10.1007/978-3-540-24638-1_23.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
Janovjak, Harald L., et al. “Probing the Energy Landscape of the Membrane Protein Bacteriorhodopsin.” Structure, vol. 12, no. 5, Cell Press, 2004, pp. 871–79, doi:10.1016/j.str.2004.03.016.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
Kedrov, Alexej, et al. “Controlled Unfolding and Refolding of a Single Sodium/Proton Antiporter Using Atomic Force Microscopy.” Journal of Molecular Biology, vol. 340, no. 5, Elsevier, 2004, pp. 1143–52, doi:10.1016/j.jmb.2004.05.026.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
Edelsbrunner, Herbert. “Biological Applications of Computational Topology.” Handbook of Discrete and Computational Geometry, CRC Press, 2004, pp. 1395–412.
View | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 3575
Edelsbrunner, Herbert, and John Harer. “Jacobi Sets of Multiple Morse Functions.” Foundations of Computational Mathematics, vol. 312, Springer, 2004, pp. 37–57, doi:10.1017/CBO9781139106962.003.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
Ulrich, Florian, and Carl-Philipp J. Heisenberg. “Gastrulation in Zebrafish.” Fish Development and Genetics : The Zebrafish and Medaka Models, edited by Vladimir Korzh and Zhiyuan Gong, vol. 2, World Scientific Publishing, 2004, pp. 39–86.
View
 

2004 | Book Review | IST-REx-ID: 3595
Charlesworth, Brian, and Nicholas H. Barton. “Genome Size: Does Bigger Mean Worse?” Current Biology, vol. 14, no. 6, Cell Press, 2004, pp. R233–35, doi:10.1016/j.cub.2004.02.054.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
Barton, Nicholas H., and Michael Turelli. “Effects of Allele Frequency Changes on Variance Components under a General Model of Epistasis.” Evolution; International Journal of Organic Evolution, vol. 58, no. 10, Wiley-Blackwell, 2004, pp. 2111–32, doi:10.1111/j.0014-3820.2004.tb01591.x.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
Turelli, Michael, and Nicholas H. Barton. “Polygenic Variation Maintained by Balancing Selection: Pleiotropy, Sex-Dependent Allelic Effects and GxE Interactions.” Genetics, vol. 166, no. 2, Genetics Society of America, 2004, pp. 1053–79, doi:10.1534/genetics.166.2.1053.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
Barton, Nicholas H. “Speciation: Why, How, Where and When?” Current Biology, vol. 14, no. 15, Cell Press, 2004, pp. R603–04, doi:10.1016/j.cub.2004.07.037.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3617
Barton, Nicholas H., and Alison Etheridge. “The Effect of Selection on Genealogies.” Genetics, vol. 166, no. 2, Genetics Society of America, 2004, pp. 1115–31, doi:10.1534/genetics.166.2.1115.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
Ulges, Adrian, et al. Document Capture Using Stereo Vision. ACM, 2004, pp. 198–200, doi:10.1145/1030397.1030434.
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 9454
Chan, Simon W. L., et al. “RNA Silencing Genes Control de Novo DNA Methylation.” Science, vol. 303, no. 5662, American Association for the Advancement of Science, 2004, p. 1336, doi:10.1126/science.1095989.
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9517 | OA
Xie, Zhixin, et al. “Genetic and Functional Diversification of Small RNA Pathways in Plants.” PLoS Biology, vol. 2, no. 5, Public Library of Science, 2004, pp. 0642–52, doi:10.1371/journal.pbio.0020104.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9511 | OA
ZILBERMAN, Daniel, and Steven Henikoff. “Silencing of Transposons in Plant Genomes: Kick Them When They’re Down.” Genome Biology, vol. 5, no. 12, 249, Springer Nature, 2004, doi:10.1186/gb-2004-5-12-249.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 9493 | OA
ZILBERMAN, Daniel, et al. “Role of Arabidopsis ARGONAUTE4 in RNA-Directed DNA Methylation Triggered by Inverted Repeats.” Current Biology, vol. 14, no. 13, Elsevier, 2004, pp. 1214–20, doi:10.1016/j.cub.2004.06.055.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2004

Search

Filter Publications