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.

5373 Publications

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

K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.

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

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

T. A. Henzinger and J. Otop, “Model measuring for discrete and hybrid systems,” Nonlinear Analysis: Hybrid Systems, vol. 23. Elsevier, pp. 166–190, 2017.

View | DOI | WoS

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

N. H. Barton, “How does epistasis influence the response to selection?,” Heredity, vol. 118. Nature Publishing Group, pp. 96–109, 2017.

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

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

V. Kolmogorov, “A faster approximation algorithm for the Gibbs partition function,” in Proceedings of the 31st Conference On Learning Theory, 2017, vol. 75, pp. 228–249.

[Published Version] View | Files available | arXiv

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

N. Camus et al., “Experimental evidence for Wigner’s tunneling time,” presented at the Annual International Laser Physics Workshop LPHYS, Kazan, Russian Federation, 2017, vol. 999, no. 1.

[Published Version] View | Files available | DOI | arXiv

2017 | Published | Book Chapter | IST-REx-ID: 424 |

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

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

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

D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnović, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.

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

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

H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.

[Submitted Version] View | Files available

2017 | Published | Book Chapter | IST-REx-ID: 444

L. A. Sazanov, “Structure of respiratory complex I: ‘Minimal’ bacterial and ‘de luxe’ mammalian versions,” in Mechanisms of primary energy transduction in biology , M. Wikström, Ed. Royal Society of Chemistry, 2017, pp. 25–59.

View | DOI

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

P. Ferrari and P. Nejjar, “Fluctuations of the competition interface in presence of shocks,” Revista Latino-Americana de Probabilidade e Estatística, vol. 9. Instituto Nacional de Matematica Pura e Aplicada, pp. 299–325, 2017.

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

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

T. Fallesen, J. Roostalu, C. F. Düllberg, G. Pruessner, and T. Surrey, “Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement,” Biophysical Journal, vol. 113, no. 9. Biophysical Society, pp. 2055–2067, 2017.