Projecten
Identification et caractérisation des facteurs de dépendance dans un modèle génétique de tumeur desmoïde de Xenopus tropicalis Universiteit Gent
De rol van externe bestuurders in high tech start-ups. Een resource dependency en board capital perspectief Universiteit Gent
De corporate governance literatuur heeft zich hoofdzakelijk gefocust op grote bedrijven, waar de rol van een externe raad van bestuur zich vaak beperkt tot een controlefunctie. Voor high tech starters kan de mentoring rol echter belangrijk zijn. Dit onderzoek gaat de contributie van de raad van bestuur na, en gaat na in hoeverre deze bijdraagt tot performantie van de starter.
De rol van follicular helper T cellen, B cel subsets en CD8 T cellen in de humane antilichamen respons tegen thymus dependente en thymus independente antigenen van Streptococcus pneumoniae. KU Leuven
CRISPR-mediated mapping of genetic dependencies in well-differentiated and dedifferenciated liposarcoma Universiteit Gent
Translational inhibition as novel therapeutic target in neuroblastoma: deciphering the molecular targets and dependencies of silvestrol inhibition (Carolina Nunes) Universiteit Gent
Carolina Nunes
Algebraic Statistics: Conditional Independence Models KU Leuven
This PhD proposal is on discrete and Gaussian conditional independence models and their inference problem.
Theorie, implementatie en toepassing van directed dependent type theories KU Leuven
Dependent type theory is een krachtige logica die toelaat veilige software te ontwikkelen en computergeassisteerd eigenschappen van die software te bewijzen. Dependently-typed talen zoals Agda, Coq en Idris kunnen dan ook zowel gebruikt worden als programmeertaal, als als proof assistant.
De bedoeling van dit doctoraat is om de fundamenten op te stellen van directed dependent type theories (DDTT) door ze te formuleren, te implementeren, ...
Programmeren met dependent types voor veilige en correcte webtoepassingen KU Leuven
Afhankelijke typetheorie is een krachtige taal voor het schrijven van functionele
programma’s met zeer precieze types. In deze taal kunnen niet alleen
programma’s geschreven worden, maar ook wiskundige bewijzen dat deze
programma’s voldoen aan bepaalde eigenschappen. Om deze reden worden
talen gebaseerd op typetheorie – zoals Coq, Agda, en Idris – zowel gebruikt als
programmeertalen alsook als interactieve ...
Econometric models for insurance applications: essays on Bayesian mortality models, heavy tails and extreme value statistics with censored data. KU Leuven
Life insurers, pension funds, health care providers and social security institutions face increasing expenses due to continuing improvements of mortality rates. The actuarial and demographic literature has introduced a myriad of (deterministic and stochastic) models to forecast mortality rates of single and multiple populations.
Chapter 2 in this PhD thesis presents aBayesian analysis of two related multi-population mortality models of ...