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.




3166 Publications

2015 | Conference Paper | IST-REx-ID: 1634 | OA View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1635 | OA
Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1636 | OA
Effectiveness of structural restrictions for hybrid CSPs
V. Kolmogorov, M. Rolinek, R. Takhanov, 9472 (2015) 566–577.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1637 | OA
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1638
A giant molecular proton pump: structure and mechanism of respiratory complex I
L.A. Sazanov, Nature Reviews Molecular Cell Biology 16 (2015) 375–388.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1639 | OA
A generalized model for optimal transport of images including dissipation and density modulation
J. Maas, M. Rumpf, C. Schönlieb, S. Simon, ESAIM: Mathematical Modelling and Numerical Analysis 49 (2015) 1745–1769.
View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 1640 | OA
Cytokinin response factors regulate PIN-FORMED auxin transporters
M. Šimášková, J. O’Brien, M. Khan-Djamei, G. Van Noorden, K. Ötvös, A. Vieten, I. De Clercq, J. Van Haperen, C. Cuesta, K. Hoyerová, S. Vanneste, P. Marhavý, K.T. Wabnik, F. Van Breusegem, M. Nowack, A. Murphy, J. Friml, D. Weijers, T. Beeckman, E. Benková, Nature Communications 6 (2015).
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1642 | OA
Clustered planarity testing revisited
R. Fulek, J. Kynčl, I. Malinovič, D. Pálvölgyi, Electronic Journal of Combinatorics 22 (2015).
View | Files available
 
2015 | Conference Paper | IST-REx-ID: 1644 | OA
Query-complexity amplification for random oracles
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, Springer, 2015, pp. 159–180.
View | DOI | Download Submitted Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1645
Secret-key cryptography from ideal primitives: A systematic verview
P. Gazi, S. Tessaro, in:, 2015 IEEE Information Theory Workshop, IEEE, 2015.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1646 | OA
Key-homomorphic constrained pseudorandom functions
A. Banerjee, G. Fuchsbauer, C. Peikert, K.Z. Pietrzak, S. Stevens, 9015 (2015) 31–60.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1647 | OA
Practical round-optimal blind signatures in the standard model
G. Fuchsbauer, C. Hanser, D. Slamanig, in:, Springer, 2015, pp. 233–253.
View | Files available | DOI | Download Submitted Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1648 | OA
A quasipolynomial reduction for generalized selective decryption on trees
G. Fuchsbauer, Z. Jafargholi, K.Z. Pietrzak, in:, Springer, 2015, pp. 601–620.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1649 | OA
Efficient zero-knowledge proofs for commitments from learning with errors over rings
F. Benhamouda, S. Krenn, V. Lyubashevsky, K.Z. Pietrzak, 9326 (2015) 305–325.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1650 | OA
Condensed unpredictability
M. Skórski, A. Golovnev, K.Z. Pietrzak, in:, Springer, 2015, pp. 1046–1057.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1651
Anonymous transferable e-cash
F. Baldimtsi, M. Chase, G. Fuchsbauer, M. Kohlweiss, in:, Springer, 2015, pp. 101–124.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1652 | OA
High parallel complexity graphs and memory-hard functions
J.F. Alwen, V. Serbinenko, in:, Proceedings of the 47th Annual ACM Symposium on Theory of Computing, ACM, 2015, pp. 595–603.
View | DOI | Download Submitted Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1654 | OA
Generic security of NMAC and HMAC with input whitening
P. Gazi, K.Z. Pietrzak, S. Tessaro, 9453 (2015) 85–109.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1655 | OA
Quantifying emergent behavior of autonomous robots
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1656
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.
View | Files available | DOI | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1657
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komárková, J. Kretinsky, (2015) 244–256.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1658
Adaptive moment closure for parameter inference of biochemical reaction networks
S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, C. Schilling, 9308 (2015) 77–89.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1659 | OA
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1660 | OA
Long-run average behaviour of probabilistic vector addition systems
T. Brázdil, S. Kiefer, A. Kučera, P. Novotný, in:, IEEE, 2015, pp. 44–55.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1661 | OA
Improved algorithms for one-pair and k-pair Streett objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.
View | Files available | DOI | Download Submitted Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1663
Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2
K. Kovács, M. Steinmann, O. Halfon, P. Magistretti, J. Cardinaux, Cellular Signalling 27 (2015) 2252–2260.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1664 | OA
The rise of fully turbulent flow
D. Barkley, B. Song, M. Vasudevan, G.M. Lemoult, M. Avila, B. Hof, Nature 526 (2015) 550–553.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1665 | OA
Mutations driving CLL and their evolution in progression and relapse
Landau D, Tausch E, Taylor Weiner A, Stewart C, Reiter J, Bahlo J, Kluth S, Božić I, Lawrence M, Böttcher S, Carter S, Cibulskis K, Mertens D, Sougnez C, Rosenberg M, Hess J, Edelmann J, Kless S, Kneba M, Ritgen M, Fink A, Fischer K, Gabriel S, Lander E, Nowak M, Döhner H, Hallek M, Neuberg D, Getz G, Stilgenbauer S, Wu C. 2015. Mutations driving CLL and their evolution in progression and relapse. Nature. 526(7574), 525–530.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Conference Paper | IST-REx-ID: 1667 | OA
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T. Brázdil, L. Korenčiak, J. Krčál, P. Novotný, V. Řehák, 9259 (2015) 141–159.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1668 | OA
Relaxing full-codebook security: A refined analysis of key-length extension schemes
P. Gazi, J. Lee, Y. Seurin, J. Steinberger, S. Tessaro, 9054 (2015) 319–341.
View | DOI | Download Submitted Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1669 | OA
The chain rule for HILL pseudoentropy, revisited
K.Z. Pietrzak, M. Skórski, 9230 (2015) 81–98.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1670
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.
View | Download None (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1671 | OA
The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC
P. Gazi, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2015, pp. 368–387.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1672 | OA
Incoercible multi-party computation and universally composable receipt-free voting
J.F. Alwen, R. Ostrovsky, H. Zhou, V. Zikas, 9216 (2015) 763–780.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1673 | OA
Amplifiers of selection
B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015).
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1674 | OA
Edge universality for deformed Wigner matrices
J. Lee, K. Schnelli, Reviews in Mathematical Physics 27 (2015).
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1675
Proofs of space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, 9216 (2015) 585–605.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1676
Editorial overview: Cell adhesion and migration
M.K. Sixt, E. Raz, Current Opinion in Cell Biology 36 (2015) 4–6.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1677 | OA
The local semicircle law for random matrices with a fourfold symmetry
J. Alt, Journal of Mathematical Physics 56 (2015).
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1678 | OA
Light-assisted small-molecule screening against protein kinases
Á. Inglés Prieto, E. Gschaider-Reichhart, M. Muellner, M. Nowak, S. Nijman, M. Grusch, H.L. Janovjak, Nature Chemical Biology 11 (2015) 952–954.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1679 | OA
Taylor's Forest
G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1680
On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1681 | OA
Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1682 | OA
Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1683
Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
J.A. Letts, L.A. Sazanov, Current Opinion in Structural Biology 33 (2015) 135–145.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1685 | OA
A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
View | DOI | Download Preprint (ext.)
 
2015 | Thesis | IST-REx-ID: 1401 | OA
Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, IST Austria, 2015.
View | Files available | Download Published Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1729
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1666 | OA
Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, PLoS Genetics 11 (2015).
View | Files available | DOI
 
2015 | Preprint | IST-REx-ID: 8183 | OA
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 5749 | OA
Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2015) 770–782.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1607 | OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1619 | OA
Quantifying the determinants of evolutionary dynamics leading to drug resistance
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
View | Files available | DOI
 
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 | Book Chapter | IST-REx-ID: 2265
Molecular pathways controlling the sequential steps of cortical projection neuron migration
S. Hippenmeyer, in:, L. Nguyen (Ed.), Cellular and Molecular Control of Neuronal Migration, Springer, 2014, pp. 1–24.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2275 | OA
Partial enumeration and curvature regularization
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
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 | Journal Article | IST-REx-ID: 2699 | OA
Universality of general β-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
View | DOI | Download Preprint (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 Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2852
Robust multi-property combiners for hash functions
M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.
View | Files available | DOI
 
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 | 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, Kyung Moon SA, 2014, pp. 1175–1194.
View | Download Published Version (ext.)
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1708
Spatio-temporal representations of uncertainty in spiking neural networks
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.
View | Download None (ext.)
 
2014 | Journal Article | IST-REx-ID: 1733 | OA
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Book Chapter | IST-REx-ID: 1806
Auxin on the road navigated by cellular PIN polarity
P. Baster, J. Friml, in:, E. Zažímalová, J. Petrášek, E. Benková (Eds.), Auxin and Its Role in Plant Development, Springer, 2014, pp. 143–170.
View | DOI
 
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: 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: 1822
Introduction
V. Jakšić, C. Pillet, R. Seiringer, Journal of Mathematical Physics 55 (2014).
View | DOI
 
2014 | Book Chapter | IST-REx-ID: 1829
Movement templates for learning of hitting and batting
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
View | 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 Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1844 | OA
Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
View | Files available | DOI
 
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 Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1853
Game theoretic secure localization in wireless sensor networks
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1854 | OA
Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1862 | OA
Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusová, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1869
Suraq - a controller synthesis tool using uninterpreted functions
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 1870 | OA
Lipschitz robustness of finite-state transducers
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
View | Files available | DOI
 
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: 1875 | OA
Cost-aware automatic program repair
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
View | Files available | DOI
 
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 Submitted Version (ext.)
 
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: 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 Submitted Version (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: 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: 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 Submitted Version (ext.)
 
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: 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 Submitted Version (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 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 | Journal Article | IST-REx-ID: 1902
Growth rates made easy
B. Hall, H. Acar, A. Nandipati, M. Barlow, Molecular Biology and Evolution 31 (2014) 232–238.
View | DOI
 

Search

Filter Publications