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.

2237 Publications


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

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1831 | OA
Kappeler, Peter, Sylvia Cremer, and Charles Nunn. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370, no. 1669 (2015). https://doi.org/10.1098/rstb.2014.0116.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

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

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

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

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

2015 | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_12.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1840 | OA
Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control 60, no. 4 (2015): 1010–22. https://doi.org/10.1109/TAC.2014.2364971.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1841 | OA
Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions on Pattern Analysis and Machine Intelligence 37, no. 5 (2015): 919–30. https://doi.org/10.1109/TPAMI.2014.2363465.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 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: 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: 1850 | OA
Novak, Sebastian, and Sylvia Cremer. “Fungal Disease Dynamics in Insect Societies: Optimal Killing Rates and the Ambivalent Effect of High Social Interaction Rates.” Journal of Theoretical Biology 372, no. 5 (2015): 54–64. https://doi.org/10.1016/j.jtbi.2015.02.018.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1851 | OA
Priklopil, Tadeas, Eva Kisdi, and Mats Gyllenberg. “Evolutionarily Stable Mating Decisions for Sequentially Searching Females and the Stability of Reproductive Isolation by Assortative Mating.” Evolution 69, no. 4 (2015): 1015–26. https://doi.org/10.1111/evo.12618.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1855 | OA
Mcmahon, Dino, Matthias Fürst, Jesicca Caspar, Panagiotis Theodorou, Mark Brown, and Robert Paxton. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” Journal of Animal Ecology 84, no. 3 (2015): 615–24. https://doi.org/10.1111/1365-2656.12345.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM 62, no. 1 (2015). https://doi.org/10.1145/2699430.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1857 | OA
Pentina, Anastasia, Viktoriia Sharmanska, and Christoph Lampert. “Curriculum Learning of Multiple Tasks,” 5492–5500. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7299188.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1858 | OA
Lampert, Christoph. “Predicting the Future Behavior of a Time-Varying Probability Distribution,” 942–50. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298696.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1859 | OA
Shah, Neel, Vladimir Kolmogorov, and Christoph Lampert. “A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle,” 2737–45. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298890.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1860 | OA
Royer, Amélie, and Christoph Lampert. “Classifier Adaptation at Prediction Time,” 1401–9. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298746.
View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1864 | OA
Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for Random Band Matrices II: The General Case.” Annales Henri Poincare 16, no. 3 (2015): 709–99. https://doi.org/10.1007/s00023-014-0333-5.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1871 | OA
Grones, Peter, and Jiří Friml. “Auxin Transporters and Binding Proteins at a Glance.” Journal of Cell Science 128, no. 1 (2015): 1–7. https://doi.org/10.1242/jcs.159418.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1873 | OA
Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.” Artificial Intelligence 221 (2015): 46–72. https://doi.org/10.1016/j.artint.2014.12.009.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1879 | OA
Kremer, A, Stefaan Lippens, Sonia Bartunkova, Bob Asselbergh, Cendric Blanpain, Matyas Fendrych, A Goossens, et al. “Developing 3D SEM in a Broad Biological Context.” Journal of Microscopy 259, no. 2 (2015): 80–96. https://doi.org/10.1111/jmi.12211.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1880 | OA
Könenberg, Martin, Thomas Moser, Robert Seiringer, and Jakob Yngvason. “Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.” New Journal of Physics 17 (2015). https://doi.org/10.1088/1367-2630/17/1/013022.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1882 | OA
Fahrenberg, Uli, Jan Kretinsky, Axel Legay, and Louis Traonouez. “Compositionality for Quantitative Specifications,” 8997:306–24. Springer, 2015. https://doi.org/10.1007/978-3-319-15317-9_19.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1883 | OA
Keller-Schmidt, Stephanie, Murat Tugrul, Víctor Eguíluz, Emilio Hernandez Garcia, and Konstantin Klemm. “Anomalous Scaling in an Age-Dependent Branching Model.” Physical Review E Statistical Nonlinear and Soft Matter Physics 91, no. 2 (2015): 022803. https://doi.org/10.1103/PhysRevE.91.022803.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1885 | OA
Tkacik, Gasper, Julien Dubuis, Mariela Petkova, and Thomas Gregor. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.” Genetics 199, no. 1 (2015): 39–59. https://doi.org/10.1534/genetics.114.171850.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1940 | OA
Sokolowski, Thomas R, and Gasper Tkacik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.” Physical Review E Statistical Nonlinear and Soft Matter Physics 91, no. 6 (2015). https://doi.org/10.1103/PhysRevE.91.062710.
View | DOI | Download Preprint (ext.)
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, Sergey, Isaac Mabillard, A. Skopenkov, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” arXiv, n.d.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1383 | OA
Yu, Luo, Stefan Scholl, Anett Doering, Zhang Yi, Niloufer Irani, Simone Di Rubbo, Lutz Neumetzler, et al. “V-ATPase Activity in the TGN/EE Is Required for Exocytosis and Recycling in Arabidopsis.” Nature Plants 1, no. 7 (2015): 15094. https://doi.org/10.1038/nplants.2015.94.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1424 | OA
Kwitt, Roland, Stefan Huber, Marc Niethammer, Weili Lin, and Ulrich Bauer. “Statistical Topological Data Analysis-A Kernel Perspective,” 28:3070–78. Neural Information Processing Systems, 2015.
View | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1425 | OA
Pentina, Anastasia, and Christoph Lampert. “Lifelong Learning with Non-i.i.d. Tasks,” 2015:1540–48. Neural Information Processing Systems, 2015.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1430 | OA
Paixao, Tiago, Dirk Sudholt, Jorge Heredia, and Barbora Trubenova. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.” In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 1455–62. ACM, 2015. https://doi.org/10.1145/2739480.2754758.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1474 | OA
Ferrara, Anna, Georg Fuchsbauer, Bin Liu, and Bogdan Warinschi. “Policy Privacy in Cryptographic Access Control,” 46–60. IEEE, 2015. https://doi.org/10.1109/CSF.2015.11.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1481 | OA
Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2:745–52. AAAI Press, 2015.
View | Files available | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1483 | OA
Reininghaus, Jan, Stefan Huber, Ulrich Bauer, and Roland Kwitt. “A Stable Multi-Scale Kernel for Topological Machine Learning,” 4741–48. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7299106.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1495 | OA
Edelsbrunner, Herbert, Mabel Iglesias Ham, and Vitaliy Kurlin. “Relaxed Disk Packing.” In Proceedings of the 27th Canadian Conference on Computational Geometry, 2015–August:128–35. Queen’s University, 2015.
View | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1497 | OA
Andergassen, Daniel, Christoph Dotter, Tomasz Kulinski, Philipp Guenzl, Philipp Bammer, Denise Barlow, Florian Pauler, and Quanah Hudson. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.” Nucleic Acids Research 43, no. 21 (2015). https://doi.org/10.1093/nar/gkv727.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for Language Support for Fault-Tolerant Distributed Systems.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky, Jan, Kim Larsen, Simon Laursen, and Jiří Srba. “Polynomial Time Decidability of Weighted Synchronization under Partial Observability,” 42:142–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design 47, no. 2 (2015): 230–64. https://doi.org/10.1007/s10703-015-0235-2.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,” 101–10. ACM, 2015. https://doi.org/10.1145/2737166.2737175.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505 | OA
Bao, Zhigang, Guangming Pan, and Wang Zhou. “Universality for the Largest Eigenvalue of Sample Covariance Matrices with General Population.” Annals of Statistics 43, no. 1 (2015): 382–421. https://doi.org/10.1214/14-AOS1281.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506 | OA
Bao, Zhigang, Guangming Pan, and Wang Zhou. “The Logarithmic Law of Random Determinant.” Bernoulli 21, no. 3 (2015): 1600–1628. https://doi.org/10.3150/14-BEJ615.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1508 | OA
Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” Journal of the European Mathematical Society 17, no. 8 (2015): 1927–2036. https://doi.org/10.4171/JEMS/548.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509 | OA
Michalko, Jaroslav, Marta Lukacisinova, Mark Tobias Bollenbach, and Jiří Friml. “Embryo-Lethal Phenotypes in Early Abp1 Mutants Are Due to Disruption of the Neighboring BSM Gene.” F1000 Research 4 (2015). https://doi.org/10.12688/f1000research.7143.1.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1510 | OA
Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups,” 34:842–56. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.842.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511 | OA
Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result,” 34:476–90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.476.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512 | OA
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers,” 34:507–21. ACM, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.507.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1513 | OA
Pal, Arka, and Beatriz Vicoso. “The X Chromosome of Hemipteran Insects: Conservation, Dosage Compensation and Sex-Biased Expression.” Genome Biology and Evolution 7, no. 12 (2015): 3259–68. https://doi.org/10.1093/gbe/evv215.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1517 | OA
Erbar, Matthias, Jan Maas, and Michiel Renger. “From Large Deviations to Wasserstein Gradient Flows in Multiple Dimensions.” Electronic Communications in Probability 20 (2015). https://doi.org/10.1214/ECP.v20-4315.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton, Nicholas H, and Maria Servedio. “The Interpretation of Selection Coefficients.” Evolution 69, no. 5 (2015): 1101–12. https://doi.org/10.1111/evo.12641.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1525 | OA
Bauer, Bruno, Guido Blechl, Christoph Bock, Patrick Danowski, Andreas Ferus, Anton Graschopf, Thomas König, et al. “Arbeitsgruppe „Nationale Strategie“ Des Open Access Network Austria OANA.” VÖB Mitteilungen 68, no. 3 (2015): 580–607. https://doi.org/10.5281/zenodo.33178.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang, Hongzhe, Kezhen Yang, Junjie Zou, Lingling Zhu, Zidian Xie, Miyoterao Morita, Masao Tasaka, et al. “Transcriptional Regulation of PIN Genes by FOUR LIPS and MYB88 during Arabidopsis Root Gravitropism.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms9822.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael, David H, Andrea Marcantoni, and Emilio Carbone. “Cav1.3 Channels as Key Regulators of Neuron-like Firings and Catecholamine Release in Chromaffin Cells.” Current Molecular Pharmacology 8, no. 2 (2015): 149–61. https://doi.org/10.2174/1874467208666150507105443.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, Verena, Stefan Wieser, Andrew Callan Jones, Michael Smutny, Hitoshi Morita, keisuke sako, Vanessa Barone, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.” Cell 160, no. 4 (2015): 673–85. https://doi.org/10.1016/j.cell.2015.01.008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess, Jakob, Francesca Parise, Andreas Milias Argeitis, Mustafa Khammash, and John Lygeros. “Iterative Experiment Design Guides the Characterization of a Light-Inducible Gene Expression Circuit.” PNAS 112, no. 26 (2015): 8148–53. https://doi.org/10.1073/pnas.1423947112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess, Jakob. “Minimal Moment Equations for Stochastic Models of Biochemical Reaction Networks with Partially Finite State Space.” Journal of Chemical Physics 143, no. 24 (2015). https://doi.org/10.1063/1.4937937.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1995 | OA
Fratini, Filippo, Eduardo Mascarenhas, Laleh Safari, Jean Poizat, Daniel Valente, Alexia Auffèves, Dario Gerace, and Marcelo Santos. “Fabry-Perot Interferometer with Quantum Mirrors: Nonlinear Light Transport and Rectification.” Physical Review Letters 113, no. 24 (2014). https://doi.org/10.1103/PhysRevLett.113.243601.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1996 | OA
Hazak, Ora, Uri Obolski, Tomas Prat, Jiří Friml, Lilach Hadany, and Shaul Yalovsky. “Bimodal Regulation of ICR1 Levels Generates Self-Organizing Auxin Distribution.” PNAS 111, no. 50 (2014): E5471–79. https://doi.org/10.1073/pnas.1413918111.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2002 | OA
Kim, Sooyun. “Action Potential Modulation in CA1 Pyramidal Neuron Axons Facilitates OLM Interneuron Activation in Recurrent Inhibitory Microcircuits of Rat Hippocampus.” PLoS One 9, no. 11 (2014). https://doi.org/10.1371/journal.pone.0113124.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2004 | OA
Lovrics, Anna, Yu Gao, Bianka Juhász, István Bock, Helen Byrne, András Dinnyés, and Krisztián Kovács. “Boolean Modelling Reveals New Regulatory Connections between Transcription Factors Orchestrating the Development of the Ventral Spinal Cord.” PLoS One 9, no. 11 (2014). https://doi.org/10.1371/journal.pone.0111430.
View | Files available | DOI
 

2014 | Other Publication | IST-REx-ID: 2007 | OA
Klimova, Anna, and Tamás Rudas. GIPFrm: Generalized Iterative Proportional Fitting for Relational Models. The Comprehensive R Archive Network, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2011 | OA
Yu, Fei, Stephen Fienberg, Alexandra Slaković, and Caroline Uhler. “Scalable Privacy-Preserving Data Sharing Methodology for Genome-Wide Association Studies.” Journal of Biomedical Informatics 50 (2014): 133–41. https://doi.org/10.1016/j.jbi.2014.01.008.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2012 | OA
Iglesias Ham, Mabel, Michael Kerber, and Caroline Uhler. “Sphere Packing with Limited Overlap,” 155–61. Unknown, 2014.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2013 | OA
Lin, Shaowei, Caroline Uhler, Bernd Sturmfels, and Peter Bühlmann. “Hypersurfaces and Their Singularities in Partial Correlation Testing.” Foundations of Computational Mathematics 14, no. 5 (2014): 1079–1116. https://doi.org/10.1007/s10208-014-9205-0.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2019 | OA
Erdös, László, and Dominik J Schröder. “Phase Transition in the Density of States of Quantum Spin Glasses.” Mathematical Physics, Analysis and Geometry 17, no. 3–4 (2014): 441–64. https://doi.org/10.1007/s11040-014-9164-3.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2021 | OA
William, Joo, Simon Hippenmeyer, and Liqun Luo. “Dendrite Morphogenesis Depends on Relative Levels of NT-3/TrkC Signaling.” Science 346, no. 6209 (2014): 626–29. https://doi.org/10.1126/science.1258996.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2022 | OA
Gao, Peng, Maria P Postiglione, Teresa Krieger, Luisirene Hernandez, Chao Wang, Zhi Han, Carmen Streicher, et al. “Deterministic Progenitor Behavior and Unitary Production of Neurons in the Neocortex.” Cell 159, no. 4 (2014): 775–88. https://doi.org/10.1016/j.cell.2014.10.027.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023 | OA
Novak, Sebastian. “Habitat Heterogeneities versus Spatial Type Frequency Variances as Driving Forces of Dispersal Evolution.” Ecology and Evolution 4, no. 24 (2014): 4589–97. https://doi.org/10.1002/ece3.1289.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2024 | OA
Toshima, Junko, Show Nishinoaki, Yoshifumi Sato, Wataru Yamamoto, Daiki Furukawa, Daria E Siekhaus, Akira Sawaguchi, and Jiro Toshima. “Bifurcation of the Endocytic Pathway into Rab5-Dependent and -Independent Transport to the Vacuole.” Nature Communications 5 (2014). https://doi.org/10.1038/ncomms4498.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Kretinsky, Marta Kwiatkowska, David Parker, and Mateusz Ujma. “Verification of Markov Decision Processes Using Learning Algorithms.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, 8837:98–114. Society of Industrial and Applied Mathematics, 2014. https://doi.org/10.1007/978-3-319-11936-6_8.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2028 | OA
Bod’ová, Katarína, David Paydarfar, and Daniel Forger. “Characterizing Spiking in Noisy Type II Neurons.” Journal of Theoretical Biology 365 (2014): 40–54. https://doi.org/10.1016/j.jtbi.2014.09.041.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2029 | OA
Correggi, Michele, Alessandro Giuliani, and Robert Seiringer. “Validity of Spin-Wave Theory for the Quantum Heisenberg Model.” EPL 108, no. 2 (2014). https://doi.org/10.1209/0295-5075/108/20003.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2031 | OA
Arai, itaru, and Peter M Jonas. “Nanodomain Coupling Explains Ca^2+ Independence of Transmitter Release Time Course at a Fast Central Synapse.” ELife 3 (2014). https://doi.org/10.7554/eLife.04057.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2032 | OA
Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Karin Schelch, Harald L Janovjak, and Michael Grusch. “The Optogenetic Promise for Oncology: Episode I.” Molecular and Cellular Oncology 1, no. 4 (2014). https://doi.org/10.4161/23723548.2014.964045.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2033 | OA
Hernandez Lobato, Daniel, Viktoriia Sharmanska, Kristian Kersting, Christoph Lampert, and Novi Quadrianto. “Mind the Nuisance: Gaussian Process Classification Using Privileged Noise.” In Advances in Neural Information Processing Systems, 1:837–45. Neural Information Processing Systems, 2014.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2036 | OA
Lagator, Mato, Nick Colegrave, and Paul Neve. “Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.” Proceedings of the Royal Society of London Series B Biological Sciences 281, no. 1794 (2014). https://doi.org/10.1098/rspb.2014.1679.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2038 | OA
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic (TOCL) 15, no. 4 (2014). https://doi.org/10.1145/2629686.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2039 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, Ben Adlam, and Martin Nowak. “The Time Scale of Evolutionary Innovation.” PLoS Computational Biology 10, no. 9 (2014). https://doi.org/10.1371/journal.pcbi.1003818.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2040 | OA
Kicheva, Anna, Mark Tobias Bollenbach, Ana Ribeiro, Helena Pérez Valle, Robin Lovell Badge, Vasso Episkopou, and James Briscoe. “Coordination of Progenitor Specification and Growth in Mouse and Chick Spinal Cord.” Science 345, no. 6204 (2014). https://doi.org/10.1126/science.1254927.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2041 | OA
Jonas, Peter M, and John Lisman. “Structure, Function and Plasticity of Hippocampal Dentate Gyrus Microcircuits.” Frontiers in Neural Circuits 8 (2014). https://doi.org/10.3389/fncir.2014.00107.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2042 | OA
Kupczok, Anne, and Jonathan P Bollback. “Motif Depletion in Bacteriophages Infecting Hosts with CRISPR Systems.” BMC Genomics 15, no. 1 (2014). https://doi.org/10.1186/1471-2164-15-663.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2043 | OA
Bauer, Ulrich, Michael Kerber, and Jan Reininghaus. “Distributed Computation of Persistent Homology.” In Proceedings of the Workshop on Algorithm Engineering and Experiments, edited by Catherine McGeoch and Ulrich Meyer, 31–38. Society of Industrial and Applied Mathematics, 2014. https://doi.org/10.1137/1.9781611973198.4.
View | DOI | Download Submitted Version (ext.)
 

2014 | Book Chapter | IST-REx-ID: 2044 | OA
Bauer, Ulrich, Michael Kerber, and Jan Reininghaus. “Clear and Compress: Computing Persistent Homology in Chunks.” In Topological Methods in Data Analysis and Visualization III, edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 103–17. Mathematics and Visualization. Springer, 2014. https://doi.org/10.1007/978-3-319-04099-8_7.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2045 | OA
Dachman Soled, Dana, Georg Fuchsbauer, Payman Mohassel, and Adam O’Neill. “Enhanced Chosen-Ciphertext Security and Applications.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, 8383:329–44. Springer, 2014. https://doi.org/10.1007/978-3-642-54631-0_19.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2046 | OA
Bellare, Mihir, and Georg Fuchsbauer. “Policy-Based Signatures.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, 8383:520–37. Springer, 2014. https://doi.org/10.1007/978-3-642-54631-0_30.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2047 | OA
Yu, Fei, Michal Rybar, Caroline Uhler, and Stephen Fienberg. “Differentially-Private Logistic Regression for Detecting Multiple-SNP Association in GWAS Databases.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Josep Domingo Ferrer, 8744:170–84. Springer, 2014. https://doi.org/10.1007/978-3-319-11257-2_14.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2050 | OA
Kühnen, Jakob, Markus Holzner, Björn Hof, and Hendrik Kuhlmann. “Experimental Investigation of Transitional Flow in a Toroidal Pipe.” Journal of Fluid Mechanics 738 (2014): 463–91. https://doi.org/10.1017/jfm.2013.603.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2053 | OA
Hermanns, Holger, Jan Krčál, and Jan Kretinsky. “Probabilistic Bisimulation: Naturally on Distributions.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, 8704:249–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/10.1007/978-3-662-44584-6_18.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2056 | OA
Ganguly, Arnab, Tatjana Petrov, and Heinz Koeppl. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology 69, no. 3 (2014): 767–97. https://doi.org/10.1007/s00285-013-0738-7.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2057 | OA
Morvant, Emilie, Amaury Habrard, and Stéphane Ayache. “Majority Vote of Diverse Classifiers for Late Fusion.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8621:153–62. Springer, 2014. https://doi.org/10.1007/978-3-662-44415-3_16.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2058 | OA
Raveendran, Karthik, Christopher J Wojtan, Nils Thuerey, and Greg Türk. “Blending Liquids.” In ACM Transactions on Graphics, Vol. 33. ACM, 2014. https://doi.org/10.1145/2601097.2601126.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2059 | OA
Dubas, Ewa, Jana Moravčíková, Jana Libantová, Ildikó Matušíková, Eva Benková, Iwona Zur, and Monika Krzewska. “The Influence of Heat Stress on Auxin Distribution in Transgenic B Napus Microspores and Microspore Derived Embryos.” Protoplasma 251, no. 5 (2014): 1077–87. https://doi.org/10.1007/s00709-014-0616-1.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications