Publicaties
Gekozen filters:
Gekozen filters:
Termination Analysis of Constraint Handling Rules: Theory and Practice (Eindigheidsanalyse voor Constraint Handling Rules: Theorie en Praktijk) KU Leuven
Constraint Handling Rules (CHR), closely related to Logic Programming (LP), is a declarative programming language. Over the years, the language proved successful for implementing many kinds of problems efficiently. Mainly this, but also its simple syntax and semantics, accounts for its success and impact on the research community. To further encourage the use of CHR, we need to further improve its efficiency of execution. To this end, ...
A practice based theory of diversity: Re-specifying (in)equality in organizations. KU Leuven
This paper turns to practice theory as a new theoretical lens to better understand the complexity of diversity in organizations. Questioning the field’s ontological dualism between individualism and societism, we propose to engage with practice theory’s relational ontology and its main conceptual and methodological ideas. From this, we develop a practice-based theory of diversity, arguing that practices and their connections, not individuals or ...
The legitimacy of EU decision-making: theory and practice of the open method of coordination and the European employment strategy Universiteit Antwerpen
The Rights of Nature: Theory and Practice Vrije Universiteit Brussel
Processes of practice in the realm of theory Universiteit Antwerpen
Although universities typically focus on academic activities, it has become common for several entrepreneurial activities to also occur within university walls. This article aims to unveil how university-based entrepreneurship - or 'academic intrapreneurship' - develops dynamically over time. Building on a qualitative case study of a European university, we show how academic intrapreneurship advances through two interconnected processes: a ...
Theory and practice of the shifted Lotka function Universiteit Hasselt KU Leuven Universiteit Antwerpen
One of the major drawbacks of the classical Lotka function is that arguments only start from the value 1. However, in many applications one may want to start from the value 0, e.g. when including zero received citations. In this article we consider the shifted Lotka function, which includes the case of zero items. Basic results for the total number of sources, the total number of items and the average number of items per source are given in this ...
Theory and practice of corrosion related to ashes and deposits in a WtE boiler KU Leuven
Corrosion of heat-exchanging components is one of the main operational problems in Waste-to-Energy plants, limiting the electrical efficiency that can be reached. Corrosion is mainly related to the devolatilization and/or formation of chlorides, sulphates and mixtures thereof on the heat-exchanging surfaces. Theoretical considerations on this corrosion were already put forward in literature, but this paper now for the first time combines theory ...
Theory and Practice of a Leakage Resilient Masking Scheme KU Leuven
A recent trend in cryptography is to formally prove the leakage resilience of cryptographic implementations - that is, one formally shows that a scheme remains provably secure even in the presence of side channel leakage. Although many of the proposed schemes are secure in a surprisingly strong model, most of them are unfortunately rather inefficient and come without practical security evaluations nor implementation attempts. In this work, we ...
Repeatability and reproducibility of specular gloss meters in theory and practice KU Leuven
In order to numerically quantify and to ensure consistency of the visual appearance of the end product, many industries perform color and gloss measurements, through the results of which they define maximum tolerances during quality control. For this, they may primarily rely on precision data for repeatability and reproducibility as reported by instrument manufacturers, who develop their instruments according to standardized measurement ...