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.

5430 Publications


2014 | Technical Report | IST-REx-ID: 5413
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v2-2.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-176-v1-1.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1733
Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.” Theoretical Computer Science 560, no. 3 (2014): 348–63. https://doi.org/10.1016/j.tcs.2014.08.019.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 7301
Li, Chunmei, Olivier Fontaine, Stefan Alexander Freunberger, Lee Johnson, Sylvie Grugeon, Stéphane Laruelle, Peter G. Bruce, and Michel Armand. “Aprotic Li–O2 Battery: Influence of Complexing Agents on Oxygen Reduction in an Aprotic Solvent.” The Journal of Physical Chemistry C 118, no. 7 (2014): 3393–3401. https://doi.org/10.1021/jp4093805.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2217
Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.” In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, 213–22. Springer, 2014. https://doi.org/10.1145/2562059.2562130.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 1309
Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.” Nonlinear Differential Equations and Applications 21, no. 1 (2014): 27–50. https://doi.org/10.1007/s00030-013-0235-0.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1532
Yang, Huaiyu, Jenny Von Der Fecht Bartenbach, Jirí Friml, Jan Lohmann, Benjamin Neuhäuser, and Uwe Ludewig. “Auxin-Modulated Root Growth Inhibition in Arabidopsis Thaliana Seedlings with Ammonium as the Sole Nitrogen Source.” Functional Plant Biology 42, no. 3 (2014): 239–51. https://doi.org/10.1071/FP14171.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1708
Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks,” 3:2024–32. Neural Information Processing Systems, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1791
Baek, Seungtae, Géraldine Kerjan, Stephanie Bielas, Jieun Lee, Ali Fenstermaker, Gaia Novarino, and Joseph Gleeson. “Off-Target Effect of Doublecortin Family ShRNA on Neuronal Migration Associated with Endogenous MicroRNA Dysregulation.” Neuron 82, no. 6 (2014): 1255–62. https://doi.org/10.1016/j.neuron.2014.04.036.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1816   OA
Huber, Stefan, Martin Held, Peter Meerwald, and Roland Kwitt. “Topology-Preserving Watermarking of Vector Graphics.” International Journal of Computational Geometry and Applications 24, no. 1 (2014): 61–86. https://doi.org/10.1142/S0218195914500034.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842   OA
Cibulka, Josef, Pu Gao, Marek Krcál, Tomáš Valla, and Pavel Valtr. “On the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational Geometry 53, no. 1 (2014): 64–79. https://doi.org/10.1007/s00454-014-9646-x.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1892   OA
Ocana, Sabine, Patrick Meidl, Danielle Bonfils, and Michael Taborsky. “Y-Linked Mendelian Inheritance of Giant and Dwarf Male Morphs in Shell-Brooding Cichlids.” Proceedings of the Royal Society of London Series B Biological Sciences 281, no. 1794 (2014). https://doi.org/10.1098/rspb.2014.0253.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897   OA
Naramoto, Satoshi, Marisa Otegui, Natsumaro Kutsuna, Riet De Rycke, Tomoko Dainobu, Michael Karampelias, Masaru Fujimoto, et al. “Insights into the Localization and Function of the Membrane Trafficking Regulator GNOM ARF-GEF at the Golgi Apparatus in Arabidopsis.” Plant Cell 26, no. 7 (2014): 3062–76. https://doi.org/10.1105/tpc.114.125880.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1900
Behrndt, Martin, and Carl-Philipp J Heisenberg. “Lateral Junction Dynamics Lead the Way Out.” Nature Cell Biology 16, no. 2 (2014): 127–29. https://doi.org/10.1038/ncb2913.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1979
Sazanov, Leonid A. “The Mechanism of Coupling between Electron Transfer and Proton Translocation in Respiratory Complex I.” Journal of Bioenergetics and Biomembranes 46, no. 4 (2014): 247–53. https://doi.org/10.1007/s10863-014-9554-z.
View | DOI
 

