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.




3867 Publications

2014 | Journal Article | IST-REx-ID: 1877
Physiology: Relax and come in
M.K. Sixt, K. Vaahtomeri, Nature 514 (2014) 441–442.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1884
Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
D. Landau, C. Stewart, J. Reiter, M. Lawrence, C. Sougnez, J. Brown, A. Lopez Guillermo, S. Gabriel, E. Lander, D. Neuberg, C. López Otín, E. Campo, G. Getz, C. Wu, Blood 124 (2014) 1952–1952.
View | Download None (ext.)
 
2014 | Journal Article | IST-REx-ID: 1886 | OA
Variance predicts salience in central sensory processing
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, G. Tkačik, ELife (2014).
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1887
Gemeinsame Krankheitsabwehr in Ameisengesellschaften
S. Cremer, Zoologie (2014) 23–30.
View | Download None (ext.)
 
2014 | Book Chapter | IST-REx-ID: 1888
Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften
S. Cremer, in:, Soziale Insekten in Einer Sich Wandelnden Welt, Pfeil, 2014, pp. 65–72.
View
 
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: 1891
Theoretical tests of the mechanical protection strategy in protein nanomechanics
M. Chwastyk, A. Galera Prat, M.K. Sikora, À. Gómez Sicilia, M. Carrión Vázquez, M. Cieplak, Proteins: Structure, Function and Bioinformatics 82 (2014) 717–726.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1893 | OA
SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis
P. Marhavá, S. Hirsch, E. Feraru, R. Tejos, R. Van Wijk, T. Viaene, M. Heilmann, J. Lerche, R. De Rycke, M. Feraru, P. Grones, M. Van Montagu, I. Heilmann, T. Munnik, J. Friml, PNAS 111 (2014) 2818–2823.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1894 | OA
Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA
A. Grabowska, E. Wywiał, S. Dunin Horkawicz, A. Łasica, M. Wösten, A.A. Nagy-Staron, R. Godlewska, K. Bocian Ostrzycka, K. Pieńkowska, P. Łaniewski, J. Bujnicki, J. Van Putten, E. Jagusztyn Krynicka, PLoS One 9 (2014).
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: 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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1898
Ultrafast action potentials mediate kilohertz signaling at a central synapse
A. Ritzau Jost, I. Delvendahl, A. Rings, N. Byczkowicz, H. Harada, R. Shigemoto, J. Hirrlinger, J. Eilers, S. Hallermann, Neuron 84 (2014) 152–163.
View | DOI
 
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 Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 1900
Lateral junction dynamics lead the way out
M. Behrndt, C.-P.J. Heisenberg, Nature Cell Biology 16 (2014) 127–129.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1901
WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis
H. Tian, K.T. Wabnik, T. Niu, H. Li, Q. Yu, S. Pollmann, S. Vanneste, W. Govaerts, J. Rolčík, M. Geisler, J. Friml, Z. Ding, Molecular Plant 7 (2014) 277–289.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 1903
Partial-observation stochastic reachability and parity games
K. Chatterjee, in:, Springer, 2014, pp. 1–4.
View | Files available | DOI
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1906 | OA
Large-scale point-cloud visualization through localized textured surface reconstruction
M. Arikan, R. Preiner, C. Scheiblauer, S. Jeschke, M. Wimmer, IEEE Transactions on Visualization and Computer Graphics 20 (2014) 1280–1292.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1907 | OA
Optimality of non-adaptive strategies: The case of parallel games
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, IEEE International Symposium on Information Theory, IEEE, 2014.
View | DOI | Download Submitted Version (ext.)
 
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 Submitted Version (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: 1910
Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZEB1/2
S. Konradi, N. Yasmin, D. Haslwanter, M. Weber, B. Gesslbauer, M.K. Sixt, H. Strobl, European Journal of Immunology 44 (2014) 553–560.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1911
Tverberg's Theorem and Graph Coloring
A. Engström, P. Noren, Discrete & Computational Geometry 51 (2014) 207–220.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1914
Plant biology: Gatekeepers of the road to protein perdition
M. Sauer, J. Friml, Current Biology 24 (2014) R27–R29.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1916 | OA
Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders
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 Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 1917 | OA
Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling
T. Xu, N. Dai, J. Chen, S. Nagawa, M. Cao, H. Li, Z. Zhou, X. Chen, R. De Rycke, H. Rakusová, W. Wang, A. Jones, J. Friml, S. Patterson, A. Bleecker, Z. Yang, Science 343 (2014) 1025–1028.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 1918 | OA
Existence of ground states for negative ions at the binding threshold
J. Bellazzini, R. Frank, É. Lieb, R. Seiringer, Reviews in Mathematical Physics 26 (2014).
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1919 | OA
Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning
W. Aziz, W. Wang, S. Kesaf, A. Mohamed, Y. Fukazawa, R. Shigemoto, PNAS 111 (2014) E194–E202.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1920 | OA
Distinct cerebellar engrams in short-term and long-term motor learning
W. Wang, K. Nakadate, M. Masugi Tokita, F. Shutoh, W. Aziz, E. Tarusawa, A. Lörincz, E. Molnár, S. Kesaf, Y. Li, Y. Fukazawa, S. Nagao, R. Shigemoto, PNAS 111 (2014) E188–E193.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1921 | OA
Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis
R. Tejos, M. Sauer, S. Vanneste, M. Palacios-Gomez, H. Li, M. Heilmann, R. Van Wijk, J. Vermeer, I. Heilmann, T. Munnik, J. Friml, Plant Cell 26 (2014) 2114–2128.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1922
Dynamic infrared imaging analysis of apical hook development in Arabidopsis: The case of brassinosteroids
D. Smet, P. Žádníková, F. Vandenbussche, E. Benková, D. Van Der Straeten, New Phytologist 202 (2014) 1398–1411.
View | DOI
 
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: 1924
Auxin transport and activity regulate stomatal patterning and development
J. Le, X. Liu, K. Yang, X. Chen, L. Zhu, H. Wang, M. Wang, S. Vanneste, M. Morita, M. Tasaka, Z. Ding, J. Friml, T. Beeckman, F. Sack, Nature Communications 5 (2014).
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1925 | OA
A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes
C. Lamprecht, B. Plochberger, V. Ruprecht, S. Wieser, C. Rankl, E. Heister, B. Unterauer, M. Brameshuber, J. Danzberger, P. Lukanov, E. Flahaut, G. Schütz, P. Hinterdorfer, A. Ebner, Nanotechnology 25 (2014).
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 Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 1928
Evolutionary dynamics of infectious diseases in finite populations
J. Humplik, A. Hill, M. Nowak, Journal of Theoretical Biology 360 (2014) 149–162.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1930
Fast and memory-efficient topological denoising of 2D and 3D scalar fields
D. Günther, A. Jacobson, J. Reininghaus, H. Seidel, O. Sorkine Hornung, T. Weinkauf, IEEE Transactions on Visualization and Computer Graphics 20 (2014) 2585–2594.
View | DOI
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1932 | OA
Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations
M. Trotter, D. Weissman, G. Peterson, K. Peck, J. Masel, Evolution 68 (2014) 3357–3367.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1933
Cadherin-based adhesions in the apical endfoot are required for active Notch signaling to control neurogenesis in vertebrates
J. Hatakeyama, Y. Wakamatsu, A. Nagafuchi, R. Kageyama, R. Shigemoto, K. Shimamura, Development 141 (2014) 1671–1682.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1934
Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis
P. Marhavý, J. Duclercq, B. Weller, E. Feraru, A. Bielach, R. Offringa, J. Friml, C. Schwechheimer, A. Murphy, E. Benková, Current Biology 24 (2014) 1031–1037.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1936 | OA
An arms race between producers and scroungers can drive the evolution of social cognition
M. Arbilly, D. Weissman, M. Feldman, U. Grodzinski, Behavioral Ecology 25 (2014) 487–495.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1937 | OA
Edge universality of beta ensembles
P. Bourgade, L. Erdös, H. Yau, Communications in Mathematical Physics 332 (2014) 261–353.
View | DOI | Download Submitted Version (ext.)
 
2014 | Book Chapter | IST-REx-ID: 6178
UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, NY, 2014, pp. 219–235.
View | DOI | PubMed | Europe PMC
 
2014 | Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
View | Files available | DOI
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1392 | OA
A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1393 | OA
Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
View | DOI | Download Published Version (ext.)
 
2014 | Thesis | IST-REx-ID: 1395
Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, IST Austria, 2014.
View
 
2014 | Thesis | IST-REx-ID: 1402
Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
View
 
2014 | Thesis | IST-REx-ID: 1403
Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
View | Files available
 
2014 | Thesis | IST-REx-ID: 1404
Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
View
 
2014 | Conference Paper | IST-REx-ID: 1507 | OA
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
View | Download Submitted Version (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 Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 1994
Directional auxin transport mechanisms in early diverging land plants
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1995 | OA
Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification
F. Fratini, E. Mascarenhas, L. Safari, J. Poizat, D. Valente, A. Auffèves, D. Gerace, M. Santos, Physical Review Letters 113 (2014).
View | DOI | Download Submitted Version (ext.)
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1998
Individual and social immunisation in insects
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2001
Bacterial responses to antibiotics and their combinations
K. Mitosch, M.T. Bollenbach, Environmental Microbiology Reports 6 (2014) 545–557.
View | Files available | DOI
 
 
2014 | Journal Article | IST-REx-ID: 2003
Learning by example in the hippocampus
J. O’Neill, J.L. Csicsvari, Neuron 83 (2014) 8–10.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2004 | OA
Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2005
Turning heads to remember places
D. Dupret, J.L. Csicsvari, Nature Neuroscience 17 (2014) 643–644.
View | DOI
 
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 | Journal Article | IST-REx-ID: 2011 | OA
Scalable privacy-preserving data sharing methodology for genome-wide association studies
F. Yu, S. Fienberg, A. Slaković, C. Uhler, Journal of Biomedical Informatics 50 (2014) 133–141.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2012 | OA
Sphere packing with limited overlap
M. Iglesias Ham, M. Kerber, C. Uhler, in:, Unknown, 2014, pp. 155–161.
View | Download Submitted Version (ext.)
 
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: 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: 2023 | OA 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.)
 
2014 | Journal Article | IST-REx-ID: 2031 | OA View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2032 | OA
The optogenetic promise for oncology: Episode I
Á. Inglés Prieto, E. Gschaider-Reichhart, K. Schelch, H.L. Janovjak, M. Grusch, Molecular and Cellular Oncology 1 (2014).
View | Files available | DOI
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2036 | OA
Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
View | Files available | DOI | Download Submitted Version (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).
View | Files available | DOI
 
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 | 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 Submitted Version (ext.)
 
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 | Journal Article | IST-REx-ID: 2042 | OA
Motif depletion in bacteriophages infecting hosts with CRISPR systems
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2043 | OA
Distributed computation of persistent homology
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2014, pp. 31–38.
View | DOI | Download Submitted Version (ext.)
 
2014 | Book Chapter | IST-REx-ID: 2044 | OA
Clear and Compress: Computing Persistent Homology in Chunks
U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III, Springer, 2014, pp. 103–117.
View | DOI | Download Submitted Version (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 Submitted Version (ext.)
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2047 | OA
Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases
F. Yu, M. Rybar, C. Uhler, S. Fienberg, in:, J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 170–184.
View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 2050 | OA
Experimental investigation of transitional flow in a toroidal pipe
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.
View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Conference Paper | IST-REx-ID: 2052
Parameterized model checking of rendezvous systems
B. Aminof, T. Kotek, S. Rubin, F. Spegni, H. Veith, 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. 109–124.
View | 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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2054
Qualitative concurrent parity games: Bounded rationality
K. Chatterjee, 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. 544–559.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2056 | OA
Markov chain aggregation and its applications to combinatorial reaction networks
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.
View | DOI | Download Submitted Version (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 Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 2059 | OA
The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos
E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2061
Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2062 | OA View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2063
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications