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.

1902 Publications


2014 | Conference Paper | IST-REx-ID: 2155   OA
Bauer U, Edelsbrunner H. The morse theory of Čech and Delaunay filtrations. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:484-490. doi:10.1145/2582112.2582167
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2174   OA
De Vladar H, Barton NH. Stability and response of polygenic traits to stabilizing selection and mutation. Genetics. 2014;197(2):749-767. doi:10.1534/genetics.113.159111
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179   OA
Ajanki OH, Erdös L, Krüger TH. Local semicircle law with imprimitive variance matrix. Electronic Communications in Probability. 2014;19. doi:10.1214/ECP.v19-3121
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2186   OA
Chen T, Hainzl C, Pavlović N, Seiringer R. On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti. Letters in Mathematical Physics. 2014;104(7):871-891. doi:10.1007/s11005-014-0693-2
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2220   OA
De Vos M, Bollenbach MT. Suppressive drug interactions between antifungals. Chemistry and Biology. 2014;21(4):439-440. doi:10.1016/j.chembiol.2014.04.004
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2225   OA
Bloemendal A, Erdös L, Knowles A, Yau H, Yin J. Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. 2014;19. doi:10.1214/EJP.v19-3054
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2232   OA
Song B, Hof B. Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. 2014;2014(2). doi:10.1088/1742-5468/2014/02/P02001
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2249   OA
Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 2014;77(1):97-107. doi:10.1111/tpj.12373
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2275   OA
Olsson C, Ulen J, Boykov Y, Kolmogorov V. Partial enumeration and curvature regularization. In: IEEE; 2014:2936-2943. doi:10.1109/ICCV.2013.365
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 468   OA
Cimadom A, Ulloa A, Meidl P, et al. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0107518
View | Files available | DOI
 

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

2014 | Conference Paper | IST-REx-ID: 1392   OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218   OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Regression-free synthesis for concurrency. In: Vol 8559. Springer; 2014:568-584. doi:10.1007/978-3-319-08867-9_38
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2213   OA
Chatterjee K, Doyen L, Nain S, Vardi M. The complexity of partial-observation stochastic parity games with finite-memory strategies. In: Vol 8412. Springer; 2014:242-257. doi:10.1007/978-3-642-54830-7_16
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2162   OA
Chatterjee K, Ibsen-Jensen R. The complexity of ergodic mean payoff games. In: Vol 8573. Springer; 2014:122-133. doi:10.1007/978-3-662-43951-7_11
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 475   OA
Aminof B, Rubin S. First cycle games. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 146. Open Publishing Association; 2014:83-90. doi:10.4204/EPTCS.146.11
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2251   OA
Csicsvari JL, Dupret D. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2014;369(1635):20120528. doi:10.1098/rstb.2012.0528
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2167   OA
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for IOCO testing. In: IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE; 2014:6823899. doi:10.1109/ICST.2014.50
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1917   OA
Xu T, Dai N, Chen J, et al. Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling. Science. 2014;343(6174):1025-1028. doi:10.1126/science.1245125
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1507   OA
Erdös L. Random matrices, log-gases and Hölder regularity. In: Vol 3. Kyung Moon SA Co. Ltd.; 2014:214-236.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1862   OA
Chen X, Grandont L, Li H, et al. Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules. Nature. 2014;516(729):90-93. doi:10.1038/nature13889
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
Nováková 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
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1918   OA
Bellazzini J, Frank R, Lieb É, Seiringer R. Existence of ground states for negative ions at the binding threshold. Reviews in Mathematical Physics. 2014;26(1). doi:10.1142/S0129055X13500219
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920   OA
Wang W, Nakadate K, Masugi Tokita M, et al. Distinct cerebellar engrams in short-term and long-term motor learning. PNAS. 2014;111(1):E188-E193. doi:10.1073/pnas.1315541111
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932   OA
Trotter M, Weissman D, Peterson G, Peck K, Masel J. Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution. 2014;68(12):3357-3367. doi:10.1111/evo.12517
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937   OA
Bourgade P, Erdös L, Yau H. Edge universality of beta ensembles. Communications in Mathematical Physics. 2014;332(1):261-353. doi:10.1007/s00220-014-2120-z
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2012   OA
Iglesias Ham M, Kerber M, Uhler C. Sphere packing with limited overlap. In: Unknown; 2014:155-161.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2043   OA
Bauer U, Kerber M, Reininghaus J. Distributed computation of persistent homology. In: McGeoch C, Meyer U, eds. Proceedings of the Workshop on Algorithm Engineering and Experiments. Society of Industrial and Applied Mathematics; 2014:31-38. doi:10.1137/1.9781611973198.4
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2050   OA
Kühnen J, Holzner M, Hof B, Kuhlmann H. Experimental investigation of transitional flow in a toroidal pipe. Journal of Fluid Mechanics. 2014;738:463-491. doi:10.1017/jfm.2013.603
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2029   OA
Correggi M, Giuliani A, Seiringer R. Validity of spin-wave theory for the quantum Heisenberg model. EPL. 2014;108(2). doi:10.1209/0295-5075/108/20003
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2036   OA
Lagator M, Colegrave N, Neve P. Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences. 2014;281(1794). doi:10.1098/rspb.2014.1679
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2024   OA
Toshima J, Nishinoaki S, Sato Y, et al. Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole. Nature Communications. 2014;5. doi:10.1038/ncomms4498
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2168   OA
Kelleher J, Etheridge A, Barton NH. Coalescent simulation in continuous space: Algorithms for large neighbourhood size. Theoretical Population Biology. 2014;95:13-23. doi:10.1016/j.tpb.2014.05.001
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2170   OA
Hearn J, Stone G, Bunnefeld L, Nicholls J, Barton NH, Lohse K. Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology. 2014;23(1):198-211. doi:10.1111/mec.12578
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2175   OA
Postiglione MP, Hippenmeyer S. Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. 2014;9(3):323-340. doi:10.2217/fnl.14.18
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2219   OA
Kiltz E, Masny D, Pietrzak KZ. Simple chosen-ciphertext security from low noise LPN. In: Vol 8383. Springer; 2014:1-18. doi:10.1007/978-3-642-54631-0_1
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2226   OA
Shi L, Hof B, Tilgner A. Transient growth of Ekman-Couette flow. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2014;89(1). doi:10.1103/PhysRevE.89.013001
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2156   OA
Bauer U, Ge X, Wang Y. Measuring distance between Reeb graphs. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:464-473. doi:10.1145/2582112.2582169
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2086   OA
Wolf S, Mcmahon D, Lim K, et al. So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One. 2014;9(8). doi:10.1371/journal.pone.0103989
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2214   OA
Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085699
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2699   OA
Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. Duke Mathematical Journal. 2014;163(6):1127-1190. doi:10.1215/00127094-2649752
View | DOI | Download (ext.)
 

2014 | Technical Report | IST-REx-ID: 5427   OA
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
View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422   OA
Porsche J. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none; 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2031   OA
Arai I, Jonas PM. Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse. eLife. 2014;3. doi:10.7554/eLife.04057
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1906   OA
Arikan M, Preiner R, Scheiblauer C, Jeschke S, Wimmer M. Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics. 2014;20(9):1280-1292. doi:10.1109/TVCG.2014.2312011
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2062   OA
Hu H, Gan J, Jonas PM. Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science. 2014;345(6196). doi:10.1126/science.1255263
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1886   OA
Hermundstad A, Briguglio J, Conte M, Victor J, Balasubramanian V, Tkacik G. Variance predicts salience in central sensory processing. eLife. 2014;(November). doi:10.7554/eLife.03722
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2233   OA
Boker U, Henzinger TA. Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:10)2014
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163   OA
Chatterjee K, Doyen L. Games with a weak adversary. In: Lecture Notes in Computer Science. Vol 8573. Springer; 2014:110-121. doi:10.1007/978-3-662-43951-7_10
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2187   OA
Bloem R, Chatterjee K, Greimel K, et al. Synthesizing robust systems. Acta Informatica. 2014;51(3-4):193-220. doi:10.1007/s00236-013-0191-5
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed