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.




3940 Publications

2017 | Journal Article | IST-REx-ID: 739 | OA
P. Nam and M. M. Napiórkowski, “A note on the validity of Bogoliubov correction to mean field dynamics,” Journal de Mathématiques Pures et Appliquées, vol. 108, no. 5. Elsevier, pp. 662–688, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 740 | OA
R. Shigemoto and M. A. Jösch, “The genetic encoded toolbox for electron microscopy and connectomics,” WIREs Developmental Biology, vol. 6, no. 6. Wiley-Blackwell, 2017.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 741 | OA
T. Moser and R. Seiringer, “Stability of a fermionic N+1 particle system with point interactions,” Communications in Mathematical Physics, vol. 356, no. 1. Springer, pp. 329–355, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 743
G. Gottlob, T. A. Henzinger, and G. Weißenbacher, “Preface of the special issue in memoriam Helmut Veith,” Formal Methods in System Design, vol. 51, no. 2. Springer, pp. 267–269, 2017.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 744 | OA
T. Priklopil, K. Chatterjee, and M. Nowak, “Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma,” Journal of Theoretical Biology, vol. 433. Elsevier, pp. 64–72, 2017.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 745 | OA
D. Xu, S. Warnecke, B. Song, X. Ma, and B. Hof, “Transition to turbulence in pulsating pipe flow,” Journal of Fluid Mechanics, vol. 831. Cambridge University Press, pp. 418–432, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 746 | OA
E. Aloisi et al., “Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 747 | OA
E. Brǎiloiu et al., “Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus,” Neuroscience, vol. 365. Elsevier, pp. 23–32, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 749 | OA
C. Chen, R. Satterfield, S. Young, and P. M. Jonas, “Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses,” Cell Reports, vol. 21, no. 8. Cell Press, pp. 2082–2089, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 750
J. Pielorz, M. Prandtstetter, M. Straub, and C. Lampert, “Optimal geospatial volunteer allocation needs realistic distances,” in 2017 IEEE International Conference on Big Data, Boston, MA, United States, 2017, pp. 3760–3763.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 751 | OA
Y. Matsubayashi et al., “A moving source of matrix components is essential for De Novo basement membrane formation,” Current Biology, vol. 27, no. 22. Cell Press, p. 3526–3534e.4, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1063 | OA
H. Uecker, “Evolutionary rescue in randomly mating, selfing, and clonal populations,” Evolution, vol. 71, no. 4. Wiley-Blackwell, pp. 845–858, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1065 | OA
K. Chatterjee and G. F. Osang, “Pushdown reachability with constant treewidth,” Information Processing Letters, vol. 122. Elsevier, pp. 25–29, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1066
K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, “Quantitative fair simulation games,” Information and Computation, vol. 254, no. 2. Elsevier, pp. 143–166, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1067 | OA
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, and C.-P. J. Heisenberg, “The physical basis of coordinated tissue spreading in zebrafish gastrulation,” Developmental Cell, vol. 40, no. 4. Cell Press, pp. 354–366, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1072 | OA
U. Bauer and H. Edelsbrunner, “The Morse theory of Čech and delaunay complexes,” Transactions of the American Mathematical Society, vol. 369, no. 5. American Mathematical Society, pp. 3741–3762, 2017.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 1073 | OA
M. Čadek, M. Krcál, and L. Vokřínek, “Algorithmic solvability of the lifting extension problem,” Discrete & Computational Geometry, vol. 54, no. 4. Springer, pp. 915–965, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1074 | OA
H. Ringbauer, G. Coop, and N. H. Barton, “Inferring recent demography from isolation by distance of long shared sequence blocks,” Genetics, vol. 205, no. 3. Genetics Society of America, pp. 1335–1351, 2017.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1076 | OA
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, and C. Keitel, “Strong-field ionization via a high-order Coulomb-corrected strong-field approximation,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 95, no. 2. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1077 | OA
R. A. Fernandes Redondo, H. de Vladar, T. Włodarski, and J. P. Bollback, “Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family,” Journal of the Royal Society Interface, vol. 14, no. 126. Royal Society of London, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1078 | OA
D. von Wangenheim, R. Hauschild, and J. Friml, “Light sheet fluorescence microscopy of plant roots growing on the surface of a gel,” Journal of visualized experiments JoVE, vol. 2017, no. 119. Journal of Visualized Experiments, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1079 | OA
P. Nam and H. Van Den Bosch, “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges,” Mathematical Physics, Analysis and Geometry, vol. 20, no. 2. Springer, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1080 | OA
J. Reiter et al., “Reconstructing metastatic seeding patterns of human cancers,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1084
C. Fang et al., “Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis,” Molecular Microbiology, vol. 104, no. 1. Wiley-Blackwell, pp. 16–31, 2017.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1085 | OA
A. Wright et al., “Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1087 | OA
B. Song, D. Barkley, B. Hof, and M. Avila, “Speed and structure of turbulent fronts in pipe flow,” Journal of Fluid Mechanics, vol. 813. Cambridge University Press, pp. 1045–1059, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1089 | OA
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, and P. Zwiernik, “Total positivity in Markov structures,” Annals of Statistics, vol. 45, no. 3. Institute of Mathematical Statistics, pp. 1152–1184, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1104 | OA
S. Deny et al., “Multiplexed computations in retinal ganglion cells of a single type,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1108 | OA
A. Zimin and C. Lampert, “Learning theory for conditional risk minimization,” presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 213–222.
View | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1109 | OA
B. Shepperson et al., “Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free,” Physical Review Letters, vol. 118, no. 20. American Physical Society, 2017.
View | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1110 | OA
B. Kuhn et al., “Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1111 | OA
J. Heredia, B. Trubenova, D. Sudholt, and T. Paixao, “Selection limits to adaptive walks on correlated landscapes,” Genetics, vol. 205, no. 2. Genetics Society of America, pp. 803–825, 2017.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 1112
T. Paixao and J. Pérez Heredia, “An application of stochastic differential equations to evolutionary algorithms,” in Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Copenhagen, Denmark, 2017, pp. 3–11.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1113 | OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” Journal of Graph Algorithms and Applications, vol. 21, no. 1. Brown University, pp. 135–154, 2017.
View | Files available | DOI | arXiv
 
