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.




3834 Publications

2015 | Journal Article | IST-REx-ID: 1710 | OA
A. Akopyan and A. Plakhov, “Minimal resistance of curves under the single impact assumption,” Society for Industrial and Applied Mathematics, vol. 47, no. 4. SIAM, pp. 2754–2769, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1712 | OA
A. Ratheesh, V. Belyaeva, and D. E. Siekhaus, “Drosophila immune cell migration and adhesion during embryonic development and larval immune responses,” Current Opinion in Cell Biology, vol. 36, no. 10. Elsevier, pp. 71–79, 2015.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1714
K. Chatterjee, A. Pavlogiannis, A. Kößler, and U. Schmid, “A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks,” in Real-Time Systems Symposium, Rome, Italy, 2015, vol. 2015, no. January, pp. 118–127.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1729
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1730 | OA
É. Colin De Verdière, A. Hubard, and A. N. de Mesmay, “Discrete systolic inequalities and decompositions of triangulated surfaces,” Discrete & Computational Geometry, vol. 53, no. 3. Springer, pp. 587–620, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1731 | OA
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” Information and Computation, vol. 245, no. 12. Elsevier, pp. 3–16, 2015.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1732 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Qualitative analysis of POMDPs with temporal logic specifications for robotics applications,” presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States, 2015, pp. 325–330.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1734
O. Klehm et al., “Recent advances in facial appearance capture,” Computer Graphics Forum, vol. 34, no. 2. Wiley-Blackwell, pp. 709–733, 2015.
View | DOI | Download None (ext.)
 
2015 | Journal Article | IST-REx-ID: 1735 | OA
R. Ando, N. Thürey, and C. J. Wojtan, “A dimension-reduced pressure solver for liquid simulations,” Computer Graphics Forum, vol. 34, no. 2. Wiley, pp. 473–480, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1789 | OA
Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1792
F. Pausinger and A. Svane, “A Koksma-Hlawka inequality for general discrepancy systems,” Journal of Complexity, vol. 31, no. 6. Academic Press, pp. 773–797, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1793 | OA
O. Symonova, C. Topp, and H. Edelsbrunner, “DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots,” PLoS One, vol. 10, no. 6. Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1804 | OA
S. Altmeyer, Y. Do, and Y. Lai, “Transition to turbulence in Taylor-Couette ferrofluidic flow,” Scientific Reports, vol. 5. Nature Publishing Group, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1805
D. Attali, U. Bauer, O. Devillers, M. Glisse, and A. Lieutier, “Homological reconstruction and simplification in R3,” Computational Geometry: Theory and Applications, vol. 48, no. 8. Elsevier, pp. 606–621, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1807 | OA
M. Goldman and J. Royo-Letelier, “Sharp interface limit for two components Bose-Einstein condensates,” ESAIM - Control, Optimisation and Calculus of Variations, vol. 21, no. 3. EDP Sciences, pp. 603–624, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1808
A. Gupta and T. A. Henzinger, “Guest editors’ introduction to special issue on computational methods in systems biology,” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2. ACM, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1809 | OA
B. Trubenova, S. Novak, and R. Hager, “Indirect genetic effects and the dynamics of social interactions,” PLoS One, vol. 10, no. 5. Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1810 | OA
M. T. Bollenbach, “Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution,” Current Opinion in Microbiology, vol. 27. Elsevier, pp. 1–9, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1811 | OA
L. Safari, J. Santos, P. Amaro, K. Jänkälä, and F. Fratini, “Analytical evaluation of atomic form factors: Application to Rayleigh scattering,” Journal of Mathematical Physics, vol. 56, no. 5. American Institute of Physics, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1812 | OA
M. Lahrz, M. Lemeshko, and L. Mathey, “Exotic roton excitations in quadrupolar Bose–Einstein condensates ,” New Journal of Physics, vol. 17, no. 4. IOP Publishing Ltd., 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1813 | OA
R. Schmidt and M. Lemeshko, “Rotation of quantum impurities in the presence of a many-body environment,” Physical Review Letters, vol. 114, no. 20. American Physical Society, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1814 | OA
S. Jeschke and C. J. Wojtan, “Water wave animation via wavefront parameter interpolation,” ACM Transactions on Graphics, vol. 34, no. 3. ACM, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1817 | OA
Porazinski S, Wang H, Asaoka Y, Behrndt M, Miyamoto T, Morita H, Hata S, Sasaki T, Krens G, Osada Y, Asaka S, Momoi A, Linton S, Miesfeld J, Link B, Senga T, Castillo Morales A, Urrutia A, Shimizu N, Nagase H, Matsuura S, Bagby S, Kondoh H, Nishina H, Heisenberg C-PJ, Furutani Seiki M. 2015. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 521(7551), 217–221.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1818 | OA
J. Polechova and N. H. Barton, “Limits to adaptation along environmental gradients,” PNAS, vol. 112, no. 20. National Academy of Sciences, pp. 6401–6406, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1819
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, and J. Friml, “Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana,” Molecular Plant, vol. 8, no. 8. Elsevier, pp. 1175–1187, 2015.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1820 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , Austin, TX, USA, 2015, vol. 5, pp. 3496–3502.
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1823 | OA
G. Chevereau and M. T. Bollenbach, “Systematic discovery of drug interaction mechanisms,” Molecular Systems Biology, vol. 11, no. 4. Nature Publishing Group, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1824 | OA
J. Knebel, M. Weber, T. H. Krüger, and E. Frey, “Evolutionary games of condensates in coupled birth-death processes,” Nature Communications, vol. 6. Nature Publishing Group, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1827 | OA
T. Friedlander, A. Mayo, T. Tlusty, and U. Alon, “Evolution of bow-tie architectures in biology,” PLoS Computational Biology, vol. 11, no. 3. Public Library of Science, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1828 | OA
A. Akopyan, S. Pirogov, and A. Rybko, “Invariant measures of genetic recombination process,” Journal of Statistical Physics, vol. 160, no. 1. Springer, pp. 163–167, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1830 | OA
F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Opposing effects of allogrooming on disease transmission in ant societies,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669. Royal Society, The, 2015.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1831 | OA
P. Kappeler, S. Cremer, and C. Nunn, “Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669. Royal Society, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1832 | OA
S. Chakraborty, T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” Logical Methods in Computer Science, vol. 11, no. 1. International Federation of Computational Logic, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1834 | OA
C. Chen et al., “Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats,” ASN Neuro, vol. 7, no. 2. SAGE, 2015.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1835 | OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1836
P. Cerny, T. A. Henzinger, L. Kovács, A. Radhakrishna, and J. Zwirchmayr, “Segment abstraction for worst-case execution time analysis,” vol. 9032. Springer, pp. 105–131, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1837 | OA
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, and B. Hof, “Subcritical versus supercritical transition to turbulence in curved pipes,” Journal of Fluid Mechanics, vol. 770, no. 5. Cambridge University Press, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1838 | OA
R. Bloem, K. Chatterjee, S. Jacobs, and R. Könighofer, “Assume-guarantee synthesis for concurrent reactive programs with partial information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 2015, vol. 9035, pp. 517–532.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1839 | OA
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives,” vol. 9035. Springer, pp. 181–187, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1840 | OA
B. Geiger, T. Petrov, G. Kubin, and H. Koeppl, “Optimal Kullback-Leibler aggregation via information bottleneck,” IEEE Transactions on Automatic Control, vol. 60, no. 4. IEEE, pp. 1010–1022, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1841 | OA
V. Kolmogorov, “A new look at reweighted message passing,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5. IEEE, pp. 919–930, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1845 | OA
D. H. Vandael, C. Espinoza Martinez, and P. M. Jonas, “Excitement about inhibitory presynaptic terminals,” Neuron, vol. 85, no. 6. Elsevier, pp. 1149–1151, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1846 | OA
N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, and J. Srba, “Refinement checking on parametric modal transition systems,” Acta Informatica, vol. 52, no. 2–3. Springer, pp. 269–297, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1847
P. Grones and J. Friml, “ABP1: Finally docking,” Molecular Plant, vol. 8, no. 3. Elsevier, pp. 356–358, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1848 | OA
Schwamb B, Pick R, Fernández S, Völp K, Heering J, Dötsch V, Bösser S, Jung J, Beinoravičiute Kellner R, Wesely J, Zörnig I, Hammerschmidt M, Nowak M, Penzel R, Zatloukal K, Joos S, Rieker R, Agaimy A, Söder S, Reid Lombardo K, Kendrick M, Bardsley M, Hayashi Y, Asuzu D, Syed S, Ördög T, Zörnig M. 2015. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 137(6), 1318–1329.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1849
E. Himschoot, T. Beeckman, J. Friml, and S. Vanneste, “Calcium is an organizer of cell polarity in plants,” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 9. Elsevier, pp. 2168–2172, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1850 | OA
S. Novak and S. Cremer, “Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates,” Journal of Theoretical Biology, vol. 372, no. 5. Elsevier, pp. 54–64, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1851 | OA
T. Priklopil, E. Kisdi, and M. Gyllenberg, “Evolutionarily stable mating decisions for sequentially searching females and the stability of reproductive isolation by assortative mating,” Evolution, vol. 69, no. 4. Wiley-Blackwell, pp. 1015–1026, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1855 | OA
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees,” Journal of Animal Ecology, vol. 84, no. 3. Wiley, pp. 615–624, 2015.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1856 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” Journal of the ACM, vol. 62, no. 1. ACM, 2015.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1857 | OA
A. Pentina, V. Sharmanska, and C. Lampert, “Curriculum learning of multiple tasks,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 5492–5500.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1858 | OA
C. Lampert, “Predicting the future behavior of a time-varying probability distribution,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 942–950.
View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1859 | OA
N. Shah, V. Kolmogorov, and C. Lampert, “A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA, 2015, pp. 2737–2745.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1860 | OA
A. Royer and C. Lampert, “Classifier adaptation at prediction time,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States, 2015, pp. 1401–1409.
View | DOI | Download Submitted Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1861
J. Ruess and J. Lygeros, “Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks,” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2. ACM, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1864 | OA
L. Erdös and A. Knowles, “The Altshuler–Shklovskii formulas for random band matrices II: The general case,” Annales Henri Poincare, vol. 16, no. 3. Springer, pp. 709–799, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1865
H. Robert et al., “Plant embryogenesis requires AUX/LAX-mediated auxin influx,” Development, vol. 142, no. 4. Company of Biologists, pp. 702–711, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1866
T. A. Henzinger and J. Raskin, “The equivalence problem for finite automata: Technical perspective,” Communications of the ACM, vol. 58, no. 2. ACM, pp. 86–86, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1867
J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, and H. L. Janovjak, “Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection,” Electrophoresis, vol. 36, no. 4. Wiley, pp. 518–525, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1868
Y. Park, Y. Do, S. Altmeyer, Y. Lai, and G. Lee, “Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances,” Physical Review E, vol. 91, no. 2. American Physical Society, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1871 | OA
P. Grones and J. Friml, “Auxin transporters and binding proteins at a glance,” Journal of Cell Science, vol. 128, no. 1. Company of Biologists, pp. 1–7, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1873 | OA
K. Chatterjee and M. Chmelik, “POMDPs under probabilistic semantics,” Artificial Intelligence, vol. 221. Elsevier, pp. 46–72, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1874
C. N. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, and M. Witter, “A three-plane architectonic atlas of the rat hippocampal region,” Hippocampus, vol. 25, no. 7. Wiley, pp. 838–857, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1878
E. Cires Rodriguez and J. Prieto, “Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula,” Journal of Plant Research, vol. 128, no. 2. Springer, pp. 223–238, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1879 | OA
Kremer A, Lippens S, Bartunkova S, Asselbergh B, Blanpain C, Fendrych M, Goossens A, Holt M, Janssens S, Krols M, Larsimont J, Mc Guire C, Nowack M, Saelens X, Schertel A, Schepens B, Slezak M, Timmerman V, Theunis C, Van Brempt R, Visser Y, Guérin C. 2015. Developing 3D SEM in a broad biological context. Journal of Microscopy. 259(2), 80–96.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1880 | OA
M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluid behavior of a Bose-Einstein condensate in a random potential,” New Journal of Physics, vol. 17. IOP Publishing Ltd., 2015.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1882 | OA
U. Fahrenberg, J. Kretinsky, A. Legay, and L. Traonouez, “Compositionality for quantitative specifications,” presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy, 2015, vol. 8997, pp. 306–324.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1883 | OA
S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, and K. Klemm, “Anomalous scaling in an age-dependent branching model,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 2. American Institute of Physics, 2015.
View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1885 | OA
G. Tkačik, J. Dubuis, M. Petkova, and T. Gregor, “Positional information, positional error, and readout precision in morphogenesis: A mathematical framework,” Genetics, vol. 199, no. 1. Genetics Society of America, pp. 39–59, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1938
F. Pausinger and S. Steinerberger, “On the distribution of local extrema in quantum chaos,” Physics Letters, Section A, vol. 379, no. 6. Elsevier, pp. 535–541, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1940 | OA
T. R. Sokolowski and G. Tkačik, “Optimizing information flow in small genetic networks. IV. Spatial coupling,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 6. American Institute of Physics, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1944
H. Rakusová, M. Fendrych, and J. Friml, “Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants,” Current Opinion in Plant Biology, vol. 23, no. 2. Elsevier, pp. 116–123, 2015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1383 | OA
L. Yu et al., “V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis,” Nature Plants, vol. 1, no. 7. Nature Publishing Group, 2015.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Thesis | IST-REx-ID: 1399
F. Pausinger, “On the approximation of intrinsic volumes,” IST Austria, 2015.
View | Files available
 
2015 | Thesis | IST-REx-ID: 1400
J. Reiter, “The subclonal evolution of cancer,” IST Austria, 2015.
View | Files available
 
2015 | Thesis | IST-REx-ID: 1401 | OA
V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” IST Austria, 2015.
View | Files available | DOI | Download Published Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1424 | OA
R. Kwitt, S. Huber, M. Niethammer, W. Lin, and U. Bauer, “Statistical topological data analysis-A kernel perspective,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 28, pp. 3070–3078.
View | Download Submitted Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1425 | OA
A. Pentina and C. Lampert, “Lifelong learning with non-i.i.d. tasks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 2015, pp. 1540–1548.
View | Download None (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1430 | OA
T. Paixao, D. Sudholt, J. Heredia, and B. Trubenova, “First steps towards a runtime comparison of natural and artificial evolution,” in Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, Madrid, Spain, 2015, pp. 1455–1462.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1474 | OA
A. Ferrara, G. Fuchsbauer, B. Liu, and B. Warinschi, “Policy privacy in cryptographic access control,” presented at the CSF: Computer Security Foundations, Verona, Italy, 2015, pp. 46–60.
View | DOI | Download Submitted Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1481 | OA
U. Ahmed, K. Chatterjee, and S. Gulwani, “Automatic generation of alternative starting positions for simple traditional board games,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, TX, USA, 2015, vol. 2, pp. 745–752.
View | Files available | Download None (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1483 | OA
J. Reininghaus, S. Huber, U. Bauer, and R. Kwitt, “A stable multi-scale kernel for topological machine learning,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA, 2015, pp. 4741–4748.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1495 | OA
H. Edelsbrunner, M. Iglesias Ham, and V. Kurlin, “Relaxed disk packing,” in Proceedings of the 27th Canadian Conference on Computational Geometry, Ontario, Canada, 2015, vol. 2015–August, pp. 128–135.
View | Download Submitted Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1497 | OA
D. Andergassen et al., “Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data,” Nucleic Acids Research, vol. 43, no. 21. Oxford University Press, 2015.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1498 | OA
C. Dragoi, T. A. Henzinger, and D. Zufferey, “The need for language support for fault-tolerant distributed systems,” vol. 32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 90–102, 2015.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1499 | OA
J. Kretinsky, K. Larsen, S. Laursen, and J. Srba, “Polynomial time decidability of weighted synchronization under partial observability,” presented at the CONCUR: Concurrency Theory, Madrid, Spain, 2015, vol. 42, pp. 142–154.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1501 | OA
K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for compositional analysis of qualitative properties in Markov decision processes,” Formal Methods in System Design, vol. 47, no. 2. Springer, pp. 230–264, 2015.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1502 | OA
N. Beneš, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1505 | OA
Z. Bao, G. Pan, and W. Zhou, “Universality for the largest eigenvalue of sample covariance matrices with general population,” Annals of Statistics, vol. 43, no. 1. Institute of Mathematical Statistics, pp. 382–421, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1506 | OA
Z. Bao, G. Pan, and W. Zhou, “The logarithmic law of random determinant,” Bernoulli, vol. 21, no. 3. Bernoulli Society for Mathematical Statistics and Probability, pp. 1600–1628, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1508 | OA
L. Erdös and H. Yau, “Gap universality of generalized Wigner and β ensembles,” Journal of the European Mathematical Society, vol. 17, no. 8. European Mathematical Society, pp. 1927–2036, 2015.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1509 | OA
J. Michalko, M. Lukacisinova, M. T. Bollenbach, and J. Friml, “Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene,” F1000 Research , vol. 4. F1000 Research Ltd. , 2015.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1510 | OA
P. Franek and M. Krcál, “On computability and triviality of well groups,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 842–856.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1511 | OA
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 476–490.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1512 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding Helly numbers via Betti numbers,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 507–521.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1513 | OA
A. Pal and B. Vicoso, “The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression,” Genome Biology and Evolution, vol. 7, no. 12. Oxford University Press, pp. 3259–3268, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1517 | OA
M. Erbar, J. Maas, and M. Renger, “From large deviations to Wasserstein gradient flows in multiple dimensions,” Electronic Communications in Probability, vol. 20. Institute of Mathematical Statistics, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1519 | OA
N. H. Barton and M. Servedio, “The interpretation of selection coefficients,” Evolution, vol. 69, no. 5. Wiley, pp. 1101–1112, 2015.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1520
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, and H. Pfister, “Computational design of walking automata,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Los Angeles, CA, United States, 2015, pp. 93–100.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1525 | OA
B. Bauer et al., “Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA,” VÖB Mitteilungen, vol. 68, no. 3. Verein Österreichischer Bibliothekare, pp. 580–607, 2015.
View | Files available | DOI
 

Search

Filter Publications