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.

6063 Publications


2015 | Journal Article | IST-REx-ID: 1665 | OA
Landau, Dan, Eugen Tausch, Amaro Taylor Weiner, Chip Stewart, Johannes Reiter, Jasmin Bahlo, Sandra Kluth, et al. “Mutations Driving CLL and Their Evolution in Progression and Relapse.” Nature 526, no. 7574 (2015): 525–30. https://doi.org/10.1038/nature15395.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1666 | OA
Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gašper Tkačik. “Dynamics of Transcription Factor Binding Site Evolution.” PLoS Genetics 11, no. 11 (2015). https://doi.org/10.1371/journal.pgen.1005639.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1667 | OA
Brázdil, Tomáš, L’Uboš Korenčiak, Jan Krčál, Petr Novotny, and Vojtěch Řehák. “Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22264-6_10.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1668 | OA
Gazi, Peter, Jooyoung Lee, Yannick Seurin, John Steinberger, and Stefano Tessaro. “Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48116-5_16.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1669 | OA
Pietrzak, Krzysztof Z, and Maciej Skórski. “The Chain Rule for HILL Pseudoentropy, Revisited.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22174-8_5.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1670
Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior,” 42–46. AAAI Press, 2015.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1671 | OA
Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC,” 9215:368–87. Springer, 2015. https://doi.org/10.1007/978-3-662-47989-6_18.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1672 | OA
Alwen, Joel F, Rafail Ostrovsky, Hongsheng Zhou, and Vassilis Zikas. “Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_37.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673 | OA
Adlam, Ben, Krishnendu Chatterjee, and Martin Nowak. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471, no. 2181 (2015). https://doi.org/10.1098/rspa.2015.0114.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1674 | OA
Lee, Jioon, and Kevin Schnelli. “Edge Universality for Deformed Wigner Matrices.” Reviews in Mathematical Physics 27, no. 8 (2015). https://doi.org/10.1142/S0129055X1550018X.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. “Proofs of Space.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_29.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1676
Sixt, Michael K, and Erez Raz. “Editorial Overview: Cell Adhesion and Migration.” Current Opinion in Cell Biology 36, no. 10 (2015): 4–6. https://doi.org/10.1016/j.ceb.2015.09.004.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1677 | OA
Alt, Johannes. “The Local Semicircle Law for Random Matrices with a Fourfold Symmetry.” Journal of Mathematical Physics 56, no. 10 (2015). https://doi.org/10.1063/1.4932606.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1678 | OA
Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Markus Muellner, Matthias Nowak, Sebastian Nijman, Michael Grusch, and Harald L Janovjak. “Light-Assisted Small-Molecule Screening against Protein Kinases.” Nature Chemical Biology 11, no. 12 (2015): 952–54. https://doi.org/10.1038/nchembio.1933.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1679 | OA
Lemoult, Grégoire M, Philipp Maier, and Björn Hof. “Taylor’s Forest.” Physics of Fluids 27, no. 9 (2015). https://doi.org/10.1063/1.4930850.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1680
Michaliszyn, Jakub, Jan Otop, and Emanuel Kieroňski. “On the Decidability of Elementary Modal Logics.” ACM Transactions on Computational Logic 17, no. 1 (2015). https://doi.org/10.1145/2817825.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1681 | OA
Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.” Games 6, no. 4 (2015): 413–37. https://doi.org/10.3390/g6040413.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682 | OA
Franek, Peter, and Marek Krcál. “Robust Satisfiability of Systems of Equations.” Journal of the ACM 62, no. 4 (2015). https://doi.org/10.1145/2751524.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1683
Letts, Jame A, and Leonid A Sazanov. “Gaining Mass: The Structure of Respiratory Complex I-from Bacterial towards Mitochondrial Versions.” Current Opinion in Structural Biology 33, no. 8 (2015): 135–45. https://doi.org/10.1016/j.sbi.2015.08.008.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684 | OA
Vicoso, Beatriz, and Doris Bachtrog. “Numerous Transitions of Sex Chromosomes in Diptera.” PLoS Biology 13, no. 4 (2015). https://doi.org/10.1371/journal.pbio.1002078.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1685 | OA
Cohen Addad, Vincent, and Arnaud N De Mesmay. “A Fixed Parameter Tractable Approximation Scheme for the Optimal Cut Graph of a Surface,” 9294:386–98. Springer, 2015. https://doi.org/10.1007/978-3-662-48350-3_33.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier, Eva, and Michael K Sixt. “Fragmented Communication between Immune Cells: Neutrophils Blaze a Trail with Migratory Cues for T Cells to Follow to Sites of Infection.” Science 349, no. 6252 (2015): 1055–56. https://doi.org/10.1126/science.aad0867.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1687 | OA
Sarris, Milka, and Michael K Sixt. “Navigating in Tissue Mazes: Chemoattractant Interpretation in Complex Environments.” Current Opinion in Cell Biology 36, no. 10 (2015): 93–102. https://doi.org/10.1016/j.ceb.2015.08.001.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev, Roman, Jan Kynčl, Pavel Paták, Zuzana Patakova, and Martin Tancer. “Bounds for Pach’s Selection Theorem and for the Minimum Solid Angle in a Simplex.” Discrete & Computational Geometry 54, no. 3 (2015): 610–36. https://doi.org/10.1007/s00454-015-9720-z.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 259–68. ACM, 2015. https://doi.org/10.1145/2728606.2728608.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak, Stanley, Sergiy Bogomolov, and Taylor Johnson. “HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models,” 128–33. Springer, 2015. https://doi.org/10.1145/2728606.2728630.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, Mária, Martin Chmelik, Kevin Leahy, Hasan Eniser, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 233–38. ACM, 2015. https://doi.org/10.1145/2728606.2728617.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1692
Frehse, Goran, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, and Andreas Podelski. “Eliminating Spurious Transitions in Reachability with Support Functions.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 149–58. ACM, 2015. https://doi.org/10.1145/2728606.2728622.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1693 | OA
Amaro, Pedro, Beatrice Franke, Julian Krauth, Marc Diepold, Filippo Fratini, Laleh Safari, Jorge Machado, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.” Physical Review A 92, no. 2 (2015). https://doi.org/10.1103/PhysRevA.92.022514.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Temporal Simulation and Refinement Distances for Timed Systems.” IEEE Transactions on Automatic Control 60, no. 9 (2015): 2291–2306. https://doi.org/10.1109/TAC.2015.2404612.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695 | OA
Kaczmarczyk, Jan, Tobias Schickling, and Jörg Bünemann. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.” Physica Status Solidi (B): Basic Solid State Physics 252, no. 9 (2015): 2059–71. https://doi.org/10.1002/pssb.201552082.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński, Marcin, Jan Kaczmarczyk, and Jozef Spałek. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.” Physical Review B 92, no. 12 (2015). https://doi.org/10.1103/PhysRevB.92.125135.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1697 | OA
Marre, Olivier, Vicente Botella Soler, Kristina Simmons, Thierry Mora, Gašper Tkačik, and Michael Berry. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.” PLoS Computational Biology 11, no. 7 (2015). https://doi.org/10.1371/journal.pcbi.1004304.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1698 | OA
Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation 241, no. 4 (2015): 177–96. https://doi.org/10.1016/j.ic.2015.03.001.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1699 | OA
Uecker, Hildegard, Derek Setter, and Joachim Hermisson. “Adaptive Gene Introgression after Secondary Contact.” Journal of Mathematical Biology 70, no. 7 (2015): 1523–80. https://doi.org/10.1007/s00285-014-0802-y.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1700 | OA
Van Loon, Erik, Mikhail Katsnelson, and Mikhail Lemeshko. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.” Physical Review B 92, no. 8 (2015). https://doi.org/10.1103/PhysRevB.92.081106.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701 | OA
Tkacik, Gasper, Thierry Mora, Olivier Marre, Dario Amodei, Stephanie Palmer, Michael Berry Ii, and William Bialek. “Thermodynamics and Signatures of Criticality in a Network of Neurons.” PNAS 112, no. 37 (2015): 11508–13. https://doi.org/10.1073/pnas.1514188112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1703
Broadhurst, Linda, Graham Fifield, Bindi Vanzella, and Melinda Pickup. “An Evaluation of the Genetic Structure of Seed Sources and the Maintenance of Genetic Diversity during Establishment of Two Yellow Box (Eucalyptus Melliodora) Seed-Production Areas.” Australian Journal of Botany 63, no. 5 (2015): 455–66. https://doi.org/10.1071/BT15023.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1704 | OA
Deuchert, Andreas, Christian Hainzl, and Robert Seiringer. “Note on a Family of Monotone Quantum Relative Entropies.” Letters in Mathematical Physics 105, no. 10 (2015): 1449–66. https://doi.org/10.1007/s11005-015-0787-5.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706 | OA
Pentina, Anastasia, and Shai Ben David. “Multi-Task and Lifelong Learning of Kernels,” 9355:194–208. Springer, 2015. https://doi.org/10.1007/978-3-319-24486-0_13.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709 | OA
Reiter, Johannes, Ayush Kanodia, Raghav Gupta, Martin Nowak, and Krishnendu Chatterjee. “Biological Auctions with Multiple Rewards.” Proceedings of the Royal Society of London Series B Biological Sciences 282, no. 1812 (2015). https://doi.org/10.1098/rspb.2015.1041.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1710 | OA
Akopyan, Arseniy, and Alexander Plakhov. “Minimal Resistance of Curves under the Single Impact Assumption.” Society for Industrial and Applied Mathematics 47, no. 4 (2015): 2754–69. https://doi.org/10.1137/140993843.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712 | OA
Ratheesh, Aparna, Vera Belyaeva, and Daria E Siekhaus. “Drosophila Immune Cell Migration and Adhesion during Embryonic Development and Larval Immune Responses.” Current Opinion in Cell Biology 36, no. 10 (2015): 71–79. https://doi.org/10.1016/j.ceb.2015.07.003.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” In Real-Time Systems Symposium, 2015:118–27. IEEE, 2015. https://doi.org/10.1109/RTSS.2014.9.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1728
Cohen, Michael, Anna Kicheva, Ana Ribeiro, Robert Blassberg, Karen Page, Chris Barnes, and James Briscoe. “Ptch1 and Gli Regulate Shh Signalling Dynamics via Multiple Mechanisms.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms7709.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1729
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-21668-3_11.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1730 | OA
Colin De Verdière, Éric, Alfredo Hubard, and Arnaud N De Mesmay. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.” Discrete & Computational Geometry 53, no. 3 (2015): 587–620. https://doi.org/10.1007/s00454-015-9679-9.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.” Information and Computation 245, no. 12 (2015): 3–16. https://doi.org/10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1732 | OA
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications,” 325–30. IEEE, 2015. https://doi.org/10.1109/ICRA.2015.7139019.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1734
Klehm, Oliver, Fabrice Rousselle, Marios Papas, Derek Bradley, Christophe Hery, Bernd Bickel, Wojciech Jarosz, and Thabo Beeler. “Recent Advances in Facial Appearance Capture.” Computer Graphics Forum 34, no. 2 (2015): 709–33. https://doi.org/10.1111/cgf.12594.
View | DOI | Download None (ext.)
 

2015 | Journal Article | IST-REx-ID: 1735 | OA
Ando, Ryoichi, Nils Thürey, and Christopher J Wojtan. “A Dimension-Reduced Pressure Solver for Liquid Simulations.” Computer Graphics Forum 34, no. 2 (2015): 473–80. https://doi.org/10.1111/cgf.12576.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1788
Pitanti, Alessandro, Johannes M Fink, Amir Safavi Naeini, Jeff Hill, Chan Lei, Alessandro Tredicucci, and Oskar Painter. “Strong Opto-Electro-Mechanical Coupling in a Silicon Photonic Crystal Cavity.” Optics Express 23, no. 3 (2015): 3196–3208. https://doi.org/10.1364/OE.23.003196.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1789 | OA
Kuechler, Alma, Alexander Zink, Thomas Wieland, Hermann Lüdecke, Kirsten Cremer, Leonardo Salviati, Pamela Magini, et al. “Loss-of-Function Variants of SETD5 Cause Intellectual Disability and the Core Phenotype of Microdeletion 3p25.3 Syndrome.” European Journal of Human Genetics 23, no. 6 (2015): 753–60. https://doi.org/10.1038/ejhg.2014.165.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1792
Pausinger, Florian, and Anne Svane. “A Koksma-Hlawka Inequality for General Discrepancy Systems.” Journal of Complexity 31, no. 6 (2015): 773–97. https://doi.org/10.1016/j.jco.2015.06.002.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1793 | OA
Symonova, Olga, Christopher Topp, and Herbert Edelsbrunner. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.” PLoS One 10, no. 6 (2015). https://doi.org/10.1371/journal.pone.0127657.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1802
Siegert, Sandra, Jinsoo Seo, Ester Kwon, Andrii Rudenko, Sukhee Cho, Wenyuan Wang, Zachary Flood, et al. “The Schizophrenia Risk Gene Product MiR-137 Alters Presynaptic Plasticity.” Nature Neuroscience 18 (2015): 1008–16. https://doi.org/10.1038/nn.4023.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1803
Rei, Damien, Xenos Mason, Jinsoo Seo, Johannes Gräff, Andrii Rudenko, Jùn Wang, Richard Rueda, et al. “Basolateral Amygdala Bidirectionally Modulates Stress Induced Hippocampal Learning and Memory Deficits through a P25/Cdk5-Dependent Pathway.” PNAS 112, no. 23 (2015): 7291–96. https://doi.org/10.1073/pnas.1415845112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1804 | OA
Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Transition to Turbulence in Taylor-Couette Ferrofluidic Flow.” Scientific Reports 5 (2015). https://doi.org/10.1038/srep10781.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1805
Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in R3.” Computational Geometry: Theory and Applications 48, no. 8 (2015): 606–21. https://doi.org/10.1016/j.comgeo.2014.08.010.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1807 | OA
Goldman, Michael, and Jimena Royo-Letelier. “Sharp Interface Limit for Two Components Bose-Einstein Condensates.” ESAIM - Control, Optimisation and Calculus of Variations 21, no. 3 (2015): 603–24. https://doi.org/10.1051/cocv/2014040.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1808
Gupta, Ashutosh, and Thomas A Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.” ACM Transactions on Modeling and Computer Simulation 25, no. 2 (2015). https://doi.org/10.1145/2745799.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1809 | OA
Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Indirect Genetic Effects and the Dynamics of Social Interactions.” PLoS One 10, no. 5 (2015). https://doi.org/10.1371/journal.pone.0126907.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1810 | OA
Bollenbach, Mark Tobias. “Antimicrobial Interactions: Mechanisms and Implications for Drug Discovery and Resistance Evolution.” Current Opinion in Microbiology 27 (2015): 1–9. https://doi.org/10.1016/j.mib.2015.05.008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811 | OA
Safari, Laleh, José Santos, Pedro Amaro, Kari Jänkälä, and Filippo Fratini. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.” Journal of Mathematical Physics 56, no. 5 (2015). https://doi.org/10.1063/1.4921227.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1812 | OA
Lahrz, Martin, Mikhail Lemeshko, and Ludwig Mathey. “Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .” New Journal of Physics 17, no. 4 (2015). https://doi.org/10.1088/1367-2630/17/4/045005.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813 | OA
Schmidt, Richard, and Mikhail Lemeshko. “Rotation of Quantum Impurities in the Presence of a Many-Body Environment.” Physical Review Letters 114, no. 20 (2015). https://doi.org/10.1103/PhysRevLett.114.203001.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1814 | OA
Jeschke, Stefan, and Christopher J Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.” ACM Transactions on Graphics 34, no. 3 (2015). https://doi.org/10.1145/2714572.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1817 | OA
Porazinski, Sean, Huijia Wang, Yoichi Asaoka, Martin Behrndt, Tatsuo Miyamoto, Hitoshi Morita, Shoji Hata, et al. “YAP Is Essential for Tissue Tension to Ensure Vertebrate 3D Body Shape.” Nature 521, no. 7551 (2015): 217–21. https://doi.org/10.1038/nature14215.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1818 | OA
Polechova, Jitka, and Nicholas H Barton. “Limits to Adaptation along Environmental Gradients.” PNAS 112, no. 20 (2015): 6401–6. https://doi.org/10.1073/pnas.1421515112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1819
Zwiewka, Marta, Tomasz Nodzyński, Stéphanie Robert, Steffen Vanneste, and Jiřĺ Friml. “Osmotic Stress Modulates the Balance between Exocytosis and Clathrin Mediated Endocytosis in Arabidopsis Thaliana.” Molecular Plant 8, no. 8 (2015): 1175–87. https://doi.org/10.1016/j.molp.2015.03.007.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1820 | OA
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , 5:3496–3502. AAAI Press, 2015.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1823 | OA
Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.” Molecular Systems Biology 11, no. 4 (2015). https://doi.org/10.15252/msb.20156098.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824 | OA
Knebel, Johannes, Markus Weber, Torben H Krüger, and Erwin Frey. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms7977.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1827 | OA
Friedlander, Tamar, Avraham Mayo, Tsvi Tlusty, and Uri Alon. “Evolution of Bow-Tie Architectures in Biology.” PLoS Computational Biology 11, no. 3 (2015). https://doi.org/10.1371/journal.pcbi.1004055.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1828 | OA
Akopyan, Arseniy, Sergey Pirogov, and Aleksandr Rybko. “Invariant Measures of Genetic Recombination Process.” Journal of Statistical Physics 160, no. 1 (2015): 163–67. https://doi.org/10.1007/s10955-015-1238-5.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1830 | OA
Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370, no. 1669 (2015). https://doi.org/10.1098/rstb.2014.0108.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1831 | OA
Kappeler, Peter, Sylvia Cremer, and Charles 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 370, no. 1669 (2015). https://doi.org/10.1098/rstb.2014.0116.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1832 | OA
Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science 11, no. 1 (2015). https://doi.org/10.2168/LMCS-11(1:20)2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834 | OA
Chen, Chong, Chao Wang, Xuan Zhao, Tao Zhou, Dao Xu, Zhi Wang, and Ying Wang. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.” ASN Neuro 7, no. 2 (2015). https://doi.org/10.1177/1759091415575845.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1835 | OA
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_47.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46669-8_5.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1837 | OA
Kühnen, Jakob, P Braunshier, M Schwegel, Hendrik Kuhlmann, and Björn Hof. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” Journal of Fluid Mechanics 770, no. 5 (2015): R3. https://doi.org/10.1017/jfm.2015.184.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1838 | OA
Bloem, Roderick, Krishnendu Chatterjee, Swen Jacobs, and Robert Könighofer. “Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information,” 9035:517–32. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_50.
View | DOI | Download Preprint (ext.)
 

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.)
 

Search

Filter Publications