Projecten
The insurgent core of democracy: Rethinking democratic conflict in a context of market imperatives KU Leuven
Wat maakt een politiek conflict democratisch? Essentieel, volgens Claude Lefort, is dat in een democratie het conflict zichtbaar gemaakt wordt op de politieke scène. Vertaald in institutionele termen houdt dit een pleidooi in voor het spel van meerderheid en oppositie in het parlement. Dit perspectief verhult echter dat socio-economische condities de werking en het democratische karakter van politiek conflict kunnen aantasten. De wederzijdse ...
De grammatica van imperatieven en de imperatieven van de grammatica KU Leuven
Imperatieven zoals Ga weg! of Raak dat niet aanruiken om andere mensen te krijgen bepaalde dingen wel of niet doen (zoals weggaan of iets niet aanraken). Hoewel imperatieven erg zijn prominent in kindgerichte spraak, heeft onderzoek tot nu toe niet systematisch hun betekenis voor taal onderzocht acquisitie. Dit project zal deze leemte in de literatuur dichten door empirisch onderzoek uit te voeren in de onderzoekshypothese dat de grammatica ...
De grammatica van imperatieven en de imperatieven van de grammatica. KU Leuven
Imperatieven zoals 'Ga weg!' of 'Raak dat niet aan!' zijn de taalkundige uitdrukkingen die mensen gebruiken om andere mensen bepaalde dingen te laten doen of niet doen (zoals weggaan of iets niet aanraken). Hoewel imperatieven zeer prominent aanwezig zijn in op kinderen gerichte spraak, heeft onderzoek tot op heden niet systematisch de betekenis ervan voor taalverwerving onderzocht. Dit project zal deze leemte in de literatuur aanpakken door ...
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 ...
Specificatie en Verificatie van Imperatieve Programma's. KU Leuven
Gemechaniseerde verificatie van liveness-eigenschappen van concurrente, imperatieve programma's KU Leuven
(Vertaald met www.DeepL.com/Translator (gratis versie)) Er bestaan veel gereedschappen en technieken voor de formele verificatie van imperatieve programma's. Voor de meeste daarvan geldt echter dat er een aanzienlijke ruimte is voor menselijke fouten, zowel bij de toepassing van de hulpmiddelen als bij het bouwen van de hulpmiddelen. Dit vermindert de betrouwbaarheid van de resultaten. Gemechaniseerde verificatie tracht dit probleem aan te ...