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.

2268 Publications


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: 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: 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.)
 

2014 | Journal Article | IST-REx-ID: 1931   OA
Emergence of task-dependent representations in working memory circuits
C. Savin, J. Triesch, Frontiers in Computational Neuroscience 8 (2014).
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed