Projecten
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 ...
Functionele koolstofnanobuis-nanohybriden: van synthese tot spectroscopische karakterisering. Universiteit Antwerpen
Scheiding, sortering en sterk verbeterde eigenschappen van intacte koolstof nanobuizen en hun composieten. Universiteit Antwerpen
IVESS: intelligente woordenschat- en voorbeeldenselectie voor woordenschatverwerving in het Spaans Universiteit Gent
In het onderzoeksdomein “Intelligent Computer-Assisted Vocabulary Learning” (ICAVL) worden Natural Language Processing (NLP)-gebaseerde methodologieën (bv. met Part-Of-Speech tagging, lemmatisering, dependency parsing en word sense disambiguation) toegepast op corpora met de bedoeling dat woordenschatgerelateerde leerinhouden voor CALL-doeleinden ontwikkelen daardoor makkelijker wordt en/of automatisch kan verlopen. Dit project neemt nog ...
Incrementele Statische Programma-analyse via Modulariteit Vrije Universiteit Brussel
Nieuwe theorie en toepassingen met de geregularizeerde Kappa-verdeling KU Leuven
Het voornaamste doel van het voorgestelde project is de vooruitgang van de niet-evenwichtsplasmatheorie en specifieke sleuteltoepassingen door gebruik te maken van de Regularized Kappa Distribution (RKD) die onlangs is geïntroduceerd voor een realistische interpretatie van suprathermische deeltjespopulaties en hun macroscopische implicaties in verschillende astrofysische systemen. Het nieuwe RKD-concept motiveert systematische verkenningen ...
Ontrafelen van eerste cel segregaties gedurende vroege humane preimplantatie ontwikkeling. KU Leuven
Cel specificatie tijdens de vroege embryonale ontwikkeling wordt
gecoördineerd door een dynamiek van extracellulaire signalen. Een
correcte segregatie tussen de ‘Inner Cell Mass’ in de epiblast (Epi),
die aanleiding geeft tot de foetus, en het primitieve endoderm (PrE),
die bijdraagt aan de extra-embryonale weefsels, is essentieel voor
een goede ontwikkeling. Desondanks blijft de regulering ervan
onvoldoende ...
PersiSTRESS: Hoe de stress-resistentie antiporter GadC bacteriële osmoregulatie en pH homeostase integreert met antibioticatolerante persistentie KU Leuven
“Wat je niet doodt, maakt je sterker” is ook toepasbaar in de strijd tegen bacteriële infecties. Inderdaad, vele stress responsen beïnvloeden de illustere persister status die cellen toelaat antibiotica te overleven. Persistentie is aanwezig in alle bacteriesoorten en verlengt niet alleen de behandelingsduur maar versnelt ook resistentieontwikkeling. Persistentie staat daarom centraal in de antibioticacrisis maar wordt te vaak over het hoofd ...