ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

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

Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.

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

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

Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.

[Submitted Version] View | Files available | DOI | WoS

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

A unified optimization view on generalized matching pursuit and Frank-Wolfe
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.

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

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

Greedy algorithms for cone constrained optimization with convergence guarantees
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.

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

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

Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis
C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T. Mascher, Molecular Microbiology 104 (2017) 16–31.

View | DOI | WoS

Institute of Science and Technology Austria (ISTA)