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.

2479 Publications


2014 | Conference Paper | IST-REx-ID: 2171   OA
Closed-form approximate CRF training for scalable image segmentation
A. Kolesnikov, M. Guillaumin, V. Ferrari, C. Lampert, in:, D. Fleet, T. Pajdla, B. Schiele, T. Tuytelaars (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 550–565.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

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

2014 | Journal Article | IST-REx-ID: 1375   OA
Approximating the minimum cycle mean
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
View | DOI | Download (ext.)
 

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

2014 | Conference Paper | IST-REx-ID: 2190   OA
From LTL to deterministic automata: A safraless compositional approach
J. Esparza, J. Kretinsky, in:, Springer, 2014, pp. 192–208.
View | DOI | Download (ext.)
 

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

2014 | Conference Paper | IST-REx-ID: 2905   OA
Persistent homology: Theory and practice
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing House, 2014, pp. 31–50.
View | Files available | DOI
 

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

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

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

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

2014 | Conference Paper | IST-REx-ID: 1643   OA
Constrained Verifiable Random Functions
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

2014 | Conference Paper | IST-REx-ID: 1927   OA
Adaptive security of constrained PRFs
G. Fuchsbauer, M. Konstantinov, K.Z. Pietrzak, V. Rao, in:, Springer, 2014, pp. 173–192.
View | DOI | Download (ext.)
 

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

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

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

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

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

2014 | Conference Paper | IST-REx-ID: 2045   OA
Enhanced chosen-ciphertext security and applications
D. Dachman Soled, G. Fuchsbauer, P. Mohassel, A. O’Neill, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 329–344.
View | DOI | Download (ext.)
 

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

2014 | Conference Paper | IST-REx-ID: 2057   OA
Majority vote of diverse classifiers for late fusion
E. Morvant, A. Habrard, S. Ayache, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 153–162.
View | DOI | Download (ext.) | arXiv
 

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

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

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

2014 | Conference Paper | IST-REx-ID: 2160   OA
A PAC-Bayesian bound for Lifelong Learning
A. Pentina, C. Lampert, in:, E. Xing, T. Jebara (Eds.), Omnipress, 2014, pp. 991–999.
View | Download (ext.)
 

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

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

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

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

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

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

2014 | Technical Report | IST-REx-ID: 5417   OA
From model checking to model measuring
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.
View | Files available | DOI
 

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

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

2014 | Journal Article | IST-REx-ID: 7071   OA
Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate
K.A. Modic, T.E. Smidt, I. Kimchi, N.P. Breznay, A. Biffin, S. Choi, R.D. Johnson, R. Coldea, P. Watkins-Curry, G.T. McCandless, J.Y. Chan, F. Gandara, Z. Islam, A. Vishwanath, A. Shekhter, R.D. McDonald, J.G. Analytis, Nature Communications 5 (2014).
View | Files available | DOI
 

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

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

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

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

2014 | Journal Article | IST-REx-ID: 2254   OA View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2228   OA View | DOI | Download (ext.)
 

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

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

2014 | Conference Paper | IST-REx-ID: 2189   OA View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516   OA
On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
View | DOI | Download (ext.) | arXiv
 

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

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

2014 | Conference Paper | IST-REx-ID: 1702   OA
Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.
View | DOI | Download (ext.)
 

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

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

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

2014 | Journal Article | IST-REx-ID: 1935   OA
Formation of stripes and slabs near the ferromagnetic transition
A. Giuliani, É. Lieb, R. Seiringer, Communications in Mathematical Physics 331 (2014) 333–350.
View | DOI | Download (ext.)
 

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

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

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

2014 | Conference Paper | IST-REx-ID: 2046   OA
Policy-based signatures
M. Bellare, G. Fuchsbauer, in:, H. Krawczyk (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 520–537.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2058   OA
Blending liquids
K. Raveendran, C.J. Wojtan, N. Thuerey, G. Türk, in:, ACM Transactions on Graphics, ACM, 2014.
View | Files available | DOI
 

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

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

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

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

2014 | Conference Paper | IST-REx-ID: 2185   OA
Key derivation without entropy waste
Y. Dodis, K.Z. Pietrzak, D. Wichs, in:, P. Nguyen, E. Oswald (Eds.), Springer, 2014, pp. 93–110.
View | Files available | DOI
 

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

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

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

2014 | Conference Paper | IST-REx-ID: 2236   OA
How to fake auxiliary input
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
View | Files available | DOI | Download (ext.)
 

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

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

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

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

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

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

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

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

2014 | Conference Paper | IST-REx-ID: 1872   OA
Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027   OA
Verification of markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229   OA View | DOI | Download (ext.)
 

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

2014 | Conference Paper | IST-REx-ID: 2053   OA
Probabilistic bisimulation: Naturally on distributions
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
View | DOI | Download (ext.)
 

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

2014 | Conference Paper | IST-REx-ID: 8044   OA
Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, ICM 2014, Seoul, South Korea, 2014, pp. 1175–1194.
View | Download (ext.)
 

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

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

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

2014 | Journal Article | IST-REx-ID: 1897   OA
Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis
S. Naramoto, M. Otegui, N. Kutsuna, R. De Rycke, T. Dainobu, M. Karampelias, M. Fujimoto, E. Feraru, D. Miki, H. Fukuda, A. Nakano, J. Friml, Plant Cell 26 (2014) 3062–3076.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed