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.

365 Publications


2015 | Journal Article | IST-REx-ID: 1573 | OA
Chen, Thomas, Christian Hainzl, Nataša Pavlović, and Robert Seiringer. “Unconditional Uniqueness for the Cubic Gross Pitaevskii Hierarchy via Quantum de Finetti.” Communications on Pure and Applied Mathematics 68, no. 10 (2015): 1845–84. https://doi.org/10.1002/cpa.21552.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1574 | OA
Chen, Qian, Yang Liu, Steven Maere, Eunkyoung Lee, Gert Van Isterdael, Zidian Xie, Wei Xuan, et al. “A Coherent Transcriptional Feed-Forward Motif Model for Mediating Auxin-Sensitive PIN3 Expression during Lateral Root Development.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms9821.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1575 | OA
Chabaud, Mélanie, Mélina Heuzé, Marine Bretou, Pablo Vargas, Paolo Maiuri, Paola Solanes, Mathieu Maurin, et al. “Cell Migration and Antigen Capture Are Antagonistic Processes Coupled by Myosin II in Dendritic Cells.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms8526.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1584 | OA
Biedl, Therese, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. “Reprint of: Weighted Straight Skeletons in the Plane.” Computational Geometry: Theory and Applications 48, no. 5 (2015): 429–42. https://doi.org/10.1016/j.comgeo.2015.01.004.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1585
Bao, Zhigang, Guangming Pan, and Wang Zhou. “Asymptotic Mutual Information Statistics of MIMO Channels and CLT of Sample Covariance Matrices.” IEEE Transactions on Information Theory 61, no. 6 (2015): 3413–26. https://doi.org/10.1109/TIT.2015.2421894.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1586
Angermayr, Andreas, Aleix Gorchs, and Klaas Hellingwerf. “Metabolic Engineering of Cyanobacteria for the Synthesis of Commodity Products.” Trends in Biotechnology 33, no. 6 (2015): 352–61. https://doi.org/10.1016/j.tibtech.2015.03.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1587 | OA
Amaro, Pedro, Filippo Fratini, Laleh Safari, Aldo Antognini, Paul Indelicato, Randolf Pohl, and José Santos. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” Physical Review A - Atomic, Molecular, and Optical Physics 92, no. 6 (2015): 062506. https://doi.org/10.1103/PhysRevA.92.062506.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1588
Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Ring-Bursting Behavior En Route to Turbulence in Narrow-Gap Taylor-Couette Flows.” Physical Review E 92, no. 5 (2015). https://doi.org/10.1103/PhysRevE.92.053018.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1589 | OA
Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Magnetic Field Induced Flow Pattern Reversal in a Ferrofluidic Taylor-Couette System.” Scientific Reports 5 (2015). https://doi.org/10.1038/srep18589.
View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer, Oswin, Therese Biedl, Thomas Hackl, Martin Held, Stefan Huber, Peter Palfrader, and Birgit Vogtenhuber. “Representing Directed Trees as Straight Skeletons.” In Graph Drawing and Network Visualization, 9411:335–47. Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-27261-0_28.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1576 | OA
Cepeda Humerez, Sarah A, Georg Rieckh, and Gasper Tkacik. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.” Physical Review Letters 115, no. 24 (2015). https://doi.org/10.1103/PhysRevLett.115.248101.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1577 | OA
Carvalho, Antonio, Beatriz Vicoso, Claudia Russo, Bonnielin Swenor, and Andrew Clark. “Birth of a New Gene on the Y Chromosome of Drosophila Melanogaster.” PNAS 112, no. 40 (2015): 12450–55. https://doi.org/10.1073/pnas.1516543112.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1578
Cao, Thanhtung, Herbert Edelsbrunner, and Tiowseng Tan. “Triangulations from Topologically Correct Digital Voronoi Diagrams.” Computational Geometry 48, no. 7 (2015): 507–19. https://doi.org/10.1016/j.comgeo.2015.04.001.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1579 | OA
Brooks, Christopher, Abraham Martin del Campo Sanchez, and Frank Sottile. “Galois Groups of Schubert Problems of Lines Are at Least Alternating.” Transactions of the American Mathematical Society 367, no. 6 (2015): 4183–4206. https://doi.org/10.1090/S0002-9947-2014-06192-8.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1580 | OA
Brenes, Oscar, David H Vandael, Emilio Carbone, Pier Montarolo, and Mirella Ghirardi. “Knock-down of Synapsin Alters Cell Excitability and Action Potential Waveform by Potentiating BK and Voltage Gated Ca2 Currents in Helix Serotonergic Neurons.” Neuroscience 311 (2015): 430–43. https://doi.org/10.1016/j.neuroscience.2015.10.046.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1581
Bollenbach, Mark Tobias, and Carl-Philipp J Heisenberg. “Gradients Are Shaping Up.” Cell 161, no. 3 (2015): 431–32. https://doi.org/10.1016/j.cell.2015.04.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
Adamowski, Maciek, and Jirí Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.” Plant Cell 27, no. 1 (2015): 20–32. https://doi.org/10.1105/tpc.114.134874.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1593 | OA
Žádníková, Petra, Dajo Smet, Qiang Zhu, Dominique Van Der Straeten, and Eva Benková. “Strategies of Seedlings to Overcome Their Sessile Nature: Auxin in Mobility Control.” Frontiers in Plant Science 6, no. 4 (2015). https://doi.org/10.3389/fpls.2015.00218.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt, Vojtěch, Jan Krčál, and Jan Kretinsky. “Controller Synthesis for MDPs and Frequency LTL\GU,” 9450:162–77. Springer, 2015. https://doi.org/10.1007/978-3-662-48899-7_12.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1582 | OA
Biedl, Therese, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. “Weighted Straight Skeletons in the Plane.” Computational Geometry: Theory and Applications 48, no. 2 (2015): 120–33. https://doi.org/10.1016/j.comgeo.2014.08.006.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1583 | OA
Biedl, Therese, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. “A Simple Algorithm for Computing Positively Weighted Straight Skeletons of Monotone Polygons.” Information Processing Letters 115, no. 2 (2015): 243–47. https://doi.org/10.1016/j.ipl.2014.09.021.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
Babiak, Tomáš, František Blahoudek, Alexandre Duret Lutz, Joachim Klein, Jan Kretinsky, Daniel Mueller, David Parker, and Jan Strejček. “The Hanoi Omega-Automata Format,” 9206:479–86. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_31.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,” 9206:158–77. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity,” 9411:99–110. Springer, 2015. https://doi.org/10.1007/978-3-319-27261-0_9.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
Fulek, Radoslav, and Radoš Radoičić. “Vertical Visibility among Parallel Polygons in Three Dimensions.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-27261-0_31.
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, Andreas. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:ISTA:28.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, and Prateesh Goyal. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices 50, no. 1 (2015): 97–109. https://doi.org/10.1145/2676726.2676979.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs,” 9206:140–57. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_9.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Moshe Vardi. “The Complexity of Synthesis from Probabilistic Components.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_9.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50, no. 1 (2015): 539–51. https://doi.org/10.1145/2676726.2676968.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,” 9434:19–35. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_2.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. “Runtime Verification for Hybrid Analysis Tools.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-23820-3_19.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-319-v1-1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology 13, no. 11 (2015). https://doi.org/10.1371/journal.pbio.1002299.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1623 | OA
Hammar, Petter, Andreas Angermayr, Staffan Sjostrom, Josefin Van Der Meer, Klaas Hellingwerf, Elton Hudson, and Hakaan Joensson. “Single-Cell Screening of Photosynthetic Growth and Lactate Production by Cyanobacteria.” Biotechnology for Biofuels 8, no. 1 (2015). https://doi.org/10.1186/s13068-015-0380-2.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1624 | OA
Pavlogiannis, Andreas, Krishnendu Chatterjee, Ben Adlam, and Martin Nowak. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports 5 (2015). https://doi.org/10.1038/srep17147.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1625
Bermano, Amit, Thabo Beeler, Yeara Kozlov, Derek Bradley, Bernd Bickel, and Markus Gross. “Detailed Spatio-Temporal Reconstruction of Eyelids,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766924.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin, Tobias, Nobuyuki Umetani, and Bernd Bickel. “OmniAD: Data-Driven Omni-Directional Aerodynamics,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766919.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Pérez, Jesús, Bernhard Thomaszewski, Stelian Coros, Bernd Bickel, José Canabal, Robert Sumner, and Miguel Otaduy. “Design and Fabrication of Flexible Rod Meshes,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766998.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
Schumacher, Christian, Bernd Bickel, Jan Rys, Steve Marschner, Chiara Daraio, and Markus Gross. “Microstructures to Control Elasticity in 3D Printing,” 34:136. ACM, 2015. https://doi.org/10.1145/2766926.
View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1630 | OA
Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Learning Shape Placements by Example,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766933.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632 | OA
Ando, Ryoichi, Nils Thuerey, and Christopher J Wojtan. “A Stream Function Solver for Liquid Simulations,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766935.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov, Leonid A. “A Giant Molecular Proton Pump: Structure and Mechanism of Respiratory Complex I.” Nature Reviews Molecular Cell Biology 16, no. 6 (2015): 375–88. https://doi.org/10.1038/nrm3997.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1639 | OA
Maas, Jan, Martin Rumpf, Carola Schönlieb, and Stefan Simon. “A Generalized Model for Optimal Transport of Images Including Dissipation and Density Modulation.” ESAIM: Mathematical Modelling and Numerical Analysis 49, no. 6 (2015): 1745–69. https://doi.org/10.1051/m2an/2015043.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1640 | OA
Šimášková, Mária, José O’Brien, Mamoona Khan-Djamei, Giel Van Noorden, Krisztina Ötvös, Anne Vieten, Inge De Clercq, et al. “Cytokinin Response Factors Regulate PIN-FORMED Auxin Transporters.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms9717.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642 | OA
Fulek, Radoslav, Jan Kynčl, Igor Malinovič, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.” Electronic Journal of Combinatorics 22, no. 4 (2015).
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1644 | OA
Demay, Grégory, Peter Gazi, Ueli Maurer, and Björn Tackmann. “Query-Complexity Amplification for Random Oracles,” 9063:159–80. Springer, 2015. https://doi.org/10.1007/978-3-319-17470-9_10.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1645
Gazi, Peter, and Stefano Tessaro. “Secret-Key Cryptography from Ideal Primitives: A Systematic Verview.” In 2015 IEEE Information Theory Workshop. IEEE, 2015. https://doi.org/10.1109/ITW.2015.7133163.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1646 | OA
Banerjee, Abishek, Georg Fuchsbauer, Chris Peikert, Krzysztof Z Pietrzak, and Sophie Stevens. “Key-Homomorphic Constrained Pseudorandom Functions.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46497-7_2.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
Whitfield, Jason, William Zhang, Michel Herde, Ben Clifton, Johanna Radziejewski, Harald L Janovjak, Christian Henneberger, and Colin Jackson. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.” Protein Science 24, no. 9 (2015): 1412–22. https://doi.org/10.1002/pro.2721.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1614 | OA
Strüber, Michael, Peter M Jonas, and Marlene Bartos. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS 112, no. 4 (2015): 1220–25. https://doi.org/10.1073/pnas.1412996112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
Hammer, Matthieu, Dilja Krueger Burg, Liam Tuffy, Benjamin Cooper, Holger Taschenberger, Sarit Goswami, Hannelore Ehrenreich, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports 13, no. 3 (2015): 516–23. https://doi.org/10.1016/j.celrep.2015.09.011.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1618 | OA
Veldkamp, Christopher, Eva Kiermaier, Skylar Gabel Eissens, Miranda Gillitzer, David Lippner, Frank Disilvio, Casey Mueller, et al. “Solution Structure of CCL19 and Identification of Overlapping CCR7 and PSGL-1 Binding Sites.” Biochemistry 54, no. 27 (2015): 4163–66. https://doi.org/10.1021/acs.biochem.5b00560.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
Hahn, David, and Christopher J Wojtan. “High-Resolution Brittle Fracture Simulation with Boundary Elements,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766896.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1634 | OA
Da, Fang, Christopher Batty, Christopher J Wojtan, and Eitan Grinspun. “Double Bubbles sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2767003.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636 | OA
Kolmogorov, Vladimir, Michal Rolinek, and Rustem Takhanov. “Effectiveness of Structural Restrictions for Hybrid CSPs.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48971-0_48.
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: 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: 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: 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 | 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 | 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: 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 | 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 | 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: 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
 

Filters and Search Terms

year=2015

Search

Filter Publications