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.
4187 Publications
2017 | Journal Article | IST-REx-ID: 739 | 
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Č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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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