2014 | Book Review | IST-REx-ID: 1981
Garvin, Michael, Joseph Bielawski, Leonid A Sazanov, and Anthony Gharrett. “Review and Meta-Analysis of Natural Selection in Mitochondrial Complex I in Metazoans.” Journal of Zoological Systematics and Evolutionary Research. Wiley-Blackwell, 2014. https://doi.org/10.1111/jzs.12079.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1998
El Masri, Leila, and Sylvia Cremer. “Individual and Social Immunisation in Insects.” Trends in Immunology 35, no. 10 (2014): 471–82. https://doi.org/10.1016/j.it.2014.08.005.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1917
Xu, Tongda, Ning Dai, Jisheng Chen, Shingo Nagawa, Min Cao, Hongjiang Li, Zimin Zhou, et al. “Cell Surface ABP1-TMK Auxin Sensing Complex Activates ROP GTPase Signaling.” Science 343, no. 6174 (2014): 1025–28. https://doi.org/10.1126/science.1245125.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1924
Le, Jie, Xuguang Liu, Kezhen Yang, Xiaolan Chen, Lingling Zhu, Hongzhe Wang, Ming Wang, et al. “Auxin Transport and Activity Regulate Stomatal Patterning and Development.” Nature Communications 5 (2014). https://doi.org/10.1038/ncomms4090.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1929
Alexeev, V V, V G Bogaevskaya, M M Preobrazhenskaya, A Y Ukhalov, Herbert Edelsbrunner, and Olga Yakimova. “An Algorithm for Cartographic Generalization That Preserves Global Topology.” Journal of Mathematical Sciences (United States) 203, no. 6 (2014): 754–60. https://doi.org/10.1007/s10958-014-2165-8.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1931   OA
Savin, Cristina, and Jochen Triesch. “Emergence of Task-Dependent Representations in Working Memory Circuits.” Frontiers in Computational Neuroscience 8, no. MAY (2014). https://doi.org/10.3389/fncom.2014.00057.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1936   OA
Arbilly, Michal, Daniel Weissman, Marcus Feldman, and Uri Grodzinski. “An Arms Race between Producers and Scroungers Can Drive the Evolution of Social Cognition.” Behavioral Ecology 25, no. 3 (2014): 487–95. https://doi.org/10.1093/beheco/aru002.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1905
Tobler, Michael, Martin Plath, Rüdiger Riesch, Ingo Schlupp, Anna V Grasse, Gopi Munimanda, C Setzer, Dustin Penn, and Yoshan Moodley. “Selection from Parasites Favours Immunogenetic Diversity but Not Divergence among Locally Adapted Host Populations.” Journal of Evolutionary Biology 27, no. 5 (2014): 960–74. https://doi.org/10.1111/jeb.12370.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1854   OA
Guerrero, Paul, Thomas Auzinger, Michael Wimmer, and Stefan Jeschke. “Partial Shape Matching Using Transformation Parameter Similarity.” Computer Graphics Forum 34, no. 1 (2014): 239–52. https://doi.org/10.1111/cgf.12509.
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
 

2014 | Journal Article | IST-REx-ID: 2061
Mazur, Ewa, Ewa Kurczyñska, and Jiří Friml. “Cellular Events during Interfascicular Cambium Ontogenesis in Inflorescence Stems of Arabidopsis.” Protoplasma 251, no. 5 (2014): 1125–39. https://doi.org/10.1007/s00709-014-0620-5.
View | 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: 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 (ext.) | arXiv
 

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

2014 | Journal Article | IST-REx-ID: 2028   OA
Bodova, Katarina, 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: 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: 2131   OA
Hairer, Martin, Jan Maas, and Hendrik Weber. “Approximating Rough Stochastic PDEs.” Communications on Pure and Applied Mathematics 67, no. 5 (2014): 776–870. https://doi.org/10.1002/cpa.21495.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2080
Bac̈Her, Moritz, Emily Whiting, Bernd Bickel, and Olga Sorkine Hornung. “Spin-It: Optimizing Moment of Inertia for Spinnable Objects,” Vol. 33. ACM, 2014. https://doi.org/10.1145/2601097.2601157.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2155   OA
Bauer, Ulrich, and Herbert Edelsbrunner. “The Morse Theory of Čech and Delaunay Filtrations.” In Proceedings of the Annual Symposium on Computational Geometry, 484–90. ACM, 2014. https://doi.org/10.1145/2582112.2582167.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2174   OA
De Vladar, Harold, and Nicholas H Barton. “Stability and Response of Polygenic Traits to Stabilizing Selection and Mutation.” Genetics 197, no. 2 (2014): 749–67. https://doi.org/10.1534/genetics.113.159111.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179   OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Local Semicircle Law with Imprimitive Variance Matrix.” Electronic Communications in Probability 19 (2014). https://doi.org/10.1214/ECP.v19-3121.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2186   OA
Chen, Thomas, Christian Hainzl, Nataša Pavlović, and Robert Seiringer. “On the Well-Posedness and Scattering for the Gross-Pitaevskii Hierarchy via Quantum de Finetti.” Letters in Mathematical Physics 104, no. 7 (2014): 871–91. https://doi.org/10.1007/s11005-014-0693-2.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2220   OA
De Vos, Marjon, and Mark Tobias Bollenbach. “Suppressive Drug Interactions between Antifungals.” Chemistry and Biology 21, no. 4 (2014): 439–40. https://doi.org/10.1016/j.chembiol.2014.04.004.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2225   OA
Bloemendal, Alex, László Erdös, Antti Knowles, Horng Yau, and Jun Yin. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.” Electronic Journal of Probability 19 (2014). https://doi.org/10.1214/EJP.v19-3054.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2232   OA
Song, Baofang, and Björn Hof. “Deterministic and Stochastic Aspects of the Transition to Turbulence.” Journal of Statistical Mechanics Theory and Experiment 2014, no. 2 (2014). https://doi.org/10.1088/1742-5468/2014/02/P02001.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2249   OA
Chen, Yani, Kyaw Aung, Jakub Rolčík, Kathryn Walicki, Jirí Friml, and Federica Brandizzí. “Inter-Regulation of the Unfolded Protein Response and Auxin Signaling.” Plant Journal 77, no. 1 (2014): 97–107. https://doi.org/10.1111/tpj.12373.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 254
Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.” International Mathematics Research Notices 2015, no. 7 (2014): 1987–2019. https://doi.org/10.1093/imrn/rnt350.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2275   OA
Olsson, Carl, Johannes Ulen, Yuri Boykov, and Vladimir Kolmogorov. “Partial Enumeration and Curvature Regularization,” 2936–43. IEEE, 2014. https://doi.org/10.1109/ICCV.2013.365.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2852
Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property Combiners for Hash Functions.” Journal of Cryptology 27, no. 3 (2014): 397–428. https://doi.org/10.1007/s00145-013-9148-7.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 355
Yu, Xuelian, Xiaoqiang An, Alexey Shavel, Maria Ibanez, and Andreu Cabot. “The Effect of the Ga Content on the Photocatalytic Hydrogen Evolution of CuIn1-XGaxS2 Nanocrystals.” Journal of Materials Chemistry A 2, no. 31 (2014): 12317–22. https://doi.org/10.1039/c4ta01315h.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 348
Cadavid, Doris, Maria Ibanez, Umberto Anselmi Tamburini, Oscar Durá, Marco De La Torre, and Andreu Cabot. “Thermoelectric Properties of Bottom up Assembled Bi2S 3-XTex Nanocomposites.” International Journal of Nanotechnology 11, no. 9–11 (2014): 773–84. https://doi.org/10.1504/IJNT.2014.063787.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 350   OA
Li, Wenhua, Maria Ibanez, Doris Cadavid, Reza Zamani, Javier Rubio Garcia, Stéphane Gorsse, Joan Morante, Jordi Arbiol, and Andreu Cabot. “Colloidal Synthesis and Functional Properties of Quaternary Cu Based Semiconductors: Cu2HgGeSe4.” Journal of Nanoparticle Research 16, no. 3 (2014). https://doi.org/10.1007/s11051-014-2297-2.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 451   OA
Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.” Advances in Computational Mathematics 41, no. 1 (2014): 253–75. https://doi.org/10.1007/s10444-014-9356-1.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468   OA
Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl, Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.” PLoS One 9, no. 9 (2014). https://doi.org/10.1371/journal.pone.0107518.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419   OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-187-v1-1.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolution on Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-190-v2-2.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813   OA
Dereziński, Jan, and Marcin M Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincaré 15, no. 12 (2014): 2409–39. https://doi.org/10.1007/s00023-013-0302-4.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6126   OA
Gross, E., Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and Mario de Bono. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.” Journal of Neuroscience 34, no. 50 (2014): 16726–38. https://doi.org/10.1523/jneurosci.5368-13.2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6739   OA
Mondelli, Marco, Hamed Hassani, and Rudiger Urbanke. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.” IEEE Transactions on Communications 62, no. 9 (2014): 3084–91. https://doi.org/10.1109/tcomm.2014.2345069.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
Alistarh, Dan, James Aspnes, Valerie King, and Jared Saia. “Communication-Efficient Randomized Consensus.” edited by Fabian Kuhn, 8784:61–75. Springer, 2014. https://doi.org/10.1007/978-3-662-45174-8_5.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 925
Dong, Bo, Edouard Hannezo, and Shigeo Hayashi. “Balance between Apical Membrane Growth and Luminal Matrix Resistance Determines Epithelial Tubule Shape.” Cell Reports 7, no. 4 (2014): 941–50. https://doi.org/10.1016/j.celrep.2014.03.066.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1912
Compagnon, Julien, Vanessa Barone, Srivarsha Rajshekar, Rita Kottmeier, Kornelija Pranjic-Ferscha, Martin Behrndt, and Carl-Philipp J Heisenberg. “The Notochord Breaks Bilateral Symmetry by Controlling Cell Shapes in the Zebrafish Laterality Organ.” Developmental Cell 31, no. 6 (2014): 774–83. https://doi.org/10.1016/j.devcel.2014.11.003.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1392   OA
Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. https://doi.org/10.1007/978-3-642-54013-4_10.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-305-v2-1.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218   OA
Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Regression-Free Synthesis for Concurrency,” 8559:568–84. Springer, 2014. https://doi.org/10.1007/978-3-319-08867-9_38.
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2213   OA
Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. “The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies,” 8412:242–57. Springer, 2014. https://doi.org/10.1007/978-3-642-54830-7_16.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2162   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Ergodic Mean Payoff Games,” 8573:122–33. Springer, 2014. https://doi.org/10.1007/978-3-662-43951-7_11.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5414
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2054
Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.” 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:544–59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/10.1007/978-3-662-44584-6_37.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475   OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 146:83–90. Open Publishing Association, 2014. https://doi.org/10.4204/EPTCS.146.11.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Dunst, A., V. Epp, I. Hanzu, Stefan Alexander Freunberger, and M. Wilkening. “Short-Range Li Diffusion vs. Long-Range Ionic Conduction in Nanocrystalline Lithium Peroxide Li2O2—the Discharge Product in Lithium-Air Batteries.” Energy & Environmental Science 7, no. 8 (2014): 2739–52. https://doi.org/10.1039/c4ee00496e.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2251   OA
Csicsvari, Jozsef L, and David Dupret. “Sharp Wave/Ripple Network Oscillations and Learning-Associated Hippocampal Maps.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369, no. 1635 (2014): 20120528. https://doi.org/10.1098/rstb.2012.0528.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2167
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. “Compositional Specifications for IOCO Testing.” In IEEE 7th International Conference on Software Testing, Verification and Validation, 6823899. IEEE, 2014. https://doi.org/10.1109/ICST.2014.50.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1312
Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.” Archive for Rational Mechanics and Analysis 211, no. 3 (2014): 771–818. https://doi.org/10.1007/s00205-013-0690-0.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1507   OA
Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity,” 3:214–36. Kyung Moon SA Co. Ltd., 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761   OA
Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Silvano De Franceschi, Pascal Gentile, Riccardo Rurali, and Xavier Cartoixà. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.” Physical Review X 3, no. 4 (2014). https://doi.org/10.1103/PhysRevX.3.041025.
View | DOI | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1829
Muelling, Katharina, Oliver Kroemer, Christoph Lampert, and Bernhard Schölkopf. “Movement Templates for Learning of Hitting and Batting.” In Learning Motor Skills, edited by Jens Kober and Jan Peters, 97:69–82. From Algorithms to Robot Experiments. Springer, 2014. https://doi.org/10.1007/978-3-319-03194-1_3.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1994
Viaene, Tom, Katarina Landberg, Mattias Thelander, Eva Medvecka, Eric Pederson, Elena Feraru, Endymion Cooper, et al. “Directional Auxin Transport Mechanisms in Early Diverging Land Plants.” Current Biology 24, no. 23 (2014): 2786–91. https://doi.org/10.1016/j.cub.2014.09.056.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1862   OA
Chen, Xu, Laurie Grandont, Hongjiang Li, Robert Hauschild, Sébastien Paque, Anas Abuzeineh, Hana Rakusová, Eva Benková, Catherine Perrot Rechenmann, and Jirí Friml. “Inhibition of Cell Expansion by Rapid ABP1-Mediated Auxin Effect on Microtubules.” Nature 516, no. 729 (2014): 90–93. https://doi.org/10.1038/nature13889.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
Nováková, Petra, Sibylle Hirsch, Elena Feraru, Ricardo Tejos, Ringo Van Wijk, Tom Viaene, Mareike Heilmann, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS 111, no. 7 (2014): 2818–23. https://doi.org/10.1073/pnas.1324264111.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
Ritzau Jost, Andreas, Igor Delvendahl, Annika Rings, Niklas Byczkowicz, Harumi Harada, Ryuichi Shigemoto, Johannes Hirrlinger, Jens Eilers, and Stefan Hallermann. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.” Neuron 84, no. 1 (2014): 152–63. https://doi.org/10.1016/j.neuron.2014.08.036.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1901
Tian, Huiyu, Krzysztof T Wabnik, Tiantian Niu, Hongjiang Li, Qianqian Yu, Stephan Pollmann, Steffen Vanneste, et al. “WOX5-IAA17 Feedback Circuit-Mediated Cellular Auxin Response Is Crucial for the Patterning of Root Stem Cell Niches in Arabidopsis.” Molecular Plant 7, no. 2 (2014): 277–89. https://doi.org/10.1093/mp/sst118.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1913
Milenković, Ivan, Tatjana Petrov, and Gábor Kovács. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.” Dementia and Geriatric Cognitive Disorders 38, no. 5–6 (2014): 375–88. https://doi.org/10.1159/000365548.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1918   OA
Bellazzini, Jacopo, Rupert Frank, Élliott Lieb, and Robert Seiringer. “Existence of Ground States for Negative Ions at the Binding Threshold.” Reviews in Mathematical Physics 26, no. 1 (2014). https://doi.org/10.1142/S0129055X13500219.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920   OA
Wang, Wen, Kazuhiko Nakadate, Miwako Masugi Tokita, Fumihiro Shutoh, Wajeeha Aziz, Etsuko Tarusawa, Andrea Lörincz, et al. “Distinct Cerebellar Engrams in Short-Term and Long-Term Motor Learning.” PNAS 111, no. 1 (2014): E188–93. https://doi.org/10.1073/pnas.1315541111.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1925
Lamprecht, Constanze, Birgit Plochberger, Verena Ruprecht, Stefan Wieser, Christian Rankl, Elena Heister, Barbara Unterauer, et al. “A Single-Molecule Approach to Explore Binding Uptake and Transport of Cancer Cell Targeting Nanotubes.” Nanotechnology 25, no. 12 (2014). https://doi.org/10.1088/0957-4484/25/12/125704.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1932   OA
Trotter, Meredith, Daniel Weissman, Grant Peterson, Kayla Peck, and Joanna Masel. “Cryptic Genetic Variation Can Make "Irreducible Complexity" a Common Mode of Adaptation in Sexual Populations.” Evolution 68, no. 12 (2014): 3357–67. https://doi.org/10.1111/evo.12517.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937   OA
Bourgade, Paul, László Erdös, and Horngtzer Yau. “Edge Universality of Beta Ensembles.” Communications in Mathematical Physics 332, no. 1 (2014): 261–353. https://doi.org/10.1007/s00220-014-2120-z.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2005
Dupret, David, and Jozsef L Csicsvari. “Turning Heads to Remember Places.” Nature Neuroscience 17, no. 5 (2014): 643–44. https://doi.org/10.1038/nn.3700.
View | DOI
 

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

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

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

2014 | Conference Paper | IST-REx-ID: 2081
Skouras, Mélina, Bernhard Thomaszewski, Peter Kaufmann, Akash Garg, Bernd Bickel, Eitan Grinspun, and Markus Gross. “Designing Inflatable Structures,” Vol. 33. ACM, 2014. https://doi.org/10.1145/2601097.2601166.
View | 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 (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 (ext.)
 

2014 | Preprint | IST-REx-ID: 2017   OA
Uhler, Caroline, Alex Lenkoski, and Donald Richards. “ Exact Formulas for the Normalizing Constants of Wishart Distributions for Graphical Models.” ArXiv. ArXiv, 2014.
View | Download (ext.)
 

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 | Journal Article | IST-REx-ID: 2168   OA
Kelleher, Jerome, Alison Etheridge, and Nicholas H Barton. “Coalescent Simulation in Continuous Space: Algorithms for Large Neighbourhood Size.” Theoretical Population Biology 95 (2014): 13–23. https://doi.org/10.1016/j.tpb.2014.05.001.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2170   OA
Hearn, Jack, Graham Stone, Lynsey Bunnefeld, James Nicholls, Nicholas H Barton, and Konrad Lohse. “Likelihood-Based Inference of Population History from Low-Coverage de Novo Genome Assemblies.” Molecular Ecology 23, no. 1 (2014): 198–211. https://doi.org/10.1111/mec.12578.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2175   OA
Postiglione, Maria P, and Simon Hippenmeyer. “Monitoring Neurogenesis in the Cerebral Cortex: An Update.” Future Neurology 9, no. 3 (2014): 323–40. https://doi.org/10.2217/fnl.14.18.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2219   OA
Kiltz, Eike, Daniel Masny, and Krzysztof Z Pietrzak. “Simple Chosen-Ciphertext Security from Low Noise LPN,” 8383:1–18. Springer, 2014. https://doi.org/10.1007/978-3-642-54631-0_1.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2226   OA
Shi, Liang, Björn Hof, and Andreas Tilgner. “Transient Growth of Ekman-Couette Flow.” Physical Review E Statistical Nonlinear and Soft Matter Physics 89, no. 1 (2014). https://doi.org/10.1103/PhysRevE.89.013001.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2240
Gadeyne, Astrid, Clara Sánchez Rodríguez, Steffen Vanneste, Simone Di Rubbo, Henrik Zauber, Kevin Vanneste, Jelle Van Leene, et al. “The TPLATE Adaptor Complex Drives Clathrin-Mediated Endocytosis in Plants.” Cell 156, no. 4 (2014): 691–704. https://doi.org/10.1016/j.cell.2014.01.039.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed