Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3383 Publications

2016 | Journal Article | IST-REx-ID: 1321 | OA
Leithner, Alexander F., et al. “Diversified Actin Protrusions Promote Environmental Exploration but Are Dispensable for Locomotion of Leukocytes.” Nature Cell Biology, vol. 18, Nature Publishing Group, 2016, pp. 1253–59, doi:10.1038/ncb3426.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1100 | OA
Sako, Keisuke, et al. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” Cell Reports, vol. 16, no. 3, Cell Press, 2016, pp. 866–77, doi:10.1016/j.celrep.2016.06.036.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov, Vladimir, et al. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing, vol. 44, no. 1, SIAM, 2015, pp. 1–36, doi:10.1137/130945648.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 802
Engel, Jakob, et al. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.” Glycobiology, vol. 25, no. 12, Oxford University Press, 2015, pp. 1423–30, doi:10.1093/glycob/cwv059.
View | DOI | PubMed | Europe PMC
 
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, vol. 349, no. 6252, American Association for the Advancement of Science, 2015, pp. 1055–56, doi: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, vol. 36, no. 10, Elsevier, 2015, pp. 93–102, doi:10.1016/j.ceb.2015.08.001.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev, Roman, et al. “Bounds for Pach’s Selection Theorem and for the Minimum Solid Angle in a Simplex.” Discrete & Computational Geometry, vol. 54, no. 3, Springer, 2015, pp. 610–36, doi:10.1007/s00454-015-9720-z.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–68, doi:10.1145/2728606.2728608.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1690
Bak, Stanley, et al. HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models. Springer, 2015, pp. 128–33, doi:10.1145/2728606.2728630.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, Mária, et al. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–38, doi:10.1145/2728606.2728617.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1692
Frehse, Goran, et al. “Eliminating Spurious Transitions in Reachability with Support Functions.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–58, doi:10.1145/2728606.2728622.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1693 | OA
Amaro, Pedro, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.” Physical Review A, vol. 92, no. 2, 022514, American Physical Society, 2015, doi: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, vol. 60, no. 9, IEEE, 2015, pp. 2291–306, doi:10.1109/TAC.2015.2404612.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1695 | OA
Kaczmarczyk, Jan, et al. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.” Physica Status Solidi (B): Basic Solid State Physics, vol. 252, no. 9, Wiley, 2015, pp. 2059–71, doi:10.1002/pssb.201552082.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński, Marcin, et al. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.” Physical Review B, vol. 92, no. 12, 125135, American Physical Society, 2015, doi:10.1103/PhysRevB.92.125135.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1697 | OA
Marre, Olivier, et al. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.” PLoS Computational Biology, vol. 11, no. 7, e1004304, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004304.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1698 | OA
Velner, Yaron, et al. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation, vol. 241, no. 4, Elsevier, 2015, pp. 177–96, doi:10.1016/j.ic.2015.03.001.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1699 | OA
Uecker, Hildegard, et al. “Adaptive Gene Introgression after Secondary Contact.” Journal of Mathematical Biology, vol. 70, no. 7, Springer, 2015, pp. 1523–80, doi:10.1007/s00285-014-0802-y.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1700 | OA
Van Loon, Erik, et al. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.” Physical Review B, vol. 92, no. 8, 081106, American Physical Society, 2015, doi:10.1103/PhysRevB.92.081106.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1701 | OA
Tkačik, Gašper, et al. “Thermodynamics and Signatures of Criticality in a Network of Neurons.” PNAS, vol. 112, no. 37, National Academy of Sciences, 2015, pp. 11508–13, doi:10.1073/pnas.1514188112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1703
Broadhurst, Linda, et al. “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, vol. 63, no. 5, CSIRO, 2015, pp. 455–66, doi:10.1071/BT15023.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1704 | OA
Deuchert, Andreas, et al. “Note on a Family of Monotone Quantum Relative Entropies.” Letters in Mathematical Physics, vol. 105, no. 10, Springer, 2015, pp. 1449–66, doi: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. Vol. 9355, Springer, 2015, pp. 194–208, doi:10.1007/978-3-319-24486-0_13.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1709 | OA
Reiter, Johannes, et al. “Biological Auctions with Multiple Rewards.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812, Royal Society, 2015, doi: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, vol. 47, no. 4, SIAM, 2015, pp. 2754–69, doi:10.1137/140993843.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1712 | OA
Ratheesh, Aparna, et al. “Drosophila Immune Cell Migration and Adhesion during Embryonic Development and Larval Immune Responses.” Current Opinion in Cell Biology, vol. 36, no. 10, Elsevier, 2015, pp. 71–79, doi:10.1016/j.ceb.2015.07.003.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, Krishnendu, et al. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” Real-Time Systems Symposium, vol. 2015, no. January, IEEE, 2015, pp. 118–27, doi:10.1109/RTSS.2014.9.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1730 | OA
Colin De Verdière, Éric, et al. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.” Discrete & Computational Geometry, vol. 53, no. 3, Springer, 2015, pp. 587–620, doi:10.1007/s00454-015-9679-9.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee, Krishnendu, et al. “Randomness for Free.” Information and Computation, vol. 245, no. 12, Elsevier, 2015, pp. 3–16, doi:10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1732 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IEEE, 2015, pp. 325–30, doi:10.1109/ICRA.2015.7139019.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1734
Klehm, Oliver, et al. “Recent Advances in Facial Appearance Capture.” Computer Graphics Forum, vol. 34, no. 2, Wiley-Blackwell, 2015, pp. 709–33, doi:10.1111/cgf.12594.
View | DOI | Download None (ext.)
 
