Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

7131 Publications


2017 | Published | Conference Paper | IST-REx-ID: 1175 | OA
Cumulative space in black-white pebbling and resolution
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
[Published Version] View | Files available | DOI
 

2017 | Published | 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.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1174 | OA
Lower bounds on key derivation for square-friendly applications
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | 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).
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | 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.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1207 | OA
Local law of addition of random matrices on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 12193 | OA
Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis
J. Walker, H. Gao, J. Zhang, B. Aldridge, M. Vickers, J.D. Higgins, X. Feng, Nature Genetics 50 (2017) 130–137.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1351 | OA
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1194 | OA
Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 19474 | OA
Central amygdala circuits modulate food consumption through a positive-valence mechanism
A.M. Douglass, H. Kucukdereli, M. Ponserre, M. Markovic, J. Gründemann, C. Strobel, P.L. Alcala Morales, K.-K. Conzelmann, A. Lüthi, R. Klein, Nature Neuroscience 20 (2017) 1384–1394.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2017 | Published | Conference Paper | IST-REx-ID: 313 | OA
Experimental evidence for Wigner's tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 6013 | OA
Experimental evidence for quantum tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K.Z. Hatsagortsyan, T. Pfeifer, C.H. Keitel, R. Moshammer, Physical Review Letters 119 (2017).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Conference Paper | IST-REx-ID: 432 | OA
ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, C. Zhang, in:, Proceedings of Machine Learning Research, ML Research Press, 2017, pp. 4035–4043.
[Submitted Version] View | Files available
 

2017 | Published | Conference Paper | IST-REx-ID: 431 | OA
QSGD: Communication-efficient SGD via gradient quantization and encoding
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, 2017, pp. 1710–1721.
[Submitted Version] View | Download Submitted Version (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 466 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 465 | OA
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 463 | OA
Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow
S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 512 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Scientific Reports 7 (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 514 | OA
Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum
J. Simonnet, M. Nassar, F. Stella, I. Cohen, B. Mathon, C.N. Boccara, R. Miles, D. Fricker, Nature Communications 8 (2017).
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 467 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed