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.

364 Publications


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 | Conference Paper | IST-REx-ID: 776
Alistarh, Dan, Justin Kopinsky, Jerry Li, and Nir Shavit. “The SprayList: A Scalable Relaxed Priority Queue,” 2015–January:11–20. ACM, 2015. https://doi.org/10.1145/2688500.2688523.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 783   OA
Alistarh, Dan, Rati Gelashvili, and Adrian Vladu. “How to Elect a Leader Faster than a Tournament,” 2015–July:365–74. ACM, 2015. https://doi.org/10.1145/2767386.2767420.
View | DOI | Download (ext.)
 

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 | Technical Report | IST-REx-ID: 5443
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 | Journal Article | IST-REx-ID: 1624   OA
Pavlogiannis, Andreas, Krishnendu Chatterjee, Ben Adlam, and Martin Nowak. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports 5 (2015). https://doi.org/10.1038/srep17147.
View | Files available | DOI
 

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: 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 | Conference Paper | IST-REx-ID: 1732   OA
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 | 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: 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 | 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: 5436
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: 7456
Caruntu, Daniela, Taha Rostamzadeh, Tommaso Costanzo, Saman Salemizadeh Parizi, and Gabriel Caruntu. “Solvothermal Synthesis and Controlled Self-Assembly of Monodisperse Titanium-Based Perovskite Colloidal Nanocrystals.” Nanoscale 7, no. 30 (2015): 12955–69. https://doi.org/10.1039/c5nr00737b.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7742
Robinson, Matthew Richard, Gibran Hemani, Carolina Medina-Gomez, Massimo Mezzavilla, Tonu Esko, Konstantin Shakhbazov, Joseph E Powell, et al. “Population Genetic Differentiation of Height and Body Mass Index across Europe.” Nature Genetics 47, no. 11 (2015): 1357–62. https://doi.org/10.1038/ng.3401.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7766
Sussman, Daniel M., Carl Peter Goodrich, Andrea J. Liu, and Sidney R. Nagel. “Disordered Surface Vibrations in Jammed Sphere Packings.” Soft Matter 11, no. 14 (2015): 2745–51. https://doi.org/10.1039/c4sm02905d.
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1580   OA
Brenes, Oscar, David H Vandael, Emilio Carbone, Pier Montarolo, and Mirella Ghirardi. “Knock-down of Synapsin Alters Cell Excitability and Action Potential Waveform by Potentiating BK and Voltage Gated Ca2 Currents in Helix Serotonergic Neurons.” Neuroscience 311 (2015): 430–43. https://doi.org/10.1016/j.neuroscience.2015.10.046.
View | Files available | DOI
 

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

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

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). 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 | 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 | 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 | 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: 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: 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: 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: 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: 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 | 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: 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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: 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: 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: 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: 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 | 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 | 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: 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: 2166   OA
Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices I: The Unimodular Case.” Communications in Mathematical Physics 333, no. 3 (2015): 1365–1416. https://doi.org/10.1007/s00220-014-2119-5.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. “Proofs of Space.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48000-7_29.
View | Files available | 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 | Book Chapter | IST-REx-ID: 258
Browning, Timothy D. “A Survey of Applications of the Circle Method to Rational Points.” In Arithmetic and Geometry, 89–113. Cambridge University Press, 2015. https://doi.org/10.1017/CBO9781316106877.009.
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 | 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: 532
Li, Wenyang, Mengdi Ma, Ying Feng, Hongjiang Li, Yichuan Wang, Yutong Ma, Mingzhe Li, Fengying An, and Hongwei Guo. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.” Cell 163, no. 3 (2015): 670–83. https://doi.org/10.1016/j.cell.2015.09.037.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5444   OA
Reiter, Johannes, Alvin Makohon-Moore, Jeffrey Gerold, Ivana Bozic, Krishnendu Chatterjee, Christine Iacobuzio-Donahue, Bert Vogelstein, and Martin Nowak. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-399-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-323-v1-1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 594
Sainsbury, Sarah, Carrie A Bernecky, and Patrick Cramer. “Structural Basis of Transcription Initiation by RNA Polymerase II.” Nature Reviews Molecular Cell Biology 16, no. 3 (2015): 129–43. https://doi.org/10.1038/nrm3952.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6118   OA
Fenk, Lorenz A., and Mario de Bono. “Environmental CO2 Inhibits Caenorhabditis Elegans Egg-Laying by Modulating Olfactory Neurons and Evokes Widespread Changes in Neural Activity.” Proceedings of the National Academy of Sciences 112, no. 27 (2015): E3525–34. https://doi.org/10.1073/pnas.1423808112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6120   OA
Laurent, Patrick, Zoltan Soltesz, Geoffrey M Nelson, Changchun Chen, Fausto Arellano-Carbajal, Emmanuel Levy, and Mario de Bono. “Decoding a Neural Circuit Controlling Global Animal State in C. Elegans.” ELife 4 (2015). https://doi.org/10.7554/elife.04241.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1637
Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs,” 1246–58. IEEE, 2015. https://doi.org/10.1109/FOCS.2015.80.
View | Files available | DOI | Download (ext.)
 

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 | Conference Paper | IST-REx-ID: 784
Alistarh, Dan-Adrian, Hitesh Ballani, Paolo Costa, Adam Funnell, Joshua Benjamin, Philip Watts, and Benn Thomsen. “A High-Radix, Low-Latency Optical Switch for Data Centers,” 367–68. ACM, 2015. https://doi.org/10.1145/2785956.2790035.
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: 99   OA
Higginbotham, Andrew P, S M Albrecht, Gediminas Kiršanskas, W Chang, Ferdinand Kuemmeth, Peter Krogstrup, Thomas Jespersen, Jesper Nygård, Karsten Flensberg, and Charles Marcus. “Parity Lifetime of Bound States in a Proximitized Semiconductor Nanowire.” Nature Physics 11, no. 12 (2015): 1017–21. https://doi.org/10.1038/nphys3461.
View | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5437
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 

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

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

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 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.” In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015. https://doi.org/10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 

2015 | Journal Article | IST-REx-ID: 7457
Parizi, Saman Salemizadeh, Gavin Conley, Tommaso Costanzo, Bob Howell, Axel Mellinger, and Gabriel Caruntu. “Fabrication of Barium Titanate/Acrylonitrile-Butadiene Styrene/Poly(Methyl Methacrylate) Nanocomposite Films for Hybrid Ferroelectric Capacitors.” RSC Advances 5, no. 93 (2015): 76356–62. https://doi.org/10.1039/c5ra11347d.
View | 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: 1598   OA
Chatterjee, Krishnendu, Manas Joglekar, and Nisarg Shah. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” Theoretical Computer Science 573, no. 3 (2015): 71–89. https://doi.org/10.1016/j.tcs.2015.01.050.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7767
Drongelen, Ruben van, Anshuman Pal, Carl Peter Goodrich, and Timon Idema. “Collective Dynamics of Soft Active Particles.” Physical Review E 91, no. 3 (2015): 032706. https://doi.org/10.1103/physreve.91.032706.
View | DOI
 

2015 | Preprint | IST-REx-ID: 7779   OA
Goodrich, Carl Peter. “Unearthing the Anticrystal: Criticality in the Linear Response of  Disordered Solids.” ArXiv:1510.08820, 2015.
View | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” In Real-Time Systems Symposium, 2015:118–27. IEEE, 2015. https://doi.org/10.1109/RTSS.2014.9.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed