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 | Journal Article | IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability. Institute of Mathematical Statistics.
View | Download (ext.)
 

2004 | Book Review | IST-REx-ID: 3142
Hippenmeyer, S., Kramer, I., & Arber, S. (2004). Control of neuronal phenotype: What targets tell the cell bodies. Trends in Neurosciences. Elsevier. https://doi.org/10.1016/j.tins.2004.05.012
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Boykov, Y., & Kolmogorov, V. (2004). An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2004.60
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
Kolmogorov, V., & Zabih, R. (2004). What energy functions can be minimized via graph cuts? . IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2004.1262177
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3172
Kolmogorov, V., Nguyen, T., Nuval, A., Spincemaille, P., Prince, M., Zabih, R., & Wang, Y. (2004). Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method. Magnetic Resonance in Medicine. Wiley-Blackwell. https://doi.org/10.1002/mrm.20162
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
Zabih, R., & Kolmogorov, V. (2004). Spatially coherent clustering using graph cuts (Vol. 2, pp. 437–444). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2004.1315196
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
Rother, C., Kolmogorov, V., & Blake, A. (2004). "GrabCut" - Interactive foreground extraction using iterated graph cuts (Vol. 23, pp. 309–314). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM. https://doi.org/10.1145/1015706.1015720
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3420
Kedrov, A., Ziegler, C., Janovjak, H. L., Kühlbrandt, W., & Mueller, D. (2004). Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2004.05.026
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
Janovjak, H. L., Struckmeier, J., Hubain, M., Kessler, M., Kedrov, A., & Mueller, D. (2004). Probing the energy landscape of the membrane protein bacteriorhodopsin. Structure. Cell Press. https://doi.org/10.1016/j.str.2004.03.016
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3575
Edelsbrunner, H., & Harer, J. (2004). Jacobi sets of multiple Morse functions. In Foundations of Computational Mathematics (Vol. 312, pp. 37–57). Springer. https://doi.org/10.1017/CBO9781139106962.003
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
Edelsbrunner, H. (2004). Biological applications of computational topology. In Handbook of Discrete and Computational Geometry (pp. 1395–1412). CRC Press.
View | Download (ext.)
 

2004 | Book Review | IST-REx-ID: 3595
Charlesworth, B., & Barton, N. H. (2004). Genome size: Does bigger mean worse? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2004.02.054
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
Barton, N. H., & Turelli, M. (2004). Effects of allele frequency changes on variance components under a general model of epistasis. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2004.tb01591.x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
Turelli, M., & Barton, N. H. (2004). Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.166.2.1053
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
Kampa, B., Clements, J., Jonas, P. M., & Stuart, G. (2004). Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2003.058842
View | DOI | Download (ext.)
 

2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2004). Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02553
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas, P. M., Bischofberger, J., Fricker, D., & Miles, R. (2004). Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. Elsevier. https://doi.org/doi:10.1016/j.tins.2003.10.010
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze, J., Böttcher, A., & Cremer, S. (2004). Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. Springer. https://doi.org/10.1007/s00040-004-0740-6
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, V., Agarwal, P., Edelsbrunner, H., & Rudolph, J. (2004). Local search heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer. https://doi.org/10.1007/978-3-540-30219-3_19
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3986
Bryant, R., Edelsbrunner, H., Koehl, P., & Levitt, M. (2004). The area derivative of a space-filling diagram. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1099-1
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer, P., Edelsbrunner, H., Hamann, B., & Pascucci, V. (2004). A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.3
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, V., & Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.32
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3985
Cole Mclaughlin, K., Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Loops in Reeb graphs of 2-manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1122-6
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Local and global comparison of continuous functions (pp. 275–280). Presented at the VIS: IEEE Visualization, IEEE. https://doi.org/10.1109/VISUAL.2004.68
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, J., & Heisenberg, C.-P. J. (2004). Gastrulation dynamics: cells move into focus. Trends in Cell Biology. Cell Press. https://doi.org/10.1016/j.tcb.2004.09.008
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4238
de Vladar, H., & González, J. (2004). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. Elsevier. https://doi.org/3801
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
de Vladar, H., Cipriani, R., Scharifker, B., & Bubis, J. (2004). A mechanism for the prebiotic emergence of proteins. In A. Hanslmeier, S. Kempe, & J. Seckbach (Eds.), Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds (pp. 83–87). Springer.
View
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC. https://doi.org/3810
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1572
View | DOI
 

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

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). An eclipse plug-in for model checking (pp. 251–255). Presented at the IWPC: Program Comprehension, IEEE. https://doi.org/10.1109/WPC.2004.1311069 
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples (pp. 326–335). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2004.1317455
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View | DOI
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
View | DOI
 

2004 | Journal Article | IST-REx-ID: 7333
Santis, M., Schmid, D., Ruge, M., Freunberger, S. A., & Büchi, F. N. (2004). Modular stack-internal air humidification concept-verification in a 1 kW stack. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200400028
View | DOI
 

2004 | Journal Article | IST-REx-ID: 864
Panchenko, A., Kondrashov, F., & Bryant, S. (2004). Prediction of functional sites by analysis of sequence and structure conservation. Protein Science. Wiley-Blackwell. https://doi.org/10.1110/ps.03465504
View | DOI
 

2004 | Journal Article | IST-REx-ID: 870
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2004). Bioinformatical assay of human gene morbidity. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkh330
View | DOI
 

2004 | Journal Article | IST-REx-ID: 875
Kondrashov, F., & Koonin, E. (2004). A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2004.05.001
View | DOI
 

2004 | Journal Article | IST-REx-ID: 889
Kern, A., & Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng1451
View | DOI
 

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

Filters and Search Terms

year=2004

Search

Filter Publications