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.
147 Publications
2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee K. Two-player nonzero-sum ω-regular games. In: Vol 3653. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:413-427. doi:10.1007/11539452_32
View
| DOI
2005 | Journal Article | IST-REx-ID: 3916
Schrempf A, Heinze J, Cremer S. Sexual cooperation: mating increases longevity in ant queens. Current Biology. 2005;15(3):267-270. doi:10.1016/j.cub.2005.01.036
View
| DOI
2005 | Journal Article | IST-REx-ID: 3915
De Menten L, Cremer S, Heinze J, Aron S. Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. 2005;69(5):1031-1035. doi:10.1016/j.anbehav.2004.09.005
View
| DOI
2005 | Journal Article | IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4183
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. 2005;122(Supplement 1):S112-S113. doi:10.1016/j.mod.2005.06.010
View
| DOI
2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer S, Vrieseling E, Sigrist M, et al. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 2005;3(5):0878-0890. doi:10.1371/journal.pbio.0030159
View
| DOI
2005 | Journal Article | IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, et al. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 2005;12(1):26-31. doi:10.1038/nsmb870
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3175
Rother C, Kumar S, Kolmogorov V, Blake A. Digital tapestry. In: Vol 1. IEEE; 2005:589-596. doi:10.1109/CVPR.2005.130
View
| DOI
| Download (ext.)
2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Bi-layer segmentation of binocular stereo video. In: IEEE; 2005:1186-1186. doi:10.1109/CVPR.2005.90
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Bi-layer segmentation of binocular stereo video. In: Vol 2. IEEE; 2005:407-414. doi:10.1109/CVPR.2005.91
View
| DOI
| Download (ext.)
2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov V, Boykov Y. What metrics can be approximated by geo cuts or global optimization of length area and flux. In: Vol 1. IEEE; 2005:564-571. doi:10.1109/ICCV.2005.252
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov V, Wainwright M. On the optimality of tree reweighted max product message passing. In: AUAI Press; 2005:316-323.
View
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 3417
Kuhn M, Janovjak HL, Hubain M, Mueller D. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 2005;218(2):125-132. doi:10.1111/j.1365-2818.2005.01478.x
View
| DOI
2005 | Journal Article | IST-REx-ID: 3416 | 
Janovjak HL, Sapra T, Mueller D. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 2005;88(5):37-39. doi:10.1529/biophysj.105.059774
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 3418
Janovjak HL, Struckmeier J, Mueller D. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 2005;34(1):91-96. doi:10.1007/s00249-004-0430-3
View
| DOI
2005 | Book Chapter | IST-REx-ID: 3433
Bollback JP. Posterior mapping and posterior predictive distributions. In: Nielsen R, ed. Statistical Methods in Molecular Evolution. Springer; 2005:439-462. doi:10.1007/0-387-27733-1
View
| DOI
2005 | Patent | IST-REx-ID: 3509 |
Williams S, Edelsbrunner H, Fu P. Methods, apparatus and computer program products for modeling three-dimensional colored objects. 2005.
[Published Version]
View
| Download Published Version (ext.)
2005 | Conference Paper | IST-REx-ID: 3558
Attali D, Cohen Steiner D, Edelsbrunner H. Extraction and simplification of iso-surfaces in tandem. In: ACM; 2005:139-148.
View
| Download (ext.)
2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner H, Koehl P. The geometry of biomolecular solvation. In: Combinatorial and Computational Geometry. Vol 52. Cambridge University Press; 2005:243-275.
View
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 3612
Davison A, Chiba S, Barton NH, Clarke B. Speciation and gene flow between snails of opposing chirality. PLoS Biology. 2005;3(9). doi:10.1371/journal.pbio.0030282
View
| DOI
2005 | Journal Article | IST-REx-ID: 3611
Nürnberger B, Barton NH, Kruuk L, Vines T. Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. 2005;94(2):247-257. doi:10.1038/sj.hdy.6800607
View
| DOI
2005 | Journal Article | IST-REx-ID: 3613
Gardner M, Fowler K, Barton NH, Patridge L. Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. 2005;169(3):1553-1571. doi:10.1534/genetics.104.032367
View
| DOI
2005 | Journal Article | IST-REx-ID: 3691
Lampert C. Boundary regularity of admissible operators. Publicacions Matemàtiques. 2005;49(1):179-195. doi:10.5565/PUBLMAT_49105_08
View
| DOI
2005 | Journal Article | IST-REx-ID: 3721 |
Janovjak HL, Mueller D, Humphris A. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 2005;88(2):1423-1431. doi:10.1529/biophysj.104.052746
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 3741 |
Slonim N, Atwal G, Tkačik G, Bialek W. Information-based clustering. PNAS. 2005;102(51):18297-18302. doi:10.1073/pnas.0507432102
View
| DOI
| Download (ext.)
2005 | Preprint | IST-REx-ID: 3746 |
Slonim N, Atwal G, Tkačik G, Bialek W. Estimating mutual information and multi-information in large networks. ArXiv. 2005:1-11.
View
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 3808
Engel D, Jonas PM. Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. 2005;45(3):405-417. doi:10.1016/j.neuron.2004.12.048
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. In: Vol 3657. Springer; 2005:141-161. doi:10.1007/11561163_7
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3902
Cremer S, Boomsma J. The drawback of mobility: invasive species in a globalised world. In: Elsevier; 2005.
View
| Download None (ext.)
2005 | Journal Article | IST-REx-ID: 3933
Sixt MK, Kanazawa N, Selg M, et al. The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. 2005;22(1):19-29. doi:10.1016/j.immuni.2004.11.013
View
| DOI
2005 | Journal Article | IST-REx-ID: 3983
Sohn J, Parks J, Buhrman G, et al. Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. 2005;44(50):16563-16573. doi:10.1021/bi0516879
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3982
Wang Y, Agarwal P, Brown P, Edelsbrunner H, Rudolph J. Coarse and reliable geometric alignment for protein docking. In: World Scientific Publishing; 2005:64-75. doi:10.1142/9789812702456_0007
View
| DOI
2005 | Journal Article | IST-REx-ID: 4144
Ulrich F, Krieg M, Schötz E, et al. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 2005;9(4):555-564. doi:10.1016/j.devcel.2005.08.011
View
| DOI
2005 | Journal Article | IST-REx-ID: 4138
Barton NH, Polechova J. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 2005;18(5):1186-1190. doi:10.1111/j.1420-9101.2005.00943.x
View
| DOI
2005 | Journal Article | IST-REx-ID: 4155
Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 2005;118(18):4199-4206. doi:10.1242/jcs.02547
View
| DOI
2005 | Journal Article | IST-REx-ID: 4171
Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg C-PJ. Shield formation at the onset of zebrafish gastrulation. Development. 2005;132(6):1187-1198. doi:10.1242/dev.01667
View
| DOI
2005 | Journal Article | IST-REx-ID: 4249
Polechova J, Barton NH. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 2005;59(6):1194-1210. doi:10.1111/j.0014-3820.2005.tb01771.x
View
| DOI
2005 | Journal Article | IST-REx-ID: 4251
Barton NH, Otto S. Evolution of recombination due to random drift. Genetics. 2005;169(4):2353-2370. doi:10.1534/genetics.104.032821
View
| DOI
2005 | Journal Article | IST-REx-ID: 4252 |
Johnson T, Barton NH. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2005;360(1459):1411-1425. doi:10.1098/rstb.2005.1667
View
| DOI
| Download (ext.)
2005 | Conference Paper | IST-REx-ID: 4412
Matic S, Henzinger TA. Trading end-to-end latency for composability. In: IEEE; 2005:99-110. doi:10.1109/RTSS.2005.43
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986
View
| DOI
2005 | Journal Article | IST-REx-ID: 4454
Henzinger TA, Majumdar R, Raskin J. A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). 2005;6(1):1-32. doi:10.1145/1042038.1042039
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:10.1145/1081706.1081713
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:10.1145/1065910.1065914
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:10.1007/11590156_1
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71
View
| DOI