Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2852 Publications

2014 | Journal Article | IST-REx-ID: 1929
Alexeev VV, Bogaevskaya VG, Preobrazhenskaya MM, Ukhalov AY, Edelsbrunner H, Yakimova O. 2014. An algorithm for cartographic generalization that preserves global topology. Journal of Mathematical Sciences (United States). 203(6), 754–760.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1930
Günther D, Jacobson A, Reininghaus J, Seidel H, Sorkine Hornung O, Weinkauf T. 2014. Fast and memory-efficient topological denoising of 2D and 3D scalar fields. IEEE Transactions on Visualization and Computer Graphics. 20(12), 2585–2594.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1931 | OA
Savin C, Triesch J. 2014. Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience. 8(MAY), 57.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1932 | OA
Trotter M, Weissman D, Peterson G, Peck K, Masel J. 2014. Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution. 68(12), 3357–3367.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1933
Hatakeyama J, Wakamatsu Y, Nagafuchi A, Kageyama R, Shigemoto R, Shimamura K. 2014. Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates. Development. 141(8), 1671–1682.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1934
Marhavy P, Duclercq J, Weller B, Feraru E, Bielach A, Offringa R, Friml J, Schwechheimer C, Murphy A, Benková E. 2014. Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis. Current Biology. 24(9), 1031–1037.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1935 | OA
Giuliani A, Lieb É, Seiringer R. 2014. Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. 331(1), 333–350.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1936 | OA
Arbilly M, Weissman D, Feldman M, Grodzinski U. 2014. An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology. 25(3), 487–495.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1937 | OA
Bourgade P, Erdös L, Yau H. 2014. Edge universality of beta ensembles. Communications in Mathematical Physics. 332(1), 261–353.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum systems. Proceeding of the International Congress of Mathematicans. ICM: International Congress of Mathematicans vol. 3. 1175–1194.
View | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318. 161–181.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering 167–181.
View | DOI | Download Published Version (ext.)
 
2014 | Thesis | IST-REx-ID: 1395
Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus, IST Austria, 131p.
View
 
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana, IST Austria, 90p.
View
 
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly, IST Austria, 91p.
View | Files available
 
2014 | Thesis | IST-REx-ID: 1404
Stock M. 2014. Evolution of a fungal pathogen towards individual versus social immunity in ants, IST Austria, 101p.
View
 
2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös L. 2014. Random matrices, log-gases and Hölder regularity. ICM: International Congress of Mathematicians, Proceedings of the International Congress of Mathematicians, vol. 3. 214–236.
View | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich G, Hainzl C, Seiringer R. 2014. On the BCS gap equation for superfluid fermionic gases. Proceedings of the QMath12 Conference. QMath: Mathematical Results in Quantum Physics 127–137.
View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 1532
Yang H, Von Der Fecht Bartenbach J, Friml J, Lohmann J, Neuhäuser B, Ludewig U. 2014. Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source. Functional Plant Biology. 42(3), 239–251.
View | DOI
 

Search

Display / Sort

Citation Style: IST Annual Report

Export / Embed