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.

358 Publications


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

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.
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.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
Martius, Georg S, and Eckehard Olbrich. “Quantifying Emergent Behavior of Autonomous Robots.” Entropy 17, no. 10 (2015): 7266–97. https://doi.org/10.3390/e17107266.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636   OA
Kolmogorov, Vladimir, Michal Rolinek, and Rustem Takhanov. “Effectiveness of Structural Restrictions for Hybrid CSPs.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48971-0_48.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1693   OA
Amaro, Pedro, Beatrice Franke, Julian Krauth, Marc Diepold, Filippo Fratini, Laleh Safari, Jorge Machado, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.” Physical Review A 92, no. 2 (2015). https://doi.org/10.1103/PhysRevA.92.022514.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation 241, no. 4 (2015): 177–96. https://doi.org/10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
Tkacik, Gasper, Thierry Mora, Olivier Marre, Dario Amodei, Stephanie Palmer, Michael Berry Ii, and William Bialek. “Thermodynamics and Signatures of Criticality in a Network of Neurons.” PNAS 112, no. 37 (2015): 11508–13. https://doi.org/10.1073/pnas.1514188112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1706   OA
Pentina, Anastasia, and Shai Ben David. “Multi-Task and Lifelong Learning of Kernels,” 9355:194–208. Springer, 2015. https://doi.org/10.1007/978-3-319-24486-0_13.
View | DOI | Download (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 27, no. 9 (2015). https://doi.org/10.1063/1.4930850.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.” Games 6, no. 4 (2015): 413–37. https://doi.org/10.3390/g6040413.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier, Eva, and Michael K Sixt. “Fragmented Communication between Immune Cells: Neutrophils Blaze a Trail with Migratory Cues for T Cells to Follow to Sites of Infection.” Science 349, no. 6252 (2015): 1055–56. https://doi.org/10.1126/science.aad0867.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1674   OA
Lee, Jioon, and Kevin Schnelli. “Edge Universality for Deformed Wigner Matrices.” Reviews in Mathematical Physics 27, no. 8 (2015). https://doi.org/10.1142/S0129055X1550018X.
View | DOI | Download (ext.)
 

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 21, no. 3 (2015): 603–24. https://doi.org/10.1051/cocv/2014040.
View | DOI | Download (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 34, no. 3 (2015). https://doi.org/10.1145/2714572.
View | Files available | DOI
 

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 8, no. 8 (2015): 1175–87. https://doi.org/10.1016/j.molp.2015.03.007.
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.
View | DOI | Download (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 (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 (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 (ext.)
 

2015 | Journal Article | IST-REx-ID: 1871   OA
Grones, Peter, and Jirí 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: 1883
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). https://doi.org/10.1103/PhysRevE.91.022803.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1845   OA
Vandael, David H, Claudia M Espinoza Martinez, and Peter M Jonas. “Excitement about Inhibitory Presynaptic Terminals.” Neuron 85, no. 6 (2015): 1149–51. https://doi.org/10.1016/j.neuron.2015.03.006.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2014   OA
Klimova, Anna, Caroline Uhler, and Tamás Rudas. “Faithfulness and Learning Hypergraphs from Discrete Distributions.” Computational Statistics & Data Analysis 87, no. 7 (2015): 57–72. https://doi.org/10.1016/j.csda.2015.01.017.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1713
Dhonukshe, Pankaj, Fang Huang, Carlos Galván Ampudia, Ari Mähönen, Jürgen Kleine Vehn, Jian Xu, Ab Quint, et al. “Correction: Plasma Membrane Bound AGC3 Kinases Phosphorylate PIN Auxin Carriers at TPRXS N S Motifs to Direct Apical PIN Recycling.” Development 142, no. 13 (2015): 2386–87. https://doi.org/10.1242/dev.127415.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 473   OA
Lewin, Mathieu, Nam Phan Thanh, and Nicolas Rougerie. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.” Journal de l’Ecole Polytechnique - Mathematiques 2 (2015): 65–115. https://doi.org/10.5802/jep.18.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 524
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation 242, no. 6 (2015): 2–24. https://doi.org/10.1016/j.ic.2015.03.009.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1732
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications,” 325–30. IEEE, 2015. https://doi.org/10.1109/ICRA.2015.7139019.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5429
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443   OA
Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-325-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431   OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Kristoffer Hansen. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-322-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436   OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 5804
Biswas, Ranita, and Partha Bhowmick. “From Prima Quadraginta Octant to Lattice Sphere through Primitive Integer Operations.” Theoretical Computer Science 624, no. 4 (2015): 56–72. https://doi.org/10.1016/j.tcs.2015.11.018.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Dereziński, Jan, and Marcin M Napiórkowski. “Erratum to: Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincare 16, no. 7 (2015): 1709–11. https://doi.org/10.1007/s00023-014-0390-9.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511
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 | Journal Article | IST-REx-ID: 6737   OA
Mondelli, Marco, Hamed Hassani, Igal Sason, and Rudiger Urbanke. “Achieving Marton’s Region for Broadcast Channels Using Polar Codes.” IEEE Transactions on Information Theory 61, no. 2 (2015): 783–800. https://doi.org/10.1109/tit.2014.2368555.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 815
Schur, Florian, Robert Dick, Wim Hagen, Volker Vogt, and John Briggs. “The Structure of Immature Virus like Rous Sarcoma Virus Gag Particles Reveals a Structural Role for the P10 Domain in Assembly.” Journal of Virology 89, no. 20 (2015): 10294–302. https://doi.org/10.1128/JVI.01502-15.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 928   OA
Sehring, Ivonne, Pierre Recho, Elsa Denker, Matthew Kourakis, Birthe Mathiesen, Edouard B Hannezo, Bo Dong, and Di Jiang. “Assembly and Positioning of Actomyosin Rings by Contractility and Planar Cell Polarity.” ELife 4 (2015). https://doi.org/10.7554/eLife.09206.
View | Files available | DOI
 

2015 | Book Review | IST-REx-ID: 1473   OA
Hausel, Tamas, and Fernando Rodríguez Villegas. “Cohomology of Large Semiprojective Hyperkähler Varieties.” Asterisque. Societe Mathematique de France, 2015.
View | Download (ext.)
 

2015 | Conference Poster | IST-REx-ID: 1500
Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata. HSCC: Hybrid Systems - Computation and Control. Springer, 2015. https://doi.org/10.1145/2728606.2728650.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1531
Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualizing Symmetric Indefinite 2D Tensor Fields Using The Heat Kernel Signature.” Mathematics and Visualization 40 (2015): 257–67. https://doi.org/10.1007/978-3-319-15090-1_13.
View | DOI
 

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 23, no. 3 (2015): 3196–3208. https://doi.org/10.1364/OE.23.003196.
View | 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 112, no. 23 (2015): 7291–96. https://doi.org/10.1073/pnas.1415845112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 260
Browning, Timothy D, Rainer Dietmann, and Roger Heath Brown. “Erratum Rational Points on Intersections of Cubic and Quadric Hypersurfaces.” Journal of the Institute of Mathematics of Jussieu 14, no. 4 (2015). https://doi.org/10.1017/S1474748014000279.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 354
Ibanez, Maria, Rachel Korkosz, Zhishan Luo, Pau Riba, Doris Cadavid, Silvia Ortega, Andreu Cabot, and Mercouri Kanatzidis. “Electron Doping in Bottom up Engineered Thermoelectric Nanomaterials through HCl Mediated Ligand Displacement.” Journal of the American Chemical Society 137, no. 12 (2015): 4046–49. https://doi.org/10.1021/jacs.5b00091.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 361
Yu, Xuelian, Xiaoqiang An, Aziz Genç, Maria Ibanez, Jordi Arbiol, Yihe Zhang, and Andreu Cabot. “Cu2ZnSnS4–PtM (M = Co, Ni) Nanoheterostructures for Photocatalytic Hydrogen Evolution.” Journal of Physical Chemistry C 119, no. 38 (2015): 21882–88. https://doi.org/10.1021/acs.jpcc.5b06199.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 777
Alistarh, Dan, Jennifer Iglesias, and Milan Vojnović. “Streaming Min-Max Hypergraph Partitioning,” 2015–January:1900–1908. Neural Information Processing Systems, 2015.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 866
Kretz, Colin, Manhong Dai, Onuralp Soylemez, Andrew Yee, Karl Desch, David Siemieniak, Kärt Tomberg, Fyodor Kondrashov, Fan Meng, and David Ginsburg. “Massively Parallel Enzyme Kinetics Reveals the Substrate Recognition Landscape of the Metalloprotease ADAMTS13.” PNAS 112, no. 30 (2015): 9328–33. https://doi.org/10.1073/pnas.1511328112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 924
Boubaker, Riadh, Vincent Platel, Alexis Bergès, Mathieu Bancelin, and Edouard Hannezo. “Dynamic Model of Heat and Mass Transfer in an Unsaturated Porous Wick of Capillary Pumped Loop.” Applied Thermal Engineering 76 (2015): 1–8. https://doi.org/10.1016/j.applthermaleng.2014.10.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 929
Hannezo, Edouard, Bo Dong, Pierre Recho, Jean Joanny, and Shigeo Hayashi. “Cortical Instability Drives Periodic Supracellular Actin Pattern Formation in Epithelial Tubes.” PNAS 112, no. 28 (2015): 8620–25. https://doi.org/10.1073/pnas.1504762112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 981   OA
Zeljkovic, Ilija, Yoshinori Okada, Maksym Serbyn, Raman Sankar, Daniel Walkup, Wenwen Zhou, Junwei Liu, et al. “Dirac Mass Generation from Crystal Symmetry Breaking on the Surfaces of Topological Crystalline Insulators.” Nature Materials 14, no. 3 (2015): 318–24. https://doi.org/10.1038/nmat4215.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1106
Isrie, Mala, Martin Breuss, Guoling Tian, Andi H Hansen, Francesca Cristofoli, Jasmin Morandell, Zachari A Kupchinsky, et al. “Mutations in Either TUBB or MAPRE2 Cause Circumferential Skin Creases Kunze Type.” The American Journal of Human Genetics 97, no. 6 (2015): 790–800. https://doi.org/10.1016/j.ajhg.2015.10.014.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 121   OA
Waitukaitis, Scott R, Rémi Menaut, Bryan Chen, and Martin Van Hecke. “Origami Multistability: From Single Vertices to Metasheets.” APS Physics, Physical Review Letters 114, no. 5 (2015): 055503. https://doi.org/10.1103/PhysRevLett.114.055503.
View | DOI | Download (ext.) | arXiv
 

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 (ext.)
 

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): 89. https://doi.org/10.1214/ECP.v20-4315.
View | Files available | DOI
 

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 | 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 (ext.)
 

2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo, Yadira, Michiel Van Bel, Tom Van Hautegem, Matyas Fendrych, Marlies Huysmans, Mária Šimášková, Matthias Van Durme, et al. “A Conserved Core of Programmed Cell Death Indicator Genes Discriminates Developmentally and Environmentally Induced Programmed Cell Death in Plants.” Plant Physiology 169, no. 4 (2015): 2684–99. https://doi.org/10.1104/pp.15.00769.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1548   OA
Milutinovic, Barbara, Christina Höfling, Momir Futo, Jörn Scharsack, and Joachim Kurtz. “Infection of Tribolium Castaneum with Bacillus Thuringiensis: Quantification of Bacterial Replication within Cadavers, Transmission via Cannibalism, and Inhibition of Spore Germination.” Applied and Environmental Microbiology 81, no. 23 (2015): 8135–44. https://doi.org/10.1128/AEM.02051-15.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1550   OA
Mayer, Christian, Xavier Jaglin, Lucy Cobbs, Rachel Bandler, Carmen Streicher, Constance Cepko, Simon Hippenmeyer, and Gord Fishell. “Clonally Related Forebrain Interneurons Disperse Broadly across Both Functional Areas and Structural Boundaries.” Neuron 87, no. 5 (2015): 989–98. https://doi.org/10.1016/j.neuron.2015.07.011.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555
Knipl, Diána, Pawel Pilarczyk, and Gergely Röst. “Rich Bifurcation Structure in a Two Patch Vaccination Model.” SIAM Journal on Applied Dynamical Systems 14, no. 2 (2015): 980–1017. https://doi.org/10.1137/140993934.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1562
Grones, Peter, Xu Chen, Sibu Simon, Walter Kaufmann, Riet De Rycke, Tomasz Nodzyński, Eva Zažímalová, and Jirí Friml. “Auxin-Binding Pocket of ABP1 Is Crucial for Its Gain-of-Function Cellular and Developmental Roles.” Journal of Experimental Botany 66, no. 16 (2015): 5055–65. https://doi.org/10.1093/jxb/erv177.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner, Herbert. “Shape, Homology, Persistence, and Stability.” Lecture Notes in Computer Science. Springer, 2015.
View
 

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

2015 | Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, Sibu Simon, Christian Gübeli, Guowei Liu, Xi Cheng, Jirí Friml, Harro Bouwmeester, Enrico Martinoia, and Lorenzo Borghi. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology 25, no. 5 (2015): 647–55. https://doi.org/10.1016/j.cub.2015.01.015.
View | DOI
 

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

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

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

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

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

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

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: 1632   OA
Ando, Ryoichi, Nils Thuerey, and Christopher J Wojtan. “A Stream Function Solver for Liquid Simulations,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766935.
View | Files available | DOI
 

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

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.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
Baldimtsi, Foteini, Melissa Chase, Georg Fuchsbauer, and Markulf Kohlweiss. “Anonymous Transferable E-Cash,” 9020:101–24. Springer, 2015. https://doi.org/10.1007/978-3-662-46447-2_5.
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 60, no. 9 (2015): 2291–2306. https://doi.org/10.1109/TAC.2015.2404612.
View | 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 70, no. 7 (2015): 1523–80. https://doi.org/10.1007/s00285-014-0802-y.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682   OA
Franek, Peter, and Marek Krcál. “Robust Satisfiability of Systems of Equations.” Journal of the ACM 62, no. 4 (2015). https://doi.org/10.1145/2751524.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1687   OA
Sarris, Milka, and Michael K Sixt. “Navigating in Tissue Mazes: Chemoattractant Interpretation in Complex Environments.” Current Opinion in Cell Biology 36, no. 10 (2015): 93–102. https://doi.org/10.1016/j.ceb.2015.08.001.
View | Files available | DOI
 

2015 | 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.
View | DOI | Download (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 (ext.)
 

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 27, no. 11 (2015): 2252–60. https://doi.org/10.1016/j.cellsig.2015.08.001.
View | Files available | DOI
 

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 (ext.) | arXiv
 

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 (ext.)
 

2015 | Journal Article | IST-REx-ID: 1865
Robert, Hélène, Wim Grunewald, Michael Sauer, Bernard Cannoot, Mercedes Soriano, Ranjan Swarup, Dolf Weijers, Malcolm Bennett, Kim Boutilier, and Jirí Friml. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.” Development 142, no. 4 (2015): 702–11. https://doi.org/10.1242/dev.115832.
View | 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: 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 | Journal Article | IST-REx-ID: 1846
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 | DOI
 

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 (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 (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 25, no. 2 (2015). https://doi.org/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 27 (2015): 1–9. https://doi.org/10.1016/j.mib.2015.05.008.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1992   OA
Gupta, Ashutosh, Thomas A Henzinger, Arjun Radhakrishna, Roopsha Samanta, and Thorsten Tarrach. “Succinct Representation of Concurrent Trace Sets,” 433–44. ACM, 2015. https://doi.org/10.1145/2676726.2677008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1997   OA
Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has Markov Degree Two.” Journal of Symbolic Computation 68/Part 2, no. May-June (2015): 285–96. https://doi.org/10.1016/j.jsc.2014.09.014.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2008   OA
Klimova, Anna, and Tamás Rudas. “Iterative Scaling in Curved Exponential Families.” Scandinavian Journal of Statistics 42, no. 3 (2015): 832–47. https://doi.org/10.1111/sjos.12139.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2034   OA
Bérard, Béatrice, Krishnendu Chatterjee, and Nathalie Sznajder. “Probabilistic Opacity for Markov Decision Processes.” Information Processing Letters 115, no. 1 (2015): 52–59. https://doi.org/10.1016/j.ipl.2014.09.001.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed