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.

359 Publications


2015 | Journal Article | IST-REx-ID: 1519   OA
Barton NH, Servedio M. The interpretation of selection coefficients. Evolution. 2015;69(5):1101-1112. doi:10.1111/evo.12641
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538   OA
Ruess J, Parise F, Milias Argeitis A, Khammash M, Lygeros J. Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. 2015;112(26):8148-8153. doi:10.1073/pnas.1423947112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1533
Xia W, Domokos C, Xiong J, Cheong L, Yan S. Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. 2015;25(8):1295-1308. doi:10.1109/TCSVT.2014.2379972
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1588
Altmeyer S, Do Y, Lai Y. Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. 2015;92(5). doi:10.1103/PhysRevE.92.053018
View | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590   OA
Aichholzer O, Biedl T, Hackl T, et al. Representing directed trees as straight skeletons. In: Graph Drawing and Network Visualization. Vol 9411. Lecture Notes in Computer Science. Springer; 2015:335-347. doi:10.1007/978-3-319-27261-0_28
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1569   OA
Doyle S, Haegera A, Vain T, et al. An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS. 2015;112(7):E806-E815. doi:10.1073/pnas.1424856112
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1571
De Vos M, Dawid A, Šunderlíková V, Tans S. Breaking evolutionary constraint with a tradeoff ratchet. PNAS. 2015;112(48):14906-14911. doi:10.1073/pnas.1510282112
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1583   OA
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. 2015;115(2):243-247. doi:10.1016/j.ipl.2014.09.021
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1639   OA
Maas J, Rumpf M, Schönlieb C, Simon S. A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis. 2015;49(6):1745-1769. doi:10.1051/m2an/2015043
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1646   OA
Banerjee A, Fuchsbauer G, Peikert C, Pietrzak KZ, Stevens S. Key-homomorphic constrained pseudorandom functions. 2015;9015:31-60. doi:10.1007/978-3-662-46497-7_2
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1660   OA
Brázdil T, Kiefer S, Kučera A, Novotny P. Long-run average behaviour of probabilistic vector addition systems. In: IEEE; 2015:44-55. doi:10.1109/LICS.2015.15
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1615   OA
Hammer M, Krueger Burg D, Tuffy L, et al. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 2015;13(3):516-523. doi:10.1016/j.celrep.2015.09.011
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Pérez J, Thomaszewski B, Coros S, et al. Design and fabrication of flexible rod meshes. In: Vol 34. ACM; 2015. doi:10.1145/2766998
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1634   OA
Da F, Batty C, Wojtan CJ, Grinspun E. Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. In: Vol 34. ACM; 2015. doi:10.1145/2767003
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1696   OA
Wysokiński M, Kaczmarczyk J, Spałek J. Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. 2015;92(12). doi:10.1103/PhysRevB.92.125135
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1704   OA
Deuchert A, Hainzl C, Seiringer R. Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics. 2015;105(10):1449-1466. doi:10.1007/s11005-015-0787-5
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1730   OA
Colin De Verdière É, Hubard A, De Mesmay AN. Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete & Computational Geometry. 2015;53(3):587-620. doi:10.1007/s00454-015-9679-9
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1728
Cohen M, Kicheva A, Ribeiro A, et al. Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms. Nature Communications. 2015;6. doi:10.1038/ncomms7709
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1672
Alwen JF, Ostrovsky R, Zhou H, Zikas V. Incoercible multi-party computation and universally composable receipt-free voting. 2015;9216:763-780. doi:10.1007/978-3-662-48000-7_37
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684   OA
Vicoso B, Bachtrog D. Numerous transitions of sex chromosomes in Diptera. PLoS Biology. 2015;13(4). doi:10.1371/journal.pbio.1002078
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1677   OA
Alt J. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 2015;56(10). doi:10.1063/1.4932606
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1735   OA
Ando R, Thürey N, Wojtan CJ. A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum. 2015;34(2):473-480. doi:10.1111/cgf.12576
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1848
Schwamb B, Pick R, Fernández S, et al. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 2015;137(6):1318-1329. doi:10.1002/ijc.29498
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1850   OA
Novak S, Cremer S. Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology. 2015;372(5):54-64. doi:10.1016/j.jtbi.2015.02.018
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824   OA
Knebel J, Weber M, Krüger TH, Frey E. Evolutionary games of condensates in coupled birth-death processes. Nature Communications. 2015;6. doi:10.1038/ncomms7977
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1831   OA
Kappeler P, Cremer S, Nunn C. Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0116
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1817   OA
Porazinski S, Wang H, Asaoka Y, et al. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 2015;521(7551):217-221. doi:10.1038/nature14215
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1792
Pausinger F, Svane A. A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. 2015;31(6):773-797. doi:10.1016/j.jco.2015.06.002
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1944
Rakusová H, Fendrych M, Friml J. Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology. 2015;23(2):116-123. doi:10.1016/j.pbi.2014.12.002
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1867
Hühner J, Inglés Prieto Á, Neusüß C, Lämmerhofer M, Janovjak HL. Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis. 2015;36(4):518-525. doi:10.1002/elps.201400451
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1874
Boccara C, Kjønigsen L, Hammer I, Bjaalie J, Leergaard T, Witter M. A three-plane architectonic atlas of the rat hippocampal region. Hippocampus. 2015;25(7):838-857. doi:10.1002/hipo.22407
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1879   OA
Kremer A, Lippens S, Bartunkova S, et al. Developing 3D SEM in a broad biological context. Journal of Microscopy. 2015;259(2):80-96. doi:10.1111/jmi.12211
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1843
Bod’ová K, Paydarfar D, Forger D. Erratum to: Characterizing spiking in noisy type II neurons [J. Theor. Biol. 365 (2015) 40–54]. Journal of Theoretical Biology. 2015;373. doi:10.1016/j.jtbi.2015.03.013
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2271
Kolmogorov V, Thapper J, Živný S. The power of linear programming for general-valued CSPs. SIAM Journal on Computing. 2015;44(1):1-36. doi:10.1137/130945648
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1805
Attali D, Bauer U, Devillers O, Glisse M, Lieutier A. Homological reconstruction and simplification in R3. Computational Geometry: Theory and Applications. 2015;48(8):606-621. doi:10.1016/j.comgeo.2014.08.010
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434   OA
Anonymous 1, Anonymous 2. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria; 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 5807
Biswas R, Bhowmick P. On different topological classes of spherical geodesic paths and circles inZ3. Theoretical Computer Science. 2015;605(11):146-163. doi:10.1016/j.tcs.2015.09.003
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5749   OA
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria. Molecular Biology and Evolution. 2015;33(3):770-782. doi:10.1093/molbev/msv270
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1576
Cepeda Humerez SA, Rieckh G, Tkacik G. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 2015;115(24). doi:10.1103/PhysRevLett.115.248101
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 6507
Zhou L, Hinerman JM, Blaszczyk M, et al. Structural basis for collagen recognition by the immune receptor OSCAR. Blood. 2015;127(5):529-537. doi:10.1182/blood-2015-08-667055
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 779
Alistarh D, Matveev A, Leiserson W, Shavit N. ThreadScan: Automatic and scalable memory reclamation. In: Vol 2015-June. ACM; 2015:123-132. doi:10.1145/2755573.2755600
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 781
Alistarh D, Gelashvili R, Vojnović M. Fast and exact majority in population protocols. In: Vol 2015-July. ACM; 2015:47-56. doi:10.1145/2767386.2767429
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Marhavy P, Benková E. Real time analysis of lateral root organogenesis in arabidopsis. Bio-protocol. 2015;5(8). doi:10.21769/BioProtoc.1446
View | DOI
 

2015 | Journal Article | IST-REx-ID: 933   OA
García S, Hannezo EB, Elgeti J, Joanny J, Silberzan P, Gov N. Physics of active jamming during collective cellular motion in a monolayer. PNAS. 2015;112(50):15314-15319. doi:10.1073/pnas.1510973112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1502   OA
Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:10.1145/2737166.2737175
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1499   OA
Kretinsky J, Larsen K, Laursen S, Srba J. Polynomial time decidability of weighted synchronization under partial observability. In: Vol 42. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:142-154. doi:10.4230/LIPIcs.CONCUR.2015.142
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1709   OA
Reiter J, Kanodia A, Gupta R, Nowak M, Chatterjee K. Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1812). doi:10.1098/rspb.2015.1041
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1689   OA
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:259-268. doi:10.1145/2728606.2728608
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová M, Chmelik M, Leahy K, et al. Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:233-238. doi:10.1145/2728606.2728617
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5439
Boker U, Henzinger TA, Otop J. The Target Discounted-Sum Problem. IST Austria; 2015. doi:10.15479/AT:IST-2015-335-v1-1
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed