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.




6293 Publications

2018 | Published | Journal Article | IST-REx-ID: 327 | OA
Michailidis, A., Žnidarič, M., Medvedyeva, M., Abanin, D., Prosen, T., & Papić, Z. (2018). Slow dynamics in translation-invariant quantum lattice models. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.97.104307
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 328 | OA
Choueiri, G. H., Lopez Alonso, J. M., & Hof, B. (2018). Exceeding the asymptotic limit of polymer drag reduction. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.120.124501
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 33 | OA
Bertl, J., Ringbauer, H., & Blum, M. (2018). Can secondary contact following range expansion be distinguished from barriers to gene flow? PeerJ. PeerJ. https://doi.org/10.7717/peerj.5325
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Published | Book | IST-REx-ID: 3300
Clarke, E. M., Henzinger, T. A., Veith, H., & Bloem, R. (2018). Handbook of Model Checking (1st ed.). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-10575-8
View | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee, K., Chemlík, M., & Topcu, U. (2018). Sensor synthesis for POMDPs with reachability objectives. In 28th International Conference on Automated Planning and Scheduling (Vol. 2018, pp. 47–55). Delft, Netherlands: AAAI Press. https://doi.org/10.1609/icaps.v28i1.13875
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 134 | OA
Jeschke, S., Skrivan, T., Mueller Fischer, M., Chentanez, N., Macklin, M., & Wojtan, C. (2018). Water surface wavelets. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3197517.3201336
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 135 | OA
Sato, T., Wojtan, C., Thuerey, N., Igarashi, T., & Ando, R. (2018). Extended narrow band FLIP for liquid simulations. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.13351
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 136 | OA
Suri, B., Tithof, J., Grigoriev, R., & Schatz, M. (2018). Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.98.023105
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 137 | OA
Zhang, W., Herde, M., Mitchell, J., Whitfield, J., Wulff, A., Vongsouthi, V., … Henneberger, C. (2018). Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0108-2
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 139 | OA
Fraisse, C., Roux, C., Gagnaire, P., Romiguier, J., Faivre, N., Welch, J., & Bierne, N. (2018). The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies. PeerJ. PeerJ. https://doi.org/10.7717/peerj.5198
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 14 | OA
Hille, S., Akhmanova, M., Glanc, M., Johnson, A. J., & Friml, J. (2018). Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms19113566
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 140 | OA
Frehse, G., Giacobbe, M., & Henzinger, T. A. (2018). Space-time interpolants (Vol. 10981, pp. 468–486). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_25
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee, K., Henzinger, M., Loitzenbauer, V., Oraee, S., & Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/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. (2018). SOM-VAE: Interpretable discrete representation learning on time series. In International Conference on Learning Representations. New Orleans, LA, United States.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
Kong, H., Bartocci, E., & Henzinger, T. A. (2018). Reachable set over-approximation for nonlinear systems using piecewise barrier tubes (Vol. 10981, pp. 449–467). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/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. (2018). Boosting variational inference: An optimization perspective. In Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (Vol. 84, pp. 464–472). Playa Blanca, Lanzarote: ML Research Press.
[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. (2018). Boosting black box variational inference. In Advances in Neural Information Processing Systems (Vol. 31). Montreal, Canada: Neural Information Processing Systems Foundation.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 14203 | OA
Yurtsever, A., Fercoq, O., Locatello, F., & Cevher, V. (2018). 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, pp. 5727–5736). Stockholm, Sweden: ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 14204 | OA
Locatello, F., Raj, A., Karimireddy, S. P., Rätsch, G., Schölkopf, B., Stich, S. U., & Jaggi, M. (2018). On matching pursuit and coordinate descent. In Proceedings of the 35th International Conference on Machine Learning (Vol. 80, pp. 3198–3207). ML Research Press.
[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. (2018). Clustering meets implicit generative models. In 6th International Conference on Learning Representations. Vancouver, Canada.
[Preprint] View | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed