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 | 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, vol. 333, no. 3, Springer, 2015, pp. 1365–416, doi:10.1007/s00220-014-2119-5.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski, Stefan, et al. Proofs of Space. Vol. 9216, Springer, 2015, pp. 585–605, doi:10.1007/978-3-662-48000-7_29.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598
Chatterjee, Krishnendu, et al. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” Theoretical Computer Science, vol. 573, no. 3, Elsevier, 2015, pp. 71–89, doi:10.1016/j.tcs.2015.01.050.
View | Files available | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 258
Browning, Timothy D. “A Survey of Applications of the Circle Method to Rational Points.” Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113, doi:10.1017/CBO9781316106877.009.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512
Goaoc, Xavier, et al. Bounding Helly Numbers via Betti Numbers. Vol. 34, ACM, 2015, pp. 507–21, doi:10.4230/LIPIcs.SOCG.2015.507.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 532
Li, Wenyang, et al. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.” Cell, vol. 163, no. 3, Cell Press, 2015, pp. 670–83, doi:10.1016/j.cell.2015.09.037.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, IEEE, 2015, p. 7174926, doi:10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 

2015 | Technical Report | IST-REx-ID: 5437   OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444   OA
Reiter, Johannes, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015, doi:10.15479/AT:IST-2015-399-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v1-1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 594
Sainsbury, Sarah, et al. “Structural Basis of Transcription Initiation by RNA Polymerase II.” Nature Reviews Molecular Cell Biology, vol. 16, no. 3, Nature Publishing Group, 2015, pp. 129–43, doi: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, vol. 112, no. 27, National Academy of Sciences, 2015, pp. E3525–34, doi:10.1073/pnas.1423808112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6120   OA
Laurent, Patrick, et al. “Decoding a Neural Circuit Controlling Global Animal State in C. Elegans.” ELife, vol. 4, eLife Sciences Publications, 2015, p. e04241, doi:10.7554/elife.04241.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1637
Kolmogorov, Vladimir, et al. The Complexity of General-Valued CSPs. IEEE, 2015, pp. 1246–58, doi:10.1109/FOCS.2015.80.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 784
Alistarh, Dan-Adrian, et al. A High-Radix, Low-Latency Optical Switch for Data Centers. ACM, 2015, pp. 367–68, doi:10.1145/2785956.2790035.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, Krishnendu, et al. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” Real-Time Systems Symposium, vol. 2015, no. January, IEEE, 2015, pp. 118–27, doi:10.1109/RTSS.2014.9.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 99   OA
Higginbotham, Andrew P., et al. “Parity Lifetime of Bound States in a Proximitized Semiconductor Nanowire.” Nature Physics, vol. 11, no. 12, Nature Publishing Group, 2015, pp. 1017–21, doi:10.1038/nphys3461.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Fischer, Julian L., and Günther Grün. “Finite Speed of Propagation and Waiting Times for the Stochastic Porous Medium Equation: A Unifying Approach.” SIAM Journal on Mathematical Analysis, vol. 47, no. 1, Society for Industrial and Applied Mathematics , 2015, pp. 825–54, doi:10.1137/140960578.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Fischer, Julian L. “Global Existence of Renormalized Solutions to Entropy-Dissipating Reaction–Diffusion Systems.” Archive for Rational Mechanics and Analysis, vol. 218, no. 1, Springer, 2015, pp. 553–87, doi:10.1007/s00205-015-0866-x.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 259
Browning, Timothy D., and Pankaj Vishe. “Rational Points on Cubic Hypersurfaces over F_q(T) .” Geometric and Functional Analysis, vol. 25, no. 3, Birkhäuser, 2015, pp. 671–732, doi:10.1007/s00039-015-0328-5.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Lu, Zhishan, et al. “Size and Aspect Ratio Control of Pd Inf 2 Inf Sn Nanorods and Their Water Denitration Properties.” Langmuir, vol. 31, no. 13, American Chemical Society, 2015, pp. 3952–57, doi:10.1021/la504906q.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 886
Kondrashov, Dmitry, and Fyodor Kondrashov. “Topological Features of Rugged Fitness Landscapes in Sequence Space.” Trends in Genetics, vol. 31, no. 1, Elsevier, 2015, pp. 24–33, doi:10.1016/j.tig.2014.09.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova, Oksana, et al. “Recent Origin of the Methacrylate Redox System in Geobacter Sulfurreducens AM-1 through Horizontal Gene Transfer.” PLoS One, vol. 10, no. 5, Public Library of Science, 2015, doi:10.1371/journal.pone.0125888.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 982   OA
Serbyn, Maksym, et al. “Criterion for Many-Body Localization-Delocalization Phase Transition.” Physical Review X, vol. 5, no. 4, American Physical Society, 2015, doi:10.1103/PhysRevX.5.041047.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424   OA
Kwitt, Roland, et al. Statistical Topological Data Analysis-A Kernel Perspective. Vol. 28, Neural Information Processing Systems, 2015, pp. 3070–78.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
Ferrara, Anna, et al. Policy Privacy in Cryptographic Access Control. IEEE, 2015, pp. 46–60, doi:10.1109/CSF.2015.11.
View | DOI | Download (ext.)
 

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

2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, Gaurav, et al. Computational Design of Walking Automata. ACM, 2015, pp. 93–100, doi:10.1145/2786784.2786803.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525   OA
Bauer, Bruno, et al. “Arbeitsgruppe „Nationale Strategie“ Des Open Access Network Austria OANA.” VÖB Mitteilungen, vol. 68, no. 3, Verein Österreichischer Bibliothekare, 2015, pp. 580–607, doi:10.5281/zenodo.33178.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi, Cezara, et al. The Need for Language Support for Fault-Tolerant Distributed Systems. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:10.4230/LIPIcs.SNAPL.2015.90.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1506   OA
Bao, Zhigang, et al. “The Logarithmic Law of Random Determinant.” Bernoulli, vol. 21, no. 3, Bernoulli Society for Mathematical Statistics and Probability, 2015, pp. 1600–28, doi:10.3150/14-BEJ615.
View | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 1544   OA
Nguyen, Phuong, et al. “Using Supported Bilayers to Study the Spatiotemporal Organization of Membrane-Bound Proteins.” Building a Cell from Its Components Parts, vol. 128, Academic Press, 2015, pp. 223–41, doi:10.1016/bs.mcb.2015.01.007.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549   OA
Mckenzie, Catherine, et al. “Flipping the Photoswitch: Ion Channels under Light Control.” Novel Chemical Tools to Study Ion Channel Biology, vol. 869, Springer, 2015, pp. 101–17, doi:10.1007/978-1-4939-2845-3_6.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1551   OA
El Masri, Leila, et al. “Host–Pathogen Coevolution: The Selective Advantage of Bacillus Thuringiensis Virulence and Its Cry Toxin Genes.” PLoS Biology, vol. 13, no. 6, Public Library of Science, 2015, pp. 1–30, doi:10.1371/journal.pbio.1002169.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1556   OA
Jia, Yuebin, et al. “The Arabidopsis Thaliana Elongator Complex Subunit 2 Epigenetically Affects Root Development.” Journal of Experimental Botany, vol. 66, no. 15, Oxford University Press, 2015, pp. 4631–42, doi:10.1093/jxb/erv230.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1563
Graff, Grzegorz, and Pawel Pilarczyk. “An Algorithmic Approach to Estimating the Minimal Number of Periodic Points for Smooth Self-Maps of Simply-Connected Manifolds.” Topological Methods in Nonlinear Analysis, vol. 45, no. 1, Juliusz Schauder Center for Nonlinear Studies, 2015, pp. 273–86, doi:10.12775/TMNA.2015.014.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva, Olga, et al. “The Classification of Endoscopy Images with Persistent Homology.” Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2015, p. 7034731, doi:10.1109/SYNASC.2014.81.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1570   OA
Der, Ralf, and Georg S. Martius. “Novel Plasticity Rule Can Explain the Development of Sensorimotor Intelligence.” PNAS, vol. 112, no. 45, National Academy of Sciences, 2015, pp. E6224–32, doi:10.1073/pnas.1508400112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1575   OA
Chabaud, Mélanie, et al. “Cell Migration and Antigen Capture Are Antagonistic Processes Coupled by Myosin II in Dendritic Cells.” Nature Communications, vol. 6, 7526, Nature Publishing Group, 2015, doi:10.1038/ncomms8526.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1582
Biedl, Therese, et al. “Weighted Straight Skeletons in the Plane.” Computational Geometry: Theory and Applications, vol. 48, no. 2, Elsevier, 2015, pp. 120–33, doi:10.1016/j.comgeo.2014.08.006.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1587
Amaro, Pedro, et al. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 92, no. 6, 062506, American Physical Society, 2015, doi:10.1103/PhysRevA.92.062506.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt, Vojtěch, et al. Controller Synthesis for MDPs and Frequency LTL\GU. Vol. 9450, Springer, 2015, pp. 162–77, doi:10.1007/978-3-662-48899-7_12.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin, Tobias, et al. OmniAD: Data-Driven Omni-Directional Aerodynamics. Vol. 34, no. 4, 113, ACM, 2015, doi:10.1145/2766919.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA
Strüber, Michael, et al. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS, vol. 112, no. 4, National Academy of Sciences, 2015, pp. 1220–25, doi:10.1073/pnas.1412996112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak, Stanley, et al. HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models. Springer, 2015, pp. 128–33, doi:10.1145/2728606.2728630.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695   OA
Kaczmarczyk, Jan, et al. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.” Physica Status Solidi (B): Basic Solid State Physics, vol. 252, no. 9, Wiley, 2015, pp. 2059–71, doi:10.1002/pssb.201552082.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1703
Broadhurst, Linda, et al. “An Evaluation of the Genetic Structure of Seed Sources and the Maintenance of Genetic Diversity during Establishment of Two Yellow Box (Eucalyptus Melliodora) Seed-Production Areas.” Australian Journal of Botany, vol. 63, no. 5, CSIRO, 2015, pp. 455–66, doi:10.1071/BT15023.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov, Leonid A. “A Giant Molecular Proton Pump: Structure and Mechanism of Respiratory Complex I.” Nature Reviews Molecular Cell Biology, vol. 16, no. 6, Nature Publishing Group, 2015, pp. 375–88, doi:10.1038/nrm3997.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
Šimášková, Mária, et al. “Cytokinin Response Factors Regulate PIN-FORMED Auxin Transporters.” Nature Communications, vol. 6, 8717, Nature Publishing Group, 2015, doi:10.1038/ncomms9717.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1645
Gazi, Peter, and Stefano Tessaro. “Secret-Key Cryptography from Ideal Primitives: A Systematic Verview.” 2015 IEEE Information Theory Workshop, 7133163, IEEE, 2015, doi:10.1109/ITW.2015.7133163.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1669   OA
Pietrzak, Krzysztof Z., and Maciej Skórski. The Chain Rule for HILL Pseudoentropy, Revisited. Vol. 9230, Springer, 2015, pp. 81–98, doi:10.1007/978-3-319-22174-8_5.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1671   OA
Gazi, Peter, et al. The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC. Vol. 9215, Springer, 2015, pp. 368–87, doi:10.1007/978-3-662-47989-6_18.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1683
Letts, Jame A., and Leonid A. Sazanov. “Gaining Mass: The Structure of Respiratory Complex I-from Bacterial towards Mitochondrial Versions.” Current Opinion in Structural Biology, vol. 33, no. 8, Elsevier, 2015, pp. 135–45, doi:10.1016/j.sbi.2015.08.008.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1688   OA
Karasev, Roman, et al. “Bounds for Pach’s Selection Theorem and for the Minimum Solid Angle in a Simplex.” Discrete & Computational Geometry, vol. 54, no. 3, Springer, 2015, pp. 610–36, doi:10.1007/s00454-015-9720-z.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1652   OA
Alwen, Joel F., and Vladimir Serbinenko. “High Parallel Complexity Graphs and Memory-Hard Functions.” Proceedings of the 47th Annual ACM Symposium on Theory of Computing, ACM, 2015, pp. 595–603, doi:10.1145/2746539.2746622.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1664   OA
Barkley, Dwight, et al. “The Rise of Fully Turbulent Flow.” Nature, vol. 526, no. 7574, Nature Publishing Group, 2015, pp. 550–53, doi:10.1038/nature15701.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1676
Sixt, Michael K., and Erez Raz. “Editorial Overview: Cell Adhesion and Migration.” Current Opinion in Cell Biology, vol. 36, no. 10, Elsevier, 2015, pp. 4–6, doi:10.1016/j.ceb.2015.09.004.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1828   OA
Akopyan, Arseniy, et al. “ Invariant Measures of Genetic Recombination Process.” Journal of Statistical Physics, vol. 160, no. 1, Springer, 2015, pp. 163–67, doi:10.1007/s10955-015-1238-5.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1830   OA
Theis, Fabian, et al. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, The, 2015, doi:10.1098/rstb.2014.0108.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1809   OA
Trubenova, Barbora, et al. “Indirect Genetic Effects and the Dynamics of Social Interactions.” PLoS One, vol. 10, no. 5, Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811   OA
Safari, Laleh, et al. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.” Journal of Mathematical Physics, vol. 56, no. 5, 052105, American Institute of Physics, 2015, doi:10.1063/1.4921227.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol. 9035, Springer, 2015, pp. 469–83, doi:10.1007/978-3-662-46681-0_47.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1734
Klehm, Oliver, et al. “Recent Advances in Facial Appearance Capture.” Computer Graphics Forum, vol. 34, no. 2, Wiley-Blackwell, 2015, pp. 709–33, doi:10.1111/cgf.12594.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1789   OA
Kuechler, Alma, et al. “Loss-of-Function Variants of SETD5 Cause Intellectual Disability and the Core Phenotype of Microdeletion 3p25.3 Syndrome.” European Journal of Human Genetics, vol. 23, no. 6, Nature Publishing Group, 2015, pp. 753–60, doi:10.1038/ejhg.2014.165.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1804   OA
Altmeyer, Sebastian, et al. “Transition to Turbulence in Taylor-Couette Ferrofluidic Flow.” Scientific Reports, vol. 5, 10781, Nature Publishing Group, 2015, doi:10.1038/srep10781.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1710   OA
Akopyan, Arseniy, and Alexander Plakhov. “Minimal Resistance of Curves under the Single Impact Assumption.” Society for Industrial and Applied Mathematics, vol. 47, no. 4, SIAM, 2015, pp. 2754–69, doi:10.1137/140993843.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1859   OA
Shah, Neel, et al. A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle. IEEE, 2015, pp. 2737–45, doi:10.1109/CVPR.2015.7298890.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1861
Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2, 8, ACM, 2015, doi:10.1145/2688906.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1866
Henzinger, Thomas A., and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” Communications of the ACM, vol. 58, no. 2, ACM, 2015, pp. 86–86, doi:10.1145/2701001.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1878
Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.” Journal of Plant Research, vol. 128, no. 2, Springer, 2015, pp. 223–38, doi:10.1007/s10265-014-0691-6.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1880   OA
Könenberg, Martin, et al. “Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.” New Journal of Physics, vol. 17, 013022, IOP Publishing Ltd., 2015, doi:10.1088/1367-2630/17/1/013022.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1885   OA
Tkacik, Gasper, et al. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.” Genetics, vol. 199, no. 1, Genetics Society of America, 2015, pp. 39–59, doi:10.1534/genetics.114.171850.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1993   OA
Konrad, Matthias, et al. “Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1799, Royal Society, 2015, doi:10.1098/rspb.2014.1976.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1847
Grones, Peter, and Jiřĺ Friml. “ABP1: Finally Docking.” Molecular Plant, vol. 8, no. 3, Elsevier, 2015, pp. 356–58, doi:10.1016/j.molp.2014.12.013.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2030   OA
Shi, Liang, et al. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.” Computers and Fluids, vol. 106, no. 1, Elsevier, 2015, pp. 1–11, doi:10.1016/j.compfluid.2014.09.021.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035   OA
Edelsbrunner, Herbert, et al. “The Persistent Homology of a Self-Map.” Foundations of Computational Mathematics, vol. 15, no. 5, Springer, 2015, pp. 1213–44, doi:10.1007/s10208-014-9223-y.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085   OA
Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.” Archive for Rational Mechanics and Analysis, vol. 215, no. 2, Springer, 2015, pp. 381–417, doi:10.1007/s00205-014-0781-6.
View | DOI | Download (ext.)
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, Johannes. The Subclonal Evolution of Cancer. IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1481
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. Vol. 2, AAAI Press, 2015, pp. 745–52.
View | Files available | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IEEE, 2015, pp. 244–56, doi:10.1109/LICS.2015.32.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5440   OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438   OA
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1619
Chevereau, Guillaume, et al. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology, vol. 13, no. 11, Public Library of Science, 2015, p. e1002299, doi:10.1371/journal.pbio.1002299.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 780   OA
Alistarh, Dan-Adrian, and Rati Gelashvili. Polylogarithmic-Time Leader Election in Population Protocols. Vol. 9135, Springer, 2015, pp. 479–91, doi:10.1007/978-3-662-47666-6_38.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1602
Chatterjee, Krishnendu, et al. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices, vol. 50, no. 1, ACM, 2015, pp. 97–109, doi:10.1145/2676726.2676979.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1607
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Vol. 9206, Springer, 2015, pp. 140–57, doi:10.1007/978-3-319-21690-4_9.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1633
Hahn, David, and Christopher J. Wojtan. High-Resolution Brittle Fracture Simulation with Boundary Elements. Vol. 34, no. 4, 151, ACM, 2015, doi:10.1145/2766896.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova, Dinara, et al. “A Model of Substitution Trajectories in Sequence Space and Long-Term Protein Evolution.” Molecular Biology and Evolution, vol. 32, no. 2, Oxford University Press, 2015, pp. 542–54, doi:10.1093/molbev/msu318.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537
Ruprecht, Verena, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.” Cell, vol. 160, no. 4, Cell Press, 2015, pp. 673–85, doi:10.1016/j.cell.2015.01.008.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 778   OA
Alistarh, Dan-Adrian, et al. Inherent Limitations of Hybrid Transactional Memory. Vol. 9363, Springer, 2015, pp. 185–99, doi:10.1007/978-3-662-48653-5_13.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1514
Gómez Gonzalo, Marta, et al. “Endocannabinoids Induce Lateral Long Term Potentiation of Transmitter Release by Stimulation of Gliotransmission.” Cerebral Cortex, vol. 25, no. 10, Oxford University Press, 2015, pp. 3699–712, doi:10.1093/cercor/bhu231.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1728
Cohen, Michael, et al. “Ptch1 and Gli Regulate Shh Signalling Dynamics via Multiple Mechanisms.” Nature Communications, vol. 6, Nature Publishing Group, 2015, doi:10.1038/ncomms7709.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 781
Alistarh, Dan, et al. Fast and Exact Majority in Population Protocols. Vol. 2015–July, ACM, 2015, pp. 47–56, doi:10.1145/2767386.2767429.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Marhavy, Peter, and Eva Benková. “Real Time Analysis of Lateral Root Organogenesis in Arabidopsis.” Bio-Protocol, vol. 5, no. 8, Bio-protocol LLC, 2015, doi:10.21769/BioProtoc.1446.
View | DOI
 

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

2015 | Thesis | IST-REx-ID: 1401
Sharmanska, Viktoriia. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. IST Austria, 2015.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1499   OA
Kretinsky, Jan, et al. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Vol. 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–54, doi:10.4230/LIPIcs.CONCUR.2015.142.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed