Projecten
Beveiligings- en privacy-gedreven software ontwikkeling in IoT-gebaseerde gezondheidszorg KU Leuven
Dit doctoraat heeft als doel om ondersteuning te bieden voor gestructureerde beveiliging en privacy risico-analyses van een gedistribueerde architectuur voor mobiele gezondheidstoepassingen zoals afstandsmonitorren, het verzamelen van gezondheidsdata, en het analyseren ervan, en via een privacy-by-design methodologie deze architectuur uit te breiden vanuit beveiligings- en privacy perspectief, specifiek met het oog op het delen van ...
Ultrageluid- en microgolf- geassisteerde niet- waterige oplosmiddelextractie in milliflow-reactoren KU Leuven
Onderzoek naar de extractie van kritische metalen in stromingsreactoren. Om de effecten van echografie en microgolven op oplosmiddelextractie met niet-waterige vloeistoffen zoals ionische vloeistoffen te bestuderen. Begrijpen van het potentieel van oplosmiddelextractie toegepast in stromingsreactoren en in werking gesteld door alternatieve energievormen. Proof-of-principle dat kritische metalen kunnen worden geëxtraheerd in ...
De kustzeeën: een plek van intense globale verandering. Universiteit Antwerpen
Nitrificatie-advies voor de pilootinstallatie van MELiSSA, het regeneratieve life support system van ESA. Universiteit Antwerpen
SEM/TEM analyses. Universiteit Antwerpen
Hiërarchisch gestructureerde, poreuze lichamen uit capillaire suspensies KU Leuven
De combinatie van de intrinsieke eigenschappen van keramiek zoals chemische resistentie, temperatuurbestendigheid en de mechanische eigenschappen met de lage dichtheid en hoge permeabiliteit van poreuze materialen is van belang geweest voor vele industriële toepassingen zoals in biomedische toepassingen, filtratie, energieopslag, warmtewisseling, gasadsorptie, isolatie, zowel als lichtgewicht bouwmaterialen, katalysatormonolieten of ...
MERCS: Efficiënte modellering van big data met multidirectionele ensembes van beslissingsbomen KU Leuven
Het domein van datamining behelst een grote variëteit aan taken, zoals classificatie, regressie, clustering, detectie van anomalieën, het vinden van subgroepen, probabilistische inferentie, ..., en een zo mogelijke nog grotere variëteit aan methodes. Veel methodes hebben een hoge computationele complexiteit, wat ze ongeschikt maakt om zeer grote datasets te analyseren. Een mogelijke oplossing hiervoor is de automatische constructie, op basis ...
Annotatie-inferentie voor modulaire formele softwareverificatie KU Leuven
Modulaire formele verificatie belooft software-ontwikkelingsteams in staat te stellen software af te leveren met sterkere garanties wat betreft correctheid en veiligheid (in de zin van het behoud van veiligheidseigenschappen in de aanwezigheid van zowel toevallige als kwaadwillig veroorzaakte omstandigheden) tegen een lagere ontwikkelingskost. Deze belofte wordt momenteel echter nog niet gerealiseerd, omdat het opstellen van de formele ...
Modulaire formele verificatie van totale correctheidseigenschappen van meerdradige imperatieve programma's KU Leuven
Voor software-ontwikkelingsprojecten met zeer hoge correctheidsvereisten (bv. in het geval dat het systeem bij foute werking schade zou kunnen berokkenen aan personen of goederen, of dat het systeem met het internet verbonden is en dus bestand moet zijn tegen cyber-aanvallen, of dat het systeem snel moet reageren op gebeurtenissen), kan er in veel gevallen niet voldoende zekerheid verkregen worden van de correctheid met klassieke ...