Zobrazeno 1 - 10
of 900
pro vyhledávání: '"Devriese, P."'
This is the technical report accompanying the paper "A Sound and Complete Substitution Algorithm for Multimode Type Theory" [Ceulemans, Nuyts and Devriese, 2024]. It contains a full definition of Well-Scoped Multimode Type Theory (WSMTT) in Section 2
Externí odkaz:
http://arxiv.org/abs/2406.13622
Progress has recently been made on specifying instruction set architectures (ISAs) in executable formalisms rather than through prose. However, to date, those formal specifications are limited to the functional aspects of the ISA and do not cover its
Externí odkaz:
http://arxiv.org/abs/2306.05128
Publikováno v:
Applications in Plant Sciences, Vol 12, Iss 5, Pp n/a-n/a (2024)
Abstract Premise Plants and pollinators closely interact with each other to form complex networks of species interactions. Metabarcoding of pollen collections has recently been proposed as an advantageous method for the construction of such networks,
Externí odkaz:
https://doaj.org/article/d27eead874fe4fc3b1201dac4a5560ee
Publikováno v:
EPTCS 360, 2022, pp. 93-112
Many variants of type theory extend a basic theory with additional primitives or properties like univalence, guarded recursion or parametricity, to enable constructions or proofs that would be harder or impossible to do in the original theory. Howeve
Externí odkaz:
http://arxiv.org/abs/2207.00843
Autor:
Andreas Nuyts, Dominique Devriese
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)
Presheaf models of dependent type theory have been successfully applied to model HoTT, parametricity, and directed, guarded and nominal type theory. There has been considerable interest in internalizing aspects of these presheaf models, either to mak
Externí odkaz:
https://doaj.org/article/7f03116fcc054e20904dc0c1cb3e015d
Autor:
N. Remi Shih, Thoa Nong, Cathi Murphey, Mayra Lopez-Cepero, Peter W. Nickerson, Jean-luc Taupin, Magali Devriese, Jakob Nilsson, Marie-Benedicte Matignon, Robert A. Bray, Jar-How Lee
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-13 (2024)
Abstract Antibodies reactive to human leukocyte antigens (HLA) represent a barrier for patients awaiting transplantation. Based on reactivity patterns in single-antigen bead (SAB) assays, various epitope matching algorithms have been proposed to impr
Externí odkaz:
https://doaj.org/article/49d52abf5f4b49deab5278266ec12f7e
Autor:
Karlijn Verkerk, Birgit S. Geurts, Laurien J. Zeverijn, Vincent van der Noort, Henk M.W. Verheul, John B.A.G. Haanen, Astrid A.M. van der Veldt, Ferry A.L.M. Eskens, Maureen J.B. Aarts, Carla M.L. van Herpen, Mathilde Jalving, Jourik A. Gietema, Lot A. Devriese, Mariette Labots, Sahar Barjesteh van Waalwijk van Doorn-Khosrovani, Egbert F. Smit, Haiko J. Bloemendal
Publikováno v:
The Lancet Regional Health. Europe, Vol 39, Iss , Pp 100875- (2024)
Summary: Background: The DRUG Access Protocol provides patients with cancer access to registered anti-cancer drugs that are awaiting reimbursement in the Netherlands and simultaneously collects prospective real-world data (RWD). Here, we present RWD
Externí odkaz:
https://doaj.org/article/fc99db69ccab44d8b32b3ad075d188c3
Recursive types extend the simply-typed lambda calculus (STLC) with the additional expressive power to enable diverging computation and to encode recursive data-types (e.g., lists). Two formulations of recursive types exist: iso-recursive and equi-re
Externí odkaz:
http://arxiv.org/abs/2010.10859
We introduce three general compositionality criteria over operational semantics and prove that, when all three are satisfied together, they guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's mathematical opera
Externí odkaz:
http://arxiv.org/abs/2010.07899
Autor:
Nuyts, Andreas, Devriese, Dominique
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 2 (June 19, 2024) lmcs:6725
Presheaf models of dependent type theory have been successfully applied to model HoTT, parametricity, and directed, guarded and nominal type theory. There has been considerable interest in internalizing aspects of these presheaf models, either to mak
Externí odkaz:
http://arxiv.org/abs/2008.08533