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.




2984 Publications

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
Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function
H. Hu, J. Gan, P.M. Jonas, Science 345 (2014).
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
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2082 | OA
The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
View | Files available | DOI
 
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: 2084 | OA
Spatio-temporally precise activation of engineered receptor tyrosine kinases by light
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2086 | OA
So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2141 | OA
Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
K. Chatterjee, M. Henzinger, Journal of the ACM 61 (2014).
View | Files available | DOI | Download Submitted Version (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 Submitted Version (ext.)
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2155 | OA
The morse theory of Čech and Delaunay filtrations
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2156 | OA
Measuring distance between Reeb graphs
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2157 | OA
Embeddability in the 3 sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
View | Files available | DOI | Download Submitted Version (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 Submitted Version (ext.) | PubMed | Europe PMC
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2161
Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2162 | OA
The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Conference Paper | IST-REx-ID: 2163 | OA
Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 2164
Epilepsy-induced motility of differentiated neurons
X. Chai, G. Münzner, S. Zhao, S. Tinnes, J. Kowalski, U. Häussler, C. Young, C. Haas, M. Frotscher, Cerebral Cortex 24 (2014) 2130–2140.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2167 | OA
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 2168 | OA
Coalescent simulation in continuous space: Algorithms for large neighbourhood size
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2169 | OA
Diverse forms of selection in evolution and computer science
N.H. Barton, S. Novak, T. Paixao, PNAS 111 (2014) 10398–10399.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2170 | OA
Likelihood-based inference of population history from low-coverage de novo genome assemblies
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
View | Files available | DOI
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2172
Deep Fisher Kernels – End to end learning of the Fisher Kernel GMM parameters
V. Sydorov, M. Sakurada, C. Lampert, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2014, pp. 1402–1409.
View | 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: 2174 | OA
Stability and response of polygenic traits to stabilizing selection and mutation
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2175 | OA
Monitoring neurogenesis in the cerebral cortex: an update
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2176
Capture of activity-induced ultrastructural changes at synapses by high-pressure freezing of brain tissue
D. Studer, S. Zhao, X. Chai, P.M. Jonas, W. Graber, S. Nestel, M. Frotscher, Nature Protocols 9 (2014) 1480–1495.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2177
On the computational complexity of betti numbers reductions from matrix rank
H. Edelsbrunner, S. Parsa, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2014, pp. 152–160.
View | DOI
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2179 | OA
Local semicircle law with imprimitive variance matrix
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).
View | Files available | DOI
 
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 Submitted Version (ext.)
 
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 Preprint (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: 2186 | OA
On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2187 | OA
Synthesizing robust systems
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, G. Hofferek, B. Jobstmann, B. Könighofer, R. Könighofer, Acta Informatica 51 (2014) 193–220.
View | Files available | DOI
 
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 | Conference Paper | IST-REx-ID: 2189 | OA
Adaptation de domaine de vote de majorité par auto-étiquetage non itératif
E. Morvant, in:, Elsevier, 2014, pp. 49–58.
View | Download Preprint (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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2211 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic (TOCL) 15 (2014).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Conference Paper | IST-REx-ID: 2212
Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, in:, Springer, 2014, pp. 210–225.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2213 | OA
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 2214 | OA
Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2215
Mechanisms and principles of homology search during recombination
J. Renkawitz, C. Lademann, S. Jentsch, Nature Reviews Molecular Cell Biology 15 (2014) 369–383.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2216 | OA
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2217
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2219 | OA
Simple chosen-ciphertext security from low noise LPN
E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2220 | OA
Suppressive drug interactions between antifungals
M. de Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2222
VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis
S. Naramoto, T. Nodzyński, T. Dainobu, H. Takatsuka, T. Okada, J. Friml, H. Fukuda, Plant and Cell Physiology 55 (2014) 750–763.
View | DOI
 
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 Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2224
On secondary instabilities generating footbridges between spiral vortex flow
S. Altmeyer, Fluid Dynamics Research 46 (2014).
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2225 | OA
Isotropic local laws for sample covariance and generalized Wigner matrices
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2226 | OA
Transient growth of Ekman-Couette flow
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2228 | OA
A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons
H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2229 | OA
Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse
N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.
View | DOI | Download Submitted Version (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: 2231 | OA
Noise and information transmission in promoters with multiple internal states
G. Rieckh, G. Tkačik, Biophysical Journal 106 (2014) 1194–1204.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2232 | OA
Deterministic and stochastic aspects of the transition to turbulence
B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2233 | OA
Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
View | Files available | DOI
 
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 Published Version (ext.)
 
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 Submitted Version (ext.)
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2239
Battery transition systems
U. Boker, T.A. Henzinger, A. Radhakrishna, in:, ACM, 2014, pp. 595–606.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2240
The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants
A. Gadeyne, C. Sánchez Rodríguez, S. Vanneste, S. Di Rubbo, H. Zauber, K. Vanneste, J. Van Leene, N. De Winne, D. Eeckhout, G. Persiau, E. Van De Slijke, B. Cannoot, L. Vercruysse, J. Mayers, M. Adamowski, U. Kania, M. Ehrlich, A. Schweighofer, T. Ketelaar, S. Maere, S. Bednarek, J. Friml, K. Gevaert, E. Witters, E. Russinova, S. Persson, G. De Jaeger, D. Van Damme, Cell 156 (2014) 691–704.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2241
Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage
K. Beppu, T. Sasaki, K. Tanaka, A. Yamanaka, Y. Fukazawa, R. Shigemoto, K. Matsui, Neuron 81 (2014) 314–320.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2242
A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation
A. Dueck, A. Eichner, M.K. Sixt, G. Meister, FEBS Letters 588 (2014) 632–640.
View | DOI
 
2014 | Book Chapter | IST-REx-ID: 2245
Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, J. Friml, in:, G. Hicks, S. Robert (Eds.), Plant Chemical Genomics, Springer, 2014, pp. 255–264.
View | DOI
 
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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2248
Thumbs down: A molecular-morphogenetic approach to avian digit homology
D. Capek, B. Metscher, G. Müller, Journal of Experimental Zoology Part B: Molecular and Developmental Evolution 322 (2014) 1–12.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2249 | OA
Inter-regulation of the unfolded protein response and auxin signaling
Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal 77 (2014) 97–107.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2251 | OA
Sharp wave/ripple network oscillations and learning-associated hippocampal maps
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).
View | Files available | DOI | 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 Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2254 | OA
Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations
A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2255 | OA
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2257 | OA
Searching for collective behavior in a large network of sensory neurons
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
View | Files available | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 468 | OA
Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 475 | OA
First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
View | Files available | DOI
 
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 Submitted Version (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: 5411 | OA
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5412 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5413 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5414 | OA
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications