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.

5507 Publications

Search / Filter

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

Kolmogorov V. 2017. A faster approximation algorithm for the Gibbs partition function. Proceedings of the 31st Conference On Learning Theory. COLT: Annual Conference on Learning Theory vol. 75, 228–249.

[Published Version] View | Files available | arXiv

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

Camus N, Yakaboylu E, Fechner L, Klaiber M, Laux M, Mi Y, Hatsagortsyan K, Pfeifer T, Keitel C, Moshammer R. 2017. Experimental evidence for Wigner’s tunneling time. Annual International Laser Physics Workshop LPHYS, Journal of Physics: Conference Series, vol. 999, 012004.

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

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

Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.

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

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

Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnović M. 2017. QSGD: Communication-efficient SGD via gradient quantization and encoding. NIPS: Neural Information Processing System, Advances in Neural Information Processing Systems, vol. 2017, 1710–1721.

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

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

Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. 2017. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research. ICML: International Conference on Machine Learning, PMLR Press, vol. 70, 4035–4043.

[Submitted Version] View | Files available

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

Sazanov LA. 2017.Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions. In: Mechanisms of primary energy transduction in biology . , 25–59.

View | DOI

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

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

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

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

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

[Published Version] View | Files available | DOI

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

Cremer S. 2017. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 46, 105–116.

[Published Version] View | Files available

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

Altmeyer S, Do Y, Ryu S. 2017. Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. Chaos. 27(11), 113112.

[Published Version] View | Files available | DOI

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

Chatterjee K, Henzinger M, Loitzenbauer V. 2017. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 13(3), 26.

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

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

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2017. Edit distance for pushdown automata. Logical Methods in Computer Science. 13(3).

[Published Version] View | Files available | DOI

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

Chatterjee K, Křetínská Z, Kretinsky J. 2017. Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. 13(2), 15.

[Published Version] View | Files available | DOI

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

Chatterjee K, Henzinger TA, Otop J. 2017. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 18(4), 31.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

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

Jeschke S, Wojtan C. 2017. Water wave packets. ACM Transactions on Graphics. 36(4), 103.

[Published Version] View | Files available | DOI

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

Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 18(2), 12.

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

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

Biedl T, Huber S, Palfrader P. 2017. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 26(3–4), 211–229.

[Published Version] View | Files available | DOI

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

Bourgade P, Erdös L, Yau H, Yin J. 2017. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 21(3), 739–800.

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

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

Nam P, Napiórkowski MM. 2017. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 21(3), 683–738.

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

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

Rueda Sanchez AR, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2017. Single sideband microwave to optical photon conversion-an-electro-optic-realization. Optics InfoBase Conference Papers. NLO: Nonlinear Optics vol. F54, NM3A.1.

View | DOI