Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 78,992
Number of items: 78,992
  • Open Access
    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
  • Open Access
    Wallet, B., van den Boomgaard, P., van der Boom, B., Schütz, R., Vastenhout, L., & Hermans, A. (2022). The Betrayal of Anne Frank: A Refutation: Critical Analysis of the Argumentation and Use of Historical Sources.
  • Open Access
    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
  • Open Access
    Nauta, L. J. (2022). Quantum effects on a planetary scale: The first neutrino oscillation measurement with KM3NeT/ORCA. [Thesis, externally prepared, Universiteit van Amsterdam].
  • Open Access
    Bik, L., Wolkerstorfer, A., Bekkers, V., Prens, E. P., Haedersdal, M., Bonn, D., & van Doorn, M. B. A. (2022). Needle-free jet injection-induced small-droplet aerosol formation during intralesional bleomycin therapy. Lasers in Surgery and Medicine, 54(4), 572-579. https://doi.org/10.1002/lsm.23512
  • Open Access
    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
  • Open Access
    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 für Informatik. https://doi.org/10.4230/LIPIcs.ITCS.2022.48
  • Open Access
    Yang, S., Jansen, B., Absalah, S., Kalbitz, K., Chunga Castro, F. O., & Cammeraat, E. L. H. (2022). Soil organic carbon content and mineralization controlled by the composition, origin and molecular diversity of organic matter: A study in tropical alpine grasslands. Soil and Tillage Research, 215, Article 105203. https://doi.org/10.1016/j.still.2021.105203
  • Open Access
    Kolk, D. (2022). Clinical, methodological, and dynamic perspectives on recovery of acutely ill older adults. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    DeRock, D. J. (2022). The politics of global statistical harmonization. [Thesis, fully internal, Universiteit van Amsterdam].
Page 2036 of 7900