2017 | Journal Article | IST-REx-ID: 1114 | OA
J. M. Fink, A. Dombi, A. Vukics, A. Wallraff, and P. Domokos, “Observation of the photon blockade breakdown phase transition,” Physical Review X, vol. 7, no. 1. American Physical Society, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1116 | OA
G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1117 | OA
C. Chen, itaru Arai, R. Satterield, S. Young, and P. M. Jonas, “Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse,” Cell Reports, vol. 18, no. 3. Cell Press, pp. 723–736, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1118 | OA
J. Gan, S.-M. Weng, A. Pernia-Andrade, J. L. Csicsvari, and P. M. Jonas, “Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo,” Neuron, vol. 93, no. 2. Elsevier, pp. 308–314, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1119 | OA
M. Lemeshko, “Quasiparticle approach to molecules interacting with quantum solvents,” Physical Review Letters, vol. 118, no. 9. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1120 | OA
X. Li, R. Seiringer, and M. Lemeshko, “Angular self-localization of impurities rotating in a bosonic bath,” Physical Review A, vol. 95, no. 3. American Physical Society, 2017.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Thesis | IST-REx-ID: 1127 | OA
T. Prat, “Identification of novel regulators of PIN polarity and development of novel auxin sensor,” IST Austria, 2017.
View | Files available
 
2017 | Journal Article | IST-REx-ID: 1132 | OA
J. O’Neill, C. N. Boccara, F. Stella, P. Schönenberger, and J. L. Csicsvari, “Superficial layers of the medial entorhinal cortex replay independently of the hippocampus,” Science, vol. 355, no. 6321. American Association for the Advancement of Science, pp. 184–188, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1133 | OA
E. Yakaboylu and M. Lemeshko, “Anomalous screening of quantum impurities by a neutral environment,” Physical Review Letters, vol. 118, no. 8. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1144 | OA
L. Erdös and D. J. Schröder, “Fluctuations of functions of Wigner matrices,” Electronic Communications in Probability, vol. 21. Institute of Mathematical Statistics, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1146
W. Sun et al., “Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels,” Clinical Nutrition, vol. 36, no. 4. Churchill Livingstone, pp. 1136–1142, 2017.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1152 | OA
E. P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, and J. Alvarez Aramberri, “A multi objective memetic inverse solver reinforced by local optimization methods,” Journal of Computational Science, vol. 18. Elsevier, pp. 85–94, 2017.
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 1155 | OA
P. Daca, “Statistical and logical methods for property checking,” IST Austria, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1160 | OA
S. Altmeyer, Y. Do, and Y. Lai, “Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1161
J. Müller and M. K. Sixt, “Cell migration: Making the waves,” Current Biology, vol. 27, no. 1. Cell Press, pp. R24–R25, 2017.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1162 | OA
J. Spałek, M. Zegrodnik, and J. Kaczmarczyk, “Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment,” Physical Review B - Condensed Matter and Materials Physics, vol. 95, no. 2. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1163
M. Wysokiński and J. Kaczmarczyk, “Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms,” Journal of Physics: Condensed Matter, vol. 29, no. 8. IOP Publishing Ltd., 2017.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1168 | OA
E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1169 | OA
S. Novak and R. Kollár, “Spatial gene frequency waves under genotype dependent dispersal,” Genetics, vol. 205, no. 1. Genetics Society of America, pp. 367–374, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 609 | OA
J. F. Alwen and B. Tackmann, “Moderately hard functions: Definition, instantiations, and applications,” presented at the TCC: Theory of Cryptography, Baltimore, MD, United States, 2017, vol. 10677, pp. 493–526.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 610 | OA
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result,” Israel Journal of Mathematics, vol. 222, no. 2. Springer, pp. 841–866, 2017.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 611
D. Bradley et al., “Evolution of flower color pattern through selection on regulatory small RNAs,” Science, vol. 358, no. 6365. American Association for the Advancement of Science, pp. 925–928, 2017.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 613 | OA
R. P. Chait, J. Ruess, T. Bergmiller, G. Tkačik, and C. C. Guet, “Shaping bacterial population behavior through computer interfaced control of individual cells,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 614 | OA
C. Fraisse, M. A. L. Picard, and B. Vicoso, “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 615 | OA
L. Erdös and K. Schnelli, “Universality for random matrix flows with time dependent density,” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 53, no. 4. Institute of Mathematical Statistics, pp. 1606–1656, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 6196 | OA
P. Gazi, K. Z. Pietrzak, and M. Rybar, “The exact security of PMAC,” IACR Transactions on Symmetric Cryptology, vol. 2016, no. 2. Ruhr University Bochum, pp. 145–161, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 621 | OA
R. J. Beattie and S. Hippenmeyer, “Mechanisms of radial glia progenitor cell lineage progression,” FEBS letters, vol. 591, no. 24. Wiley-Blackwell, pp. 3993–4008, 2017.
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 623
E. Hill Yardin, S. Mckeown, G. Novarino, and A. Grabrucker, “Extracerebral dysfunction in animal models of autism spectrum disorder,” in Translational Anatomy and Cell Biology of Autism Spectrum Disorder, vol. 224, M. Schmeisser and T. Boekers, Eds. Springer, 2017, pp. 159–187.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 624 | OA
N. Nikolic, Z. Didara, and I. Moll, “MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations,” PeerJ, vol. 2017, no. 9. PeerJ, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 626 | OA
N. H. Barton, A. Etheridge, and A. Véber, “The infinitesimal model: Definition derivation and implications,” Theoretical Population Biology, vol. 118. Academic Press, pp. 50–73, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 627 | OA
C. Jiang et al., “Dietary menthol-induced TRPM8 activation enhances WAT ‘browning’ and ameliorates diet-induced obesity,” Oncotarget, vol. 8, no. 43. Impact Journals LLC, pp. 75114–75126, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 628 | OA
K. Chatterjee, H. Fu, and A. Murhekar, “Automated recurrence analysis for almost linear expected runtime bounds,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10426, pp. 118–139.
View | DOI | Download Submitted Version (ext.)
 
2017 | Thesis | IST-REx-ID: 6287 | OA
A. Nikitenko, “Discrete Morse theory for random complexes ,” IST Austria, 2017.
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 629
M. Loose, K. Zieske, and P. Schwille, “Reconstitution of protein dynamics involved in bacterial cell division,” in Prokaryotic Cytoskeletons, vol. 84, Springer, 2017, pp. 419–444.
View | DOI | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 6291 | OA
P. Payne, “Bacterial herd and social immunity to phages,” IST Austria, 2017.
View | Files available
 
2017 | Conference Paper | IST-REx-ID: 630 | OA
S. Sauermann et al., “Biosignals standards and FHIR: The way to go,” presented at the eHealth: Health Informatics Meets eHealth, Vienna, Austria, 2017, vol. 236, pp. 356–362.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 631 | OA
S. Bogomolov, G. Frehse, M. Giacobbe, and T. A. Henzinger, “Counterexample guided refinement of template polyhedra,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 589–606.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 632 | OA
M. Lewin, P. Nam, and N. Rougerie, “A note on 2D focusing many boson systems,” Proceedings of the American Mathematical Society, vol. 145, no. 6. American Mathematical Society, pp. 2441–2454, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 633
S. Bak, S. Bogomolov, T. A. Henzinger, and A. Kumar, “Challenges and tool implementation of hybrid rapidly exploring random trees,” presented at the NSV: Numerical Software Verification, Heidelberg, Germany, 2017, vol. 10381, pp. 83–89.
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 634
J. Schroeder, E. Deliu, G. Novarino, and M. Schmeisser, “Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder,” in Translational Anatomy and Cell Biology of Autism Spectrum Disorder, vol. 224, M. Schmeisser and T. Boekers, Eds. Springer, 2017, pp. 189–211.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 635 | OA
J. F. Alwen, B. Chen, K. Z. Pietrzak, L. Reyzin, and S. Tessaro, “Scrypt is maximally memory hard,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France, 2017, vol. 10212, pp. 33–62.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 636 | OA
A. Bakhirkin, T. Ferrere, O. Maler, and D. Ulus, “On the quantitative semantics of regular expressions over real-valued signals,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 189–206.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 637 | OA
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K. Z. Pietrzak, and D. Wichs, “Be adaptive avoid overcommitting,” presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States, 2017, vol. 10401, pp. 133–163.
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 640 | OA
J. F. Alwen, J. Blocki, and K. Z. Pietrzak, “Depth-robust graphs and their cumulative memory complexity,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France, 2017, vol. 10212, pp. 3–32.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 641
V. Trajkovska, P. Swoboda, F. Åström, and S. Petra, “Graphical model parameter learning by inverse linear programming,” presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 323–334.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 642 | OA
M. Gerencser and I. Gyöngy, “Localization errors in solving stochastic partial differential equations in the whole space,” Mathematics of Computation, vol. 86, no. 307. American Mathematical Society, pp. 2373–2397, 2017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Technical Report | IST-REx-ID: 6426 | OA
T. A. Henzinger, B. Kragl, and S. Qadeer, Synchronizing the asynchronous. IST Austria, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 643
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, and C. Jiang, “Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats,” Chinese Journal of Physiology, vol. 60, no. 4. Chinese Physiological Society, pp. 207–214, 2017.
View | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 644 | OA
V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” SIAM Journal on Computing, vol. 46, no. 3. SIAM, pp. 1087–1110, 2017.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Conference Paper | IST-REx-ID: 645 | OA
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, and T. Meggendorfer, “Value iteration for long run average reward in markov decision processes,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10426, pp. 201–221.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 646 | OA
J. Kuske, P. Swoboda, and S. Petra, “A novel convex relaxation for non binary discrete tomography,” presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 235–246.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 647 | OA
S. Bogomolov, M. Giacobbe, T. A. Henzinger, and H. Kong, “Conic abstractions for hybrid systems,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 116–132.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 648 | OA
M. Skórski, “On the complexity of breaking pseudoentropy,” presented at the TAMC: Theory and Applications of Models of Computation, Bern, Switzerland, 2017, vol. 10185, pp. 600–613.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 650 | OA
M. Skórski, “A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds,” presented at the TAMC: Theory and Applications of Models of Computation, Bern, Switzerland, 2017, vol. 10185, pp. 586–599.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 651
B. Hof, “Fluid dynamics: Water flows out of touch,” Nature, vol. 541, no. 7636. Nature Publishing Group, pp. 161–162, 2017.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 6517 | OA
R. Fulek, “Embedding graphs into embedded graphs,” presented at the ISAAC: International Symposium on Algorithms and Computation, Phuket, Thailand, 2017, vol. 92.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 652
R. Der and G. S. Martius, “Dynamical self consistency leads to behavioral development and emergent social interactions in robots,” presented at the ICDL EpiRob: International Conference on Development and Learning and Epigenetic Robotics , Cergy-Pontoise, France, 2017.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 6526 | OA
M. Skórski, “On the complexity of estimating Rènyi divergences,” in 2017 IEEE International Symposium on Information Theory (ISIT), Aachen, Germany, 2017.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 6527 | OA
J. F. Alwen, J. Blocki, and B. Harsha, “Practical graphs for optimal side-channel resistant memory-hard functions,” in Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, Dallas, TX, USA, 2017, pp. 1001–1017.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 654 | OA
A. Kicheva and N. Rivron, “Creating to understand – developmental biology meets engineering in Paris,” Development, vol. 144, no. 5. Company of Biologists, pp. 733–736, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 655 | OA
T. Renault et al., “Bacterial flagella grow through an injection diffusion mechanism,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 656
G. Novarino, “Modeling Alzheimer’s disease in mice with human neurons,” Science Translational Medicine, vol. 9, no. 381. American Association for the Advancement of Science, 2017.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 657 | OA
B. Möller et al., “Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo,” PNAS, vol. 114, no. 12. National Academy of Sciences, pp. E2533–E2539, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 658 | OA
R. Der and G. S. Martius, “Self organized behavior generation for musculoskeletal robots,” Frontiers in Neurorobotics, vol. 11, no. MAR. Frontiers Research Foundation, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 659 | OA
F. Kage et al., “FMNL formins boost lamellipodial force generation,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 660 | OA
J. Rickman, C. F. Düllberg, N. Cade, L. Griffin, and T. Surrey, “Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation,” PNAS, vol. 114, no. 13. National Academy of Sciences, pp. 3427–3432, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications