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.

536 Publications


2018 | Published | Conference Paper | IST-REx-ID: 140 | OA
G. Frehse, M. Giacobbe, and T. A. Henzinger, “Space-time interpolants,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 468–486.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 14003 | OA
D. R. Baykusheva and H. J. Wörner, “Chiral discrimination through bielliptical high-harmonic spectroscopy,” Physical Review X, vol. 8, no. 3. American Physical Society, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Conference Paper | IST-REx-ID: 141 | OA
K. Chatterjee, M. H. Henzinger, V. Loitzenbauer, S. Oraee, and V. Toman, “Symbolic algorithms for graphs and Markov decision processes with fairness objectives,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10982, pp. 178–197.
[Published Version] View | Files available | DOI | WoS
 

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

2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
H. Kong, E. Bartocci, and T. A. Henzinger, “Reachable set over-approximation for nonlinear systems using piecewise barrier tubes,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 449–467.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 14201 | OA
F. Locatello, R. Khanna, J. Ghosh, and G. Rätsch, “Boosting variational inference: An optimization perspective,” in Proceedings of the 21st International Conference on Artificial Intelligence and Statistics, Playa Blanca, Lanzarote, 2018, vol. 84, pp. 464–472.
[Preprint] View | Download Preprint (ext.) | arXiv
 

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

2018 | Published | Conference Paper | IST-REx-ID: 14203 | OA
A. Yurtsever, O. Fercoq, F. Locatello, and V. Cevher, “A conditional gradient framework for composite convex minimization with applications to semidefinite programming,” in Proceedings of the 35th International Conference on Machine Learning, Stockholm, Sweden, 2018, vol. 80, pp. 5727–5736.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 14204 | OA
F. Locatello et al., “On matching pursuit and coordinate descent,” in Proceedings of the 35th International Conference on Machine Learning, 2018, vol. 80, pp. 3198–3207.
[Preprint] View | Download Preprint (ext.) | arXiv
 

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

2018 | Published | Journal Article | IST-REx-ID: 14284 | OA
B. Bräuning et al., “Structure and mechanism of the two-component α-helical pore-forming toxin YaxAB,” Nature Communications, vol. 9. Springer Nature, 2018.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 143 | OA
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, D. Velan, and F. Zuleger, “Efficient algorithms for asymptotic bounds on termination time in VASS,” presented at the LICS: Logic in Computer Science, Oxford, United Kingdom, 2018, vol. F138033, pp. 185–194.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2018 | Published | Thesis | PhD | IST-REx-ID: 14306 | OA
F. M. Praetorius, “Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures,” Technische Universität München, 2018.
[Published Version] View | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 9053 | OA
A. Aubret and J. A. Palacci, “Diffusiophoretic design of self-spinning microgears from colloidal microswimmers,” Soft Matter, vol. 14, no. 47. Royal Society of Chemistry , pp. 9577–9588, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 9062 | OA
A. Aubret, M. Youssef, S. Sacanna, and J. A. Palacci, “Targeted assembly and synchronization of self-spinning microgears,” Nature Physics, vol. 14, no. 11. Springer Nature, pp. 1114–1118, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 9066
N. Lee et al., “Antiferromagnet‐based spintronic functionality by controlling isospin domains in a layered perovskite iridate,” Advanced Materials, vol. 30, no. 52. Wiley, 2018.
[Preprint] View | DOI | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 9068
T. Hussain et al., “Pressure-induced metal–insulator transitions in chalcogenide NiS2-Se,” Physica B: Condensed Matter, vol. 536. Elsevier, pp. 235–238, 2018.
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 913 | OA
R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, and J. Friml, “PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana,” Journal of Cell Science, vol. 131, no. 2. Company of Biologists, 2018.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 9134 | OA
O. Richet, J.-M. Chomaz, and C. J. Muller, “Internal tide dissipation at topography: Triadic resonant instability equatorward and evanescent waves poleward of the critical latitude,” Journal of Geophysical Research: Oceans, vol. 123, no. 9. American Geophysical Union, pp. 6136–6155, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 9135 | OA
C. J. Muller and D. M. Romps, “Acceleration of tropical cyclogenesis by self-aggregation feedbacks,” Proceedings of the National Academy of Sciences, vol. 115, no. 12. Proceedings of the National Academy of Sciences, pp. 2930–2935, 2018.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

year=2018

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed