Please note that IST 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.

371 Publications


2015 | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_12.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1840 | OA
Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control 60, no. 4 (2015): 1010–22. https://doi.org/10.1109/TAC.2014.2364971.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1841 | OA
Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions on Pattern Analysis and Machine Intelligence 37, no. 5 (2015): 919–30. https://doi.org/10.1109/TPAMI.2014.2363465.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1843
Bod’ová, Katarína, David Paydarfar, and Daniel Forger. “Erratum to: Characterizing Spiking in Noisy Type II Neurons [J. Theor. Biol. 365 (2015) 40–54].” Journal of Theoretical Biology 373 (2015). https://doi.org/10.1016/j.jtbi.2015.03.013.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1845 | OA
Vandael, David H, Claudia M Espinoza Martinez, and Peter M Jonas. “Excitement about Inhibitory Presynaptic Terminals.” Neuron 85, no. 6 (2015): 1149–51. https://doi.org/10.1016/j.neuron.2015.03.006.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1846 | OA
Beneš, Nikola, Jan Kretinsky, Kim Larsen, Mikael Möller, Salomon Sickert, and Jiří Srba. “Refinement Checking on Parametric Modal Transition Systems.” Acta Informatica 52, no. 2–3 (2015): 269–97. https://doi.org/10.1007/s00236-015-0215-4.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1847
Grones, Peter, and Jiřĺ Friml. “ABP1: Finally Docking.” Molecular Plant 8, no. 3 (2015): 356–58. https://doi.org/10.1016/j.molp.2014.12.013.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1848 | OA
Schwamb, Bettina, Robert Pick, Sara Fernández, Kirsten Völp, Jan Heering, Volker Dötsch, Susanne Bösser, et al. “FAM96A Is a Novel Pro-Apoptotic Tumor Suppressor in Gastrointestinal Stromal Tumors.” International Journal of Cancer 137, no. 6 (2015): 1318–29. https://doi.org/10.1002/ijc.29498.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1849
Himschoot, Ellie, Tom Beeckman, Jiřĺ Friml, and Steffen Vanneste. “Calcium Is an Organizer of Cell Polarity in Plants.” Biochimica et Biophysica Acta - Molecular Cell Research 1853, no. 9 (2015): 2168–72. https://doi.org/10.1016/j.bbamcr.2015.02.017.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1850 | OA
Novak, Sebastian, and Sylvia Cremer. “Fungal Disease Dynamics in Insect Societies: Optimal Killing Rates and the Ambivalent Effect of High Social Interaction Rates.” Journal of Theoretical Biology 372, no. 5 (2015): 54–64. https://doi.org/10.1016/j.jtbi.2015.02.018.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1851 | OA
Priklopil, Tadeas, Eva Kisdi, and Mats Gyllenberg. “Evolutionarily Stable Mating Decisions for Sequentially Searching Females and the Stability of Reproductive Isolation by Assortative Mating.” Evolution 69, no. 4 (2015): 1015–26. https://doi.org/10.1111/evo.12618.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1855 | OA
Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” Journal of Animal Ecology 84, no. 3 (2015): 615–24. https://doi.org/10.1111/1365-2656.12345.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM 62, no. 1 (2015). https://doi.org/10.1145/2699430.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1857 | OA
Pentina, Anastasia, Viktoriia Sharmanska, and Christoph Lampert. “Curriculum Learning of Multiple Tasks,” 5492–5500. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7299188.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1858 | OA
Lampert, Christoph. “Predicting the Future Behavior of a Time-Varying Probability Distribution,” 942–50. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298696.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1859 | OA
Shah, Neel, Vladimir Kolmogorov, and Christoph Lampert. “A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle,” 2737–45. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298890.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1860 | OA
Royer, Amélie, and Christoph Lampert. “Classifier Adaptation at Prediction Time,” 1401–9. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298746.
View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1861
Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.” ACM Transactions on Modeling and Computer Simulation 25, no. 2 (2015). https://doi.org/10.1145/2688906.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1864 | OA
Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for Random Band Matrices II: The General Case.” Annales Henri Poincare 16, no. 3 (2015): 709–99. https://doi.org/10.1007/s00023-014-0333-5.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1865
Robert, Hélène, Wim Grunewald, Michael Sauer, Bernard Cannoot, Mercedes Soriano, Ranjan Swarup, Dolf Weijers, Malcolm Bennett, Kim Boutilier, and Jirí Friml. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.” Development 142, no. 4 (2015): 702–11. https://doi.org/10.1242/dev.115832.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1866
Henzinger, Thomas A, and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” Communications of the ACM 58, no. 2 (2015): 86–86. https://doi.org/10.1145/2701001.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1867
Hühner, Jens, Álvaro Inglés Prieto, Christian Neusüß, Michael Lämmerhofer, and Harald L Janovjak. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.” Electrophoresis 36, no. 4 (2015): 518–25. https://doi.org/10.1002/elps.201400451.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1868
Park, Youngyong, Younghae Do, Sebastian Altmeyer, Yingcheng Lai, and Gyuwon Lee. “Early Effect in Time-Dependent, High-Dimensional Nonlinear Dynamical Systems with Multiple Resonances.” Physical Review E 91, no. 2 (2015). https://doi.org/10.1103/PhysRevE.91.022906.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1871 | OA
Grones, Peter, and Jiří Friml. “Auxin Transporters and Binding Proteins at a Glance.” Journal of Cell Science 128, no. 1 (2015): 1–7. https://doi.org/10.1242/jcs.159418.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1873 | OA
Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.” Artificial Intelligence 221 (2015): 46–72. https://doi.org/10.1016/j.artint.2014.12.009.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1874
Boccara, Charlotte, Lisa Kjønigsen, Ingvild Hammer, Jan Bjaalie, Trygve Leergaard, and Menno Witter. “A Three-Plane Architectonic Atlas of the Rat Hippocampal Region.” Hippocampus 25, no. 7 (2015): 838–57. https://doi.org/10.1002/hipo.22407.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1878
Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.” Journal of Plant Research 128, no. 2 (2015): 223–38. https://doi.org/10.1007/s10265-014-0691-6.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1879 | OA
Kremer, A, Stefaan Lippens, Sonia Bartunkova, Bob Asselbergh, Cendric Blanpain, Matyas Fendrych, A Goossens, et al. “Developing 3D SEM in a Broad Biological Context.” Journal of Microscopy 259, no. 2 (2015): 80–96. https://doi.org/10.1111/jmi.12211.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1880 | OA
Könenberg, Martin, Thomas Moser, Robert Seiringer, and Jakob Yngvason. “Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.” New Journal of Physics 17 (2015). https://doi.org/10.1088/1367-2630/17/1/013022.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1882 | OA
Fahrenberg, Uli, Jan Kretinsky, Axel Legay, and Louis Traonouez. “Compositionality for Quantitative Specifications,” 8997:306–24. Springer, 2015. https://doi.org/10.1007/978-3-319-15317-9_19.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1883 | OA
Keller-Schmidt, Stephanie, Murat Tugrul, Víctor Eguíluz, Emilio Hernandez Garcia, and Konstantin Klemm. “Anomalous Scaling in an Age-Dependent Branching Model.” Physical Review E Statistical Nonlinear and Soft Matter Physics 91, no. 2 (2015): 022803. https://doi.org/10.1103/PhysRevE.91.022803.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1885 | OA
Tkacik, Gasper, Julien Dubuis, Mariela Petkova, and Thomas Gregor. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.” Genetics 199, no. 1 (2015): 39–59. https://doi.org/10.1534/genetics.114.171850.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1938
Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local Extrema in Quantum Chaos.” Physics Letters, Section A 379, no. 6 (2015): 535–41. https://doi.org/10.1016/j.physleta.2014.12.010.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Dereziński, Jan, and Marcin M Napiórkowski. “Erratum to: Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincare 16, no. 7 (2015): 1709–11. https://doi.org/10.1007/s00023-014-0390-9.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1940 | OA
Sokolowski, Thomas R, and Gasper Tkacik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.” Physical Review E Statistical Nonlinear and Soft Matter Physics 91, no. 6 (2015). https://doi.org/10.1103/PhysRevE.91.062710.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1944
Rakusová, Hana, Matyas Fendrych, and Jirí Friml. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.” Current Opinion in Plant Biology 23, no. 2 (2015): 116–23. https://doi.org/10.1016/j.pbi.2014.12.002.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
Engel, Jakob, Philipp S Schmalhorst, Anke Kruger, Christina Muller, Falk Buettner, and Françoise Routier. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.” Glycobiology 25, no. 12 (2015): 1423–30. https://doi.org/10.1093/glycob/cwv059.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 814
Schur, Florian, Wim Hagen, Michaela Rumlová, Tomáš Ruml, B Müller, Hans Kraüsslich, and John Briggs. “Structure of the Immature HIV-1 Capsid in Intact Virus Particles at 8.8 Å Resolution.” Nature 517, no. 7535 (2015): 505–8. https://doi.org/10.1038/nature13838.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 815
Schur, Florian, Robert Dick, Wim Hagen, Volker Vogt, and John Briggs. “The Structure of Immature Virus like Rous Sarcoma Virus Gag Particles Reveals a Structural Role for the P10 Domain in Assembly.” Journal of Virology 89, no. 20 (2015): 10294–302. https://doi.org/10.1128/JVI.01502-15.
View | DOI | PubMed | Europe PMC
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, Sergey, Isaac Mabillard, A. Skopenkov, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” arXiv, n.d.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 8242
Einhorn, Lukas, Judit Singer, Martina Muhr, Alexandra Schoos, Kumiko Oida, Josef Singer, Lucia Panakova, Krisztina Manzano-Szalai, and Erika Jensen-Jarolim. “Generation of Recombinant FcεRIα of Dog, Cat and Horse for Component-Resolved Allergy Diagnosis in Veterinary Patients.” Journal of Allergy and Clinical Immunology 135, no. 2 (2015). https://doi.org/10.1016/j.jaci.2014.12.1263.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Marhavy, Peter, and Eva Benková. “Real Time Analysis of Lateral Root Organogenesis in Arabidopsis.” Bio-Protocol 5, no. 8 (2015). https://doi.org/10.21769/BioProtoc.1446.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova, Dinara, Luca Ferretti, Inna Povolotskaya, Peter Vlasov, and Fyodor Kondrashov. “A Model of Substitution Trajectories in Sequence Space and Long-Term Protein Evolution.” Molecular Biology and Evolution 32, no. 2 (2015): 542–54. https://doi.org/10.1093/molbev/msu318.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 866
Kretz, Colin, Manhong Dai, Onuralp Soylemez, Andrew Yee, Karl Desch, David Siemieniak, Kärt Tomberg, Fyodor Kondrashov, Fan Meng, and David Ginsburg. “Massively Parallel Enzyme Kinetics Reveals the Substrate Recognition Landscape of the Metalloprotease ADAMTS13.” PNAS 112, no. 30 (2015): 9328–33. https://doi.org/10.1073/pnas.1511328112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 886
Kondrashov, Dmitry, and Fyodor Kondrashov. “Topological Features of Rugged Fitness Landscapes in Sequence Space.” Trends in Genetics 31, no. 1 (2015): 24–33. https://doi.org/10.1016/j.tig.2014.09.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova, Oksana, Margarita Meer, Galina Mikoulinskaia, Marina Zakharova, Alexander Galushko, Vasilii Akimenko, and Fyodor Kondrashov. “Recent Origin of the Methacrylate Redox System in Geobacter Sulfurreducens AM-1 through Horizontal Gene Transfer.” PLoS One 10, no. 5 (2015). https://doi.org/10.1371/journal.pone.0125888.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 928 | OA
Sehring, Ivonne, Pierre Recho, Elsa Denker, Matthew Kourakis, Birthe Mathiesen, Edouard B Hannezo, Bo Dong, and Di Jiang. “Assembly and Positioning of Actomyosin Rings by Contractility and Planar Cell Polarity.” ELife 4 (2015). https://doi.org/10.7554/eLife.09206.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 933 | OA
García, Simón, Edouard B Hannezo, Jens Elgeti, Jean Joanny, Pascal Silberzan, and Nir Gov. “Physics of Active Jamming during Collective Cellular Motion in a Monolayer.” PNAS 112, no. 50 (2015): 15314–19. https://doi.org/10.1073/pnas.1510973112.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 981 | OA
Zeljkovic, Ilija, Yoshinori Okada, Maksym Serbyn, Raman Sankar, Daniel Walkup, Wenwen Zhou, Junwei Liu, et al. “Dirac Mass Generation from Crystal Symmetry Breaking on the Surfaces of Topological Crystalline Insulators.” Nature Materials 14, no. 3 (2015): 318–24. https://doi.org/10.1038/nmat4215.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 982 | OA
Serbyn, Maksym, Zlatko Papić, and Dmitry Abanin. “Criterion for Many-Body Localization-Delocalization Phase Transition.” Physical Review X 5, no. 4 (2015). https://doi.org/10.1103/PhysRevX.5.041047.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 99 | OA
Higginbotham, Andrew P, S M Albrecht, Gediminas Kiršanskas, W Chang, Ferdinand Kuemmeth, Peter Krogstrup, Thomas Jespersen, Jesper Nygård, Karsten Flensberg, and Charles Marcus. “Parity Lifetime of Bound States in a Proximitized Semiconductor Nanowire.” Nature Physics 11, no. 12 (2015): 1017–21. https://doi.org/10.1038/nphys3461.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 120
Lee, Victor, Scott R Waitukaitis, Marc Miskin, and Heinrich Jaeger. “Direct Observation of Particle Interactions and Clustering in Charged Granular Streams.” Nature Physics 11, no. 9 (2015): 733–37. https://doi.org/10.1038/nphys3396.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 121 | OA
Waitukaitis, Scott R, Rémi Menaut, Bryan Chen, and Martin Van Hecke. “Origami Multistability: From Single Vertices to Metasheets.” APS Physics, Physical Review Letters 114, no. 5 (2015). https://doi.org/10.1103/PhysRevLett.114.055503.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Fischer, Julian L, and Günther Grün. “Finite Speed of Propagation and Waiting Times for the Stochastic Porous Medium Equation: A Unifying Approach.” SIAM Journal on Mathematical Analysis 47, no. 1 (2015): 825–54. https://doi.org/10.1137/140960578.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1313
Fischer, Julian L. “Estimates on Front Propagation for Nonlinear Higher-Order Parabolic Equations: An Algorithmic Approach.” Interfaces and Free Boundaries 17, no. 1 (2015): 1–20. https://doi.org/10.4171/IFB/331.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1314
Fischer, Julian L. “A Posteriori Modeling Error Estimates for the Assumption of Perfect Incompressibility in the Navier-Stokes Equation.” SIAM Journal on Numerical Analysis 53, no. 5 (2015): 2178–2205. https://doi.org/10.1137/140966654.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Fischer, Julian L. “Global Existence of Renormalized Solutions to Entropy-Dissipating Reaction–Diffusion Systems.” Archive for Rational Mechanics and Analysis 218, no. 1 (2015): 553–87. https://doi.org/10.1007/s00205-015-0866-x.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1383 | OA
Yu, Luo, Stefan Scholl, Anett Doering, Zhang Yi, Niloufer Irani, Simone Di Rubbo, Lutz Neumetzler, et al. “V-ATPase Activity in the TGN/EE Is Required for Exocytosis and Recycling in Arabidopsis.” Nature Plants 1, no. 7 (2015): 15094. https://doi.org/10.1038/nplants.2015.94.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, Florian. On the Approximation of Intrinsic Volumes. IST Austria, 2015.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, Johannes. The Subclonal Evolution of Cancer. IST Austria, 2015.
View | Files available
 

2015 | Thesis | IST-REx-ID: 1401
Sharmanska, Viktoriia. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. IST Austria, 2015.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424 | OA
Kwitt, Roland, Stefan Huber, Marc Niethammer, Weili Lin, and Ulrich Bauer. “Statistical Topological Data Analysis-A Kernel Perspective,” 28:3070–78. Neural Information Processing Systems, 2015.
View | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1425 | OA
Pentina, Anastasia, and Christoph Lampert. “Lifelong Learning with Non-i.i.d. Tasks,” 2015:1540–48. Neural Information Processing Systems, 2015.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1430 | OA
Paixao, Tiago, Dirk Sudholt, Jorge Heredia, and Barbora Trubenova. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.” In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 1455–62. ACM, 2015. https://doi.org/10.1145/2739480.2754758.
View | DOI | Download Preprint (ext.)
 

2015 | Book Review | IST-REx-ID: 1473 | OA
Hausel, Tamas, and Fernando Rodríguez Villegas. “Cohomology of Large Semiprojective Hyperkähler Varieties.” Asterisque. Societe Mathematique de France, 2015.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1474 | OA
Ferrara, Anna, Georg Fuchsbauer, Bin Liu, and Bogdan Warinschi. “Policy Privacy in Cryptographic Access Control,” 46–60. IEEE, 2015. https://doi.org/10.1109/CSF.2015.11.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1481 | OA
Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2:745–52. AAAI Press, 2015.
View | Files available | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1483 | OA
Reininghaus, Jan, Stefan Huber, Ulrich Bauer, and Roland Kwitt. “A Stable Multi-Scale Kernel for Topological Machine Learning,” 4741–48. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7299106.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1495 | OA
Edelsbrunner, Herbert, Mabel Iglesias Ham, and Vitaliy Kurlin. “Relaxed Disk Packing.” In Proceedings of the 27th Canadian Conference on Computational Geometry, 2015–August:128–35. Queen’s University, 2015.
View | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1497 | OA
Andergassen, Daniel, Christoph Dotter, Tomasz Kulinski, Philipp Guenzl, Philipp Bammer, Denise Barlow, Florian Pauler, and Quanah Hudson. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.” Nucleic Acids Research 43, no. 21 (2015). https://doi.org/10.1093/nar/gkv727.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for Language Support for Fault-Tolerant Distributed Systems.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky, Jan, Kim Larsen, Simon Laursen, and Jiří Srba. “Polynomial Time Decidability of Weighted Synchronization under Partial Observability,” 42:142–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142.
View | Files available | DOI
 

2015 | Conference Poster | IST-REx-ID: 1500
Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata. HSCC: Hybrid Systems - Computation and Control. Springer, 2015. https://doi.org/10.1145/2728606.2728650.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design 47, no. 2 (2015): 230–64. https://doi.org/10.1007/s10703-015-0235-2.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,” 101–10. ACM, 2015. https://doi.org/10.1145/2737166.2737175.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1503 | OA
Sadel, Christian. “A Herman-Avila-Bochi Formula for Higher-Dimensional Pseudo-Unitary and Hermitian-Symplectic-Cocycles.” Ergodic Theory and Dynamical Systems 35, no. 5 (2015): 1582–91. https://doi.org/10.1017/etds.2013.103.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1504 | OA
Bao, Zhigang, Liang Lin, Guangming Pan, and Wang Zhou. “Spectral Statistics of Large Dimensional Spearman s Rank Correlation Matrix and Its Application.” Annals of Statistics 43, no. 6 (2015): 2588–2623. https://doi.org/10.1214/15-AOS1353.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1505 | OA
Bao, Zhigang, Guangming Pan, and Wang Zhou. “Universality for the Largest Eigenvalue of Sample Covariance Matrices with General Population.” Annals of Statistics 43, no. 1 (2015): 382–421. https://doi.org/10.1214/14-AOS1281.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506 | OA
Bao, Zhigang, Guangming Pan, and Wang Zhou. “The Logarithmic Law of Random Determinant.” Bernoulli 21, no. 3 (2015): 1600–1628. https://doi.org/10.3150/14-BEJ615.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1508 | OA
Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” Journal of the European Mathematical Society 17, no. 8 (2015): 1927–2036. https://doi.org/10.4171/JEMS/548.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509 | OA
Michalko, Jaroslav, Marta Lukacisinova, Mark Tobias Bollenbach, and Jiří Friml. “Embryo-Lethal Phenotypes in Early Abp1 Mutants Are Due to Disruption of the Neighboring BSM Gene.” F1000 Research 4 (2015). https://doi.org/10.12688/f1000research.7143.1.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1510 | OA
Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups,” 34:842–56. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.842.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511 | OA
Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result,” 34:476–90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.476.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512 | OA
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers,” 34:507–21. ACM, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.507.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1513 | OA
Pal, Arka, and Beatriz Vicoso. “The X Chromosome of Hemipteran Insects: Conservation, Dosage Compensation and Sex-Biased Expression.” Genome Biology and Evolution 7, no. 12 (2015): 3259–68. https://doi.org/10.1093/gbe/evv215.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1514
Gómez Gonzalo, Marta, Marta Navarrete, Gertrudis Perea, Ana Covelo, Mario Martín Fernández, Ryuichi Shigemoto, Rafael Luján, and Alfonso Araque. “Endocannabinoids Induce Lateral Long Term Potentiation of Transmitter Release by Stimulation of Gliotransmission.” Cerebral Cortex 25, no. 10 (2015): 3699–3712. https://doi.org/10.1093/cercor/bhu231.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1515
Mansouri, Mahnaz, Yu Kasugai, Yugo Fukazawa, Federica Bertaso, Fabrice Raynaud, Julie Perroy, Laurent Fagni, et al. “Distinct Subsynaptic Localization of Type 1 Metabotropic Glutamate Receptors at Glutamatergic and GABAergic Synapses in the Rodent Cerebellar Cortex.” European Journal of Neuroscience 41, no. 2 (2015): 157–67. https://doi.org/10.1111/ejn.12779.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1517 | OA
Erbar, Matthias, Jan Maas, and Michiel Renger. “From Large Deviations to Wasserstein Gradient Flows in Multiple Dimensions.” Electronic Communications in Probability 20 (2015). https://doi.org/10.1214/ECP.v20-4315.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton, Nicholas H, and Maria Servedio. “The Interpretation of Selection Coefficients.” Evolution 69, no. 5 (2015): 1101–12. https://doi.org/10.1111/evo.12641.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, Gaurav, Stelian Coros, Bernhard Thomaszewski, James Tompkin, Bernd Bickel, and Hanspeter Pfister. “Computational Design of Walking Automata,” 93–100. ACM, 2015. https://doi.org/10.1145/2786784.2786803.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525 | OA
Bauer, Bruno, Guido Blechl, Christoph Bock, Patrick Danowski, Andreas Ferus, Anton Graschopf, Thomas König, et al. “Arbeitsgruppe „Nationale Strategie“ Des Open Access Network Austria OANA.” VÖB Mitteilungen 68, no. 3 (2015): 580–607. https://doi.org/10.5281/zenodo.33178.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1530
Bierbaum, Veronika, and Stefan Klumpp. “Impact of the Cell Division Cycle on Gene Circuits.” Physical Biology 12, no. 6 (2015). https://doi.org/10.1088/1478-3975/12/6/066003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1531
Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualizing Symmetric Indefinite 2D Tensor Fields Using The Heat Kernel Signature.” Mathematics and Visualization 40 (2015): 257–67. https://doi.org/10.1007/978-3-319-15090-1_13.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1533
Xia, Wei, Csaba Domokos, Junjun Xiong, Loongfah Cheong, and Shuicheng Yan. “Segmentation over Detection via Optimal Sparse Reconstructions.” IEEE Transactions on Circuits and Systems for Video Technology 25, no. 8 (2015): 1295–1308. https://doi.org/10.1109/TCSVT.2014.2379972.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang, Hongzhe, Kezhen Yang, Junjie Zou, Lingling Zhu, Zidian Xie, Miyoterao Morita, Masao Tasaka, et al. “Transcriptional Regulation of PIN Genes by FOUR LIPS and MYB88 during Arabidopsis Root Gravitropism.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms9822.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael, David H, Andrea Marcantoni, and Emilio Carbone. “Cav1.3 Channels as Key Regulators of Neuron-like Firings and Catecholamine Release in Chromaffin Cells.” Current Molecular Pharmacology 8, no. 2 (2015): 149–61. https://doi.org/10.2174/1874467208666150507105443.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, Sibu Simon, Christian Gübeli, Guowei Liu, Xi Cheng, Jirí Friml, Harro Bouwmeester, Enrico Martinoia, and Lorenzo Borghi. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology 25, no. 5 (2015): 647–55. https://doi.org/10.1016/j.cub.2015.01.015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, Verena, Stefan Wieser, Andrew Callan Jones, Michael Smutny, Hitoshi Morita, keisuke sako, Vanessa Barone, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.” Cell 160, no. 4 (2015): 673–85. https://doi.org/10.1016/j.cell.2015.01.008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess, Jakob, Francesca Parise, Andreas Milias Argeitis, Mustafa Khammash, and John Lygeros. “Iterative Experiment Design Guides the Characterization of a Light-Inducible Gene Expression Circuit.” PNAS 112, no. 26 (2015): 8148–53. https://doi.org/10.1073/pnas.1423947112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess, Jakob. “Minimal Moment Equations for Stochastic Models of Biochemical Reaction Networks with Partially Finite State Space.” Journal of Chemical Physics 143, no. 24 (2015). https://doi.org/10.1063/1.4937937.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications