UvA DARE | Search results

UvA-DARE

Digital Academic Repository

UvA-DARE

Full text
Document type

Organisation

Results: 216,896

Number of items: 216,896

Doenges, R., Kappé, T., Sarracino, J., Foster, N., & Morrisett, G. (2022). Leapfrog: certified equivalence for protocol parsers. In R. Jhala, & I. Dillig (Eds.), PLDI '22: proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation : June 13-17, 2022, San DIego, CA, USA (pp. 950-965). Association for Computing Machinery. https://doi.org/10.48550/arXiv.2205.08762, https://doi.org/10.1145/3519939.3523715
Maile, K., Wilson, D. G., & Forré, P. (2022). Towards architectural optimization of equivariant neural networks over subgroups. Paper presented at NeurIPS 2022 Workshop: NeurReps, New Orleans, Louisiana, United States. https://openreview.net/forum?id=KJFpArxWe-g
Nauta, L. J. (2022). Quantum effects on a planetary scale: The first neutrino oscillation measurement with KM3NeT/ORCA. [Thesis, externally prepared, Universiteit van Amsterdam].
Choo, Y., Matzke, D., Bowren, M. D., Tranel, D., & Wessel, J. R. (2022). Right inferior frontal gyrus damage is associated with impaired initiation of inhibitory control, but not its implementation. eLife, 11, Article e79667. https://doi.org/10.7554/ELIFE.79667
Christandl, M., Fawzi, O., Ta, H., & Zuiddam, J. (2022). Larger Corner-Free Sets from Combinatorial Degenerations. In M. Braverman (Ed.), 13th Innovations in Theoretical Computer Science Conference: ITCS 2022, January 31-February 3, 2022, Berkeley, CA, USA Article 48 (Leibniz International Proceedings in Informatics; Vol. 215). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITCS.2022.48
Haverman, T. M. (2022). Oral mucosal injury in hematopoietic stem cell recipients: Emphasis on inflammation and the oral microbiome. [Thesis, fully internal, Universiteit van Amsterdam].
Tavakoli, M., Faraji, A., Molavi, M., Mol, S. T., & Kismihók, G. (2022). Hybrid Human-AI Curriculum Development for Personalised Informal Learning Environments. In LAK22 conference proceedings: the Twelfth International Conference on Learning Analytics & Knowledge : learning analytics for transition, disruption and social change : March 21-25, 2022, Online, Everywhere (pp. 563-569). The Association for Computing Machinery. https://doi.org/10.48550/arXiv.2112.12100, https://doi.org/10.1145/3506860.3506917
Yue, Y. (2022). Essays on risk and econometrics. [Thesis, fully internal, Universiteit van Amsterdam].
Ibarra Cordero, A. (2022). No progress: Queer chronotopes in late twentieth century fiction. [Thesis, fully internal, Universiteit van Amsterdam].
Groen, G. (2022). Sovereignty and tax treaty dispute settlement: The types of tax treaty disputes and the desirable level of judicialization of the settlement procedure from a sovereignty perspective. [Thesis, externally prepared, Universiteit van Amsterdam].

Page 2358 of 21690