IST Austria Thesis 2018 RSS feed for public list IST Austria Thesis 2018 (The exact security of) Message Authentication Codes by Rybar, Michal Active properties of hippocampal CA3 pyramidal neuron dendrites by Kim, Sooyun Algorithmic advances in program analysis and their applications by Pavlogiannis, Andreas Algorithms for partially observable markov decision processes by Chmelik, Martin Analysis of dynamic message passing programs by Zufferey, Damien Automatic synthesis of synchronisation primitives for concurrent programs by Tarrach, Thorsten Bacterial herd and social immunity to phages by Payne, Pavel Biology of restriction-modification systems at the single-cell and population level by Pleska, Maros Branched Actin networks in dendritic cell biology by Leithner, Alexander Brittle fracture simulation with boundary elements for computer graphics by Hahn, David Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation by Barone, Vanessa Complexity of constraint satisfaction problems by Rolinek, Michal Discrete Morse theory for random complexes by Nikitenko, Anton Disease defence in garden ants by Pull, Christopher D Dyson equation and eigenvalue statistics of random matrices by Alt, Johannes Eliminating higher-multiplicity intersections: An r-fold Whitney trick for the topological Tverberg conjecture by Mabillard, Isaac Evolution of a fungal pathogen towards individual versus social immunity in ants by Stock, Miriam Evolution of transcriptional regulatory sequences by Tugrul, Murat Evolutionary processes in variable environments by Novak, Sebastian Forces driving epithelial spreading in zebrafish epiboly by Behrndt, Martin Identification and characterizationof novel Auxin-Cytokinin cross-talk components by Hurny, Andrej Identification of novel regulators of pin polarity and development of a novel auxin sensor by Prat, Tomas Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius negelctus by Konrad, Matthias Inferring recent demography from spatial genetic structure by Ringbauer, Harald Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana by Adamowski, Maciej Learning with attributes for object recognition: Parametric and non-parametrics views by Sharmanska, Viktoriia Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading by Campinho, Pedro Molecular mechanisms of patterning and subcellular trafficking in Aribadopsis thaliana by Marhavá, Petra Multiple Covers with Balls by Iglesias Ham, Mabel On the approximation of intrinsic volumes by Pausinger, Florian Optical and optogenetic control of proliferation and survival by Gschaider-Reichhart, Eva Optical functionalization of human class A orphan G-protein coupled receptors by Morri, Maurizio Optical functionalization of human class A orphan G-protein coupled receptors by Morri, Maurizio Quantitative analysis of haptotactic cell migration by Schwarz, Jan Quantum mechanics by Feynman, Richard P. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks by Xu, Haibing Selective barriers to horizontal gene transfer by Acar, Hande Statistical and logical methods for property checking by Daca, Przemyslaw Studying the complexities of transcriptional regulation by Rieckh, Georg Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus by Mishra, Rajiv K. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release by Chen, Chong The branched chain amino acids in autism spectrum disorders by Tarlungeanu, Dora The lac operon in the wild by Jesse, Fabienne The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone by Ellis, Thomas J. The subclonal evolution of cancer by Reiter, Johannes G. Theoretical foundations of multi-task and lifelong learning by Pentina, Anastasia Timing, variability and cross-protection in bacteria – Insights from dynamic gene expression responses to antibiotics by Mitosch, Karin Tracking, correcting and absorbing water surface waves by Bojsen-Hansen, Morten Weakly-supervised segmentation and unsupervised modeling of natural images by Kolesnikov, Alexander