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.




4165 Publications

2017 | Journal Article | IST-REx-ID: 730
Maximum entropy models as a tool for building precise neural controls
C. Savin, G. Tkačik, Current Opinion in Neurobiology 46 (2017) 120–126.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 731
The science of love in ASD and ADHD
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 
2017 | Journal Article | IST-REx-ID: 732 | OA
Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour
C. Pull, S. Cremer, BMC Evolutionary Biology 17 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 733 | OA
Convergence rate for spectral distribution of addition of random matrices
Z. Bao, L. Erdös, K. Schnelli, Advances in Mathematics 319 (2017) 251–291.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 734 | OA
Deconstructing superorganisms and societies to address big questions in biology
P. Kennedy, G. Baron, B. Qiu, D. Freitak, H. Helantera, E. Hunt, F. Manfredini, T. O’Shea Wheller, S. Patalano, C. Pull, T. Sasaki, D. Taylor, C. Wyatt, S. Sumner, Trends in Ecology and Evolution 32 (2017) 861–872.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 736 | OA
The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells
M. Rubio, K. Matsui, Y. Fukazawa, N. Kamasawa, H. Harada, M. Itakura, E. Molnár, M. Abe, K. Sakimura, R. Shigemoto, Brain Structure and Function 222 (2017) 3375–3393.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 7360 | OA
A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation
A. Smole, D. Lainšček, U. Bezeljak, S. Horvat, R. Jerala, Molecular Therapy 25 (2017) 102–119.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 737
A new topology on the universal path space
Z. Virk, A. Zastrow, Topology and Its Applications 231 (2017) 186–196.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 739 | OA
A note on the validity of Bogoliubov correction to mean field dynamics
P. Nam, M.M. Napiórkowski, Journal de Mathématiques Pures et Appliquées 108 (2017) 662–688.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 740 | OA
The genetic encoded toolbox for electron microscopy and connectomics
R. Shigemoto, M.A. Jösch, WIREs Developmental Biology 6 (2017).
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 741 | OA
Stability of a fermionic N+1 particle system with point interactions
T. Moser, R. Seiringer, Communications in Mathematical Physics 356 (2017) 329–355.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 743
Preface of the special issue in memoriam Helmut Veith
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 744 | OA
Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
T. Priklopil, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 433 (2017) 64–72.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 745 | OA
Transition to turbulence in pulsating pipe flow
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 746 | OA
Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 747 | OA
Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus
E. Brǎiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 749 | OA
Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses
C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 750
Optimal geospatial volunteer allocation needs realistic distances
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 751 | OA
A moving source of matrix components is essential for De Novo basement membrane formation
Y. Matsubayashi, A. Louani, A. Dragu, B. Sanchez Sanchez, E. Serna Morales, L. Yolland, A. György, G. Vizcay, R. Fleck, J. Heddleston, T. Chew, D.E. Siekhaus, B. Stramer, Current Biology 27 (2017) 3526–3534e.4.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1063 | OA View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1065 | OA
Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1066
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1067 | OA
The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1072 | OA
The Morse theory of Čech and delaunay complexes
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 1073 | OA
Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1074 | OA
Inferring recent demography from isolation by distance of long shared sequence blocks
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1076 | OA
Strong-field ionization via a high-order Coulomb-corrected strong-field approximation
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel, Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1078 | OA
Light sheet fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1079 | OA
Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges
P. Nam, H. Van Den Bosch, Mathematical Physics, Analysis and Geometry 20 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1080 | OA
Reconstructing metastatic seeding patterns of human cancers
J. Reiter, A. Makohon Moore, J. Gerold, I. Božić, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1084
Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis
C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T. Mascher, Molecular Microbiology 104 (2017) 16–31.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1085 | OA
Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1087 | OA
Speed and structure of turbulent fronts in pipe flow
B. Song, D. Barkley, B. Hof, M. Avila, Journal of Fluid Mechanics 813 (2017) 1045–1059.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1089 | OA
Total positivity in Markov structures
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, P. Zwiernik, Annals of Statistics 45 (2017) 1152–1184.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1104 | OA
Multiplexed computations in retinal ganglion cells of a single type
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkačik, O. Marre, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1108 | OA
Learning theory for conditional risk minimization
A. Zimin, C. Lampert, in:, JMLR, Inc. and Microtome Publishing, 2017, pp. 213–222.
View | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1109 | OA
Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free
B. Shepperson, A. Søndergaard, L. Christiansen, J. Kaczmarczyk, R. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 118 (2017).
View | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1110 | OA
Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity
B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1111 | OA
Selection limits to adaptive walks on correlated landscapes
J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 1112
An application of stochastic differential equations to evolutionary algorithms
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1113 | OA
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications 21 (2017) 135–154.
View | Files available | DOI | arXiv
 
2017 | Journal Article | IST-REx-ID: 1114 | OA
Observation of the photon blockade breakdown phase transition
J.M. Fink, A. Dombi, A. Vukics, A. Wallraff, P. Domokos, Physical Review X 7 (2017).
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1116 | OA
Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1117 | OA
Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse
C. Chen, itaru Arai, R. Satterield, S. Young, P.M. Jonas, Cell Reports 18 (2017) 723–736.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1118 | OA
Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo
J. Gan, S.-M. Weng, A. Pernia-Andrade, J.L. Csicsvari, P.M. Jonas, Neuron 93 (2017) 308–314.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1119 | OA
Quasiparticle approach to molecules interacting with quantum solvents
M. Lemeshko, Physical Review Letters 118 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1120 | OA
Angular self-localization of impurities rotating in a bosonic bath
X. Li, R. Seiringer, M. Lemeshko, Physical Review A 95 (2017).
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Thesis | IST-REx-ID: 1127 | OA
Identification of novel regulators of PIN polarity and development of novel auxin sensor
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
Superficial layers of the medial entorhinal cortex replay independently of the hippocampus
J. O’Neill, C.N. Boccara, F. Stella, P. Schönenberger, J.L. Csicsvari, Science 355 (2017) 184–188.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1133 | OA
Anomalous screening of quantum impurities by a neutral environment
E. Yakaboylu, M. Lemeshko, Physical Review Letters 118 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1144 | OA
Fluctuations of functions of Wigner matrices
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1146
Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels
W. Sun, M.-Z. Zhai, D. Li, Y. Zhou, N. Chen, M. Guo, S. Zhou, Clinical Nutrition 36 (2017) 1136–1142.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1152 | OA
A multi objective memetic inverse solver reinforced by local optimization methods
E.P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, J. Alvarez Aramberri, Journal of Computational Science 18 (2017) 85–94.
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 1155 | OA
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1160 | OA
Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 7 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1161
Cell migration: Making the waves
J. Müller, M.K. Sixt, Current Biology 27 (2017) R24–R25.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1162 | OA
Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment
J. Spałek, M. Zegrodnik, J. Kaczmarczyk, Physical Review B - Condensed Matter and Materials Physics 95 (2017).
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1163
Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms
M. Wysokiński, J. Kaczmarczyk, Journal of Physics: Condensed Matter 29 (2017).
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1168 | OA
D inf s optimality in copula models
E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1169 | OA
Spatial gene frequency waves under genotype dependent dispersal
S. Novak, R. Kollár, Genetics 205 (2017) 367–374.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 609 | OA
Moderately hard functions: Definition, instantiations, and applications
J.F. Alwen, B. Tackmann, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 493–526.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 610 | OA
On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, Israel Journal of Mathematics 222 (2017) 841–866.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 611
Evolution of flower color pattern through selection on regulatory small RNAs
D. Bradley, P. Xu, I. Mohorianu, A. Whibley, D. Field, H. Tavares, M. Couchman, L. Copsey, R. Carpenter, M. Li, Q. Li, Y. Xue, T. Dalmay, E. Coen, Science 358 (2017) 925–928.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 613 | OA
Shaping bacterial population behavior through computer interfaced control of individual cells
R.P. Chait, J. Ruess, T. Bergmiller, G. Tkačik, C.C. Guet, Nature Communications 8 (2017).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 614 | OA
The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W
C. Fraisse, M.A.L. Picard, B. Vicoso, Nature Communications 8 (2017).
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 615 | OA
Universality for random matrix flows with time dependent density
L. Erdös, K. Schnelli, Annales de l’institut Henri Poincare (B) Probability and Statistics 53 (2017) 1606–1656.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 6196 | OA
The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 621 | OA
Mechanisms of radial glia progenitor cell lineage progression
R.J. Beattie, S. Hippenmeyer, FEBS Letters 591 (2017) 3993–4008.
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 623
Extracerebral dysfunction in animal models of autism spectrum disorder
E. Hill Yardin, S. Mckeown, G. Novarino, A. Grabrucker, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 159–187.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 624 | OA View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 626 | OA
The infinitesimal model: Definition derivation and implications
N.H. Barton, A. Etheridge, A. Véber, Theoretical Population Biology 118 (2017) 50–73.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 627 | OA
Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity
C. Jiang, M.-Z. Zhai, D. Yan, D. Li, C. Li, Y. Zhang, L. Xiao, D. Xiong, Q. Deng, W. Sun, Oncotarget 8 (2017) 75114–75126.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 628 | OA
Automated recurrence analysis for almost linear expected runtime bounds
K. Chatterjee, H. Fu, A. Murhekar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 118–139.
View | DOI | Download Submitted Version (ext.)
 
2017 | Thesis | IST-REx-ID: 6287 | OA
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , IST Austria, 2017.
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 629
Reconstitution of protein dynamics involved in bacterial cell division
M. Loose, K. Zieske, P. Schwille, in:, Prokaryotic Cytoskeletons, Springer, 2017, pp. 419–444.
View | DOI | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 6291 | OA
Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, IST Austria, 2017.
View | Files available
 
2017 | Conference Paper | IST-REx-ID: 630 | OA
Biosignals standards and FHIR: The way to go
S. Sauermann, V. David, A. Schlögl, R. Egelkraut, M. Frohner, B. Pohn, P. Urbauer, A. Mense, in:, IOS Press, 2017, pp. 356–362.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 631 | OA
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 632 | OA
A note on 2D focusing many boson systems
M. Lewin, P. Nam, N. Rougerie, Proceedings of the American Mathematical Society 145 (2017) 2441–2454.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 633
Challenges and tool implementation of hybrid rapidly exploring random trees
S. Bak, S. Bogomolov, T.A. Henzinger, A. Kumar, in:, A. Abate, S. Bodo (Eds.), Springer, 2017, pp. 83–89.
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 634
Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder
J. Schroeder, E. Deliu, G. Novarino, M. Schmeisser, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 189–211.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 635 | OA
Scrypt is maximally memory hard
J.F. Alwen, B. Chen, K.Z. Pietrzak, L. Reyzin, S. Tessaro, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 33–62.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 636 | OA
On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 637 | OA
Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 640 | OA
Depth-robust graphs and their cumulative memory complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 3–32.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 641
Graphical model parameter learning by inverse linear programming
V. Trajkovska, P. Swoboda, F. Åström, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 323–334.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 642 | OA
Localization errors in solving stochastic partial differential equations in the whole space
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
View | DOI | Download Submitted Version (ext.)
 
2017 | Technical Report | IST-REx-ID: 6426 | OA
Synchronizing the asynchronous
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 643
Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, C. Jiang, Chinese Journal of Physiology 60 (2017) 207–214.
View | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 644 | OA
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Conference Paper | IST-REx-ID: 645 | OA
Value iteration for long run average reward in markov decision processes
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 201–221.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 646 | OA
A novel convex relaxation for non binary discrete tomography
J. Kuske, P. Swoboda, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 235–246.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 647 | OA
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 648 | OA
On the complexity of breaking pseudoentropy
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 600–613.
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 650 | OA
A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 586–599.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 651
Fluid dynamics: Water flows out of touch
B. Hof, Nature 541 (2017) 161–162.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 6517 | OA
Embedding graphs into embedded graphs
R. Fulek, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 652 View | DOI
 
2017 | Conference Paper | IST-REx-ID: 6526 | OA
On the complexity of estimating Rènyi divergences
M. Skórski, in:, 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, 2017.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 6527 | OA
Practical graphs for optimal side-channel resistant memory-hard functions
J.F. Alwen, J. Blocki, B. Harsha, in:, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM Press, 2017, pp. 1001–1017.
View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications