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.




4080 Publications

2017 | Journal Article | IST-REx-ID: 734 | OA
Kennedy P, Baron G, Qiu B, et al. Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. 2017;32(11):861-872. doi:10.1016/j.tree.2017.08.004
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 736 | OA
Rubio M, Matsui K, Fukazawa Y, et al. The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells. Brain Structure and Function. 2017;222(8):3375-3393. doi:10.1007/s00429-017-1408-0
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 7360 | OA
Smole A, Lainšček D, Bezeljak U, Horvat S, Jerala R. A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. 2017;25(1):102-119. doi:10.1016/j.ymthe.2016.10.005
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 737
Virk Z, Zastrow A. A new topology on the universal path space. Topology and its Applications. 2017;231:186-196. doi:10.1016/j.topol.2017.09.015
View | DOI
 
2017 | Journal Article | IST-REx-ID: 739 | OA
Nam P, Napiórkowski MM. A note on the validity of Bogoliubov correction to mean field dynamics. Journal de Mathématiques Pures et Appliquées. 2017;108(5):662-688. doi:10.1016/j.matpur.2017.05.013
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 740 | OA
Shigemoto R, Jösch MA. The genetic encoded toolbox for electron microscopy and connectomics. WIREs Developmental Biology. 2017;6(6). doi:10.1002/wdev.288
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 741 | OA
Moser T, Seiringer R. Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. 2017;356(1):329-355. doi:10.1007/s00220-017-2980-0
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 743
Gottlob G, Henzinger TA, Weißenbacher G. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 2017;51(2):267-269. doi:10.1007/s10703-017-0307-6
View | DOI
 
2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil T, Chatterjee K, Nowak M. Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. 2017;433:64-72. doi:10.1016/j.jtbi.2017.08.025
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 745 | OA
Xu D, Warnecke S, Song B, Ma X, Hof B. Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. 2017;831:418-432. doi:10.1017/jfm.2017.620
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 746 | OA
Aloisi E, Le Corf K, Dupuis J, et al. Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01191-2
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu E, Mcguire M, Shuler S, et al. Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. 2017;365:23-32. doi:10.1016/j.neuroscience.2017.09.034
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 749 | OA
Chen C, Satterfield R, Young S, Jonas PM. Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. 2017;21(8):2082-2089. doi:10.1016/j.celrep.2017.10.122
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 750
Pielorz J, Prandtstetter M, Straub M, Lampert C. Optimal geospatial volunteer allocation needs realistic distances. In: 2017 IEEE International Conference on Big Data. IEEE; 2017:3760-3763. doi:10.1109/BigData.2017.8258375
View | DOI
 
