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

9071 Publications


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. Elsevier, 2015. https://doi.org/10.1016/j.tibtech.2015.03.009.
View | 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. IEEE, 2015. https://doi.org/10.1109/TIT.2015.2421894.
View | DOI
 

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. Frontiers Research Foundation, 2015. https://doi.org/10.3389/fpls.2015.00218.
[Published Version] View | Files available | DOI
 

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.
[Submitted Version] 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. Springer Nature, 2015. https://doi.org/10.1007/978-3-319-27261-0_28.
[Preprint] View | DOI | Download Preprint (ext.)
 

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 | Book Chapter | IST-REx-ID: 1596 | OA
Fulek, Radoslav, and Radoš Radoičić. “Vertical Visibility among Parallel Polygons in Three Dimensions.” In Graph Drawing and Network Visualization, 9411:373–79. Springer Nature, 2015. https://doi.org/10.1007/978-3-319-27261-0_31.
[Submitted Version] 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.
[Submitted Version] 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.
[Submitted Version] 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.” In 6th International Conference, 9333:281–86. Springer Nature, 2015. https://doi.org/10.1007/978-3-319-23820-3_19.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Moshe Vardi. “The Complexity of Synthesis from Probabilistic Components.” In 42nd International Colloquium, 9135:108–20. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-47666-6_9.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. Cell Press, 2015. https://doi.org/10.1016/j.celrep.2015.09.011.
[Published Version] View | Files available | DOI
 

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. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1412996112.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

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. Wiley, 2015. https://doi.org/10.1002/pro.2721.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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. Nature Publishing Group, 2015. https://doi.org/10.1038/srep17147.
[Published Version] 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. BioMed Central, 2015. https://doi.org/10.1186/s13068-015-0380-2.
[Published Version] 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: 1628 | OA
Schumacher, Christian, Bernd Bickel, Jan Rys, Steve Marschner, Chiara Daraio, and Markus Gross. “Microstructures to Control Elasticity in 3D Printing,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766926.
[Published Version] View | DOI | Download Published Version (ext.)
 

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: 1634 | OA
Da, Fang, Christopher Batty, Chris 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.
[Submitted Version] 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.” In 26th International Symposium, 9472:566–77. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-48971-0_48.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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.
[Submitted Version] View | Files available | DOI
 

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. Nature Publishing Group, 2015. https://doi.org/10.1038/ncomms9717.
[Submitted Version] 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. Electronic Journal of Combinatorics, 2015. https://doi.org/10.37236/5002.
[Published Version] View | Files available | DOI | arXiv
 

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. EDP Sciences, 2015. https://doi.org/10.1051/m2an/2015043.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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. Nature Publishing Group, 2015. https://doi.org/10.1038/nrm3997.
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.” In 12th Theory of Cryptography Conference, 9015:31–60. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-46497-7_2.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1648 | OA
Fuchsbauer, Georg, Zahra Jafargholi, and Krzysztof Z Pietrzak. “A Quasipolynomial Reduction for Generalized Selective Decryption on Trees,” 9215:601–20. Springer, 2015. https://doi.org/10.1007/978-3-662-47989-6_29.
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1649 | OA
Benhamouda, Fabrice, Stephan Krenn, Vadim Lyubashevsky, and Krzysztof Z Pietrzak. “Efficient Zero-Knowledge Proofs for Commitments from Learning with Errors over Rings.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-24174-6_16.
[Published Version] View | Files available | DOI
 

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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1647 | OA
Fuchsbauer, Georg, Christian Hanser, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model,” 9216:233–53. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_12.
[Submitted Version] View | Files available | 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: 1654 | OA
Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “Generic Security of NMAC and HMAC with Input Whitening.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48800-3_4.
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650 | OA
Skórski, Maciej, Alexander Golovnev, and Krzysztof Z Pietrzak. “Condensed Unpredictability ,” 9134:1046–57. Springer, 2015. https://doi.org/10.1007/978-3-662-47672-7_85.
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651 | OA
Baldimtsi, Foteini, Melissa Chase, Georg Fuchsbauer, and Markulf Kohlweiss. “Anonymous Transferable E-Cash.” In Public-Key Cryptography - PKC 2015, 9020:101–24. Springer, 2015. https://doi.org/10.1007/978-3-662-46447-2_5.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1652 | OA
Alwen, Joel F, and Vladimir Serbinenko. “High Parallel Complexity Graphs and Memory-Hard Functions.” In Proceedings of the 47th Annual ACM Symposium on Theory of Computing, 595–603. ACM, 2015. https://doi.org/10.1145/2746539.2746622.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1658
Bogomolov, Sergiy, Thomas A Henzinger, Andreas Podelski, Jakob Ruess, and Christian Schilling. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-23401-4_8.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1660 | OA
Brázdil, Tomáš, Stefan Kiefer, Antonín Kučera, and Petr Novotný. “Long-Run Average Behaviour of Probabilistic Vector Addition Systems,” 44–55. IEEE, 2015. https://doi.org/10.1109/LICS.2015.15.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1665 | OA
Landau D, Tausch E, Taylor Weiner A, Stewart C, Reiter J, Bahlo J, Kluth S, Božić I, Lawrence M, Böttcher S, Carter S, Cibulskis K, Mertens D, Sougnez C, Rosenberg M, Hess J, Edelmann J, Kless S, Kneba M, Ritgen M, Fink A, Fischer K, Gabriel S, Lander E, Nowak M, Döhner H, Hallek M, Neuberg D, Getz G, Stilgenbauer S, Wu C. 2015. Mutations driving CLL and their evolution in progression and relapse. Nature. 526(7574), 525–530.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1663
Kovács, Krisztián, Myriam Steinmann, Olivier Halfon, Pierre Magistretti, and Jean Cardinaux. “Complex Regulation of CREB-Binding Protein by Homeodomain-Interacting Protein Kinase 2.” Cellular Signalling. Elsevier, 2015. https://doi.org/10.1016/j.cellsig.2015.08.001.
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1667 | OA
Brázdil, Tomáš, L’Uboš Korenčiak, Jan Krčál, Petr Novotný, 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.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1664 | OA
Barkley, Dwight, Baofang Song, Mukund Vasudevan, Grégoire M Lemoult, Marc Avila, and Björn Hof. “The Rise of Fully Turbulent Flow.” Nature. Nature Publishing Group, 2015. https://doi.org/10.1038/nature15701.
[Preprint] View | DOI | Download Preprint (ext.)
 

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.” In Advances in Cryptology - CRYPTO 2015, 9216:763–80. Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_37.
[Submitted Version] View | Files available | DOI
 

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.
[Submitted Version] View | Files available | DOI
 

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.
[Submitted Version] 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. Royal Society of London, 2015. https://doi.org/10.1098/rspa.2015.0114.
[Published Version] View | Files available | DOI
 

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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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 | Journal Article | IST-REx-ID: 1674 | OA
Lee, Jioon, and Kevin Schnelli. “Edge Universality for Deformed Wigner Matrices.” Reviews in Mathematical Physics. World Scientific Publishing, 2015. https://doi.org/10.1142/S0129055X1550018X.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1679 | OA
Lemoult, Grégoire M, Philipp Maier, and Björn Hof. “Taylor’s Forest.” Physics of Fluids. American Institute of Physics, 2015. https://doi.org/10.1063/1.4930850.
[Published Version] 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. Elsevier, 2015. https://doi.org/10.1016/j.ceb.2015.09.004.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684 | OA
Vicoso, Beatriz, and Doris Bachtrog. “Numerous Transitions of Sex Chromosomes in Diptera.” PLoS Biology. Public Library of Science, 2015. https://doi.org/10.1371/journal.pbio.1002078.
[Published Version] View | Files available | 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. Elsevier, 2015. https://doi.org/10.1016/j.ceb.2015.08.001.
[Published Version] 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.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. Springer, 2015. https://doi.org/10.1007/s00454-015-9720-z.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. ACM, 2015. https://doi.org/10.1145/2817825.
View | 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. ACM, 2015. https://doi.org/10.1145/2751524.
[Preprint] View | DOI | Download Preprint (ext.)
 

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

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. American Association for the Advancement of Science, 2015. https://doi.org/10.1126/science.aad0867.
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. American Physical Society, 2015. https://doi.org/10.1103/PhysRevA.92.022514.
[Preprint] View | 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 | 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. IEEE, 2015. 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. Wiley, 2015. https://doi.org/10.1002/pssb.201552082.
[Preprint] 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. Public Library of Science, 2015. https://doi.org/10.1371/journal.pcbi.1004304.
[Published Version] View | Files available | DOI
 

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. Springer, 2015. https://doi.org/10.1007/s00285-014-0802-y.
[Published Version] View | Files available | DOI
 

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. American Physical Society, 2015. https://doi.org/10.1103/PhysRevB.92.125135.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701 | OA
Tkačik, Gašper, 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. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1514188112.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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. Elsevier, 2015. https://doi.org/10.1016/j.ic.2015.03.001.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. American Physical Society, 2015. https://doi.org/10.1103/PhysRevB.92.081106.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. Springer, 2015. https://doi.org/10.1007/s11005-015-0787-5.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

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. CSIRO, 2015. https://doi.org/10.1071/BT15023.
View | DOI
 

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.
[Preprint] 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. Elsevier, 2015. https://doi.org/10.1016/j.ceb.2015.07.003.
[Published Version] View | Files available | DOI
 

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. SIAM, 2015. https://doi.org/10.1137/140993843.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. Springer, 2015. https://doi.org/10.1007/s00454-015-9679-9.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. Nature Publishing Group, 2015. https://doi.org/10.1038/ncomms7709.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1735 | OA
Ando, Ryoichi, Nils Thürey, and Chris Wojtan. “A Dimension-Reduced Pressure Solver for Liquid Simulations.” Computer Graphics Forum. Wiley, 2015. https://doi.org/10.1111/cgf.12576.
[Submitted Version] View | Files available | DOI
 

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. Wiley-Blackwell, 2015. https://doi.org/10.1111/cgf.12594.
View | DOI | Download None (ext.)
 

2015 | Journal Article | IST-REx-ID: 1789 | OA
Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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. Optical Society of America, 2015. https://doi.org/10.1364/OE.23.003196.
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. Nature Publishing Group, 2015. https://doi.org/10.1038/srep10781.
[Published Version] View | Files available | 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. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1415845112.
View | 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. EDP Sciences, 2015. https://doi.org/10.1051/cocv/2014040.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. Nature Publishing Group, 2015. https://doi.org/10.1038/nn.4023.
View | 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. Elsevier, 2015. https://doi.org/10.1016/j.mib.2015.05.008.
[Published Version] View | Files available | DOI
 

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. IOP Publishing Ltd., 2015. https://doi.org/10.1088/1367-2630/17/4/045005.
[Published Version] 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. American Institute of Physics, 2015. https://doi.org/10.1063/1.4921227.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. American Physical Society, 2015. https://doi.org/10.1103/PhysRevLett.114.203001.
[Preprint] 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. ACM, 2015. https://doi.org/10.1145/2745799.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1817 | OA
Porazinski S, Wang H, Asaoka Y, Behrndt M, Miyamoto T, Morita H, Hata S, Sasaki T, Krens G, Osada Y, Asaka S, Momoi A, Linton S, Miesfeld J, Link B, Senga T, Castillo Morales A, Urrutia A, Shimizu N, Nagase H, Matsuura S, Bagby S, Kondoh H, Nishina H, Heisenberg C-PJ, Furutani Seiki M. 2015. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 521(7551), 217–221.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1814 | OA
Jeschke, Stefan, and Chris Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.” ACM Transactions on Graphics. ACM, 2015. https://doi.org/10.1145/2714572.
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1818 | OA
Polechova, Jitka, and Nicholas H Barton. “Limits to Adaptation along Environmental Gradients.” PNAS. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1421515112.
[Submitted Version] 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. Elsevier, 2015. https://doi.org/10.1016/j.molp.2015.03.007.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1823 | OA
Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.” Molecular Systems Biology. Nature Publishing Group, 2015. https://doi.org/10.15252/msb.20156098.
[Published Version] 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. Nature Publishing Group, 2015. https://doi.org/10.1038/ncomms7977.
[Published Version] View | Files available | DOI
 

Search

Filter Publications