2015 | Journal Article | IST-REx-ID: 1735 | OA
Ando, Ryoichi, et al. “A Dimension-Reduced Pressure Solver for Liquid Simulations.” Computer Graphics Forum, vol. 34, no. 2, Wiley, 2015, pp. 473–80, doi:10.1111/cgf.12576.
View | Files available | DOI
 
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.
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, vol. 31, no. 6, Academic Press, 2015, pp. 773–97, doi:10.1016/j.jco.2015.06.002.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1804 | OA
Altmeyer, Sebastian, et al. “Transition to Turbulence in Taylor-Couette Ferrofluidic Flow.” Scientific Reports, vol. 5, 10781, Nature Publishing Group, 2015, doi:10.1038/srep10781.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1805
Attali, Dominique, et al. “Homological Reconstruction and Simplification in R3.” Computational Geometry: Theory and Applications, vol. 48, no. 8, Elsevier, 2015, pp. 606–21, doi: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, vol. 21, no. 3, EDP Sciences, 2015, pp. 603–24, doi: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, vol. 25, no. 2, 7, ACM, 2015, doi:10.1145/2745799.
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, vol. 27, Elsevier, 2015, pp. 1–9, doi:10.1016/j.mib.2015.05.008.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1811 | OA
Safari, Laleh, et al. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.” Journal of Mathematical Physics, vol. 56, no. 5, 052105, American Institute of Physics, 2015, doi:10.1063/1.4921227.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1812 | OA
Lahrz, Martin, et al. “Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .” New Journal of Physics, vol. 17, no. 4, 045005, IOP Publishing Ltd., 2015, doi: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, vol. 114, no. 20, 203001, American Physical Society, 2015, doi: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, vol. 34, no. 3, 27, ACM, 2015, doi:10.1145/2714572.
View | Files available | 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.
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, vol. 112, no. 20, National Academy of Sciences, 2015, pp. 6401–06, doi:10.1073/pnas.1421515112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1819
Zwiewka, Marta, et al. “Osmotic Stress Modulates the Balance between Exocytosis and Clathrin Mediated Endocytosis in Arabidopsis Thaliana.” Molecular Plant, vol. 8, no. 8, Elsevier, 2015, pp. 1175–87, doi:10.1016/j.molp.2015.03.007.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1820 | OA
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , vol. 5, AAAI Press, 2015, pp. 3496–502.
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, vol. 11, no. 4, 807, Nature Publishing Group, 2015, doi:10.15252/msb.20156098.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1824 | OA
Knebel, Johannes, et al. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” Nature Communications, vol. 6, 6977, Nature Publishing Group, 2015, doi:10.1038/ncomms7977.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1828 | OA
Akopyan, Arseniy, et al. “Invariant Measures of Genetic Recombination Process.” Journal of Statistical Physics, vol. 160, no. 1, Springer, 2015, pp. 163–67, doi:10.1007/s10955-015-1238-5.
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications