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.

2480 Publications


2014 | Journal Article | IST-REx-ID: 2169   OA
Barton NH, Novak S, Paixao T. 2014. Diverse forms of selection in evolution and computer science. PNAS. 111(29), 10398–10399.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2171   OA
Kolesnikov A, Guillaumin M, Ferrari V, Lampert C. 2014. Closed-form approximate CRF training for scalable image segmentation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ECCV: European Conference on Computer Vision, LNCS, vol. 8691. 550–565.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2183   OA
Botella Soler V, Glendinning P. 2014. Hierarchy and polysynchrony in an adaptive network . Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(6), 062809.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2188   OA
Kania U, Fendrych M, Friml J. 2014. Polar delivery in plants; commonalities and differences to animal epithelial cells. Open Biology. 4(APRIL), 140017.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2208   OA
Lahrz M, Lemeshko M, Sengstock K, Becker C, Mathey L. 2014. Detecting quadrupole interactions in ultracold Fermi gases. Physical Review A - Atomic, Molecular, and Optical Physics. 89(4), 043616.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2246   OA
Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. 2014. Alternating traps in Muller and parity games. Theoretical Computer Science. 521, 73–91.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 3263   OA
Tkacik G, Ghosh A, Schneidman E, Segev R. 2014. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 9(1), e85841.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 775   OA
Alistarh D, Kopinsky J, Matveev A, Shavit N. 2014. The levelarray: A fast, practical long-lived renaming algorithm. ICDCS: International Conference on Distributed Computing Systems 348–357.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 97   OA
Higginbotham AP, Kuemmeth F, Larsen T, Fitzpatrick M, Yao J, Yan H, Lieber C, Marcus C. 2014. Antilocalization of coulomb blockade in a Ge/Si nanowire. APS Physics, Physical Review Letters. 112(21), 216806.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977   OA
Serbyn M, Knap M, Gopalakrishnan S, Papić Z, Yao N, Laumann C, Abanin D, Lukin M, Demler E. 2014. Interferometric probes of many-body localization. Physical Review Letters. 113(14).
View | DOI | Download (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 (ext.)
 

2014 | Journal Article | IST-REx-ID: 2234   OA
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. 2014. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 10(1).
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2190   OA
Esparza J, Kretinsky J. 2014. From LTL to deterministic automata: A safraless compositional approach. CAV: Computer Aided Verification, LNCS, vol. 8559. 192–208.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 535   OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. 2014. Polynomial time algorithms for energy games with special weight structures. Algorithmica. 70(3), 457–492.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2905   OA
Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics 31–50.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1926   OA
Sadel C. 2014. Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry. 17(3–4), 409–440.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1899   OA
Williams S, Ratliff L, Postiglione MP, Knoblich J, Fuchs E. 2014. Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. 16(8), 758–769.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2253   OA
Bailly A, Wang B, Zwiewka M, Pollmann S, Schenck D, Lüthen H, Schulz A, Friml J, Geisler M. 2014. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 77(1), 108–118.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1629   OA
Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 33(2), 15.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643   OA
Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN: Security and Cryptography for Networks, LNCS, vol. 8642. 95–114.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1876   OA
Dolbilin N, Edelsbrunner H, Glazyrin A, Musin O. 2014. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 14(3), 491–504.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890   OA
Körner C, Braunstein V, Stangl M, Schlögl A, Neuper C, Ischebeck A. 2014. Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. 51(4), 385–395.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895   OA
Edamura M, Murakami G, Meng H, Itakura M, Shigemoto R, Fukuda A, Nakahara D. 2014. Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. 9(9), e107099.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1908   OA
Weissman D, Hallatschek O. 2014. The rate of adaptation in large sexual populations with linear chromosomes. Genetics. 196(4), 1167–1183.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1852   OA
Sassi M, Ali O, Boudon F, Cloarec G, Abad U, Cellier C, Chen X, Gilles B, Milani P, Friml J, Vernoux T, Godin C, Hamant O, Traas J. 2014. An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. 24(19), 2335–2342.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1821   OA
Seiringer R. 2014. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 55(7), 1.4881536.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1996   OA
Hazak O, Obolski U, Prat T, Friml J, Hadany L, Yalovsky S. 2014. Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS. 111(50), E5471–E5479.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1927   OA
Fuchsbauer G, Konstantinov M, Pietrzak KZ, Rao V. 2014. Adaptive security of constrained PRFs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) vol. 8874. 173–192.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2021   OA
William J, Hippenmeyer S, Luo L. 2014. Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling. Science. 346(6209), 626–629.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2002   OA
Kim S. 2014. Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One. 9(11), 0113124.
View | Files available | DOI
 

2014 | Other Publication | IST-REx-ID: 2007   OA
Klimova A, Rudas T. 2014. gIPFrm: Generalized iterative proportional fitting for relational models, The Comprehensive R Archive Network,p.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2033   OA
Hernandez Lobato D, Sharmanska V, Kersting K, Lampert C, Quadrianto N. 2014. Mind the nuisance: Gaussian process classification using privileged noise. Advances in Neural Information Processing Systems. NIPS: Neural Information Processing Systems vol. 1. 837–845.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2019   OA
Erdös L, Schröder DJ. 2014. Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry. 17(3–4), 441–464.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2040   OA
Kicheva A, Bollenbach MT, Ribeiro A, Pérez Valle H, Lovell Badge R, Episkopou V, Briscoe J. 2014. Coordination of progenitor specification and growth in mouse and chick spinal cord. Science. 345(6204), 1254927.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2045   OA
Dachman Soled D, Fuchsbauer G, Mohassel P, O’Neill A. 2014. Enhanced chosen-ciphertext security and applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PKC: Public Key Crypography, LNCS, vol. 8383. 329–344.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2064   OA
Rubio M, Fukazawa Y, Kamasawa N, Clarkson C, Molnár E, Shigemoto R. 2014. Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology. 522(18), 4023–4042.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2057   OA
Morvant E, Habrard A, Ayache S. 2014. Majority vote of diverse classifiers for late fusion. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). IAPR: International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, LNCS, vol. 8621. 153–162.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2184   OA
Čadek M, Krcál M, Matoušek J, Sergeraert F, Vokřínek L, Wagner U. 2014. Computing all maps into a sphere. Journal of the ACM. 61(3), 17.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2153   OA
Bauer U, Lesnick M. 2014. Induced matchings of barcodes and the algebraic stability of persistence. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry 355–364.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2165   OA
Morvant E. 2014. Domain Adaptation of Weighted Majority Votes via Perturbed Variation-Based Self-Labeling. Pattern Recognition Letters. 51, 37–43.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2160   OA
Pentina A, Lampert C. 2014. A PAC-Bayesian bound for Lifelong Learning. ICML: International Conference on Machine Learning vol. 32. 991–999.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2158   OA
Majumdar R, Sixt MK, Parent C. 2014. New paradigms in the establishment and maintenance of gradients during directed cell migration. Current Opinion in Cell Biology. 30(1), 33–40.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2223   OA
Tanaka H, Nodzyński T, Kitakura S, Feraru M, Sasabe M, Ishikawa T, Kleine Vehn J, Kakimoto T, Friml J. 2014. BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology. 55(4), 737–749.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2230   OA
Guzmán J, Schlögl A, Schmidt Hieber C. 2014. Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. 8(FEB), 16.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2235   OA
Fürst M, Mcmahon D, Osborne J, Paxton R, Brown M. 2014. Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. 506(7488), 364–366.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2261   OA
Zhu F, Gamboa M, Farruggio A, Hippenmeyer S, Tasic B, Schüle B, Chen Tsai Y, Calos M. 2014. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 42(5), e34.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2285   OA
Hosp J, Strüber M, Yanagawa Y, Obata K, Vida I, Jonas PM, Bartos M. 2014. Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. 23(2), 189–203.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417   OA
Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6124   OA
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. 2014. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 10(3), e1004082.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319   OA
Bretèche R de la, Browning TD. 2014. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 26(1), 25–44.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7071   OA
Modic KA, Smidt TE, Kimchi I, Breznay NP, Biffin A, Choi S, Johnson RD, Coldea R, Watkins-Curry P, McCandless GT, Chan JY, Gandara F, Islam Z, Vishwanath A, Shekhter A, McDonald RD, Analytis JG. 2014. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 5, 4203.
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038   OA
Huszár K, Rolinek M. Playful Math - An introduction to mathematical games, IST Austria, 5p.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 978   OA
Zeljkovic I, Okada Y, Huang C, Sankar R, Walkup D, Zhou W, Serbyn M, Chou F, Tsai W, Lin H, Bansil A, Fu L, Hasan M, Madhavan V. 2014. Mapping the unconventional orbital texture in topological crystalline insulators. Nature Physics. 10(8), 572–577.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98   OA
Higginbotham AP, Larsen T, Yao J, Yan H, Lieber C, Marcus C, Kuemmeth F. 2014. Hole spin coherence in a Ge/Si heterostructure nanowire. Nano Letters. 14(6), 3582–3586.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 980   OA
Serbyn M, Papić Z, Abanin D. 2014. Quantum quenches in the many-body localized phase. Physical Review B - Condensed Matter and Materials Physics. 90(17).
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2254   OA
Pernia-Andrade A, Jonas PM. 2014. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 81(1), 140–152.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2228   OA
Hu H, Jonas PM. 2014. A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience. 17(5), 686–693.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716   OA
Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 51(3–4), 129–163.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2038   OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 15(4), 27.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2189   OA
Morvant E. 2014. Adaptation de domaine de vote de majorité par auto-étiquetage non itératif. CAP: Conférence Francophone sur l’Apprentissage Automatique (Machine Learning French Conference) vol. 1. 49–58.
View | Download (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 (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2083   OA
Lagator M, Morgan A, Neve P, Colegrave N. 2014. Role of sex and migration in adaptation to sink environments. Evolution. 68(8), 2296–2305.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 119   OA
Waitukaitis SR, Lee V, Pierson J, Forman S, Jaeger H. 2014. Size-dependent same-material tribocharging in insulating grains. APS Physics, Physical Review Letters. 112(21), 218001.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1702   OA
Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science, EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169. 31–38.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1889   OA
Bräunlich G, Hainzl C, Seiringer R. 2014. Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. 26(7), 1450012.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1896   OA
Kollár R, Bod’ová K, Nosek J, Tomáška Ľ. 2014. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(3), 032701.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1923   OA
Berthoumieux H, Maître J-L, Heisenberg C-PJ, Paluch E, Julicher F, Salbreux G. 2014. Active elastic thin shell theory for cellular deformations. New Journal of Physics. 16, 065005.
View | Files available | 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 (ext.)
 

2014 | Journal Article | IST-REx-ID: 1904   OA
Frank R, Lewin M, Lieb É, Seiringer R. 2014. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 16(7), 1507–1526.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909   OA
Ezard T, Prizak R, Hoyle R. 2014. The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology. 28(3), 693–701.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2041   OA
Jonas PM, Lisman J. 2014. Structure, function and plasticity of hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits. 8, 2p.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2046   OA
Bellare M, Fuchsbauer G. 2014. Policy-based signatures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PKC: Public Key Crypography, LNCS, vol. 8383. 520–537.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2058   OA
Raveendran K, Wojtan CJ, Thuerey N, Türk G. 2014. Blending liquids. ACM Transactions on Graphics. SIGGRAPH: International Conference and Exhibition on Computer Graphics and Interactive Techniques vol. 33.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2022   OA
Gao P, Postiglione MP, Krieger T, Hernandez L, Wang C, Han Z, Streicher C, Papusheva E, Insolera R, Chugh K, Kodish O, Huang K, Simons B, Luo L, Hippenmeyer S, Shi S. 2014. Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell. 159(4), 775–788.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2173   OA
Khamis S, Lampert C. 2014. CoConut: Co-classification with output space regularization. Proceedings of the British Machine Vision Conference 2014. BMVC: British Machine Vision Conference
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2178   OA
Haws D, Martin Del Campo Sanchez A, Takemura A, Yoshida R. 2014. Markov degree of the three-state toric homogeneous Markov chain model. Beitrage zur Algebra und Geometrie. 55(1), 161–188.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2180   OA
Bellet A, Habrard A, Morvant E, Sebban M. 2014. Learning a priori constrained weighted majority votes. Machine Learning. 97(1–2), 129–154.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2185   OA
Dodis Y, Pietrzak KZ, Wichs D. 2014. Key derivation without entropy waste. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 8441. 93–110.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2154   OA
Matoušek J, Wagner U. 2014. On Gromov’s method of selecting heavily covered points. Discrete & Computational Geometry. 52(1), 1–33.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2159   OA
Mabillard I, Wagner U. 2014. Eliminating Tverberg points, I. An analogue of the Whitney trick. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry 171–180.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2231   OA
Rieckh G, Tkacik G. 2014. Noise and information transmission in promoters with multiple internal states. Biophysical Journal. 106(5), 1194–1204.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2236   OA
Jetchev D, Pietrzak KZ. 2014. How to fake auxiliary input. TCC: Theory of Cryptography Conference, LNCS, vol. 8349. 566–590.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2250   OA
Kuchibhatla D, Sherman W, Chung B, Cook S, Schneider G, Eisenhaber B, Karlin D. 2014. Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently ‘orphan’ viral proteins. Journal of Virology. 88(1), 10–20.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2407   OA
Lieb É, Seiringer R. 2014. Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. 154(1–2), 51–57.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2281   OA
Guo Y, Seiringer R. 2014. On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. 104(2), 141–156.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 537   OA
Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420   OA
Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 6740   OA
Mondelli M, Urbanke R, Hassani H. 2014. How to achieve the capacity of asymmetric channels. 52nd Annual Allerton Conference on Communication, Control, and Computing. Allerton Conference on Communication, Control, and Computing 789–796.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 772   OA
Alistarh D, Censor Hillel K, Shavit N. 2014. Are lock-free concurrent algorithms practically wait-free? STOC: Symposium on Theory of Computing 714–723.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 979   OA
Serbyn M, Fu L. 2014. Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics. 90(3).
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027   OA
Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M, Parker D, Ujma M. 2014. Verification of markov decision processes using learning algorithms. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ALENEX: Algorithm Engineering and Experiments, LNCS, vol. 8837. 98–114.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229   OA
Vyleta N, Jonas PM. 2014. Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. 343(6171), 665–670.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2039   OA
Chatterjee K, Pavlogiannis A, Adlam B, Nowak M. 2014. The time scale of evolutionary innovation. PLoS Computational Biology. 10(9), 7p.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2053   OA
Hermanns H, Krčál J, Kretinsky J. 2014. Probabilistic bisimulation: Naturally on distributions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704. 249–265.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1916   OA
Novarino G, Fenstermaker A, Zaki M, Hofree M, Silhavy J, Heiberg A, Abdellateef M, Rosti B, Scott E, Mansour L, Masri A, Kayserili H, Al Aama J, Abdel Salam G, Karminejad A, Kara M, Kara B, Bozorgmehri B, Ben Omran T, Mojahedi F, Mahmoud I, Bouslam N, Bouhouche A, Benomar A, Hanein S, Raymond L, Forlani S, Mascaro M, Selim L, Shehata N, Al Allawi N, Bindu P, Azam M, Günel M, Caglayan A, Bilgüvar K, Tolun A, Issa M, Schroth J, Spencer E, Rosti R, Akizu N, Vaux K, Johansen A, Koh A, Megahed H, Dürr A, Brice A, Stévanin G, Gabriel S, Ideker T, Gleeson J. 2014. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 343(6170), 506–511.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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 2014. ICM: International Congress of Mathematicans vol. 3. 1175–1194.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1816   OA
Huber S, Held M, Meerwald P, Kwitt R. 2014. Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. 24(1), 61–86.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842   OA
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 53(1), 64–79.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1892   OA
Ocana S, Meidl P, Bonfils D, Taborsky M. 2014. Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. 281(1794), 20140253.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed