ISTA Research Explorer

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.

5339 Publications

2017 | Published | Journal Article | IST-REx-ID: 1191 |

Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.

[Preprint] View | DOI | Download Preprint (ext.)

2017 | Published | Conference Paper | IST-REx-ID: 1192 |

Even delta-matroids and the complexity of planar Boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS

2017 | Published | Conference Paper | IST-REx-ID: 1194 |

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

2017 | Published | Journal Article | IST-REx-ID: 1196

Model measuring for discrete and hybrid systems
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.

View | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1199 |

How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS

2017 | Published | Conference Paper | IST-REx-ID: 274 |

A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, ML Research Press, 2017, pp. 228–249.

[Published Version] View | Files available | arXiv

2017 | Published | Conference Paper | IST-REx-ID: 313 |

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 | Book Chapter | IST-REx-ID: 424 |

Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2017 | Published | Conference Paper | IST-REx-ID: 431 |

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 | Conference Paper | IST-REx-ID: 432 |

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 | Book Chapter | IST-REx-ID: 444

Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.

View | DOI

2017 | Published | Journal Article | IST-REx-ID: 447 |

Fluctuations of the competition interface in presence of shocks
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2017 | Published | Journal Article | IST-REx-ID: 453 |

Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.