Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3756 Publications
2014 | Journal Article | IST-REx-ID: 1924
Auxin transport and activity regulate stomatal patterning and development
J. Le, X. Liu, K. Yang, X. Chen, L. Zhu, H. Wang, M. Wang, S. Vanneste, M. Morita, M. Tasaka, Z. Ding, J. Friml, T. Beeckman, F. Sack, Nature Communications 5 (2014).
View
| DOI
J. Le, X. Liu, K. Yang, X. Chen, L. Zhu, H. Wang, M. Wang, S. Vanneste, M. Morita, M. Tasaka, Z. Ding, J. Friml, T. Beeckman, F. Sack, Nature Communications 5 (2014).
2014 | Journal Article | IST-REx-ID: 1925 |

A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes
C. Lamprecht, B. Plochberger, V. Ruprecht, S. Wieser, C. Rankl, E. Heister, B. Unterauer, M. Brameshuber, J. Danzberger, P. Lukanov, E. Flahaut, G. Schütz, P. Hinterdorfer, A. Ebner, Nanotechnology 25 (2014).
View
| Files available
| DOI
C. Lamprecht, B. Plochberger, V. Ruprecht, S. Wieser, C. Rankl, E. Heister, B. Unterauer, M. Brameshuber, J. Danzberger, P. Lukanov, E. Flahaut, G. Schütz, P. Hinterdorfer, A. Ebner, Nanotechnology 25 (2014).
2014 | Journal Article | IST-REx-ID: 1926 |

Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips
C. Sadel, Mathematical Physics, Analysis and Geometry 17 (2014) 409–440.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Sadel, Mathematical Physics, Analysis and Geometry 17 (2014) 409–440.
2014 | Journal Article | IST-REx-ID: 1928
Evolutionary dynamics of infectious diseases in finite populations
J. Humplik, A. Hill, M. Nowak, Journal of Theoretical Biology 360 (2014) 149–162.
View
| DOI
J. Humplik, A. Hill, M. Nowak, Journal of Theoretical Biology 360 (2014) 149–162.
2014 | Journal Article | IST-REx-ID: 1930
Fast and memory-efficient topological denoising of 2D and 3D scalar fields
D. Günther, A. Jacobson, J. Reininghaus, H. Seidel, O. Sorkine Hornung, T. Weinkauf, IEEE Transactions on Visualization and Computer Graphics 20 (2014) 2585–2594.
View
| DOI
D. Günther, A. Jacobson, J. Reininghaus, H. Seidel, O. Sorkine Hornung, T. Weinkauf, IEEE Transactions on Visualization and Computer Graphics 20 (2014) 2585–2594.
2014 | Journal Article | IST-REx-ID: 1931 |

Emergence of task-dependent representations in working memory circuits
C. Savin, J. Triesch, Frontiers in Computational Neuroscience 8 (2014).
View
| DOI
| Download Submitted Version (ext.)
C. Savin, J. Triesch, Frontiers in Computational Neuroscience 8 (2014).
2014 | Journal Article | IST-REx-ID: 1932 |

Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations
M. Trotter, D. Weissman, G. Peterson, K. Peck, J. Masel, Evolution 68 (2014) 3357–3367.
View
| DOI
| Download Submitted Version (ext.)
M. Trotter, D. Weissman, G. Peterson, K. Peck, J. Masel, Evolution 68 (2014) 3357–3367.
2014 | Journal Article | IST-REx-ID: 1933
Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates
J. Hatakeyama, Y. Wakamatsu, A. Nagafuchi, R. Kageyama, R. Shigemoto, K. Shimamura, Development 141 (2014) 1671–1682.
View
| DOI
J. Hatakeyama, Y. Wakamatsu, A. Nagafuchi, R. Kageyama, R. Shigemoto, K. Shimamura, Development 141 (2014) 1671–1682.
2014 | Journal Article | IST-REx-ID: 1934
Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis
P. Marhavý, J. Duclercq, B. Weller, E. Feraru, A. Bielach, R. Offringa, J. Friml, C. Schwechheimer, A. Murphy, E. Benková, Current Biology 24 (2014) 1031–1037.
View
| DOI
P. Marhavý, J. Duclercq, B. Weller, E. Feraru, A. Bielach, R. Offringa, J. Friml, C. Schwechheimer, A. Murphy, E. Benková, Current Biology 24 (2014) 1031–1037.
2014 | Journal Article | IST-REx-ID: 1936 |

An arms race between producers and scroungers can drive the evolution of social cognition
M. Arbilly, D. Weissman, M. Feldman, U. Grodzinski, Behavioral Ecology 25 (2014) 487–495.
View
| DOI
| Download Submitted Version (ext.)
M. Arbilly, D. Weissman, M. Feldman, U. Grodzinski, Behavioral Ecology 25 (2014) 487–495.
2014 | Journal Article | IST-REx-ID: 1937 |

Edge universality of beta ensembles
P. Bourgade, L. Erdös, H. Yau, Communications in Mathematical Physics 332 (2014) 261–353.
View
| DOI
| Download Submitted Version (ext.)
P. Bourgade, L. Erdös, H. Yau, Communications in Mathematical Physics 332 (2014) 261–353.
2014 | Book Chapter | IST-REx-ID: 6178
UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, NY, 2014, pp. 219–235.
View
| DOI
| PubMed | Europe PMC
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, NY, 2014, pp. 219–235.
2014 | Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
View
| Files available
| DOI
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
2014 | Journal Article | IST-REx-ID: 1375 |

Approximating the minimum cycle mean
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
2014 | Conference Paper | IST-REx-ID: 1392 |

A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
View
| Files available
| DOI
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
2014 | Conference Paper | IST-REx-ID: 1393 |

Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
View
| DOI
| Download Published Version (ext.)
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
2014 | Thesis | IST-REx-ID: 1395
Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, IST Austria, 2014.
View
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, IST Austria, 2014.
2014 | Thesis | IST-REx-ID: 1402
Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
View
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
2014 | Thesis | IST-REx-ID: 1403
Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
View
| Files available
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
2014 | Thesis | IST-REx-ID: 1404
Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
View
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
2014 | Conference Paper | IST-REx-ID: 1507 |

Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
View
| Download Submitted Version (ext.)
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
2014 | Conference Paper | IST-REx-ID: 1516 |

On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
2014 | Journal Article | IST-REx-ID: 1994
Directional auxin transport mechanisms in early diverging land plants
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
View
| DOI
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
2014 | Journal Article | IST-REx-ID: 1995 |

Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification
F. Fratini, E. Mascarenhas, L. Safari, J. Poizat, D. Valente, A. Auffèves, D. Gerace, M. Santos, Physical Review Letters 113 (2014).
View
| DOI
| Download Submitted Version (ext.)
F. Fratini, E. Mascarenhas, L. Safari, J. Poizat, D. Valente, A. Auffèves, D. Gerace, M. Santos, Physical Review Letters 113 (2014).
2014 | Journal Article | IST-REx-ID: 1996 |

Bimodal regulation of ICR1 levels generates self-organizing auxin distribution
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, S. Yalovsky, PNAS 111 (2014) E5471–E5479.
View
| DOI
| Download Submitted Version (ext.)
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, S. Yalovsky, PNAS 111 (2014) E5471–E5479.
2014 | Journal Article | IST-REx-ID: 1998
Individual and social immunisation in insects
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.
View
| DOI
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.
2014 | Journal Article | IST-REx-ID: 2001
Bacterial responses to antibiotics and their combinations
K. Mitosch, M.T. Bollenbach, Environmental Microbiology Reports 6 (2014) 545–557.
View
| Files available
| DOI
K. Mitosch, M.T. Bollenbach, Environmental Microbiology Reports 6 (2014) 545–557.
2014 | Journal Article | IST-REx-ID: 2002 |

Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus
S. Kim, PLoS One 9 (2014).
View
| Files available
| DOI
S. Kim, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2003
Learning by example in the hippocampus
J. O’Neill, J.L. Csicsvari, Neuron 83 (2014) 8–10.
View
| DOI
J. O’Neill, J.L. Csicsvari, Neuron 83 (2014) 8–10.
2014 | Journal Article | IST-REx-ID: 2004 |

Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
View
| Files available
| DOI
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2005
Turning heads to remember places
D. Dupret, J.L. Csicsvari, Nature Neuroscience 17 (2014) 643–644.
View
| DOI
D. Dupret, J.L. Csicsvari, Nature Neuroscience 17 (2014) 643–644.
2014 | Other Publication | IST-REx-ID: 2007 |

gIPFrm: Generalized iterative proportional fitting for relational models
A. Klimova, T. Rudas, GIPFrm: Generalized Iterative Proportional Fitting for Relational Models, The Comprehensive R Archive Network, 2014.
View
| Download (ext.)
A. Klimova, T. Rudas, GIPFrm: Generalized Iterative Proportional Fitting for Relational Models, The Comprehensive R Archive Network, 2014.
2014 | Journal Article | IST-REx-ID: 2011 |

Scalable privacy-preserving data sharing methodology for genome-wide association studies
F. Yu, S. Fienberg, A. Slaković, C. Uhler, Journal of Biomedical Informatics 50 (2014) 133–141.
View
| DOI
| Download Submitted Version (ext.)
F. Yu, S. Fienberg, A. Slaković, C. Uhler, Journal of Biomedical Informatics 50 (2014) 133–141.
2014 | Conference Paper | IST-REx-ID: 2012 |

Sphere packing with limited overlap
M. Iglesias Ham, M. Kerber, C. Uhler, in:, Unknown, 2014, pp. 155–161.
View
| Download Submitted Version (ext.)
M. Iglesias Ham, M. Kerber, C. Uhler, in:, Unknown, 2014, pp. 155–161.
2014 | Journal Article | IST-REx-ID: 2013 |

Hypersurfaces and their singularities in partial correlation testing
S. Lin, C. Uhler, B. Sturmfels, P. Bühlmann, Foundations of Computational Mathematics 14 (2014) 1079–1116.
View
| DOI
| Download Submitted Version (ext.)
S. Lin, C. Uhler, B. Sturmfels, P. Bühlmann, Foundations of Computational Mathematics 14 (2014) 1079–1116.
2014 | Journal Article | IST-REx-ID: 2019 |

Phase transition in the density of states of quantum spin glasses
L. Erdös, D.J. Schröder, Mathematical Physics, Analysis and Geometry 17 (2014) 441–464.
View
| DOI
| Download Submitted Version (ext.)
L. Erdös, D.J. Schröder, Mathematical Physics, Analysis and Geometry 17 (2014) 441–464.
2014 | Journal Article | IST-REx-ID: 2020
Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice
S. Ali, S. Hippenmeyer, L. Saadat, L. Luo, I. Weissman, R. Ardehali, PNAS 111 (2014) 8850–8855.
View
| DOI
S. Ali, S. Hippenmeyer, L. Saadat, L. Luo, I. Weissman, R. Ardehali, PNAS 111 (2014) 8850–8855.
2014 | Journal Article | IST-REx-ID: 2021 |

Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling
J. William, S. Hippenmeyer, L. Luo, Science 346 (2014) 626–629.
View
| DOI
| Download Submitted Version (ext.)
J. William, S. Hippenmeyer, L. Luo, Science 346 (2014) 626–629.
2014 | Journal Article | IST-REx-ID: 2022 |

Deterministic progenitor behavior and unitary production of neurons in the neocortex
P. Gao, M.P. Postiglione, T. Krieger, L. Hernandez, C. Wang, Z. Han, C. Streicher, E. Papusheva, R. Insolera, K. Chugh, O. Kodish, K. Huang, B. Simons, L. Luo, S. Hippenmeyer, S. Shi, Cell 159 (2014) 775–788.
View
| Files available
| DOI
P. Gao, M.P. Postiglione, T. Krieger, L. Hernandez, C. Wang, Z. Han, C. Streicher, E. Papusheva, R. Insolera, K. Chugh, O. Kodish, K. Huang, B. Simons, L. Luo, S. Hippenmeyer, S. Shi, Cell 159 (2014) 775–788.
2014 | Journal Article | IST-REx-ID: 2023 |

Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
View
| Files available
| DOI
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
2014 | Journal Article | IST-REx-ID: 2024 |

Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole
J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus, A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
View
| Files available
| DOI
J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus, A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
2014 | Conference Paper | IST-REx-ID: 2026
Rabinizer 3: Safraless translation of ltl to small deterministic automata
Z. Komárková, J. Kretinsky, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 235–241.
View
| DOI
Z. Komárková, J. Kretinsky, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 235–241.
2014 | Conference Paper | IST-REx-ID: 2027 |

Verification of markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
View
| DOI
| Download Submitted Version (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
2014 | Journal Article | IST-REx-ID: 2029 |

Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
View
| DOI
| Download Submitted Version (ext.)
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
2014 | Journal Article | IST-REx-ID: 2031 |

Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse
itaru Arai, P.M. Jonas, ELife 3 (2014).
View
| Files available
| DOI
itaru Arai, P.M. Jonas, ELife 3 (2014).
2014 | Journal Article | IST-REx-ID: 2032 |

The optogenetic promise for oncology: Episode I
Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch, Molecular and Cellular Oncology 1 (2014).
View
| Files available
| DOI
Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch, Molecular and Cellular Oncology 1 (2014).
2014 | Conference Paper | IST-REx-ID: 2033 |

Mind the nuisance: Gaussian process classification using privileged noise
D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, N. Quadrianto, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2014, pp. 837–845.
View
| Download Submitted Version (ext.)
D. Hernandez Lobato, V. Sharmanska, K. Kersting, C. Lampert, N. Quadrianto, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems, 2014, pp. 837–845.
2014 | Journal Article | IST-REx-ID: 2036 |

Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
View
| Files available
| DOI
| Download Submitted Version (ext.)
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
2014 | Journal Article | IST-REx-ID: 2038 |

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).
2014 | Journal Article | IST-REx-ID: 2039 |

The time scale of evolutionary innovation
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
2014 | Journal Article | IST-REx-ID: 2040 |

Coordination of progenitor specification and growth in mouse and chick spinal cord
A. Kicheva, M.T. Bollenbach, A. Ribeiro, H. Pérez Valle, R. Lovell Badge, V. Episkopou, J. Briscoe, Science 345 (2014).
View
| DOI
| Download Submitted Version (ext.)
A. Kicheva, M.T. Bollenbach, A. Ribeiro, H. Pérez Valle, R. Lovell Badge, V. Episkopou, J. Briscoe, Science 345 (2014).
2014 | Journal Article | IST-REx-ID: 2041 |

Structure, function and plasticity of hippocampal dentate gyrus microcircuits
P.M. Jonas, J. Lisman, Frontiers in Neural Circuits 8 (2014).
View
| Files available
| DOI
P.M. Jonas, J. Lisman, Frontiers in Neural Circuits 8 (2014).
2014 | Journal Article | IST-REx-ID: 2042 |

Motif depletion in bacteriophages infecting hosts with CRISPR systems
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
View
| Files available
| DOI
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
2014 | Conference Paper | IST-REx-ID: 2043 |

Distributed computation of persistent homology
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2014, pp. 31–38.
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2014, pp. 31–38.
2014 | Book Chapter | IST-REx-ID: 2044 |

Clear and Compress: Computing Persistent Homology in Chunks
U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III, Springer, 2014, pp. 103–117.
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III, Springer, 2014, pp. 103–117.
2014 | Conference Paper | IST-REx-ID: 2045 |

Enhanced chosen-ciphertext security and applications
D. Dachman Soled, G. Fuchsbauer, P. Mohassel, A. O’Neill, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 329–344.
View
| DOI
| Download Submitted Version (ext.)
D. Dachman Soled, G. Fuchsbauer, P. Mohassel, A. O’Neill, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 329–344.
2014 | Conference Paper | IST-REx-ID: 2046 |

Policy-based signatures
M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 520–537.
View
| DOI
| Download Submitted Version (ext.)
M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 520–537.
2014 | Conference Paper | IST-REx-ID: 2047 |

Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases
F. Yu, M. Rybar, C. Uhler, S. Fienberg, in:, J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 170–184.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
F. Yu, M. Rybar, C. Uhler, S. Fienberg, in:, J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 170–184.
2014 | Journal Article | IST-REx-ID: 2050 |

Experimental investigation of transitional flow in a toroidal pipe
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.
2014 | Conference Paper | IST-REx-ID: 2052
Parameterized model checking of rendezvous systems
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
View
| DOI
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 109–124.
2014 | Conference Paper | IST-REx-ID: 2053 |

Probabilistic bisimulation: Naturally on distributions
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
View
| DOI
| Download Submitted Version (ext.)
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
2014 | Conference Paper | IST-REx-ID: 2054
Qualitative concurrent parity games: Bounded rationality
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.
View
| Files available
| DOI
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.
2014 | Journal Article | IST-REx-ID: 2056 |

Markov chain aggregation and its applications to combinatorial reaction networks
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.
View
| DOI
| Download Submitted Version (ext.)
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.
2014 | Conference Paper | IST-REx-ID: 2057 |

Majority vote of diverse classifiers for late fusion
E. Morvant, A. Habrard, S. Ayache, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 153–162.
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Morvant, A. Habrard, S. Ayache, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 153–162.
2014 | Journal Article | IST-REx-ID: 2059 |

The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos
E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
View
| Files available
| DOI
E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
2014 | Journal Article | IST-REx-ID: 2061
Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
View
| DOI
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
2014 | Journal Article | IST-REx-ID: 2062 |

Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function
H. Hu, J. Gan, P.M. Jonas, Science 345 (2014).
View
| Files available
| DOI
H. Hu, J. Gan, P.M. Jonas, Science 345 (2014).
2014 | Conference Paper | IST-REx-ID: 2063
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
2014 | Journal Article | IST-REx-ID: 2064 |

Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus
M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, R. Shigemoto, Journal of Comparative Neurology 522 (2014) 4023–4042.
View
| DOI
| Download Submitted Version (ext.)
M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, R. Shigemoto, Journal of Comparative Neurology 522 (2014) 4023–4042.
2014 | Conference Paper | IST-REx-ID: 2082 |

The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
2014 | Journal Article | IST-REx-ID: 2083 |

Role of sex and migration in adaptation to sink environments
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
View
| Files available
| DOI
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
2014 | Journal Article | IST-REx-ID: 2084 |

Spatio-temporally precise activation of engineered receptor tyrosine kinases by light
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
View
| Files available
| DOI
| Download Submitted Version (ext.)
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
2014 | Journal Article | IST-REx-ID: 2086 |

So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
View
| Files available
| DOI
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2141 |

Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
K. Chatterjee, M. Henzinger, Journal of the ACM 61 (2014).
View
| Files available
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, M. Henzinger, Journal of the ACM 61 (2014).
2014 | Conference Paper | IST-REx-ID: 2153 |

Induced matchings of barcodes and the algebraic stability of persistence
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
2014 | Journal Article | IST-REx-ID: 2154 |

On Gromov's method of selecting heavily covered points
J. Matoušek, U. Wagner, Discrete & Computational Geometry 52 (2014) 1–33.
View
| DOI
| Download Submitted Version (ext.)
J. Matoušek, U. Wagner, Discrete & Computational Geometry 52 (2014) 1–33.
2014 | Conference Paper | IST-REx-ID: 2155 |

The morse theory of Čech and Delaunay filtrations
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
2014 | Conference Paper | IST-REx-ID: 2156 |

Measuring distance between Reeb graphs
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
2014 | Conference Paper | IST-REx-ID: 2157 |

Embeddability in the 3 sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
View
| Files available
| DOI
| Download Submitted Version (ext.)
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
2014 | Journal Article | IST-REx-ID: 2158 |

New paradigms in the establishment and maintenance of gradients during directed cell migration
R. Majumdar, M.K. Sixt, C. Parent, Current Opinion in Cell Biology 30 (2014) 33–40.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Majumdar, M.K. Sixt, C. Parent, Current Opinion in Cell Biology 30 (2014) 33–40.
2014 | Conference Paper | IST-REx-ID: 2159 |

Eliminating Tverberg points, I. An analogue of the Whitney trick
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
View
| Files available
| DOI
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
2014 | Conference Paper | IST-REx-ID: 2160 |

A PAC-Bayesian bound for Lifelong Learning
A. Pentina, C. Lampert, in:, E. Xing, T. Jebara (Eds.), Omnipress, 2014, pp. 991–999.
View
| Download Submitted Version (ext.)
A. Pentina, C. Lampert, in:, E. Xing, T. Jebara (Eds.), Omnipress, 2014, pp. 991–999.
2014 | Journal Article | IST-REx-ID: 2161
Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.
View
| Files available
| DOI
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.
2014 | Conference Paper | IST-REx-ID: 2162 |

The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
2014 | Conference Paper | IST-REx-ID: 2163 |

Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.
2014 | Journal Article | IST-REx-ID: 2164
Epilepsy-induced motility of differentiated neurons
X. Chai, G. Münzner, S. Zhao, S. Tinnes, J. Kowalski, U. Häussler, C. Young, C. Haas, M. Frotscher, Cerebral Cortex 24 (2014) 2130–2140.
View
| DOI
X. Chai, G. Münzner, S. Zhao, S. Tinnes, J. Kowalski, U. Häussler, C. Young, C. Haas, M. Frotscher, Cerebral Cortex 24 (2014) 2130–2140.
2014 | Conference Paper | IST-REx-ID: 2167 |

Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
2014 | Journal Article | IST-REx-ID: 2168 |

Coalescent simulation in continuous space: Algorithms for large neighbourhood size
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
View
| Files available
| DOI
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
2014 | Journal Article | IST-REx-ID: 2169 |

Diverse forms of selection in evolution and computer science
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.
2014 | Journal Article | IST-REx-ID: 2170 |

Likelihood-based inference of population history from low-coverage de novo genome assemblies
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
View
| Files available
| DOI
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
2014 | Conference Paper | IST-REx-ID: 2171 |

Closed-form approximate CRF training for scalable image segmentation
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.
View
| DOI
| Download Submitted Version (ext.)
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.
2014 | Conference Paper | IST-REx-ID: 2172
Deep Fisher Kernels – End to end learning of the Fisher Kernel GMM parameters
V. Sydorov, M. Sakurada, C. Lampert, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2014, pp. 1402–1409.
View
| DOI
V. Sydorov, M. Sakurada, C. Lampert, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2014, pp. 1402–1409.
2014 | Conference Paper | IST-REx-ID: 2173 |

CoConut: Co-classification with output space regularization
S. Khamis, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2014, BMVA Press, 2014.
View
| Files available
S. Khamis, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2014, BMVA Press, 2014.
2014 | Journal Article | IST-REx-ID: 2174 |

Stability and response of polygenic traits to stabilizing selection and mutation
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
View
| DOI
| Download Submitted Version (ext.)
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
2014 | Journal Article | IST-REx-ID: 2175 |

Monitoring neurogenesis in the cerebral cortex: an update
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
View
| Files available
| DOI
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
2014 | Journal Article | IST-REx-ID: 2176
Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue
D. Studer, S. Zhao, X. Chai, P.M. Jonas, W. Graber, S. Nestel, M. Frotscher, Nature Protocols 9 (2014) 1480–1495.
View
| DOI
D. Studer, S. Zhao, X. Chai, P.M. Jonas, W. Graber, S. Nestel, M. Frotscher, Nature Protocols 9 (2014) 1480–1495.
2014 | Conference Paper | IST-REx-ID: 2177
On the computational complexity of betti numbers reductions from matrix rank
H. Edelsbrunner, S. Parsa, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–160.
View
| DOI
H. Edelsbrunner, S. Parsa, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–160.
2014 | Journal Article | IST-REx-ID: 2178 |

Markov degree of the three-state toric homogeneous Markov chain model
D. Haws, A. Martin del Campo Sanchez, A. Takemura, R. Yoshida, Beitrage Zur Algebra Und Geometrie 55 (2014) 161–188.
View
| DOI
| Download Submitted Version (ext.)
D. Haws, A. Martin del Campo Sanchez, A. Takemura, R. Yoshida, Beitrage Zur Algebra Und Geometrie 55 (2014) 161–188.
2014 | Journal Article | IST-REx-ID: 2179 |

Local semicircle law with imprimitive variance matrix
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).
2014 | Journal Article | IST-REx-ID: 2180 |

Learning a priori constrained weighted majority votes
A. Bellet, A. Habrard, E. Morvant, M. Sebban, Machine Learning 97 (2014) 129–154.
View
| DOI
| Download Submitted Version (ext.)
A. Bellet, A. Habrard, E. Morvant, M. Sebban, Machine Learning 97 (2014) 129–154.