Zobrazeno 1 - 10
of 467
pro vyhledávání: '"Wullaert A"'
We describe a generic construction of non-wellfounded syntax involving variable binding and its monadic substitution operation. Our construction of the syntax and its substitution takes place in category theory, notably by using monoidal categories a
Externí odkaz:
http://arxiv.org/abs/2308.05485
We discuss some aspects of our work on the mechanization of syntax and semantics in the UniMath library, based on the proof assistant Coq. We focus on experiences where Coq (as a type-theoretic proof assistant with decidable typechecking) made us use
Externí odkaz:
http://arxiv.org/abs/2307.16270
Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we zoom in on mo
Externí odkaz:
http://arxiv.org/abs/2212.03146
Autor:
Hannah Stocks, Elisabeth De Leeuw, Bart N. Lambrecht, Linos Vandekerckhove, Geert van Loo, Andy Wullaert
Publikováno v:
Frontiers in Immunology, Vol 15 (2024)
BackgroundDysregulated innate immune responses underlie multiple inflammatory diseases, but clinical translation of preclinical innate immunity research in mice is hampered by the difficulty of studying human inflammatory reactions in an in vivo cont
Externí odkaz:
https://doaj.org/article/cc23fd94c5e84069976b292763983fed
Autor:
Ahrens, Benedikt, Wullaert, Kobe
In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical characterization of d
Externí odkaz:
http://arxiv.org/abs/2209.01259
Autor:
Siesling, S., van Hoeve, J.C., Merkx, M.A.W., de Wit, N.J., Helsper, C.W., Dingemans, I., Nagtegaal, I.D., Saathof, R., van Gils, C.H., van Weert, H.C.P.M., Verheij, M., Swartjes, H., Voigt, K.R., Wullaert, L., Meijer, J., van Erning, F.N., Verhoef, C., Grünhagen, D.J., Vissers, P.A.J., de Wilt, J.H.W.
Publikováno v:
In ESMO Real World Data and Digital Oncology September 2024 5
Autor:
Ioanna Petta, Marie Thorp, Maarten Ciers, Gillian Blancke, Louis Boon, Tim Meese, Filip Van Nieuwerburgh, Andy Wullaert, Richard Grencis, Dirk Elewaut, Geert van Loo, Lars Vereecke
Publikováno v:
Frontiers in Immunology, Vol 15 (2024)
BackgroundProtective immunity against intestinal helminths requires induction of robust type-2 immunity orchestrated by various cellular and soluble effectors which promote goblet cell hyperplasia, mucus production, epithelial proliferation, and smoo
Externí odkaz:
https://doaj.org/article/4430a9dec9a04b37b1e9e9b55eb09f9c
Autor:
Karel F. A. Van Damme, Pieter Hertens, Arne Martens, Elisabeth Gilis, Dario Priem, Inge Bruggeman, Amelie Fossoul, Jozefien Declercq, Helena Aegerter, Andy Wullaert, Tino Hochepied, Esther Hoste, Lieselotte Vande Walle, Mohamed Lamkanfi, Savvas N. Savvides, Dirk Elewaut, Bart N. Lambrecht, Geert van Loo
Publikováno v:
Scientific Reports, Vol 13, Iss 1, Pp 1-11 (2023)
Abstract A20 serves as a critical brake on NF-κB-dependent inflammation. In humans, polymorphisms in or near the TNFAIP3/A20 gene have been linked to various inflammatory disorders, including systemic lupus erythematosus (SLE) and rheumatoid arthrit
Externí odkaz:
https://doaj.org/article/0bf2e4c99bae45e2afbc4924a4035aa2
Autor:
Wullaert, Steve1 sw.demijnen@gmail.com
Publikováno v:
Phegea. Mar2024, Vol. 52 Issue 1, p4-28. 25p.
Autor:
Elien Eeckhout, Tomoko Asaoka, Hanne Van Gorp, Dieter Demon, Charlotte Girard-Guyonvarc’h, Vanessa Andries, Lars Vereecke, Cem Gabay, Mohamed Lamkanfi, Geert van Loo, Andy Wullaert
Publikováno v:
Frontiers in Immunology, Vol 14 (2023)
BackgroundAutoinflammation with infantile enterocolitis (AIFEC) is an often fatal disease caused by gain-of-function mutations in the NLRC4 inflammasome. This inflammasomopathy is characterized by macrophage activation syndrome (MAS)-like episodes as
Externí odkaz:
https://doaj.org/article/22257ef24119463f84ae7fbc3bf11db2