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.

5794 Publications

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

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 |

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 |

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

Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.

View | DOI | WoS

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

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 |

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 |

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 |

Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.

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 | Journal Article | IST-REx-ID: 6013 |

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 |

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 |

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 |

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).