Please note that ISTA 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.
620 Publications
2017 | Conference Paper | IST-REx-ID: 1000 | 
Kolesnikov A, Lampert C. PixelCNN models with auxiliary variables for natural image modeling. In: 34th International Conference on Machine Learning. Vol 70. JMLR; 2017:1905-1914.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 732 |
Pull C, Cremer S. Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. 2017;17(1). doi:10.1186/s12862-017-1062-4
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 557 |
Nickells R, Schmitt H, Maes ME, Schlamp C. AAV2 mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. 2017;58(14):6091-6104. doi:10.1167/iovs.17-22634
[Published Version]
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 432 |
Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. In: Proceedings of Machine Learning Research. Vol 70. ML Research Press; 2017:4035-4043.
[Submitted Version]
View
| Files available
2016 | Conference Paper | IST-REx-ID: 11836 |
Cheung YK, Goranci G, Henzinger MH. Graph minors for preserving terminal distances approximately - lower and upper bounds. In: 43rd International Colloquium on Automata, Languages, and Programming. Vol 55. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPICS.ICALP.2016.131
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 11866 |
Henzinger MH, Krinninger S, Nanongkai D. A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. In: 48th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery; 2016:489-498. doi:10.1145/2897518.2897638
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 11867 |
Bhattacharya S, Henzinger MH, Nanongkai D. New deterministic approximation algorithms for fully dynamic matching. In: 48th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery; 2016:398-411. doi:10.1145/2897518.2897568
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 11891 |
Henzinger MH, Krinninger S, Nanongkai D. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. SIAM Journal on Computing. 2016;45(3):947-1006. doi:10.1137/140957299
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1257 |
Sadel C, Virág B. A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics. 2016;343(3):881-919. doi:10.1007/s00220-016-2600-4
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1292 |
Durst S, Kegel M, Klukas MD. Computing the Thurston–Bennequin invariant in open books. Acta Mathematica Hungarica. 2016;150(2):441-455. doi:10.1007/s10474-016-0648-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1345 |
Molnar G, Fendrych M, Friml J. Plasma membrane: Negative attraction. Nature Plants. 2016;2. doi:10.1038/nplants.2016.102
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1365 |
Alwen JF, Blocki J. Efficiently computing data-independent memory-hard functions. In: Vol 9815. Springer; 2016:241-271. doi:10.1007/978-3-662-53008-5_9
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1410 |
Ugalde J, Rodríguez Furlán C, De Rycke R, et al. Phosphatidylinositol 4-phosphate 5-kinases 1 and 2 are involved in the regulation of vacuole morphology during Arabidopsis thaliana pollen development. Plant Science. 2016;250:10-19. doi:10.1016/j.plantsci.2016.05.014
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1446 |
Calatrava Moreno M, Auzinger T, Werthner H. On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 2016;107(1):213-232. doi:10.1007/s11192-016-1842-4
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1482 |
Adibi M, Yoshida S, Weijers D, Fleck C. Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. 2016;11(2). doi:10.1371/journal.pone.0147830
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1411 |
Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 2016;212(1):37-79. doi:10.1007/s11856-016-1294-9
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 367
Ibáñez M, Berestok T, Dobrozhan O, et al. Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1−xSnSe4−y nanoparticles. Journal of Nanoparticle Research. 2016;18(8). doi:10.1007/s11051-016-3545-4
View
| DOI
2016 | Journal Article | IST-REx-ID: 370
Liu Y, García G, Ortega S, Cadavid D, Palacios P, Lu J, Ibanez M, Xi L, De Roo J, López A, Márti Sánchez S, Cabezas I, De La Mata M, Luo Z, Dun C, Dobrozhan O, Carroll D, Zhang W, Martins J, Kovalenko M, Arbiol J, Noriega G, Song J, Wahnón P, Cabot A. 2016. Solution based synthesis and processing of Sn and Bi doped Cu inf 3 inf SbSe inf 4 inf nanocrystals nanomaterials and ring shaped thermoelectric generators. Journal of Materials Chemistry A. 5(6), 2592–2602.
View
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. On functionality of quadraginta octants of naive sphere with application to circle drawing. In: Discrete Geometry for Computer Imagery. Vol 9647. Cham: Springer Nature; 2016:256-267. doi:10.1007/978-3-319-32360-2_20
View
| DOI
2016 | Book Chapter | IST-REx-ID: 5805
Sen N, Biswas R, Bhowmick P. On some local topological properties of naive discrete sphere. In: Computational Topology in Image Context. Vol 9667. Cham: Springer Nature; 2016:253-264. doi:10.1007/978-3-319-39441-1_23
View
| DOI
2016 | Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. On the connectivity and smoothness of discrete spherical circles. In: Combinatorial Image Analysis. Vol 9448. Cham: Springer Nature; 2016:86-100. doi:10.1007/978-3-319-26145-4_7
View
| DOI
2016 | Journal Article | IST-REx-ID: 7599 |
Tang Y, Zhao C-Y, Tan S, Xue H-W. Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078. PLOS Genetics. 2016;12(8). doi:10.1371/journal.pgen.1006252
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 850
Sarkisyan K, Bolotin D, Meer M, Usmanova D, Mishin A, Sharonov G, Ivankov D, Bozhanova N, Baranov M, Soylemez O, Bogatyreva N, Vlasov P, Egorov E, Logacheva M, Kondrashov A, Chudakov D, Putintseva E, Mamedov I, Tawfik D, Lukyanov K, Kondrashov F. 2016. Local fitness landscape of the green fluorescent protein. Nature. 533, 397–401.
View
| DOI
2016 | Journal Article | IST-REx-ID: 92
Cole J, Lin T, Ashcroft C, et al. Relating the structure of geminal Amido Esters to their molecular hyperpolarizability. Journal of Physical Chemistry C. 2016;120(51):29439-29448. doi:10.1021/acs.jpcc.6b10724
View
| DOI
2016 | Journal Article | IST-REx-ID: 12624 |
Miles ES, Pellicciotti F, Willis IC, Steiner JF, Buri P, Arnold NS. Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal. Annals of Glaciology. 2016;57(71):29-40. doi:10.3189/2016aog71a421
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12621 |
SHAW TE, BROCK BW, FYFFE CL, Pellicciotti F, RUTTER N, DIOTRI F. Air temperature distribution and energy-balance modelling of a debris-covered glacier. Journal of Glaciology. 2016;62(231):185-198. doi:10.1017/jog.2016.31
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12616
Rodriguez M, Ohlanders N, Pellicciotti F, Williams MW, McPhee J. Estimating runoff from a glacierized catchment using natural tracers in the semi-arid Andes cordillera. Hydrological Processes. 2016;30(20):3609-3626. doi:10.1002/hyp.10973
View
| DOI
2016 | Journal Article | IST-REx-ID: 13390
Klajn R. Borrowing titania’s photoinduced electrons for molecular switching. Science China Chemistry. 2016;59(4):420-421. doi:10.1007/s11426-016-5573-4
View
| DOI
2016 | Journal Article | IST-REx-ID: 1243
Pleska M, Qian L, Okura R, et al. Bacterial autoimmunity due to a restriction-modification system. Current Biology. 2016;26(3):404-409. doi:10.1016/j.cub.2015.12.041
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5557 |
Swoboda P. Synthetic discrete tomography problems. 2016. doi:10.15479/AT:ISTA:46
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 15244 |
Soffitta P et al. 2016. XIPE: The x-ray imaging polarimetry explorer. Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray. Astronomical Telescopes + Instrumentation vol. 9905, 990515.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 11785 |
Henzinger MH, Krinninger S, Nanongkai D. Improved algorithms for decremental single-source reachability on directed graphs. In: 42nd International Colloquium on Automata, Languages and Programming. Vol 9134. Springer Nature; 2015:725-736. doi:10.1007/978-3-662-47672-7_59
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 11869 |
Bhattacharya S, Henzinger MH, Nanongkai D, Tsourakakis C. Space- and time-efficient algorithm for maintaining dense subgraphs on one-pass dynamic streams. In: 47th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2015:173-182. doi:10.1145/2746539.2746592
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 1498 |
Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant distributed systems. 2015;32:90-102. doi:10.4230/LIPIcs.SNAPL.2015.90
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1536
Sasse J, Simon S, Gübeli C, et al. Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. 2015;25(5):647-655. doi:10.1016/j.cub.2015.01.015
View
| DOI
2015 | Journal Article | IST-REx-ID: 1557
Javdani F, Holló K, Hegedűs K, et al. Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology. 2015;523(13):1967-1983. doi:10.1002/cne.23774
View
| DOI
2015 | Journal Article | IST-REx-ID: 1563
Graff G, Pilarczyk P. An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis. 2015;45(1):273-286. doi:10.12775/TMNA.2015.014
View
| DOI
2015 | Journal Article | IST-REx-ID: 1615 |
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
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1671 |
Gazi P, Pietrzak KZ, Tessaro S. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. In: Vol 9215. Springer; 2015:368-387. doi:10.1007/978-3-662-47989-6_18
[Submitted Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1692
Frehse G, Bogomolov S, Greitschus M, Strump T, Podelski A. Eliminating spurious transitions in reachability with support functions. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:149-158. doi:10.1145/2728606.2728622
View
| DOI
2015 | Journal Article | IST-REx-ID: 1812 |
Lahrz M, Lemeshko M, Mathey L. Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics. 2015;17(4). doi:10.1088/1367-2630/17/4/045005
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1846 |
Beneš N, Kretinsky J, Larsen K, Möller M, Sickert S, Srba J. Refinement checking on parametric modal transition systems. Acta Informatica. 2015;52(2-3):269-297. doi:10.1007/s00236-015-0215-4
[Submitted Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1481 |
Ahmed U, Chatterjee K, Gulwani S. Automatic generation of alternative starting positions for simple traditional board games. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. Vol 2. AAAI Press; 2015:745-752.
View
| Files available
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 1659 |
Boker U, Henzinger TA, Otop J. The target discounted-sum problem. In: LICS. Logic in Computer Science. IEEE; 2015:750-761. doi:10.1109/LICS.2015.74
[Submitted Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5437 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-330-v2-1
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5430 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-319-v1-1
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1511 |
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:476-490. doi:10.4230/LIPIcs.SOCG.2015.476
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 7742
Robinson MR, Hemani G, Medina-Gomez C, Mezzavilla M, Esko T, Shakhbazov K, Powell JE, Vinkhuyzen A, Berndt SI, Gustafsson S, Justice AE, Kahali B, Locke AE, Pers TH, Vedantam S, Wood AR, van Rheenen W, Andreassen OA, Gasparini P, Metspalu A, Berg LH van den, Veldink JH, Rivadeneira F, Werge TM, Abecasis GR, Boomsma DI, Chasman DI, de Geus EJC, Frayling TM, Hirschhorn JN, Hottenga JJ, Ingelsson E, Loos RJF, Magnusson PKE, Martin NG, Montgomery GW, North KE, Pedersen NL, Spector TD, Speliotes EK, Goddard ME, Yang J, Visscher PM. 2015. Population genetic differentiation of height and body mass index across Europe. Nature Genetics. 47(11), 1357–1362.
View
| DOI
2015 | Journal Article | IST-REx-ID: 12196
Johnson KCM, Xia S, Feng X, Li X. The chromatin remodeler SPLAYED negatively regulates SNC1-mediated immunity. Plant and Cell Physiology. 2015;56(8):1616-1623. doi:10.1093/pcp/pcv087
View
| DOI
| PubMed | Europe PMC
2015 | Technical Report | IST-REx-ID: 5442 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015.
[Published Version]
View
| Files available
2015 | Journal Article | IST-REx-ID: 1834 |
Chen C, Wang C, Zhao X, et al. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. 2015;7(2). doi:10.1177/1759091415575845
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1603 |
Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. Counterexample explanation by learning small strategies in Markov decision processes. In: Vol 9206. Springer; 2015:158-177. doi:10.1007/978-3-319-21690-4_10
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2014 | Conference Paper | IST-REx-ID: 11875 |
Bhattacharya S, Henzinger MH, Italiano GF. Deterministic fully dynamic data structures for vertex cover and matching. In: 26th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2014:785-804. doi:10.1137/1.9781611973730.54
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1893 |
Marhavá P, Hirsch S, Feraru E, et al. SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. 2014;111(7):2818-2823. doi:10.1073/pnas.1324264111
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1921 |
Tejos R, Sauer M, Vanneste S, et al. Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis. Plant Cell. 2014;26(5):2114-2128. doi:10.1105/tpc.114.126185
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1926 |
Sadel C. Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry. 2014;17(3-4):409-440. doi:10.1007/s11040-014-9163-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 2020
Ali S, Hippenmeyer S, Saadat L, Luo L, Weissman I, Ardehali R. Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice. PNAS. 2014;111(24):8850-8855. doi:10.1073/pnas.1408233111
View
| DOI
2014 | Journal Article | IST-REx-ID: 2064 |
Rubio M, Fukazawa Y, Kamasawa N, Clarkson C, Molnár E, Shigemoto R. Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology. 2014;522(18):4023-4042. doi:10.1002/cne.23654
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Book Chapter | IST-REx-ID: 2265
Hippenmeyer S. Molecular pathways controlling the sequential steps of cortical projection neuron migration. In: Nguyen L, ed. Cellular and Molecular Control of Neuronal Migration. Vol 800. Springer; 2014:1-24. doi:10.1007/978-94-007-7687-6_1
View
| DOI
2014 | Technical Report | IST-REx-ID: 5427 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-314-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5425 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria; 2014.
[Published Version]
View
| Files available
2014 | Journal Article | IST-REx-ID: 5813 |
Dereziński J, Napiórkowski MM. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 2014;15(12):2409-2439. doi:10.1007/s00023-013-0302-4
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 6124 |
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 2014;10(3). doi:10.1371/journal.pgen.1004082
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 12634
Pellicciotti F, Ragettli S, Carenzo M, McPhee J. Changes of glaciers in the Andes of Chile and priorities for future work. Science of The Total Environment. 2014;493:1197-1210. doi:10.1016/j.scitotenv.2013.10.055
View
| DOI
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.
View
2014 | Journal Article | IST-REx-ID: 2257 |
Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 2014;10(1). doi:10.1371/journal.pcbi.1003408
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 11520 |
Sobral D, Swinbank AM, Stott JP, et al. The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS. The Astrophysical Journal. 2013;779(2). doi:10.1088/0004-637x/779/2/139
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 11671
Baykan E, Weber I, Henzinger MH. A comprehensive study of techniques for URL-based web page language classification. ACM Transactions on the Web. 2013;7(1). doi:10.1145/2435215.2435218
View
| DOI
2013 | Journal Article | IST-REx-ID: 2139 |
Lemeshko M. Manipulating scattering of ultracold atoms with light-induced dissipation. Frontiers Physics. 2013;1(17). doi:10.3389/fphy.2013.00017
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2209
Biedl T, Held M, Huber S. Recognizing straight skeletons and Voronoi diagrams and reconstructing their input. In: IEEE; 2013:37-46. doi:10.1109/ISVD.2013.11
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2244 |
Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing curves. 2013;8242:472-483. doi:10.1007/978-3-319-03841-4_41
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 247
Browning TD. The Lang-Weil estimate for cubic hypersurfaces. Canadian Mathematical Bulletin. 2013;56(3):500-502. doi:10.4153/CMB-2011-177-4
View
| DOI
2013 | Journal Article | IST-REx-ID: 2697 |
Erdös L, Knowles A, Yau H, Yin J. Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics. 2013;323(1):367-416. doi:10.1007/s00220-013-1773-3
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2780 |
Erdös L, Knowles A, Yau H. Averaging fluctuations in resolvents of random band matrices. Annales Henri Poincare. 2013;14(8):1837-1926. doi:10.1007/s00023-013-0235-y
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2826 |
Tran Viet K, Powell C, Barathi V, et al. Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. 2013;92(5):820-826. doi:10.1016/j.ajhg.2013.04.005
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2844
Rosquete M, von Wangenheim D, Marhavý P, et al. An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. 2013;23(9):817-822. doi:10.1016/j.cub.2013.03.064
View
| DOI
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource management. Formal Methods in System Design. 2013;42(2):142-174. doi:10.1007/s10703-012-0170-4
View
| DOI
2013 | Journal Article | IST-REx-ID: 2831 |
Chatterjee K, Henzinger MH, Joglekar M, Shah N. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 2013;42(3):301-327. doi:10.1007/s10703-012-0180-2
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 507 |
Kim S, Xu Z, Song K, et al. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 2013;25(8):2970-2985. doi:10.1105/tpc.113.114264
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Technical Report | IST-REx-ID: 5410 |
Ahmed U, Chatterjee K, Gulwani S. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-146-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 6370
Lin T-C, Cole JM, Higginbotham AP, et al. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 2013;117(18):9416-9430. doi:10.1021/jp400648q
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2329 |
Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. 2013;8052:500-515. doi:10.1007/978-3-642-40184-8_35
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 7595
Tang Y, Tan S, Xue H. Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. 2013;45(7):549-560. doi:10.1093/abbs/gmt039
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 1055
Erne B, Graff M, Klemm W, Danzl JG, Leschber G. Bulla in the lung. The Lancet. 2012;380(9849). doi:10.1016/S0140-6736(12)60690-4
View
| DOI
2012 | Journal Article | IST-REx-ID: 2262
Tasic B, Miyamichi K, Hippenmeyer S, et al. Extensions of MADM (Mosaic Analysis with Double Markers) in Mice . PLoS One. 2012;7(3). doi:10.1371/journal.pone.0033332
View
| DOI
2012 | Journal Article | IST-REx-ID: 2397 |
Hainzl C, Seiringer R. Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics. 2012;100(2):119-138. doi:10.1007/s11005-011-0535-4
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2775
Erdös L, Yau H. Universality of local spectral statistics of random matrices. Bulletin of the American Mathematical Society. 2012;49(3):377-414. doi:10.1090/S0273-0979-2012-01372-1
View
| DOI
2012 | Journal Article | IST-REx-ID: 2776
Erdös L, Knowles A, Yau H, Yin J. Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues. Communications in Mathematical Physics. 2012;314(3):587-640. doi:10.1007/s00220-012-1527-7
View
| DOI
2012 | Journal Article | IST-REx-ID: 2773
Erdös L, Yau H. A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices. Electronic Journal of Probability. 2012;17. doi:10.1214/EJP.v17-1779
View
| DOI
2012 | Journal Article | IST-REx-ID: 2802
Lapp T, Rohloff M, Vollmer J, Hof B. Particle tracking for polydisperse sedimenting droplets in phase separation. Experiments in Fluids. 2012;52(5):1187-1200. doi:10.1007/s00348-011-1243-7
View
| DOI
2012 | Journal Article | IST-REx-ID: 2962 |
Aeschbacher S, Beaumont M, Futschik A. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 2012;192(3):1027-1047. doi:10.1534/genetics.112.143164
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3120 |
Brown G, Kerber M, Reid M. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 2012;148(4):1171-1194. doi:10.1112/S0010437X11007226
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3160
Pantazis P, Bollenbach MT. Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo. Cell Cycle. 2012;11(11):2055-2058. doi:10.4161/cc.20118
View
| DOI
2012 | Journal Article | IST-REx-ID: 3256 |
Edelsbrunner H, Kerber M. Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry. 2012;47(2):393-414. doi:10.1007/s00454-011-9382-4
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 330
Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. Journal of the American Chemical Society. 2012;134(3):1438-1441. doi:10.1021/ja209688a
View
| DOI
2012 | Journal Article | IST-REx-ID: 3111
Lin D, Nagawa S, Chen J, et al. A ROP GTPase dependent auxin signaling pathway regulates the subcellular distribution of PIN2 in Arabidopsis roots. Current Biology. 2012;22(14):1319-1325. doi:10.1016/j.cub.2012.05.019
View
| DOI
2012 | Journal Article | IST-REx-ID: 3112
Chen X, Naramoto S, Robert S, et al. ABP1 and ROP6 GTPase signaling regulate clathrin mediated endocytosis in Arabidopsis roots. Current Biology. 2012;22(14):1326-1332. doi:10.1016/j.cub.2012.05.020
View
| DOI
2012 | Conference Paper | IST-REx-ID: 3129 |
Busaryev O, Cabello S, Chen C, Dey T, Wang Y. Annotating simplices with a homology basis and its applications. In: Vol 7357. Springer; 2012:189-200. doi:10.1007/978-3-642-31155-0_17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Book Chapter | IST-REx-ID: 3277
de Vladar H, Chela Flores J. Can the evolution of multicellularity be anticipated in the exploration of the solar system? In: Life on Earth and Other Planetary Bodies. Vol 24. Springer; 2012:387-405. doi:10.1007/978-94-007-4966-5_22
View
| DOI