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.

5424 Publications


2014 | Technical Report | IST-REx-ID: 5420   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-191-v1-1.
View | Files available | DOI
 

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

2014 | Conference Paper | IST-REx-ID: 6740   OA
Mondelli, Marco, Rudiger Urbanke, and Hamed Hassani. “How to Achieve the Capacity of Asymmetric Channels.” In 52nd Annual Allerton Conference on Communication, Control, and Computing, 789–96. IEEE, 2014. https://doi.org/10.1109/allerton.2014.7028535.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Book | IST-REx-ID: 6853
Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. SpringerBriefs in Mathematical Methods. Cham: Springer International Publishing, 2014. https://doi.org/10.1007/978-3-319-05957-0.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7072
Lancaster, T., P. A. Goddard, S. J. Blundell, F. R. Foronda, S. Ghannadzadeh, J. S. Möller, P. J. Baker, et al. “Controlling Magnetic Order and Quantum Disorder in Molecule-Based Magnets.” Physical Review Letters 112, no. 20 (2014). https://doi.org/10.1103/physrevlett.112.207201.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 772   OA
Alistarh, Dan, Keren Censor Hillel, and Nir Shavit. “Are Lock-Free Concurrent Algorithms Practically Wait-Free?,” 714–23. ACM, 2014. https://doi.org/10.1145/2591796.2591836.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 809
Bharata, Tanmay, Luis Menendez, Wim Hagena, Vanda Luxd, Sebastien Igonete, Martin Schorba, Florian Schur, Hans Kraüsslich, and John Briggsa. “Cryo Electron Microscopy of Tubular Arrays of HIV-1 Gag Resolves Structures Essential for Immature Virus Assembly.” PNAS 111, no. 22 (2014): 8233–38. https://doi.org/10.1073/pnas.1401455111.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
Ivankov, Dmitry, Alexei Finkelstein, and Fyodor Kondrashov. “A Structural Perspective of Compensatory Evolution.” Current Opinion in Structural Biology 26, no. 1 (2014): 104–12. https://doi.org/10.1016/j.sbi.2014.05.004.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 979   OA
Serbyn, Maksym, and Liang Fu. “Symmetry Breaking and Landau Quantization in Topological Crystalline Insulators.” Physical Review B - Condensed Matter and Materials Physics 90, no. 3 (2014). https://doi.org/10.1103/PhysRevB.90.035402.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta, Ashutosh, Laura Kovács, Bernhard Kragl, and Andrei Voronkov. “Extensional Crisis and Proving Identity.” In ATVA 2014, edited by Franck Cassez and Jean-François Raskin, 8837:185–200. Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_14.
View | Files available | DOI
 

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

2014 | Journal Article | IST-REx-ID: 2229   OA
Vyleta, Nicholas, and Peter M Jonas. “Loose Coupling between Ca^2+ Channels and Release Sensors at a Plastic Hippocampal Synapse.” Science 343, no. 6171 (2014): 665–70. https://doi.org/10.1126/science.1244811.
View | DOI | Download (ext.)
 

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

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

2014 | Conference Paper | IST-REx-ID: 2212
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. “Perfect-Information Stochastic Mean-Payoff Parity Games,” 8412:210–25. Springer, 2014. https://doi.org/10.1007/978-3-642-54830-7_14.
View | Files available | 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 | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed