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.

4181 Publications


2017 | Conference Paper | IST-REx-ID: 549 | OA
Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 459 | OA
Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern
S. Cremer, Rundgespräche Forum Ökologie 46 (2017) 105–116.
[Published Version] View | Files available
 

2017 | 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 | Conference Paper | IST-REx-ID: 274 | OA
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
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications