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.
9113 Publications
2010 | Journal Article | IST-REx-ID: 3735
Local statistics in natural scenes predict the saliency of synthetic textures
G. Tkačik, J. Prentice, J. Victor, V. Balasubramanian, PNAS 107 (2010) 18149–18154.
View
| DOI
| Download (ext.)
G. Tkačik, J. Prentice, J. Victor, V. Balasubramanian, PNAS 107 (2010) 18149–18154.
2010 | Journal Article | IST-REx-ID: 3736
Optimal population coding by noisy spiking neurons
G. Tkačik, J. Prentice, V. Balasubramanian, E. Schneidman, PNAS 107 (2010) 14419–14424.
View
| DOI
| Download (ext.)
G. Tkačik, J. Prentice, V. Balasubramanian, E. Schneidman, PNAS 107 (2010) 14419–14424.
2010 | Journal Article | IST-REx-ID: 3738
Optimizing information flow in small genetic networks. II. Feed-forward interactions
A. Walczak, G. Tkačik, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 81 (2010).
View
| DOI
| Download (ext.)
A. Walczak, G. Tkačik, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 81 (2010).
2010 | Journal Article | IST-REx-ID: 3748 |
Interdependence of behavioural variability and response to small stimuli in bacteria
H. Park, W. Pontius, C.C. Guet, J. Marko, T. Emonet, P. Cluzel, Nature 468 (2010) 819–823.
View
| DOI
| Download (ext.)
H. Park, W. Pontius, C.C. Guet, J. Marko, T. Emonet, P. Cluzel, Nature 468 (2010) 819–823.
2010 | Journal Article | IST-REx-ID: 3749 |
Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay
H. Park, C.C. Guet, T. Emonet, P. Cluzel, Current Microbiology 62 (2010) 764–769.
View
| DOI
| Download (ext.)
H. Park, C.C. Guet, T. Emonet, P. Cluzel, Current Microbiology 62 (2010) 764–769.
2010 | Journal Article | IST-REx-ID: 3766
A multiscale approach to mesh-based surface tension flows
N. Thürey, C. Wojtan, M. Gross, G. Turk, ACM Transactions on Graphics 29 (2010).
View
| DOI
N. Thürey, C. Wojtan, M. Gross, G. Turk, ACM Transactions on Graphics 29 (2010).
2010 | Journal Article | IST-REx-ID: 3783
Microsatelight – Pipeline to expedite microsatellite analysis
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.
View
| DOI
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.
2010 | Conference Paper | IST-REx-ID: 3782
Topology noise removal for curve and surface evolution
C. Chen, D. Freedman, in:, Conference Proceedings MCV 2010, Springer, 2010, pp. 31–42.
View
| DOI
C. Chen, D. Freedman, in:, Conference Proceedings MCV 2010, Springer, 2010, pp. 31–42.
2010 | Book Chapter | IST-REx-ID: 3795 |
The stability of the apparent contour of an orientable 2-manifold
H. Edelsbrunner, D. Morozov, A. Patel, in:, Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, D. Morozov, A. Patel, in:, Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
2010 | Conference Paper | IST-REx-ID: 3794
Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning
C. Lampert, O. Krömer, in:, Springer, 2010, pp. 566–579.
View
| DOI
| Download None (ext.)
C. Lampert, O. Krömer, in:, Springer, 2010, pp. 566–579.
2010 | Journal Article | IST-REx-ID: 3831 |
Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons
A. Norenberg, H. Hu, I. Vida, M. Bartos, P.M. Jonas, PNAS 107 (2010) 894–9.
View
| DOI
| Download (ext.)
A. Norenberg, H. Hu, I. Vida, M. Bartos, P.M. Jonas, PNAS 107 (2010) 894–9.
2010 | Journal Article | IST-REx-ID: 3832 |
Beyond TARPs: The growing list of auxiliary AMPAR subunits
J. Guzmán, P.M. Jonas, Neuron 66 (2010) 8–10.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Guzmán, P.M. Jonas, Neuron 66 (2010) 8–10.
2010 | Journal Article | IST-REx-ID: 3830
Dendritic mechanisms underlying rapid synaptic activation of fast-spiking hippocampal interneurons
H. Hu, M. Martina, P.M. Jonas, Science 327 (2010) 52–8.
View
| DOI
H. Hu, M. Martina, P.M. Jonas, Science 327 (2010) 52–8.
2010 | Journal Article | IST-REx-ID: 3833
GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova)
P.M. Jonas, S. Hefft, The European Journal of Neuroscience 31 (2010) 1194–1195.
View
| DOI
P.M. Jonas, S. Hefft, The European Journal of Neuroscience 31 (2010) 1194–1195.
2010 | Journal Article | IST-REx-ID: 3829
A small number of open Ca(2+) channels trigger transmitter release at a central GABAergic synapse
I. Bucurenciu, J. Bischofberger, P.M. Jonas, Nature Neuroscience 13 (2010) 19–21.
View
| DOI
I. Bucurenciu, J. Bischofberger, P.M. Jonas, Nature Neuroscience 13 (2010) 19–21.
2010 | Conference Paper | IST-REx-ID: 3847 |
SABRE: A tool for the stochastic analysis of biochemical reaction networks
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.
[Submitted Version]
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.
2010 | Conference Paper | IST-REx-ID: 3845 |
Aligators for arrays
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
2010 | Journal Article | IST-REx-ID: 3842 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
[Submitted Version]
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
2010 | Conference Paper | IST-REx-ID: 3848
The robustness of level sets
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, in:, Springer, 2010, pp. 1–10.
View
| DOI
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, in:, Springer, 2010, pp. 1–10.
2010 | Conference Paper | IST-REx-ID: 3858 |
The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
2010 | Conference Paper | IST-REx-ID: 3856 |
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
2010 | Conference (Editor) | IST-REx-ID: 3859
Formal modeling and analysis of timed systems
K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010.
2010 | Conference Paper | IST-REx-ID: 3866 |
Robustness in the presence of liveness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
[Submitted Version]
View
| Files available
| DOI
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
2010 | Journal Article | IST-REx-ID: 3868 |
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
2010 | Book | IST-REx-ID: 3899
Computational Topology: An Introduction
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
View
| Files available
| DOI
| Download None (ext.)
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
2010 | Journal Article | IST-REx-ID: 3963
Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator
M. Streinzer, T. Ellis, H. Paulus, J. Spaethe, Arthropod-Plant Interactions 4 (2010) 141–148.
View
| DOI
M. Streinzer, T. Ellis, H. Paulus, J. Spaethe, Arthropod-Plant Interactions 4 (2010) 141–148.
2010 | Journal Article | IST-REx-ID: 3959
Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells
K. Schumann, T. Lämmermann, M. Bruckner, D. Legler, J. Polleux, J. Spatz, G. Schuler, R. Förster, M. Lutz, L. Sorokin, M.K. Sixt, Immunity 32 (2010) 703–713.
View
| DOI
K. Schumann, T. Lämmermann, M. Bruckner, D. Legler, J. Polleux, J. Spatz, G. Schuler, R. Förster, M. Lutz, L. Sorokin, M.K. Sixt, Immunity 32 (2010) 703–713.
2010 | Journal Article | IST-REx-ID: 3958
Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells
H. Mohan, M. Krumbholz, R. Sharma, S. Eisele, A. Junker, M.K. Sixt, J. Newcombe, H. Wekerle, R. Hohlfeld, H. Lassmann, E. Meinl, Brain Pathology 20 (2010) 966–975.
View
| DOI
H. Mohan, M. Krumbholz, R. Sharma, S. Eisele, A. Junker, M.K. Sixt, J. Newcombe, H. Wekerle, R. Hohlfeld, H. Lassmann, E. Meinl, Brain Pathology 20 (2010) 966–975.
2010 | Journal Article | IST-REx-ID: 3961
Mechanisms of force generation and force transmission during interstitial leukocyte migration
J. Renkawitz, M.K. Sixt, EMBO Reports 11 (2010) 744–750.
View
| DOI
J. Renkawitz, M.K. Sixt, EMBO Reports 11 (2010) 744–750.
2010 | Journal Article | IST-REx-ID: 3960 |
MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
View
| DOI
| Download (ext.)
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
2010 | Journal Article | IST-REx-ID: 3964
Lipschitz functions have L_p-stable persistence
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Y. Mileyko, Foundations of Computational Mathematics 10 (2010) 127–139.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Y. Mileyko, Foundations of Computational Mathematics 10 (2010) 127–139.
2010 | Journal Article | IST-REx-ID: 3957
Lifeact mice for studying F-actin dynamics
J. Riedl, K. Flynn, A. Raducanu, F.R. Gärtner, G. Beck, M. Bosl, F. Bradke, S. Massberg, A. Aszodi, M.K. Sixt, R. Wedlich Söldner, Nature Methods 7 (2010) 168–169.
View
| DOI
J. Riedl, K. Flynn, A. Raducanu, F.R. Gärtner, G. Beck, M. Bosl, F. Bradke, S. Massberg, A. Aszodi, M.K. Sixt, R. Wedlich Söldner, Nature Methods 7 (2010) 168–169.
2010 | Journal Article | IST-REx-ID: 4134
Why is adaptation prevented at ecological margins? New insights from individual-based simulations
J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.
View
| DOI
J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.
2010 | Journal Article | IST-REx-ID: 4163
Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ
P. Oteíza, M. Koeppen, M. Krieg, E. Pulgar, C. Farias, C. Melo, S. Preibisch, D. Mueller, M. Tada, S. Hartel, C.-P.J. Heisenberg, M. Concha, Development 137 (2010) 3459–3468.
View
| DOI
P. Oteíza, M. Koeppen, M. Krieg, E. Pulgar, C. Farias, C. Melo, S. Preibisch, D. Mueller, M. Tada, S. Hartel, C.-P.J. Heisenberg, M. Concha, Development 137 (2010) 3459–3468.
2010 | Journal Article | IST-REx-ID: 4243 |
A new model for evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
[Published Version]
View
| Files available
| DOI
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
2010 | Other Publication | IST-REx-ID: 4340 |
Open bibliographic data
P. Danowski, Open Bibliographic Data, Elsevier, 2010.
View
| Files available
| Download None (ext.)
P. Danowski, Open Bibliographic Data, Elsevier, 2010.
2010 | Book (Editor) | IST-REx-ID: 4346 |
Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, eds., Handbuch Bibliothek 2.0, De Gruyter, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Danowski, J. Bergmann, eds., Handbuch Bibliothek 2.0, De Gruyter, 2010.
2010 | Conference Paper | IST-REx-ID: 4341
Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data
P. Danowski, in:, IFLA, 2010.
View
| Download (ext.)
P. Danowski, in:, IFLA, 2010.
2010 | Conference Paper | IST-REx-ID: 4369 |
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
[Submitted Version]
View
| Files available
| DOI
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
2010 | Conference Paper | IST-REx-ID: 4364
Counterexample-guided focus
A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.
View
| DOI
A. Podelski, T. Wies, in:, ACM, 2010, pp. 249–260.
2010 | Journal Article | IST-REx-ID: 3068
Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid
K. Růžička, L. Strader, A. Bailly, H. Yang, J. Blakeslee, Ł. Łangowski, E. Nejedlá, H. Fujita, H. Itoh, K. Syōno, J. Hejátko, W. Gray, E. Martinoia, M. Geisler, B. Bartel, A. Murphy, J. Friml, PNAS 107 (2010) 10749–10753.
View
| DOI
K. Růžička, L. Strader, A. Bailly, H. Yang, J. Blakeslee, Ł. Łangowski, E. Nejedlá, H. Fujita, H. Itoh, K. Syōno, J. Hejátko, W. Gray, E. Martinoia, M. Geisler, B. Bartel, A. Murphy, J. Friml, PNAS 107 (2010) 10749–10753.
2010 | Journal Article | IST-REx-ID: 3067
Probing plant membranes with FM dyes: Tracking dragging or blocking?
A. Jelínková, K. Malínská, S. Simon, J. Kleine Vehn, M. Pařezová, P. Pejchar, M. Kubeš, J. Martinec, J. Friml, E. Zažímalová, J. Petrášek, Plant Journal 61 (2010) 883–892.
View
| DOI
A. Jelínková, K. Malínská, S. Simon, J. Kleine Vehn, M. Pařezová, P. Pejchar, M. Kubeš, J. Martinec, J. Friml, E. Zažímalová, J. Petrášek, Plant Journal 61 (2010) 883–892.
2010 | Journal Article | IST-REx-ID: 3065
Role of PIN-mediated auxin efflux in apical hook development of Arabidopsis thaliana
P. Žádníková, J. Petrášek, P. Marhavý, V. Raz, F. Vandenbussche, Z. Ding, K. Schwarzerová, M. Morita, M. Tasaka, J. Hejátko, D. Van Der Straeten, J. Friml, E. Benková, Development 137 (2010) 607–617.
View
| DOI
P. Žádníková, J. Petrášek, P. Marhavý, V. Raz, F. Vandenbussche, Z. Ding, K. Schwarzerová, M. Morita, M. Tasaka, J. Hejátko, D. Van Der Straeten, J. Friml, E. Benková, Development 137 (2010) 607–617.
2010 | Journal Article | IST-REx-ID: 3064
PIN phosphorylation is sufficient to mediate PIN polarity and direct auxin transport
J. Zhang, T. Nodzyński, A. Pěnčík, J. Rolčík, J. Friml, PNAS 107 (2010) 918–922.
View
| DOI
J. Zhang, T. Nodzyński, A. Pěnčík, J. Rolčík, J. Friml, PNAS 107 (2010) 918–922.
2010 | Journal Article | IST-REx-ID: 3066
Trafficking to the outer polar domain defines the root soil interface
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, J. Friml, Current Biology 20 (2010) 904–908.
View
| DOI
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, J. Friml, Current Biology 20 (2010) 904–908.
2010 | Journal Article | IST-REx-ID: 3070
The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo
T. Nawy, M. Bayer, J. Mravec, J. Friml, K. Birnbaum, W. Lukowitz, Developmental Cell 19 (2010) 103–113.
View
| DOI
T. Nawy, M. Bayer, J. Mravec, J. Friml, K. Birnbaum, W. Lukowitz, Developmental Cell 19 (2010) 103–113.
2010 | Journal Article | IST-REx-ID: 3069
Auxin regulates distal stem cell differentiation in Arabidopsis roots
Z. Ding, J. Friml, PNAS 107 (2010) 12046–12051.
View
| DOI
Z. Ding, J. Friml, PNAS 107 (2010) 12046–12051.
2010 | Journal Article | IST-REx-ID: 3063
Subcellular trafficking of PIN auxin efflux carriers in auxin transport
J. Friml, European Journal of Cell Biology 89 (2010) 231–235.
View
| DOI
J. Friml, European Journal of Cell Biology 89 (2010) 231–235.
2010 | Journal Article | IST-REx-ID: 3081
ADP ribosylation factor machinery mediates endocytosis in plant cells
S. Naramoto, J. Kleine Vehn, S. Robert, M. Fujimoto, T. Dainobu, T. Paciorek, T. Ueda, A. Nakano, M. Van Montagu, H. Fukuda, J. Friml, PNAS 107 (2010) 21890–21895.
View
| DOI
S. Naramoto, J. Kleine Vehn, S. Robert, M. Fujimoto, T. Dainobu, T. Paciorek, T. Ueda, A. Nakano, M. Van Montagu, H. Fukuda, J. Friml, PNAS 107 (2010) 21890–21895.
2010 | Journal Article | IST-REx-ID: 3080
Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells
J. Kleine Vehn, Z. Ding, A. Jones, M. Tasaka, M. Morita, J. Friml, PNAS 107 (2010) 22344–22349.
View
| DOI
J. Kleine Vehn, Z. Ding, A. Jones, M. Tasaka, M. Morita, J. Friml, PNAS 107 (2010) 22344–22349.
2010 | Journal Article | IST-REx-ID: 3153
RhoL controls invasion and Rap1 localization during immune cell transmigration in Drosophila
D.E. Siekhaus, M. Haesemeyer, O. Moffitt, R. Lehmann, Nature Cell Biology 12 (2010) 605–610.
View
| Download (ext.)
D.E. Siekhaus, M. Haesemeyer, O. Moffitt, R. Lehmann, Nature Cell Biology 12 (2010) 605–610.
2010 | Conference Paper | IST-REx-ID: 3201
Cosegmentation revisited: Models and optimization
S. Vicente, V. Kolmogorov, C. Rother, in:, Springer, 2010, pp. 465–479.
View
| DOI
| Download (ext.)
S. Vicente, V. Kolmogorov, C. Rother, in:, Springer, 2010, pp. 465–479.
2010 | Conference Paper | IST-REx-ID: 3237
Leakage resilient ElGamal encryption
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2010, pp. 595–612.
View
| DOI
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2010, pp. 595–612.
2010 | Conference Paper | IST-REx-ID: 3235
Leakage resilient pseudorandom functions and side channel attacks on feistel networks
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2010, pp. 21–40.
View
| DOI
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2010, pp. 21–40.
2010 | Conference Paper | IST-REx-ID: 3234
Leakage resilient signatures
S. Faust, E. Kiltz, K.Z. Pietrzak, G. Rothblum, in:, Springer, 2010, pp. 343–360.
View
| DOI
S. Faust, E. Kiltz, K.Z. Pietrzak, G. Rothblum, in:, Springer, 2010, pp. 343–360.
2010 | Conference Paper | IST-REx-ID: 3233
An efficient parallel repetition theorem
J. Håstad, R. Pass, D. Wikström, K.Z. Pietrzak, in:, Springer, 2010, pp. 1–18.
View
| DOI
J. Håstad, R. Pass, D. Wikström, K.Z. Pietrzak, in:, Springer, 2010, pp. 1–18.
2010 | Conference Paper | IST-REx-ID: 2934
Generalized roof duality and bisubmodular functions
V. Kolmogorov, in:, Neural Information Processing Systems, 2010.
View
| Files available
V. Kolmogorov, in:, Neural Information Processing Systems, 2010.
2010 | Journal Article | IST-REx-ID: 3294
Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila
A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, O. Siddiqi, PNAS 107 (2010) 9855–60.
View
| DOI
A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, O. Siddiqi, PNAS 107 (2010) 9855–60.
2010 | Thesis | IST-REx-ID: 3296
Animating physical phenomena with embedded surface meshes
C. Wojtan, Animating Physical Phenomena with Embedded Surface Meshes, Georgia Institute of Technology, 2010.
View
| Download None (ext.)
C. Wojtan, Animating Physical Phenomena with Embedded Surface Meshes, Georgia Institute of Technology, 2010.
2010 | Journal Article | IST-REx-ID: 3306 |
Commuting birth and death processes
S. Evans, B. Sturmfels, C. Uhler, The Annals of Applied Probability 20 (2010) 238–266.
View
| DOI
| Download (ext.)
S. Evans, B. Sturmfels, C. Uhler, The Annals of Applied Probability 20 (2010) 238–266.
2010 | Journal Article | IST-REx-ID: 3308 |
Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry
B. Sturmfels, C. Uhler, Annals of the Institute of Statistical Mathematics 62 (2010) 603–638.
View
| DOI
| Download (ext.)
B. Sturmfels, C. Uhler, Annals of the Institute of Statistical Mathematics 62 (2010) 603–638.
2010 | Journal Article | IST-REx-ID: 3402
Model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, Distributed Computing 22 (2010) 129–145.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, Distributed Computing 22 (2010) 129–145.
2010 | Book Review | IST-REx-ID: 3403
Rate remapping: When the code goes beyond space (preview)
B. Pleydell Bouverie, J.L. Csicsvari, Neuron 68 (2010) 1015–1016.
View
| DOI
B. Pleydell Bouverie, J.L. Csicsvari, Neuron 68 (2010) 1015–1016.
2010 | Conference Paper | IST-REx-ID: 3430 |
Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics
G. Tkačik, in:, Elsevier, 2010.
View
| Download (ext.)
G. Tkačik, in:, Elsevier, 2010.
2010 | Journal Article | IST-REx-ID: 3498
Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, C. Schueller Weidekamm, Knee Surgery, Sports Traumatology, Arthroscopy 18 (2010) 1792–1794.
View
| DOI
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, C. Schueller Weidekamm, Knee Surgery, Sports Traumatology, Arthroscopy 18 (2010) 1792–1794.
2010 | Journal Article | IST-REx-ID: 3592
Imaging zebrafish embryos by two-photon excitation time-lapse microscopy
L. Carvalho, C.-P.J. Heisenberg, Methods in Molecular Biology 546 (2010) 273–287.
View
| DOI
L. Carvalho, C.-P.J. Heisenberg, Methods in Molecular Biology 546 (2010) 273–287.
2010 | Conference Paper | IST-REx-ID: 3676
Topic models for semantic video compression
J. Wanke, A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2010, pp. 275–284.
View
| DOI
| Download (ext.)
J. Wanke, A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2010, pp. 275–284.
2010 | Journal Article | IST-REx-ID: 3697
Unsupervised object discovery: A comparison
T. Tuytelaars, C. Lampert, M. Blaschko, W. Buntine, International Journal of Computer Vision 88 (2010) 284–302.
View
| DOI
T. Tuytelaars, C. Lampert, M. Blaschko, W. Buntine, International Journal of Computer Vision 88 (2010) 284–302.
2010 | Conference Paper | IST-REx-ID: 3713
An efficient divide-and-conquer cascade for nonlinear object detection
C. Lampert, in:, IEEE, 2010, pp. 1022–1029.
View
| DOI
C. Lampert, in:, IEEE, 2010, pp. 1022–1029.
2010 | Preprint | IST-REx-ID: 3743 |
From statistical mechanics to information theory: understanding biophysical information-processing systems
G. Tkačik, ArXiv q-MN (2010) 1–52.
View
| Download (ext.)
G. Tkačik, ArXiv q-MN (2010) 1–52.
2010 | Journal Article | IST-REx-ID: 3761
Fluid simulation with articulated bodies
N. Kwatra, C. Wojtan, M. Carlson, I. Essa, P. Mucha, G. Turk, IEEE Transactions on Visualization and Computer Graphics 16 (2010) 70–80.
View
| DOI
N. Kwatra, C. Wojtan, M. Carlson, I. Essa, P. Mucha, G. Turk, IEEE Transactions on Visualization and Computer Graphics 16 (2010) 70–80.
2010 | Journal Article | IST-REx-ID: 3759
Physics-inspired topology changes for thin fluid features
C. Wojtan, N. Thürey, M. Gross, G. Turk, ACM Transactions on Graphics 29 (2010).
View
| DOI
| Download None (ext.)
C. Wojtan, N. Thürey, M. Gross, G. Turk, ACM Transactions on Graphics 29 (2010).
2010 | Journal Article | IST-REx-ID: 3776 |
Genetic linkage and natural selection
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 2559–2569.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 2559–2569.
2010 | Journal Article | IST-REx-ID: 3773 |
What role does natural selection play in speciation?
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1825–1840.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1825–1840.
2010 | Journal Article | IST-REx-ID: 3777 |
Mutation and the evolution of recombination
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1281–1294.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1281–1294.
2010 | Journal Article | IST-REx-ID: 3774
Phenotypic correlates of hybridisation between red and sika deer (genus Cervus)
H. Senn, G. Swanson, S. Goodman, N.H. Barton, J. Pemberton, Journal of Animal Ecology 79 (2010) 414–425.
View
| DOI
| PubMed | Europe PMC
H. Senn, G. Swanson, S. Goodman, N.H. Barton, J. Pemberton, Journal of Animal Ecology 79 (2010) 414–425.
2010 | Journal Article | IST-REx-ID: 3772 |
Understanding adaptation in large populations
N.H. Barton, PLoS Genetics 6 (2010).
[Published Version]
View
| Files available
| DOI
N.H. Barton, PLoS Genetics 6 (2010).
2010 | Journal Article | IST-REx-ID: 3790 |
Control of directed cell migration in vivo by membrane-to-cortex attachment
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010).
[Published Version]
View
| Files available
| DOI
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010).
2010 | Conference Paper | IST-REx-ID: 3793 |
On parameter learning in CRF-based approaches to object class image segmentation
S. Nowozin, P. Gehler, C. Lampert, in:, Springer, 2010, pp. 98–111.
[Submitted Version]
View
| Files available
| DOI
S. Nowozin, P. Gehler, C. Lampert, in:, Springer, 2010, pp. 98–111.
2010 | Journal Article | IST-REx-ID: 3789
Stereotypical cell division orientation controls neural rod midline formation in zebrafish
E. Quesada-Hernández, L. Caneparo, S. Schneider, S. Winkler, M. Liebling, S. Fraser, C.-P.J. Heisenberg, Current Biology 20 (2010) 1966–1972.
View
| DOI
E. Quesada-Hernández, L. Caneparo, S. Schneider, S. Winkler, M. Liebling, S. Fraser, C.-P.J. Heisenberg, Current Biology 20 (2010) 1966–1972.
2010 | Journal Article | IST-REx-ID: 3787 |
DNA extraction from formalin-fixed tissue: new light from the deep sea
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
2010 | Journal Article | IST-REx-ID: 3788
Finite-size corrections to scaling behavior in sorted cell aggregates
A. Klopper, G. Krens, S. Grill, C.-P.J. Heisenberg, The European Physical Journal E: Soft Matter and Biological Physics 33 (2010) 99–103.
View
| DOI
A. Klopper, G. Krens, S. Grill, C.-P.J. Heisenberg, The European Physical Journal E: Soft Matter and Biological Physics 33 (2010) 99–103.
2010 | Journal Article | IST-REx-ID: 3786
Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description
F. Palero, G. Guerao, P. Clark, P. Abello, Zootaxa 2403 (2010) 42–58.
View
| DOI
F. Palero, G. Guerao, P. Clark, P. Abello, Zootaxa 2403 (2010) 42–58.
2010 | Journal Article | IST-REx-ID: 3792
The yolk syncytial layer in early, zebrafish development
L. Carvalho, C.-P.J. Heisenberg, Trends in Cell Biology 20 (2010) 586–592.
View
| DOI
L. Carvalho, C.-P.J. Heisenberg, Trends in Cell Biology 20 (2010) 586–592.
2010 | Journal Article | IST-REx-ID: 3834 |
Solving the chemical master equation using sliding windows
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
[Published Version]
View
| Files available
| DOI
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
2010 | Conference Paper | IST-REx-ID: 3840
From boolean to quantitative notions of correctness
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
View
| DOI
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
2010 | Conference Paper | IST-REx-ID: 3839 |
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
2010 | Conference Paper | IST-REx-ID: 3838 |
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
2010 | Conference Paper | IST-REx-ID: 3853 |
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
2010 | Conference Paper | IST-REx-ID: 3849 |
Persistent homology under non-uniform error
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
[Submitted Version]
View
| Files available
| DOI
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.
2010 | Conference Paper | IST-REx-ID: 3854
Obliging games
K. Chatterjee, F. Horn, C. Löding, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–296.
View
| DOI
K. Chatterjee, F. Horn, C. Löding, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–296.
2010 | Conference Paper | IST-REx-ID: 3851 |
Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.
2010 | Journal Article | IST-REx-ID: 385 |
STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
View
| DOI
| Download None (ext.)
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).
2010 | Conference Paper | IST-REx-ID: 3850
Polygonal reconstruction from approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, TU Dortmund, 2010, pp. 12–23.
View
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, TU Dortmund, 2010, pp. 12–23.
2010 | Conference Paper | IST-REx-ID: 3860 |
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
2010 | Journal Article | IST-REx-ID: 3862 |
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).
2010 | Conference Paper | IST-REx-ID: 3864 |
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
2010 | Conference Paper | IST-REx-ID: 3865
Analyzing the impact of change in multi-threaded programs
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 293–307.
View
| DOI
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 293–307.
2010 | Journal Article | IST-REx-ID: 3863 |
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
[Submitted Version]
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
2010 | Journal Article | IST-REx-ID: 3861 |
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.