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.

607 Publications


2018 | Published | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee K, Henzinger M, Loitzenbauer V, Oraee S, Toman V. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. In: Vol 10982. Springer; 2018:178-197. doi:10.1007/978-3-319-96142-2_13
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 14198 | OA
Fortuin V, Hüser M, Locatello F, Strathmann H, Rätsch G. SOM-VAE: Interpretable discrete representation learning on time series. In: International Conference on Learning Representations. ; 2018.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
Kong H, Bartocci E, Henzinger TA. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. In: Vol 10981. Springer; 2018:449-467. doi:10.1007/978-3-319-96145-3_24
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 14201 | OA
Locatello F, Khanna R, Ghosh J, Rätsch G. Boosting variational inference: An optimization perspective. In: Proceedings of the 21st International Conference on Artificial Intelligence and Statistics. Vol 84. ML Research Press; 2018:464-472.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 14202 | OA
Locatello F, Dresdner G, Khanna R, Valera I, Rätsch G. Boosting black box variational inference. In: Advances in Neural Information Processing Systems. Vol 31. Neural Information Processing Systems Foundation; 2018.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 14203 | OA
Yurtsever A, Fercoq O, Locatello F, Cevher V. A conditional gradient framework for composite convex minimization with applications to semidefinite programming. In: Proceedings of the 35th International Conference on Machine Learning. Vol 80. ML Research Press; 2018:5727-5736.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 14204 | OA
Locatello F, Raj A, Karimireddy SP, et al. On matching pursuit and coordinate descent. In: Proceedings of the 35th International Conference on Machine Learning. Vol 80. ML Research Press; 2018:3198-3207.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 14224 | OA
Locatello F, Vincent D, Tolstikhin I, Ratsch G, Gelly S, Scholkopf B. Clustering meets implicit generative models. In: 6th International Conference on Learning Representations. ; 2018.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 14284 | OA
Bräuning B, Bertosin E, Praetorius FM, et al. Structure and mechanism of the two-component α-helical pore-forming toxin YaxAB. Nature Communications. 2018;9. doi:10.1038/s41467-018-04139-2
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 143 | OA
Brázdil T, Chatterjee K, Kučera A, Novotný P, Velan D, Zuleger F. Efficient algorithms for asymptotic bounds on termination time in VASS. In: Vol F138033. IEEE; 2018:185-194. doi:10.1145/3209108.3209191
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Thesis | PhD | IST-REx-ID: 14306 | OA
Praetorius FM. Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures. 2018.
[Published Version] View | Download Published Version (ext.)
 

2018 | Submitted | Preprint | IST-REx-ID: 14327 | OA
Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv. doi:10.48550/arXiv.1804.11130
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 144
Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part F138033. IEEE; 2018:394-403. doi:10.1145/3209108.3209194
View | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 155 | OA
Xuereb A, Aquilina M, Barzanjeh S. Routing thermal noise through quantum networks. In: Andrews DL, Ostendorf A, Bain AJ, Nunzi JM, eds. Vol 10672. SPIE; 2018. doi:10.1117/12.2309928
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 156 | OA
Ferrere T. The compound interest in relaxing punctuality. In: Vol 10951. Springer; 2018:147-164. doi:10.1007/978-3-319-95582-7_9
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 157 | OA
Hilbe C, Šimsa Š, Chatterjee K, Nowak M. Evolution of cooperation in stochastic games. Nature. 2018;559(7713):246-249. doi:10.1038/s41586-018-0277-x
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 158 | OA
Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 2018;4(8):548-553. doi:10.1038/s41477-018-0204-z
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 159 | OA
Fehrentz T, Huber F, Hartrampf N, et al. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. 2018;14(8):764-767. doi:10.1038/s41589-018-0090-8
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 16 | OA
Varshney A, Steinberg V. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103303
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 160 | OA
Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102. doi:10.1007/978-3-319-96145-3_5
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

year=2018

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed