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.

4947 Publications


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: 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: 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: 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: 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
 

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. Royal Society, 2015. https://doi.org/10.1098/rstb.2014.0116.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

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. Cambridge University Press, 2015. https://doi.org/10.1017/jfm.2015.184.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1848 | OA
Schwamb B, Pick R, Fernández S, Völp K, Heering J, Dötsch V, Bösser S, Jung J, Beinoravičiute Kellner R, Wesely J, Zörnig I, Hammerschmidt M, Nowak M, Penzel R, Zatloukal K, Joos S, Rieker R, Agaimy A, Söder S, Reid Lombardo K, Kendrick M, Bardsley M, Hayashi Y, Asuzu D, Syed S, Ördög T, Zörnig M. 2015. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 137(6), 1318–1329.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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. Springer, 2015. https://doi.org/10.1007/s00236-015-0215-4.
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1845 | OA
Vandael, David H, Claudia Espinoza Martinez, and Peter M Jonas. “Excitement about Inhibitory Presynaptic Terminals.” Neuron. Elsevier, 2015. https://doi.org/10.1016/j.neuron.2015.03.006.
[Published Version] View | Files available | DOI
 

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. IEEE, 2015. https://doi.org/10.1109/TAC.2014.2364971.
[Preprint] 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. IEEE, 2015. https://doi.org/10.1109/TPAMI.2014.2363465.
[Preprint] View | DOI | Download Preprint (ext.)
 

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. Elsevier, 2015. https://doi.org/10.1016/j.bbamcr.2015.02.017.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications