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.




3121 Publications

2014 | Journal Article | IST-REx-ID: 2013 | OA
Hypersurfaces and their singularities in partial correlation testing
S. Lin, C. Uhler, B. Sturmfels, P. Bühlmann, Foundations of Computational Mathematics 14 (2014) 1079–1116.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2018
Netrin-G/NGL complexes encode functional synaptic diversification
H. Matsukawa, S. Akiyoshi Nishimura, Q. Zhang, R. Luján, K. Yamaguchi, H. Goto, K. Yaguchi, T. Hashikawa, C. Sano, R. Shigemoto, T. Nakashiba, S. Itohara, Journal of Neuroscience 34 (2014) 15779–15792.
View | DOI
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2020
Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice
S. Ali, S. Hippenmeyer, L. Saadat, L. Luo, I. Weissman, R. Ardehali, PNAS 111 (2014) 8850–8855.
View | DOI
 
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 Submitted Version (ext.)
 
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 | Journal Article | IST-REx-ID: 2024 | OA
Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole
J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus, A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2026
Rabinizer 3: Safraless translation of ltl to small deterministic automata
Z. Komárková, J. Kretinsky, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 235–241.
View | 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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2029 | OA
Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications