Projecten
Patronen en alternerende structuren voor de uitdrukking van de toekomende tijd in het Gallo-Romaans: functioneel-systemische uitdagingen voor de grammaticalisatie theorie. KU Leuven
Een principiële benadering voor het verbeteren van datakwaliteit: het overbruggen van theorie en praktijk. Universiteit Antwerpen
Op weg naar een systematische theorie van aristotelische diagrammen in logische meetkunde KU Leuven
Aristotelian diagrams, such as the square of opposition, have been widely used throughout the history of philosophy and logic. Nowadays, they also have several applications in other disciplines that are concerned with logical reasoning, such as psychology, linguistics and computer science. However, many of the applications of Aristotelian diagrams suffer from substantial problems, often due to a lack of understanding of the intricate logical ...
Beheersing van microbiële samenlevingen: theorie naar praktijk KU Leuven
Microbiële samenlevingen zijn complexe systemen met interacterende soorten. Sleutelen aan deze complexe systemen om gewenste uitkomsten te behalen is extreem moeilijk, zoals mislukte pogingen om ecosystemen te manipuleren laten zien. Recent werk indiceert dat microbiële samenlevingen in de menselijke darm zogenoemde ‘sturende’ soorten bevatten die een verandering naar een andere samenleving kunnen veroorzaken als ze gemanipuleerd worden. Er ...
Een principiële benadering voor het verbeteren van datakwaliteit: het overbruggen van theorie en praktijk. Universiteit Antwerpen
Toekennen van isolatie levels aan database transacties Vrije Universiteit Brussel
worden uitgevoerd. De uitvoering van transacties wordt meestal
geassocieerd met ACID eigenschappen, die garanderen dat ze
atomair en in volledige afzondering van elkaar worden uitgevoerd. In
de praktijk worden transacties gelijktijdig uitgevoerd maar met
serialiseerbaarheid, dus op een manier dat het gecombineerd effect
equivalent is met een ...
Toekennen van isolatie levels aan database transacties Universiteit Hasselt
Empirical Foundations for Logical Geometry: A Database of Aristotelian Diagrams KU Leuven
In het licht van recent onderzoek rond logical geometry – een eengemaakte theoretische beschrijving van Aristotelische diagrammen – is mijn hoofddoel het ontwikkelen van een digitale databank van Aristotelische diagrammen en hun relevante metadata. Deze databank zal een empirische basis vormen voor logical geometry, gevestigd binnen een praktijk-gebaseerde filosofie van de logica, wat zal leiden tot het fine-tunen van ...