De lucht geklaard … Aan de slag met resultaatgerichte grenswaarden voor industriële emissies om 50% reductie te bereiken in 2030

Hybrid Techniques for Hybrid Systems

ieniveauworden deze twee soorten gedrag uniform behandeld, als normale el-ementen van de procesalgebra. Hun gedragwordt bepaald door gebruik temaken vanstructural operational semantics (SOS) regels [Plotkin, 1981, 2003]. Verder respecterende regels al de verschillen tussen trajectory prefixes en action prefixes, gebaseerd oponze intuïtie over hoe dergelijke processen zich zouden...

de graad van doctor in de Wetenschappen: Informatica aan de Universiteit Antwerpen te verdedigen door

Proposal NWO Open Competition 2008 1 Project data

for Laymen (in Dutch) Dit project ontwikkelt een verificatiemethode voor gegevensbescherming, één van de voorwaarden voor het garanderen van de veiligheid van hedendaagse applicaties. De technische innovatie die ten grondslag ligt aan dit voorstel is het begrip zelf-compositie, d.w.z. de mogelijkheid om een programma met zichzelf samen te stellen. Dit geeft de mogelijkheid om veiligheid van een...

Modelling health care expenditures

in Dutch De zorguitgaven in de industriële landen zijn de afgelopen veertig jaar sterk gegroeid. Deze sterke groei vormt een bedreiging voor de houdbaarheid van de publieke budgetten en veroorzaakt een toenemende belangstelling voor de determinanten van de zorguitgaven. Dit paper geeft ten eerste een up-to-date overzicht van de bestaande literatuur over zorguitgaven. Daarnaast beoogt dit paper ...

Clustering with optimised weights for Gower ’ s metric

NEDERLANDS) In dit onderzoek formuleren we een algoritme om de gewichten van Gower’s afstandsmaat te optimaliseren zodat de cophenetic correlation coefficient (CPCC) gemaximaliseerd wordt. We gebruiken het L-BFGS algorithme met eenvoudige restricties om de gewichten te optimaliseren. We valideren ons algorithm met behulp van kunstmatige en echte datasets. We concluderen dat de gewichten een vit...