2017 | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 2017;27(22):3526-3534e.4. doi:10.1016/j.cub.2017.10.001
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1063 | OA
Uecker H. Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. 2017;71(4):845-858. doi:10.1111/evo.13191
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee K, Osang GF. Pushdown reachability with constant treewidth. Information Processing Letters. 2017;122:25-29. doi:10.1016/j.ipl.2017.02.003
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1067 | OA
Morita H, Grigolon S, Bock M, Krens G, Salbreux G, Heisenberg C-PJ. The physical basis of coordinated tissue spreading in zebrafish gastrulation. Developmental Cell. 2017;40(4):354-366. doi:10.1016/j.devcel.2017.01.010
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1072 | OA
Bauer U, Edelsbrunner H. The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. 2017;369(5):3741-3762. doi:10.1090/tran/6991
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 1073 | OA
Čadek M, Krcál M, Vokřínek L. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 2017;54(4):915-965. doi:10.1007/s00454-016-9855-6
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1074 | OA
Ringbauer H, Coop G, Barton NH. Inferring recent demography from isolation by distance of long shared sequence blocks. Genetics. 2017;205(3):1335-1351. doi:10.1534/genetics.116.196220
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1076 | OA
Klaiber M, Daněk J, Yakaboylu E, Hatsagortsyan K, Keitel C. Strong-field ionization via a high-order Coulomb-corrected strong-field approximation. Physical Review A - Atomic, Molecular, and Optical Physics. 2017;95(2). doi:10.1103/PhysRevA.95.023403
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1078 | OA
von Wangenheim D, Hauschild R, Friml J. Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of visualized experiments JoVE. 2017;2017(119). doi:10.3791/55044
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1079 | OA
Nam P, Van Den Bosch H. Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges. Mathematical Physics, Analysis and Geometry. 2017;20(2). doi:10.1007/s11040-017-9238-0
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1080 | OA
Reiter J, Makohon Moore A, Gerold J, et al. Reconstructing metastatic seeding patterns of human cancers. Nature Communications. 2017;8. doi:10.1038/ncomms14114
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1084
Fang C, Nagy-Staron AA, Grafe M, et al. Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis. Molecular Microbiology. 2017;104(1):16-31. doi:10.1111/mmi.13597
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1085 | OA
Wright A, Darolti I, Bloch N, et al. Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation. Nature Communications. 2017;8. doi:10.1038/ncomms14251
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1087 | OA
Song B, Barkley D, Hof B, Avila M. Speed and structure of turbulent fronts in pipe flow. Journal of Fluid Mechanics. 2017;813:1045-1059. doi:10.1017/jfm.2017.14
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1089 | OA
Fallat S, Lauritzen S, Sadeghi K, Uhler C, Wermuth N, Zwiernik P. Total positivity in Markov structures. Annals of Statistics. 2017;45(3):1152-1184. doi:10.1214/16-AOS1478
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1104 | OA
Deny S, Ferrari U, Mace E, et al. Multiplexed computations in retinal ganglion cells of a single type. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-02159-y
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1108 | OA
Zimin A, Lampert C. Learning theory for conditional risk minimization. In: Vol 54. JMLR, Inc. and Microtome Publishing; 2017:213-222.
View | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1109 | OA
Shepperson B, Søndergaard A, Christiansen L, et al. Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free. Physical Review Letters. 2017;118(20). doi:10.1103/PhysRevLett.118.203203
View | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1110 | OA
Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 2017;7. doi:10.1038/srep41906
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1111 | OA
Heredia J, Trubenova B, Sudholt D, Paixao T. Selection limits to adaptive walks on correlated landscapes. Genetics. 2017;205(2):803-825. doi:10.1534/genetics.116.189340
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 1112
Paixao T, Pérez Heredia J. An application of stochastic differential equations to evolutionary algorithms. In: Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. ACM; 2017:3-11. doi:10.1145/3040718.3040729
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1113 | OA
Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. 2017;21(1):135-154. doi:10.7155/jgaa.00408
View | Files available | DOI | arXiv
 
2017 | Journal Article | IST-REx-ID: 1114 | OA
Fink JM, Dombi A, Vukics A, Wallraff A, Domokos P. Observation of the photon blockade breakdown phase transition. Physical Review X. 2017;7(1). doi:10.1103/PhysRevX.7.011012
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1116 | OA
Avni G, Goel S, Henzinger TA, Rodríguez Navas G. Computing scores of forwarding schemes in switched networks with probabilistic faults. In: Vol 10206. Springer; 2017:169-187. doi:10.1007/978-3-662-54580-5_10
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1117 | OA
Chen C, Arai itaru, Satterield R, Young S, Jonas PM. Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports. 2017;18(3):723-736. doi:10.1016/j.celrep.2016.12.067
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1118 | OA
Gan J, Weng S-M, Pernia-Andrade A, Csicsvari JL, Jonas PM. Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. Neuron. 2017;93(2):308-314. doi:10.1016/j.neuron.2016.12.018
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1119 | OA
Lemeshko M. Quasiparticle approach to molecules interacting with quantum solvents. Physical Review Letters. 2017;118(9). doi:10.1103/PhysRevLett.118.095301
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1120 | OA
Li X, Seiringer R, Lemeshko M. Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. 2017;95(3). doi:10.1103/PhysRevA.95.033608
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Thesis | IST-REx-ID: 1127 | OA
Prat T. Identification of novel regulators of PIN polarity and development of novel auxin sensor. 2017.
View | Files available
 
2017 | Journal Article | IST-REx-ID: 1132 | OA
O’Neill J, Boccara CN, Stella F, Schönenberger P, Csicsvari JL. Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science. 2017;355(6321):184-188. doi:10.1126/science.aag2787
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1133 | OA
Yakaboylu E, Lemeshko M. Anomalous screening of quantum impurities by a neutral environment. Physical Review Letters. 2017;118(8). doi:10.1103/PhysRevLett.118.085302
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös L, Schröder DJ. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 2017;21. doi:10.1214/16-ECP38
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1146
Sun W, Zhai M-Z, Li D, et al. Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. 2017;36(4):1136-1142. doi:10.1016/j.clnu.2016.07.016
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1152 | OA
Gajda-Zagorska EP, Schaefer R, Smołka M, Pardo D, Alvarez Aramberri J. A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. 2017;18:85-94. doi:10.1016/j.jocs.2016.06.007
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 1155 | OA
Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1160 | OA
Altmeyer S, Do Y, Lai Y. Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio. Scientific Reports. 2017;7. doi:10.1038/srep40012
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1161
Müller J, Sixt MK. Cell migration: Making the waves. Current Biology. 2017;27(1):R24-R25. doi:10.1016/j.cub.2016.11.035
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1162 | OA
Spałek J, Zegrodnik M, Kaczmarczyk J. 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. 2017;95(2). doi:10.1103/PhysRevB.95.024506
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1163
Wysokiński M, Kaczmarczyk J. Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms. Journal of Physics: Condensed Matter. 2017;29(8). doi:10.1088/1361-648X/aa532f
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1168 | OA
Perrone E, Rappold A, Müller W. D inf s optimality in copula models. Statistical Methods and Applications. 2017;26(3):403-418. doi:10.1007/s10260-016-0375-6
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1169 | OA
Novak S, Kollár R. Spatial gene frequency waves under genotype dependent dispersal. Genetics. 2017;205(1):367-374. doi:10.1534/genetics.116.193946
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 609 | OA
Alwen JF, Tackmann B. Moderately hard functions: Definition, instantiations, and applications. In: Kalai Y, Reyzin L, eds. Vol 10677. Springer; 2017:493-526. doi:10.1007/978-3-319-70500-2_17
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 610 | OA
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result. Israel Journal of Mathematics. 2017;222(2):841-866. doi:10.1007/s11856-017-1607-7
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 611
Bradley D, Xu P, Mohorianu I, et al. Evolution of flower color pattern through selection on regulatory small RNAs. Science. 2017;358(6365):925-928. doi:10.1126/science.aao3526
View | DOI
 
2017 | Journal Article | IST-REx-ID: 613 | OA
Chait RP, Ruess J, Bergmiller T, Tkačik G, Guet CC. Shaping bacterial population behavior through computer interfaced control of individual cells. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01683-1
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 614 | OA
Fraisse C, Picard MAL, Vicoso B. The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01663-5
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 615 | OA
Erdös L, Schnelli K. Universality for random matrix flows with time dependent density. Annales de l’institut Henri Poincare (B) Probability and Statistics. 2017;53(4):1606-1656. doi:10.1214/16-AIHP765
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 6196 | OA
Gazi P, Pietrzak KZ, Rybar M. The exact security of PMAC. IACR Transactions on Symmetric Cryptology. 2017;2016(2):145-161. doi:10.13154/TOSC.V2016.I2.145-161
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 621 | OA
Beattie RJ, Hippenmeyer S. Mechanisms of radial glia progenitor cell lineage progression. FEBS letters. 2017;591(24):3993-4008. doi:10.1002/1873-3468.12906
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 623
Hill Yardin E, Mckeown S, Novarino G, Grabrucker A. Extracerebral dysfunction in animal models of autism spectrum disorder. In: Schmeisser M, Boekers T, eds. Translational Anatomy and Cell Biology of Autism Spectrum Disorder. Vol 224. Advances in Anatomy Embryology and Cell Biology. Springer; 2017:159-187. doi:10.1007/978-3-319-52498-6_9
View | DOI
 
2017 | Journal Article | IST-REx-ID: 624 | OA
Nikolic N, Didara Z, Moll I. MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ. 2017;2017(9). doi:10.7717/peerj.3830
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 626 | OA
Barton NH, Etheridge A, Véber A. The infinitesimal model: Definition derivation and implications. Theoretical Population Biology. 2017;118:50-73. doi:10.1016/j.tpb.2017.06.001
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 627 | OA
Jiang C, Zhai M-Z, Yan D, et al. Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. 2017;8(43):75114-75126. doi:10.18632/oncotarget.20540
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 628 | OA
Chatterjee K, Fu H, Murhekar A. Automated recurrence analysis for almost linear expected runtime bounds. In: Majumdar R, Kunčak V, eds. Vol 10426. Springer; 2017:118-139. doi:10.1007/978-3-319-63387-9_6
View | DOI | Download Submitted Version (ext.)
 
2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko A. Discrete Morse theory for random complexes . 2017. doi:10.15479/AT:ISTA:th_873
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 629
Loose M, Zieske K, Schwille P. Reconstitution of protein dynamics involved in bacterial cell division. In: Prokaryotic Cytoskeletons. Vol 84. Sub-Cellular Biochemistry. Springer; 2017:419-444. doi:10.1007/978-3-319-53047-5_15
View | DOI | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 6291 | OA
Payne P. Bacterial herd and social immunity to phages. 2017.
View | Files available
 
2017 | Conference Paper | IST-REx-ID: 630 | OA
Sauermann S, David V, Schlögl A, et al. Biosignals standards and FHIR: The way to go. In: Vol 236. IOS Press; 2017:356-362. doi:10.3233/978-1-61499-759-7-356
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:10.1007/978-3-662-54577-5_34
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 632 | OA
Lewin M, Nam P, Rougerie N. A note on 2D focusing many boson systems. Proceedings of the American Mathematical Society. 2017;145(6):2441-2454. doi:10.1090/proc/13468
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 633
Bak S, Bogomolov S, Henzinger TA, Kumar A. Challenges and tool implementation of hybrid rapidly exploring random trees. In: Abate A, Bodo S, eds. Vol 10381. Springer; 2017:83-89. doi:10.1007/978-3-319-63501-9_6
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 634
Schroeder J, Deliu E, Novarino G, Schmeisser M. Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In: Schmeisser M, Boekers T, eds. Translational Anatomy and Cell Biology of Autism Spectrum Disorder. Vol 224. Advances in Anatomy Embryology and Cell Biology. Springer; 2017:189-211. doi:10.1007/978-3-319-52498-6_10
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 635 | OA
Alwen JF, Chen B, Pietrzak KZ, Reyzin L, Tessaro S. Scrypt is maximally memory hard. In: Coron J-S, Buus Nielsen J, eds. Vol 10212. Springer; 2017:33-62. doi:10.1007/978-3-319-56617-7_2
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:10.1007/978-3-319-65765-3_11
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 637 | OA
Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. Be adaptive avoid overcommitting. In: Katz J, Shacham H, eds. Vol 10401. Springer; 2017:133-163. doi:10.1007/978-3-319-63688-7_5
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 640 | OA
Alwen JF, Blocki J, Pietrzak KZ. Depth-robust graphs and their cumulative memory complexity. In: Coron J-S, Buus Nielsen J, eds. Vol 10212. Springer; 2017:3-32. doi:10.1007/978-3-319-56617-7_1
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 641
Trajkovska V, Swoboda P, Åström F, Petra S. Graphical model parameter learning by inverse linear programming. In: Lauze F, Dong Y, Bjorholm Dahl A, eds. Vol 10302. Springer; 2017:323-334. doi:10.1007/978-3-319-58771-4_26
View | DOI
 
2017 | Journal Article | IST-REx-ID: 642 | OA
Gerencser M, Gyöngy I. Localization errors in solving stochastic partial differential equations in the whole space. Mathematics of Computation. 2017;86(307):2373-2397. doi:10.1090/mcom/3201
View | DOI | Download Submitted Version (ext.)
 
2017 | Technical Report | IST-REx-ID: 6426 | OA
Henzinger TA, Kragl B, Qadeer S. Synchronizing the Asynchronous. IST Austria; 2017. doi:10.15479/AT:IST-2018-853-v2-2
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 643
Sun W, Zhai M-Z, Zhou Q, Qian C, Jiang C. Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats. Chinese Journal of Physiology. 2017;60(4):207-214. doi:10.4077/CJP.2017.BAF469
View | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 644 | OA
Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. SIAM Journal on Computing. 2017;46(3):1087-1110. doi:10.1137/16M1091836
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Conference Paper | IST-REx-ID: 645 | OA
Ashok P, Chatterjee K, Daca P, Kretinsky J, Meggendorfer T. Value iteration for long run average reward in markov decision processes. In: Majumdar R, Kunčak V, eds. Vol 10426. Springer; 2017:201-221. doi:10.1007/978-3-319-63387-9_10
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 646 | OA
Kuske J, Swoboda P, Petra S. A novel convex relaxation for non binary discrete tomography. In: Lauze F, Dong Y, Bjorholm Dahl A, eds. Vol 10302. Springer; 2017:235-246. doi:10.1007/978-3-319-58771-4_19
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 648 | OA
Skórski M. On the complexity of breaking pseudoentropy. In: Jäger G, Steila S, eds. Vol 10185. Springer; 2017:600-613. doi:10.1007/978-3-319-55911-7_43
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 650 | OA
Skórski M. A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds. In: Jäger G, Steila S, eds. Vol 10185. Springer; 2017:586-599. doi:10.1007/978-3-319-55911-7_42
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 651
Hof B. Fluid dynamics: Water flows out of touch. Nature. 2017;541(7636):161-162. doi:10.1038/541161a
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 6517 | OA
Fulek R. Embedding graphs into embedded graphs. In: Vol 92. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPICS.ISAAC.2017.34
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 652
Der R, Martius GS. Dynamical self consistency leads to behavioral development and emergent social interactions in robots. In: IEEE; 2017. doi:10.1109/DEVLRN.2016.7846789
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 6526 | OA
Skórski M. On the complexity of estimating Rènyi divergences. In: 2017 IEEE International Symposium on Information Theory (ISIT). IEEE; 2017. doi:10.1109/isit.2017.8006529
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 6527 | OA
Alwen JF, Blocki J, Harsha B. Practical graphs for optimal side-channel resistant memory-hard functions. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. ACM Press; 2017:1001-1017. doi:10.1145/3133956.3134031
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 654 | OA
Kicheva A, Rivron N. Creating to understand – developmental biology meets engineering in Paris. Development. 2017;144(5):733-736. doi:10.1242/dev.144915
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 655 | OA
Renault T, Abraham A, Bergmiller T, et al. Bacterial flagella grow through an injection diffusion mechanism. eLife. 2017;6. doi:10.7554/eLife.23136
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 656
Novarino G. Modeling Alzheimer’s disease in mice with human neurons. Science Translational Medicine. 2017;9(381). doi:10.1126/scitranslmed.aam9867
View | DOI
 
2017 | Journal Article | IST-REx-ID: 657 | OA
Möller B, Ten Hove C, Xiang D, et al. Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo. PNAS. 2017;114(12):E2533-E2539. doi:10.1073/pnas.1616493114
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications