Onderzoeksprojecten (1-500 van 840)

Transcriptie

1 - 3 Nov :16:40 Onderzoeksprojecten (1-500 van 840) Zoekfilter: Classificaties: Informatica, systeemtheorie Het Internet der Dingen voor een Duurzame Toekomst Abstract: Het Internet der Dingen kan een belangrijke bijdrage leveren tot het oplossen van vele van de kernuitdagingen in duurzame ontwikkeling. Zo kan dit domein de toestand van de wereld beter in kaart brengen alsook het bewustzijn van haar inwoners versterken in deze context. Europees onderzoek in dit domein is echter beperkt. Met deze workshop willen we de basis leggen voor een Europees onderzoeksprogramma dat het Internet der Dingen aanwendt in duurzame ontwikkeling. Op deze manier brengen we het juiste geheel van interdisciplinaire expertise samen om toekomstige onderzoeksacties beter te omkaderen. Software Language Lab Artificiele Intelligentie Wiskunde Matthias STEVENS Ellie D'HONDT Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_bench fee i.h.k. van Joint PhD VUB- UCL, Nicolas Cardozo Alvarez Abstract: In dit onderzoek zullen we ons richten op de evolutie van de runtime-problemen die kunnen ontstaan in dynamisch ontwikkelende programma's en onderzoeken we welke oplossingen kunnen worden voorgesteld.in plaats van ons te concentreren op één specifieke taal, zullen we ons richten op de klasse van context-georiënteerde talen, met speciaal focus voor hot software updates. Software Language Lab Nicolas CARDOZO THEO D'HONDT Gift ter ondersteuning onderzoek Abstract: Gift ter ondersteuning onderzoek THEO D'HONDT Validatie gebruik Semantic Decision Table technology en prototype. Abstract: De instelling 'VUB' en het ' Fire Protection Consultants nv (FPC)' hebben voor het project ' Validating the use of Semantic Decision Table technology and prototype in the NoKeos Emergency response Modelling tool. ' een overeenkomst afgesloten die kadert in de dienstverleningsopdracht van de instelling. Hierbij kunnen de onderzoeksresultaten worden overgedragen aan het bedrijf, kan een billijke vergoeding worden afgesproken mbt de valorisatie van het onderzoek of kunnen andere afspraken gemaakt worden aangaande intellectuele eigendom, zoals bepaald in de afgesloten overeenkomst. ROBERT MEERSMAN Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_bench fee i.h.k. van Joint PhD VUB-UGent, Jeroen Janssen Abstract: FASP is een extensie van ASP gebaseerd op fuzzy logic. DIRK VERMEIR Storting doctoraatsbegeleiding van Abdellah Benname Abstract: Niet van toepassing WOLFGANG DE MEUTER THEO D'HONDT Onderzoeksgroep Alliantie VUB-UGent:logic Engineering - LOGE Abstract: Declaratieve systemen / meerwaardige logica / quantitatieve redeneersystemen / praktische toepassingen

2 ANN NOWE Opstelling van technisch verslag betreffende de werking van de diverse diensten aangeboden door Google INC. in context van de rechtszaak Copiepresse SCRL tegen Google Inc. Abstract: Opstelling van technisch verslag betreffende de werking van de diverse diensten aangeboden door Google INC. in context van de rechtszaak Copiepresse SCRL tegen Google Inc. Informatica en Telecommunicatie JACQUES TIBERGHIEN Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_bench fee i.h.k. van Joint PhD VUB-INSA Rouen (Frankrijk)_Stijn Meganck. Abstract: Joint Phd overeenkomst voor Stijn Meganck Bernard MANDERICK Computernetwerken Abstract: Informatica Informatica en Telecommunicatie MARNIX GOOSSENS Efficiënte inferentie voor probabilistische programma's en databanken. Luc De Raedt Guy Van den Broeck Wordt Bitcoin de nieuwe dollar? Inzicht verwerven in de fundamentele factoren die bijdragen tot het wijdverspreid geraken van cryptomunten. OG LIRIS Leuven Paul De Grauwe Jochen De Weerdt Een nieuwe paradigma voor het bedieningsproces in wachtlijnsystemen, met toepassingen in computer- en communicatienetwerken Abstract: Het project onderzoekt een nieuwe klasse van wachtlijnmodellen waarbij het klassieke begrip?bedieningstijd? vervangen wordt door twee nieuwe begrippen?bedieningsvraag? en?bedieningscapaciteit?. De bedieningsvraag geeft de hoeveelheid werk aan die een klant vereist, terwijl de bedieningscapaciteit de hoeveelheid werk voorstelt die in een tijdseenheid kan uitgevoerd worden. Vakgroep Telecommunicatie en informatieverwerking Herwig Bruneel Sabine Wittevrongel Redeneren over coroutines Abstract: Programmeertaalconcepten gebaseerd op coroutines en zijwaards doorgeven van informatie zijn alomtegenwoordig in moderne programmeertalen, waar ze vele programmeervoordelen bieden. Programma-analyses zijn echter slecht uitgerust om met hen om te gaan. Het gevolg is dat programmeurs zwakke en onbruikbare analyse-feedback krijgen en geen compileroptimalisaties. Om deze situatie recht te zetten ontwikkelt dit project redeneertechnieken specifiek voor programmeertaalconcepten gebaseerd op coroutines. Vakgroep Toegepaste wiskunde en informatica Tom Schrijvers Agentbased modellen en de theorie van adaptieve multitype en multilaag netwerken voor de studie van economische complexiteit en financiële instabiliteit Abstract: We wensen reallife interacties in zogenaamde?massive multiplayer online games (MMOG)? te analyseren en te modelleren. De MMOG leveren een realistische en empirische testomgeving om bestaande economische modellen te toetsen en nieuwe modellen te ontwikkelen. Het voorstel zal contributies leveren tot het snel groeiend interdisciplinair vakgebied?social physics? en de methodologie van multitype en multilaag netwerken verder uitdiepen.

3 Vakgroep Fysica en Sterrenkunde Jan Ryckebusch Agentbased modellen en de theorie van adaptieve multitype en multilaag netwerken voor de studie van economische complexiteit en financiële instabiliteit Abstract: We wensen reallife interacties in zogenaamde?massive multiplayer online games (MMOG)? te analyseren en te modelleren. De MMOG leveren een realistische en empirische testomgeving om bestaande economische modellen te toetsen en nieuwe modellen te ontwikkelen. Het voorstel zal contributies leveren tot het snel groeiend interdisciplinair vakgebied?social physics? en de methodologie van multitype en multilaag netwerken verder uitdiepen. Vakgroep Algemene economie Koen Schoors An adaptive beamforming approach to direct-to-reverbant ratio control for high-end audio conferencing on mobile devices TC Elektrotechniek (ESAT) Geel Marc Moonen Toon van Waterschoot Thomas Dietzen Online detection of epileptic seizures using ECG and EEG. Abstract: The goal of the intended doctoral research is to find robust algorithmsto detect epileptic seizures automatically. This will be done by applying machine learning techniques like support vector machines and reservoir computing on only ECG and EEG. Advanced signal processing techniques will be performed on both ECG and EEG because they can be very noisy around detection onset. Automatic online seizure detection can have multiplebenefits, for example a more efficient monitoring during the prechirurgical phase. Sabine Van Huffel Thomas De Cooman Improvements to type systems for purely functional programming languages Abstract: Mastering the complexity of software systems in all its facets is one of the continuing challenges of computer science. This theme receives much attention in the area of programming and modeling languages, because the inherent complexity of large software systems can be greatly aggravated by the incidental complexity of the language used. Purely Functional Programming (PFP) (e.g., Haskell, Coq, Agda) has been widely recognized for its ability to avoid such complexity and to reduce programming concepts to their essence, for instance in the area of certified software. Inthis PhD project, we will investigate various improvements to type systems for purely functional programming languages with an emphasis on reducing annotation overhead and improving support for modeling of effects. Frank Piessens Dominique Devriese Thomas Winant ECG based risk stratification for sudden cardiac death Abstract: Sudden cardiac death (SCD) caused by ventricular arrhythmia such as ventricular fibrillation (VF) and tachycardia (VT) is the second most important cause of death in today#s world. The only efficient prevention of SCD is the implantation of a cardiac defibrillator (ICD). To keep the cost effectiveness and complication risk of this therapy acceptable, it is crucial to identify patients at high risk of arrhythmic death but at lowrisk of dying of other causes, e.g. heart failure or non cardiac death.today, this risk stratification is almost entirely based on the assessment of the left ventricular ejection (LVEF). The poor specificity of this parameter to predict arrhythmia results in questionable cost-effectiveness of ICD therapy, as was described by the Belgian Health Care Knowledge Center. There is therefore a need for new non-invasive techniques to estimate the individual risk of ventricular arrhythmia. These new techniques focus on the pathophysiological mechanisms underlying ventricu Sabine Van Huffel Griet Goovaerts Machine Learning Techniques for Physical Therapy. Abstract: 1. Probleemstelling en doelstelling(en) Het typische proces van een revaliderende patiënt is een afwisseling van bezoeken aan de kinesist en thuis oefenen. Er is geen controle over de oefeningen thuis,waardoor die vaak foutief uitgevoerd worden. Dit is niet alleen een probleem voor de patiënt, die dan trager vooruitgaat, maar dit brengtook een grote kost met zich mee. Het automatisch analiseren van sensorinformatie over de patiënt die een revalidatieoefening uitvoert, kan het mogelijk maken om feedback te geven. Hiervoor moet er echter nog significante vooruitgang in machine learning geboekt worden. Het doel van dit project is de nodige technieken hiervoor te ontwikkelen. Deze technieken moeten 1) kunnen omgaan met onzekere informatie die van desensoren komen, 2) snel feedback kunnen geven en 3) rekening kunnen houden met het dynamische aspect van de revalidatieoefeningen. Er zal gewerkt worden met probabilistische grafische modellen, dit veelgebruikte machine learning formalisme kan o

4 Jesse Davis Jessa Bekker From business rule systems to logic. Marc Denecker Gerda Janssens Ruben Lapauw Towards declarative clustering: Novel approaches to semi-supervised clustering based on meta-learning, transfer learning, and generalizing fromexample clusters. Abstract: Clusteren richt zich op het zoeken van structuur in data door verzamelingen van gelijkaardige objecten te identificeren. Tot een goede clustering komen is vaak een lastige taak voor de gebruiker. Om te beginnen kan het moeilijk zijn om te definiëren wat gelijkaardig precies betekent. Verder moet er ook een keuze gemaakt worden uit een uitgebreid aanbod aan clustertaken en -methoden. Beide factoren hebben een grote invloed op de resulterende clustering. In dit project willen we methoden ontwikkelen die deze taken, het definiëren van gelijkaardigheid en de selectie van het clusteralgoritme, automatiseren. Zo wordt een stap gezet naar een meer declaratieve vorm van clusteren, waarbij de gebruiker een taak specificeert en de uitvoeringsstrategie de verantwoordelijkheid is van het systeem. Om dit te verwezenlijken worden semigesuperviseerde clustermethoden ontwikkeld: methoden die gebruik maken van additionele informatie, vaak in de vorm van door de gebruiker opgegeven constraints. Di Hendrik Blockeel Toon Van Craenendonck RIA-GRACeFUL Tom Schrijvers Modellering en controle van energie-oogstende draadloze sensornetwerken. Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk Onderzoek- Vlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Modeleren van Systemen en Internet Communicatie (MOSAIC) Christian Blondia Software-architectuur en modules voor geunificeerde radiocontrole (SAMURAI). Abstract: We leven in een geconnecteerde wereld waarbij veel belangrijke toepassingen nood hebben aan betrouwbare draadloze communicatie. Standaard technologieën en protocollen zijn vaak onvoldoende betrouwbaar en verschillende specifieke aanpassingen aan de radio controle software zijn nodig om aan concrete applicadevereisten te voldoen. Om deze innovatie mogelijk te maken zonder al te hoge kosten, moet de communicatiearchitectuur evolueren van gesloten vertikale oplossingen naar open horizontale platformen die hergebruikt kunnen worden in verschillende applicatiedomeinen. Applicaties en toestellen zullen applicatiespecifiek blijven, maar de communicatieprotocollen en platformen moeten generiek worden om herhaalde ontwikkelkosten te vermijden. Universele modulaire radiocontrolesoftware is dan ook noodzakelijk. Innovatieve universele radio-oplossingen vereisen verschillende manieren om adaptatie of optimalisatie mogelijk te maken. Eerst moet de radiocontrole automatisch geconfigureerd worden in functie van de onderliggende hardware, technologie of applicatiedomein. Verder moeten alle betrouwbare oplossingen voor draadloze communicatie in staat zijn zich aan te passen aan de zeer dynamische draadloze context. Herconfiguratie-intelligentie is bijgevolg noodzakelijk. SAMURAI combineert software, applicatie- en intelligentie-doelstellingen. Modeleren van Systemen en Internet Communicatie (MOSAIC) Christian Blondia Stabiel multi-agent leren voor netwerken (SMILE - IT). Abstract: De belangrijkste onderzoeksvraag binnen het SMILE-IT project is "hoe complexe netwerken zichzelf kunnen organiseren zonder verlies van stabiliteit of performantie te veroorzaken." In het bijzonder, stelt het project tot doel een framework te ontwikkelen voor het analyseren en aansturen van moderne, genetwerkte systemen. Deze systemen bestaan uit een groot aantal heterogene entiteiten of agenten, die elk individueel handelen om een bepaalde doelstelling te bereiken en daardoor invloed uitoefenen op andere agenten in het netwerk. Het ontwikkelde framework moet voldoende algemeen zijn om toepasbaar te zijn in een groot aantal verschil- lende applicaties. Bovendien moeten de methoden schaalbaar zijn en een zekere performantie garanderen, zelfs in onzekere situaties. Om deze doelstellingen te bereiken werden volgende essenti ele wetenschappelijke ontwikkelingen voor het SMILE-IT project ge dentificeerd.

5 - Controle van complexe multi-agent systemen: Een eerste doel van het project is om software en- gineering abstracties te ontwikkelen voor het systematisch programmeren van allerhande grootschalige netwerken. De ontwikkelde abstracties zullen de basis vormen om gedistribueerde lerende agenten netwerken aan te sturen op een netwerk wijde manier in plaats van agent per agent zoals in de huidige oplossingen. Bovendien zullen de ontwikkelde abstracties het makkelijk maken om de staat van het netwerk op te vragen en deze te be nvloeden. Ten slotte zullen deze abstracties het ook mogelijk maken om op makkelijke wijze garanties over het netwerk uit te drukken en deze te verifiren. - Snelle en stabiele convergentie naar goede oplossingen: Een belangrijk aspect bij het toepassen van leermethoden in operationele systemen, is het garanderen van een basis performantieniveau tij- dens het leren van de controlestrategie en. Om lange leerperiodes met lage prestaties te voorkomen zal daarom in het leerproces gebruik worden gemaakt van heuristische kennis integratie met bestaande con- trolemethoden en wordt het concept van een informatiecontext voor de lerende agenten ge ntroduceerd: - Robuust en adaptief omgaan met onverwachte gebeurtenissen: Door de grote schaal in mod- erne netwerksystemen is het vaak onmogelijk om leeralgoritmen een volledige toestandsbeschrijving van het netwerk te geven. Bovendien kunnen zich steeds onverwachte fouten of storingen voordoen in het netwerk. Dit leidt tot een hoge graad van onzekerheid waar de lerende systemen moeten mee om kunnen gaan. Een belangrijke doelstelling zal daarom zijn te onderzoeken hoe, i.h.b. reinforcement learning technieken kunnen omgaan met deze onzekerheid en hoe ze kunnen toegepast worden bij het verhelpen van storingen. De ontwikkelingen in SMILE-IT zullen worden aangestuurd door 2 motiverende gevallenstudies, nl. smart grids en telecom netwerkmanagement. Voor deze cases zullen prototypes worden ontwikkeld die een uitge- breide evaluatie van het SMILE-IT framework moeten toelaten. In een latere fase van het project, zal ook de algemene toepasbaarheid van het framework worden ge evalueerd aan de hand van een aantal beperk- tere tests op bijkomende cases aangebracht door gebruikerscommissie, zoals bv. Intelligente regeling van verkeerslichten. Modeleren van Systemen en Internet Communicatie (MOSAIC) Steven Latré Heterogene, 3D microsystemen verwerkingslijn voor complex multidisciplinatry apparaat onderzoek. Abstract: niet beschikbaar Vakgroep Elektronica en informatiesystemen Jan Vanfleteren Modeling, automatisation and optimisation of experimental processes in network-structured domains. Jan Ramon Hendrik Blockeel Alexandros Sarafianos Dynamisch en gedistribueerde beheer van Service Function Chains in een gevirtualiseerde cloud- en netwerkomgeving. Abstract: Het internet heeft een belangrijke evolutie gekend in de laatste decennia. Gestart als een simpel transportmedium voor het versturen van kleine pakketten is het een aanbieder geworden van veeleisende diensten zoals cloud applicaties en video streaming. Ondanks deze evolutie is de achterliggende architectuur nog steeds dezelfde. Dit zorgt voor een gebrek aan flexibiliteit: het is nog steeds niet mogelijk om externe diensten zoals Skype af te leveren aan de gebruikers met vooropgestelde kwaliteitseisen wat leidt tot belangrijke. Een tweede belangrijke evolutie is de populariteit van de cloud en zijn steeds verdere integratie in het internet. Er is niet langer "een cloud" en "een internet": de twee zijn geconvergeerd tot een eengemaakt platform. Dit betekent dat ook het beheer van de cloud en het internet moet samen bestudeerd worden. In de literatuur is er recent belangrijk onderzoek verricht die het mogelijk maakt om het netwerk te beheren via software en zo de virtualisatie van het netwerk toelaten. Door het virtualiseren van netwerk toestellen hoopt men dezelfde flexibiliteit te bekomen als men de dag van vandaag in een cloud ervaart. Door deze technieken zijn belangrijke nieuwe fundamentele onderzoeksrichtingen mogelijk gemaakt. Meer specifiek binnen het domein van netwerk virtualisatie is een belangrijke rol weggelegd voor de zogenoemde Service Function Chains (SFCs). Dit zijn grafen bestaande uit verschillende subcomponenten van diensten (bv. een video streamings component, een deel van een cloud applicatie) die over verschillende datacenters verspreid worden en samen de Internetdienst vormen. Het opstellen van dergelijke SFCs en het assigneren van de subcomponenten aan de verschillende datacenters op een schaalbare manier is een belangrijk onopgelost probleem. In dit doctoraatsonderzoek zullen algoritmes ontwikkeld worden die het mogelijk maken om dergelijke SFCs te construeren en dynamisch aan te passen als gevolg van gebruikersmobiliteit, wijzigingen in de dienst of variërende netwerkomgevingen. Hierdoor verandert de optimale constructie van SFCs. Binnen dit project zullen zowel optimale constructies berekend worden aan de hand van wiskundige optimalisatiesmethoden als approximaties van de oplossing via gedistribueerde heuristieken. Door een schaalbare en dynamische constructie en toewijzing van SFCs te bouwen kunnen externe diensten aangeboden worden met de broodnodige kwaliteitseisen voor de verdere ontwikkeling van het internet en de cloud. Modeleren van Systemen en Internet Communicatie (MOSAIC) Steven Latré Bart Spinnewyn A conceptual framework for evidence-based, personalized, context-aware persuasive systems for chronic arthritis patients, to increase adherence to physical therapy programs. Abstract: Het doel van dit doctoraat is de ontwikkeling van een conceptueel raamwerk van strategieën voor persuasieve systemen voor patiënten met chronische artritis. Deze systemen zullen gebaseerd op bewijsmateriaal, gepersonaliseerd en bewust van hun context zijn. Het doel van het persuasief systeem is om patiënten aan te moedigen om hun fysieke therapie te volgen door het uitzenden van aanwijzingen die actie stimuleren. Deze aanwijzingen zullen gebaseerd zijn op verzamelde gegevens van de patiënt. De noodvoor sensoren die op het lichaam gedragen worden zal onderzocht worden alsook sensoren omvat in een smartphone. Deze sensoren zullen gebruikt worden om postuur, fysieke activiteit en inspanning

6 en locatie van de patiënt te bepalen. Om therapietrouw te bevorderen zal het monitoring systeem een schatting moeten kunnen maken van de patiënt zijn motivatie en vermogen om de oefeningen uit te voeren. Gebaseerd op deze schattingen zullen aanwijzingen tot actie op het juiste moment uitgestuurd worden Luc Geurts Erik Duval Veronika Vanden Abeele Jonas Geuens / Tom Schrijvers FWO: Reasoning about coroutines Daniel De Schreye Tom Schrijvers Amr Hany Shehata Saleh Advances in Cyber Security Wouter Joosen Systems Biology: Modeling of Tissue Stress and Inflammation Using Bart De Moor Supinya Piampongsant Cross Layer Optimization for the Fourth Generation Broadband Access Network Marc Moonen Jeroen Verdyck Advanced applications of knowledge representation technology: the virtual director TC Computerwetenschappen De Nayer N. N. Joost Vennekens A data quality framework for effective risk data aggregation and risk reporting. OG LIRIS Leuven Monique Snoeck Tom Haegemans CARMA (Career Management Analysis). OG LIRIS Leuven

7 Bart Baesens Michael Reusens Smart data and decisions in marketing. OG LIRIS Leuven Jan Vanthienen Jasmien Lismont Using predictive analytics for business applications. OG LIRIS Leuven Wilfried Lemahieu Tine Van Calster Customer lifetime value modelling. OG LIRIS Leuven Jan Vanthienen Building state of the art analytical financial churn prediction models. OG LIRIS Leuven Bart Baesens Katrien Antonio Seppe vanden Broucke Eugen Stripling Elaboration and validation of IMermaid tool extention to automate user interface generation. OG LIRIS Leuven Monique Snoeck Jenny Ruiz de la Peña Structurele financiering instituten: projectfinanciering EDM voor fundamenteel onderzoek Universiteit Hasselt Abstract: Het nieuwe BOF-financieringsprogramma 'structurele financiering van de instituten' is een programma dat wordt ingezet ter ondersteuning van het speerpunten beleid van de UHasselt. In overeenstemming met het Beleidsplan Onderzoek ( ) (SD 1- OD1) kent de onderzoeksraad sinds 2012 jaarlijks aan de instituten structureel BOF-middelen toe voor de uitbouw van het fundamenteel onderzoek binnen deze instituten. Deze middelen worden ingezet op onderzoekslijnen gedefinieerd in het strategisch plan van EDM Expertisecentrum voor Digitale Media Eddy FLERACKERS Frank VAN REETH Structurele financiering instituten: structurele financiering EDM voor de werking van het instituut Universiteit Hasselt Abstract: Het nieuwe BOF-financieringsprogramma 'structurele financiering van de instituten' is een programma dat wordt ingezet ter ondersteuning van het speerpunten beleid van de UHasselt. In overeenstemming met het Beleidsplan Onderzoek ( ) (SD 1- OD1) kent de onderzoeksraad sinds 2012 jaarlijks aan de instituten structureel BOF-middelen toe voor de organisatie en goede werking van deze instituten. Expertisecentrum voor Digitale Media Eddy FLERACKERS Frank VAN REETH Structurele financiering instituten: projectfinanciering IMOB voor fundamenteel onderzoek Universiteit Hasselt Abstract: Het nieuwe BOF-financieringsprogramma 'structurele financiering van de instituten' is een programma dat wordt ingezet ter ondersteuning van het speerpunten beleid van de UHasselt. In overeenstemming met het Beleidsplan Onderzoek ( ) (SD 1- OD1) kent de onderzoeksraad sinds 2012 jaarlijks aan de instituten structureel BOF-middelen toe voor de uitbouw van het fundamenteel onderzoek binnen deze instituten. Deze middelen worden ingezet op onderzoekslijnen gedefinieerd in het strategisch plan van IMOB

8 Instituut voor Mobiliteit Gerhard WETS Structurele financiering instituten: structurele financiering IMOB voor de werking van het instituut Universiteit Hasselt Abstract: Het nieuwe BOF-financieringsprogramma 'structurele financiering van de instituten' is een programma dat wordt ingezet ter ondersteuning van het speerpunten beleid van de UHasselt. In overeenstemming met het Beleidsplan Onderzoek ( ) (SD 1- OD1) kent de onderzoeksraad sinds 2012 jaarlijks aan de instituten structureel BOF-middelen toe voor de organisatie en goede werking van deze instituten. Instituut voor Mobiliteit Gerhard WETS Bijdragen aan het evaluatiekader van automatische procesontdekking: Het belang van het doel van procesontdekking en een nieuwe generalisatiemaatstaf. Universiteit Hasselt Abstract: Process mining maakt het mogelijk de control-flow van een proces te ontdekken uit geobserveerd process gedrag, geregistreerd in een event log. De laatste 15 jaar zijn vele discovery algoritmes ontwikkeld, elk met hun eigen sterke punten. Om verdere wetenschappelijke vooruitgang op dit gebied te ondersteunen, heeft de onderzoeksgemeenschap nood aan een sterk methodologisch evaluatiekader. Verschillende auteurs hebben reeds bijgedragen aan dit kader, maar een aantal problemen blijven onopgelost. Twee van deze kwesties zullen worden aangepakt in dit voorstel. Ten eerste, zal ik het doel van proces discovery koppelen aan de juiste evaluatiecriteria en dit formaliseren in het purpose-perspectives raamwerk. Dit raamwerk zal de gebruiker helpen in het bepalen van de juiste balans tussen de verschillende evaluatieperspectieven en de academici helpen in het vinden van een consensus over de geschikte evaluatiecriteria om procesmodellen met elkaar te vergelijken. Ten tweede zullen we een nieuwe evaluatiemaatstaf ontwikkelen die de kans berekent dat de event log gegenereerd had kunnen worden door het ontdekte model. Deze maatregel laat eindgebruikers en academici toe te bepalen of het ontdekte model niet te veel ongeobserveerd gedrag bevat. Dit zal de eerste maatstaf zijn die de belangrijke vraag zal kunnen beantwoorden of een ontdekt model niet te algemeen is. Beleidsinformatica Benoit DEPAIRE Data science Bart De Moor Oliver Lauwers Understanding the bigger picture: Deeper insights into biology through fusion of heterogeneous data sources Bart De Moor N. N. Malware: ecosystems, mechanisms, detection and countermeasures Wouter Joosen M Zubair Rafique New programming models for web applications. Abstract: Robuuste en interactieve web applicaties ontwikkelen is moeilijk, omdat ontwikkelaars onder andere, asynchrone events, data consistentie en propagatie van events moeten implementeren terwijl ze aan de client- en serverkant in een andere omgeving ontwikkelen.verschillende aanpakken om deze problemen deels op te lossen bestaan echter al zoals (1) multitier talen (ook wel tierloze talen genoemd) en (2) functioneel reactief programmeren toegepast op het web.multitier programmeertalen zorgen ervoor dat je niet meer in verschillende omgevingen moet werken en unificeren zowel client als server code in één systeem terwijl ze de complexiteit die gerelateerd is aan het maken verbinden van lagen (tiers) verbergen.functioneel reactief programmeren maakt event gedreven programmeren gemakkelijk, veilig, samenstelbaar en dus makkelijker om over te redeneren.bestaande programmeertalen en web raamwerken hebben de twee technieken echter nog ten volste niet gecombineerd.frp is bijvoorbeeld al vaker gecom Frank Piessens Bob Reynders Security of the web and its ecosystems

9 Wouter Joosen Tom Van Goethem Machine learning with constraints on energy consumption Abstract: Machine learning is een onderzoeksveld binnen artificiële intelligentiedat bestudeert hoe programmas modellen kunnen leren uit gegevens (voorbeelden) en hoe deze modellen kunnen worden toegepast om betere prestaties te bekomen. Deze programmas hebben als doel om relaties of functies,die impliciet voorkomen in de gegevens, te leren of te ontdekken. Machine learning is traditioneel gericht op het leren van maximaal nauwkeurige modellen.omwille van de exponentiële groei van rekenkracht tijdens de laatste decennia krijgt computationele efficiëntie tegenwoordig een relatief lage prioriteit. Dankzij de opkomst van mobiele apparaten die op batterijen werken of zelf hun energie vergaren, wordt dit problematisch omwille van de beperkingen op de hulpmiddelen van deze apparaten: ze werken op batterijen (soms niet-vervangbare en nietoplaadbare batterijen), er is beperkte koeling van de chip, er is beperkt geheugen beschikbaar... We willen onderzoeken hoe we deze hulpmiddelen (resources) effici Hendrik Blockeel Jesse Davis Aäron Verachtert Security and privacy of web and mobile applications Wouter Joosen Frank Piessens Thomas Vissers Hogere orde support voor data-mining toepassingen Abstract: Specificatietalen zoals FO( ) drukken de constraints en kennis onderliggend aan een probleem uit op een formele en preciese manier. De herbruikbaarheid van zulk soort uitdrukkingen is momenteel laag. Het toevoegen van hogere orde abstracties kan een sterke verbetering van herbruikbaarheid betekenen. Veel hogere orde abstracties kunnen uitgedrukt worden als het toevoegen van recursieve generische types en het opwaarderen van predicaten tot 'first class citizens' waarover de specificatie kan redeneren en uitdrukkingen doen, en dus uitdrukkingen doen over (delen van) zichzelf. Gerda Janssens Matthias van der Hallen A deep learning approach to predicate invention Abstract: Dit onderzoeksproject behandelt statistical predicate invention, het ontdekken van statistische predicaten, in machine learning. Machine learning is een tak van artificiële intelligentie die zich bezighoudt met het ontwikkelen van algoritmes waarvan de efficiëntie verbetert met ervaring. Dergelijke algoritmes leren uit voorbeelden en zijn niet uitdrukkelijk geprogrammeerd voor een specifieke taak. Ze worden vaak gebruikt om problemen op te lossen waarvoor we geen exacte oplossing kennen. Meerbepaald zal dit project passen in het raamwerk van statistical relational learning een deeldiscipline die machine learning combineert met logica. Het ontdekken van predicaten houdt in dat eventuele nieuwe concepten, eigenschappen en verbanden gevonden worden in data en uitgedrukt worden in termen van eerdere vaststellingen. Hierbij worden statistische technieken gebruikt om het proces te sturen en om de onzekerheidbetreffende ontdekte predicaten expliciet te maken. Dit wordt beschouwdals een van Hendrik Blockeel Sebastijan Dumancic Diepe neurale netwerken voor grootschalige data met spatiaal-temporele correlaties Abstract: Diepe neurale netwerken zijn recent ontwikkelde technieken die er in slagen om de onderliggende complexiteit van complexe data te ontwarren. Dit doctoraat wil deze technieken generaliseren om complexe biochemische data te helpen analyseren. Bart De Moor Peter Roelants Use of Probabilistic Topic Models in Machine Translation Marie-Francine Moens Geert Heyman

10 Machine Reading and Knowledge Acquisition for Hybrid Search Marie-Francine Moens Denis Lukovnikov Multimodal Analysis and Modeling of White Matter Fibers in Multiple Sclerosis Based on Diffusion MRI Sabine Van Huffel Sensor-based Platform for the Accurate and Remote monitoring of Kine(ma)tics Linked to E-health (SPARKLE) Abstract: SPARKLE is een interdisciplinair onderzoeksproject gericht op chronische musculoskeletaire condities (cmsc). cmsc is een overkoepelende naam voor een veelvoorkomende reeks aandoeningen die tot 30% van de Europese populatie treffen. Aandoeningen als bv. rheumatoide arthritis, spondyloarthritis, osteoarthritis en chronische pijn in de onderrug leiden tot verminderde zelfredzaamheid en een lagere levenskwaliteit. Dit induceert vaak een hoge kostprijs, zowel voor het individu als voor de maatschappij. Om deze aandoeningen beter op te volgen en te behandelen stelt SPARKLE de volgende doelen: een verbeterde inschatting van bewegingsgerelateerd functioneren bij cmsc-patiënten en anderen door de ontwikkeling van een slim, niet-storend en compact draagbaar sensorsysteemde ontwikkeling van een eerste versie van een menselijk model om causale interacties tussen de ziekteprocessen en de weefselbelasting te bestuderenbijdragen tot de ontwikkeling van patiëntgerichte multidisciplinaire methodes door Sabine Van Huffel Lieven Billiet Dynamic spectrum management and multi-user signal coordination in next generation DSL networks Abstract: DSL (digital subscriber line)-technologie is momenteel de meest gebruikte technologie voor breedbanddiensten. Een van de belangrijkste beperkingen die hogere bitsnelheden belemmert, is elektromagnetische koppeling (overspraak) tussen verschillende DSL-lijnen binnen dezelfde kabelbundel.dynamisch spectrum management (DSM) is een technologie voor het verminderen van de negatieve effecten veroorzaakt door overspraak door het gebruik van spectrum- en signaalcoördinatie tussen de gebruikers, en leidt in theorie tot spectaculaire prestatieverbeteringen. In dit project, hebben we als doel het uitbreiden van de huidige statische fysische laag optimalisatiebenaderingen gebaseerd op DSM naar een dynamische applicatiegedreven cross-layer optimalisatiebenadering. Marc Moonen Wouter Lanneer Modelling structured dynamical systems: parametric and non-parametric approaches Johan Suykens Zahra Karevan Signal processing and scalable hardware platforms Marc Moonen Marian Verhelst Alexander Bertrand Fernando de la Hucha Arce Robust Linear Model Predictive Control Moritz Diehl Adeleh Mohammadi Coroutines

11 Daniel De Schreye Vincent Nys Middleware for Federated Heterogeneous Data Storages in Hybrid Clouds Wouter Joosen Bert Lagaisse Ansar Rafique Scate - Smart Computer-Aided Translation Environment. OG ComForT Leuven Patrick Wambacq Frank Van Eynde Marie-Francine Moens Frieda Steurs Computationele modellen voor big data algoritmen. Abstract: Het ontwerp van efficiënte algoritmen is een centraal thema in de informatica. Echter, recente experimenten tonen aan dat vele algoritmen aan efficiëntie inboeten wanneer grote hoeveelheden aan data ("Big Data") aanwezig zijn. Dit geldt met name voor query-evaluatie methoden in de context van databanken. Helaas kunnen de bestaande theoretische technieken voor het analyseren van algoritmen niet onderscheiden of een algoritme al dan niet efficiënt is op big data. Inderdaad, algoritmen die beschouwd worden als efficiënt in de klassieke zin blijken dat niet meer te zijn wanneer het big data betreft. Dit vraagt om een grondige herziening van de klassieke complexiteitstheorie. Het hoofddoel van dit project is dan ook de ontwikkeling van dergelijke theoretische fundamenten met bijhorende computationele complexiteitsanalyse die de efficiëntie van algoritmen in de context van big data kunnen karakteriseren. Ontwikkeling database systemen (ADReM) Floris Geerts Maxime Debosschere Tensor based Blind Source Separation in Magnetic Resonance Spectroscopic Imaging. Sabine Van Huffel Design and evolution of secure software: An opportunity for evidence-based research Riccardo Scandariato Reza Ameri Mahabadi Linguïstische gegevenssamenvattingen onder bipolaire gebruikerspreferenties Abstract: Er wordt bestudeerd hoe linguïstische gegevenssamenvattingen kunnen worden gegenereerd in het geval van bipolaire gebruikerspreferenties. Yager's linguïstische samenvattingen kunnen worden afgeleid via een linguïstische bevragingsinterface. Uitgebreide linguïstische samenvattingen kunnen naar analogie worden gegenereerd vanuit een bipolair gespecificeerde bevraging. Daartoe worden bipolaire vraagstellingen uitgebreid naar "contextuele" vraagstellingen waaruit "contextuele" gegevenssamenvattingen worden gegenereerd. Vakgroep Telecommunicatie en informatieverwerking Guy De Tré Design and implementation of robust signal processing algorithms for acoustic detection and classification problems TC Elektrotechniek (ESAT) Geel Toon van Waterschoot Bart Vanrumste

12 Declaratief modeleren voor machinaal leren en dataontginning. Abstract: Declaratieve modellen specifiëren aan welke voorwaarden een oplossing van een bepaald probleem moet voldoen terwijl klassieke procedurale aanpakken specifiëren hoe die oplossing berekend moet worden. In dit project zal een declaratief modeleringsparadigma ontwikkeld worden dat zal toegepast worden op het machinaal leren, voor het ontginnen van data en voor experimentatie. Dat paradigma bestaat uit drie componenten:een modeleringstaal, d.w.z. een hoog niveau declaratieve taal voor het specifiëren van de relevante domeinkennis, onafhankelijk van een specifieke taak.een solver die als input een meer specifieke, taak geörienteerde taal heeft en die een oplossing voor een bepaalde computationele taak berekent.een programmeer platform, waarin de gebruiker een algemene (programmeer)taal gebruikt om een specifieke taak in op te lossen.vandaag bestaan er geen algemene declaratieve methodes voor het machinaal leren, het ontginnen van data of experimentatie. Vandaar dat we deze domeinen willen on Hendrik Blockeel Bart Demoen Marc Denecker Luc De Raedt Daniel De Schreye Maurice Bruynooghe Gerda Janssens Low-level software security. Frank Piessens Job Noorman Reductionist Security. Abstract: The research will involve an analysis of reductionist security methods with the goal of determining whether general statements can be made about secure cryptographic protocols. In particular, indifferentiability will be looked at in both the symmetric and asymmetric settings, with an eye on exploring weak indifferentiability more thoroughly through an understanding of multi-stage games. Bart Preneel Atul Luykx Intuitive user-guidance for physical simulations. Abstract: Computergrafieken is een zeer uitgebreid domein binnen decomputerwetenschappen. Deze discipline omvat de simulatie envisualisatie vanfysische fenomenen zoals het gedrag van vloeistoffen engassen. Ookinteracties met objecten zoals botsingen en vervormingenkomen aan bod. Dergelijke simulaties volgen de onderliggende fysischewetten en vergelijkingen. Bijgevolg is er weinig ruimte om de simulatiesbijte sturen. Decontrole die een animator op het eindresultaat kan uitoefenen is aldus beperkt.het doel van de computergrafieken is om visueel aantrekkelijke simulatieste creëren. De focus ligt niet op fysische correctheid. Devisualisaties kunnen bekomen worden door middel van manipulaties vaneen kunstenaar. De kost die men hiervoor betaalt is een verminderde fysische correctheid. Dit hoeft echter geen probleem te zijn zolang de afwijking van de realiteit plausibel en geloofwaardig blijft. Het doel van dit onderzoek is om een framework te ontwikkelen waarindergelijke simulaties op intuïtieve wijze Philip Dutré Tuur Stuyck Structure and higher-order tensor decompositions: algebraic and numerical aspects and implications for signal separation and system identification. Abstract: Part of the project concerns the algebraic and numerical study of higher-order tensor decompositions. Part concerns the development of numerical algorithms. Part of the project lays the mathematical foundations for new approaches to many technological applications such as signal separation and system identification, and is related with mathematical modelling. Each investigation topic is supported by multiple technological applications. Lieven De Lathauwer Otto Debals Een Architectuur voor de Analyse en het Beheer van Veiligheid in Industriële Controle Systemen. Abstract: Industriële Controle Systemen (ICS) zijn verantwoordelijk voor het controleren en besturen van een groot aantal processen zoals het verdelen van gas en elektriciteit, het opvolgen van een kernreactor of het regelen van verkeerslichten. De laatste decennia zijn deze systemen geëvolueerd van geïsoleerde, eigendomsmatige systemen tot omgevingen die intensief gebruik maken van commerciële basiscomponenten, geïntegreerd met back-endsystemen die vaak verbonden zijn met het internet en andere bedrijfsnetwerken. Deze evolutie heeft de gebruiksvriendelijkheid en performantie van ICS vergroot maar tegelijk de veiligheid verzwakt en de systemen opengesteld voor meer aanvallen van buitenaf. De technisch-wetenschappelijke doelstelling van dit project is het creëren van een architectuur voor de analyse van de veiligheid in ICS. We ontwikkelen een nieuwe aanpak om automatische kwalitatieve conclusies te trekken omtrent de veiligheid van het systeem. Daarenboven kunnen ook suggesties gegenereerd worde

13 Bart De Decker Vincent Naessens Laurens Lemaire Reduction of stochastic noise in physically-based rendering algorithms. Abstract: Reducing the stochastic noise in physically-based rendering algorithms by selecting the appropriate algorithm to calculate specific light paths, using state of the art noise filtering and by integrating the visual perception of humans. Philip Dutré Niels Billen Combining exact and (meta)heuristic methods for problems of combinatorial optimisation. Abstract: Het onderzoek vindt plaats in het gebied van hyperheuristieken: algemene algoritmen die op een probleemonafhankelijke manier optimalisatieproblemen benaderend proberen op te lossen. Dit betekent dat men op termijn in staat kan zijn om louter uit de specificaties van een optimalisatieprobleem een benaderende oplossingsmethode voor te stellen.op dit moment is slechts weinig geweten rond hyperheuristieken: formalisme ontbreekt evenals kennis over sterke oplossingsstrategieën en testmethodologieën. Bovendien kan men evenmin garanties afdwingen: zowel harde en/of statistische.met dit project zullen we enkele belangrijke problemen aanpakken:1. Het genereren van een diverse testbank van problemen zodat hyper-heuristieken met elkaar kunnen worden vergeleken.2. Het automatisch genereren van heuristieken: deelalgoritmen die een oplossing kunnen genereren of aanpassen, maar doorgaans zonder weinig kennis over het doel van het probleem3. Een hyper-heuristiek die als invoerde heuristieken een concr Patrick De Causmaecker Bart Demoen Willem Van Onsem Middleware Support for Dynamic Sensing Applications. Wouter Joosen Wilfried Daniels Frame computing for the simulation of oscillatory phenomena (Waves). Afd. Numer. Analyse en Toeg. Wiskunde Daan Huybrechs AdaLab - Adaptive automated scientific laboratory. Jan Ramon Prediction-based optimization for dymanic transport scheduling. Luc De Raedt WITDOM Afdeling ESAT - COSIC Bart Preneel Een nieuw paradigma voor het bedieningsproces in wachtlijnsystemen, met toepassingen in computer- en communicatienetwerken.

14 Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk Onderzoek- Vlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Modeleren van Systemen en Internet Communicatie (MOSAIC) Benny Van Houdt Het expliciet modelleren van debuggen en experimenteren van modellen. Abstract: Het ontwerpen van systemen, gebruik makende van modelleren en simuleren, kan enkel succesvol zijn als de ontwerper (dikwijls een domeinexpert, bijvoorbeeld een elektromechanicus) beschikt over geavanceerde tools, die het mogelijk maken om modellen te creëren en die een framework bieden voor simulatie en het deployen van modellen op hardware. De omgeving moet de ontwerper genoeg controle geven over de uitvoering van de simulatie. Gedurende dit project zal ik huidige best-practices bij het debuggen van code transponeren naar de wereld van modelleren en simuleren en expliciet simulatie-omgevingen modelleren voor een aantal modelleerformalismen en hun combinaties. Dit zal resulteren in een aantal prototypes die ik zal valideren, gebruik makende van industriële cases. Antwerp Systems and software Modelling (AnSyMo) Hans Vangheluwe Simon Van Mierlo MBSE4 Mechatronica. Abstract: Door de steeds toenemende complexiteit van hedendaagse mechatronische systemen, kunnen ontwerpers niet langer alle ontwerp aspecten vatten zonder computerondersteuning. Daarom wil dit project een Modelgebaseerde Systeem Engineering (MB SE) methodologie ontwikkelen voor mechatronische systemen, die de ontwerper zal begeleiden doorheen het volledige ontwerptraject. Door informatie van verschillende ontwerpdisciplines te integreren tijdens alle fases van het ontwerp, zal het mogelijk zijn om optimale producten te ontwerpen op een snelle en efficiënte manier. De twee belangrijkste uitdagingen zijn ondersteuning bieden voor het maken van optimale interdisciplinaire ontwerpkeuzes en het consistent houden van de verschillende discipline-specifieke ontwikkelingen. Antwerp Systems and software Modelling (AnSyMo) Hans Vangheluwe MBSE4 Mechatronics. Abstract: Door de steeds toenemende complexiteit van hedendaagse mechatronische systemen, kunnen ontwerpers niet langer alle ontwerp aspecten vatten zonder computerondersteuning. Daarom wil dit project een Modelgebaseerde Systeem Engineering (MB SE) methodologie ontwikkelen voor mechatronische systemen, die de ontwerper zal begeleiden doorheen het volledige ontwerptraject. Door informatie van verschillende ontwerpdisciplines te integreren tijdens alle fases van het ontwerp, zal het mogelijk zijn om optimale producten te ontwerpen op een snelle en efficiënte manier. De twee belangrijkste uitdagingen zijn ondersteuning bieden voor het maken van optimale interdisciplinaire ontwerpkeuzes en het consistent houden van de verschillende discipline-specifieke ontwikkelingen. Constrained Systems Lab (CoSys-Lab) Paul De Meulenaere Topologie en parameter optimalisatie van vage cognitieve maps met behulp van leeralgoritmen Universiteit Hasselt Abstract: FCM vormt grafische modellen onder de vorm van gerichte diagrammen bestaande uit twee basiselementen: Knooppunten, die overeenkomen met Cognitieve Concepten die verschillende activeringstoestanden draagt afhankelijk van de kennis die ze vertegenwoordigd; Pijlen duidend op de oorzakelijke effecten die bronknooppunten uitoefenen op het ontvangend begrip uitgedrukt door middel van gewichten. Een FCM gedraagt zich typisch als een speciale vorm van een neuraal netwerk met berekening van de activatieniveaus van de conceptneuronen die iteratief tempo nemen duidend op hun aanwezigheid in het conceptueel domein dat gemodelleerd wordt. Onderzoek over FCM concentreert zich op twee axonen: (a) Mathematische modellering en leer algoritmes, en (b) Toepassen van FCM op specifieke gebieden of problemen. Er is ook geen gestandaardiseerde software of programmeer tool of platform dat de vorming, simulatie en analyse van FCM kan faciliteren alsmede ondersteuning kan bieden aan het inferentie proces. Dit onderzoeksproject zal focusseren op de mathematische modellering en leer algoritmes. Eerst zal een nieuw leer algoritme ontwikkeld moeten worden om een correcte gewichtsmatrix te berekenen om de convergentie van het FCM inferentie proces te verzekeren. Vervolgens is FCM bijna exclusief gefocusseerd op het schatten van de gewichtsmatrix. Minder aandacht werd gegeven aan de rol die neuronen spelen op het uiteindelijke systeem. Daarom zullen we nieuwe knooppunt representaties en gerelateerde activatie functies onderzoeken. En last but not least zullen we de ontwikkeling van FCM software verderzetten. Beleidsinformatica Koenraad VANHOOF Bringing neurorehabilitation to a residential environment with novel pervasive user interfaces Universiteit Hasselt Abstract: Binnen dit doctoraatstraject, zal ik onderzoek verrichten naar de mogelijke toepassingen van pervasive, mobiele, lage kosten technologieën in neurorevalidatie systemen om deze systemen in de thuissituatie beschikbaar te maken. Het hoofddoel van de gerealiseerde trainingssystemen is om motiverende, gepersonaliseerde fysieke therapie voor de bovenste ledematen (armen, schouders, handen en vingers) te voorzien als bijkomende training op de huidige fysieke therapie gegeven in de ziekenhuizen en revalidatiecentra. De doelgroep voor deze systemen omvatten personen met functionele beperkingen, spierzwakte of spasmen in de bovenste ledematen ten gevolge van een neurologische aandoening zoals Multiple Sclerosis en Cerebro Vasculair Accident. Met dit onderzoek trachten we het probleem van de hoge kostprijs, complexiteit en het beperkte motiverende karakter van de huidige effectieve therapieën voor een steeds groter wordende groep van personen met neurologische aandoeningen aan te pakken. Gedurende dit doctoraat, zal ik een aantal pervasive, mobiele en lage kosten prototypes van training systemen voor de bovenste ledematen realiseren, volgens de user-centered design methodologie en een vooropgestelde design space voor revalidatie systemen voor neurologische

15 aandoeningen. De prototypes zullen hierbij verschillende aspecten van revalidatie systemen onderzoeken zoals het gebruik van pervasive technologieën, virtuele of augmented reality trainingsomgevingen, sociale interacties, minimale vormgeving, soorten bewegingen en de registratie ervan, etc. Ieder prototype zal geëvalueerd worden in een usability study waarbij we nauw samenwerken met therapeuten en patiënten. Daarnaast zullen één à twee uitgebreidere prototypes geëvalueerd worden in een effectiviteit study om het effecten van de training en vooruitgang met het systeem te bepalen. De resultaten van deze studies zullen beschreven worden in wetenschappelijke publicaties voor toegepaste conferenties in Informatica of in journals. Expertisecentrum voor Digitale Media Expertisecentrum voor Digitale Media Karin CONINX Modeleren van complexe percepties met behulp van fuzzy cognitieve maps Universiteit Hasselt Abstract: Complexe zaken zoals percepties over bedrijven en beslissingen gebaseerd op deze percepties zijn moeilijk te verstaan. Er is dan ook continue onderzoek naar nieuwe methoden die percepties en beslissingen kunnen modelleren en die menselijke expertise kunnen representeren. Fuzzy cognitive maps zijn zo een nieuwe representatie van complexe systemen. Voor dit onderzoek hebben wij een grote databank van percepties en beslissingen over bedrijven beschikbaar. De data werd verzameld met het oogpunt op performantie analyses en voor benchmarking studies. De data dekt bedrijven over gans de wereld. Voor alle sectoren en voor alle industriële landen hebben wij de top 30 bedrijven en dit meestal over een periode van 10 jaar. De percepties en beslissingen zijn op verschillende manier gemeten. We hebben drie verschillende formaten die hetzelfde complex systeem beschrijven. Elke informatie formaat steunt op een eigen invalshoek en bevat ruis. We worden dus geconfronteerd met vage informatie en met contradicties. Via co-learning en optimalisatie algorutmen trachten we een scherper en correcter beeld te krijgen van deze complexe systemen. In dit project zullen we meer in detail bestuderen. 1. Hoe kunnen we tijd best modelleren in congnitieve maps per bedrijf. Hoe aggregeren we best cognitieve maps over de tijd heen. 2. Is er behoefte aan specifieke transfer functies en/of fuzzy sets voor percepties en beslissingen? 3. Hoe kunnen we de drie formaten best presenteren en hoe kunnen we via co-learning tot de beste representatie komen. Hoe definieren we 'beste'? 4. Hoe kunnen we de bestaande tool uitbreiden met deze verschillende representaties en co- learning algoritmen? Hoe eenvoudig kunnen we sensitiviteitsanalyse en optimalisatie van een eenvoudige interface voorzien? Op lange termijn hopen we in staat te zijn om percepties beschikbaar op sociale media te modeleren. Beleidsinformatica Koenraad VANHOOF Geavanceerde Authenticatie en Authorisatie in Cloud-Enabled Software Applicaties Abstract: Dit onderzoek heeft als doel toegangscontroletechnieken (authenticatie en authorisatie) te ontwikkelen voor grootschalige Cloud-Enabled software applicaties. Als onderdeel daarvan zal het zich onder andere toespitsen op het specifiëren van toegangscontroleregels op hoog niveau (bijvoorbeeld gebruik makende van het recente paradigma van attribuut-gebaseerde toegangscontrole) en het verfijnen van deze hoog-niveau regels naar lager-niveau regels voor evaluatie op applicatieniveau. Dit onderzoek omvat zowel administratie van toegangscontroleregels als evaluatie ervan. Wouter Joosen Bert Lagaisse Jasper Bogaerts A fast solver for problems with multivariate polynomials: exploiting sparsity and structure in the polynomial numerical linear algebra framework Abstract: Solving systems of multivariate polynomials provides a practical approximation for real world problem settings, which are often nonlinear andhighly complex. In combination with the exponential growth in computingpower, the logical next step aims at solving ever larger systems with an increasing amount of variables and higher degree polynomials. Whilethe polynomial numerical linear algebra (PNLA) framework approaches this task from a linear algebra point of view, as opposed to symbolic algebra, numerical aspects of the framework have not been optimized so far. There is a need for specialized functions, able to pass through the necessary intermediate and final steps of the root finding problem, while taking advantage of the sparse and highly organized data structures that arise. This thesis will focus on translating theory into fast and stable functions, exploiting the sparsity and structure of the Macaulay matrix, an important concept in PNLA and whose null space captures the su Bart De Moor Antoine Vandermeersch Formal Program Verification

16 Frank Piessens Bart Jacobs Amin Timany Regeling van verdeelde systemen door imitatie van fysieke processen Abstract: Het project ontwikkelt algoritmen en ontwerpmethoden voor de interactie van verdeelde ingebedde systemen, toepasbaar bijv. in robotica of energieverdeling. Als nieuwe aanpak wordt voorgesteld, patronen/effecten na te bootsen vanuit modellen uit de natuurwetenschappen (PDVen, rooster modellen). Zulke collectieve dynamische gedragen zouden leiden tot efficiënter gebruik van gedeelde middels of afgestemde reactie op in de ruimte verdeelde stimuli. Vakgroep Elektrische energie, systemen en automatisering Alain Sarlette Distributed Smart Camera Systems Abstract: Een eerste doel van het project is het ontwikkelen van nieuwe technieken voor de analyse van video, met speciale aandacht voor mulicamera systemen. Een tweede doel is het ontwikkelen van nieuwe krachtige, schaalbare en generieke rekenplatformen om de nieuwe algoritmen in ware-tijd en met laag vermogenverbruik uit te voeren. Vakgroep Telecommunicatie en informatieverwerking Wilfried Philips Distributed Smart Camera Systems Abstract: Een eerste doel van het project is het ontwikkelen van nieuwe technieken voor de analyse van video, met speciale aandacht voor mulicamera systemen. Een tweede doel is het ontwikkelen van nieuwe krachtige, schaalbare en generieke rekenplatformen om de nieuwe algoritmen in ware-tijd en met laag vermogenverbruik uit te voeren. Vakgroep Elektronica en informatiesystemen Koenraad De Bosschere Modeling structured dynamical systems using parametric and kernel-basedmodels Abstract: In model structures for nonlinear system identification support vector machines and kernel methods have been successfully applied in the past for certain classes of model structures. Typical examples are nonlinear ARX models, structures containing additional noise models and certain block structured models such as Hammerstein system and Wiener-Hammerstein systems. However, for more complex system configurations it is challenging to further incorporate prior knowledge about the structure e.g. within a primal-dual optimization setting of support vector machine related models. Often the structure is also unknown and one wants to estimate itby making use of sparsity inducing penalty terms related to L1 or L0 regularization and nuclear norm regularization. The aim of the research isto advance in this area which is at the interface between nonlinear system identification and machine learning, by combining and integrating the best of both paradigms and employing both parametric and kernel- Johan Suykens Joannes Schoukens Ricardo Castro Garcia Distributed digital signal processing algorithms for highdensity wireless EEG sensor networks with application to ASSR based objective hearing thresholds estimation Abstract: Electroencephalografie (EEG) wordt gebruikt om hersenactiviteit te analyseren en reacties op bepaalde stimuli te detecteren. EEG biedt een hogetemporele maar een lage spatiële resolutie. Een hogere spatiële resolutie kan bekomen worden door het verhogen van het aantal gebruikte elektrodes op het hoofd, samen met krachtige signaalverwerkingsalgoritmes. Echter, de honderden elektrodes moeten dan via kabels aan een toestel verbonden worden dat deze elektrodesignalen verzamelt en verwerkt. Dit wordt onpraktischer naarmate het aantal elektrodes toeneemt.dit projectbeoogt het ontwerpen van nieuwe, gedistribueerde signaalverwerkingsalgoritmes voor de volgende generatie van EEGsystemen met een hoge elektrodedensiteit in de vorm van draadloze sensornetwerken (WSN's). Zo een WSN bestaat uit meerdere nodes die elk bestaan uit een aantal elektrodes, een signaalverwerkings- en een draadloze communicatie-eenheid. Via communicatie en samenwerking tussen de nodes is het dan mogelijk om de signaalverw Jan Wouters Marc Moonen Alexander Bertrand Wouter Biesmans Fast global illumination in participating media using quantum field theory Abstract: The goal of the proposed project is to develop a novel global illumination algorithm that tackles the fundamentally hard problem of participating media in an efficient manner. Our technique is expected to out-perform the current state-of-the-art methods. The performance leap will

17 be made possible using the mathematical technique of path integrals. This technique is known in theoretical physics, but has not received much attention within the computer graphics community. Philip Dutré Roald Frederickx Classifiers for tumour tissue differentiation based on multimodal Magnetic Resonance data Abstract: In vivo Magnetic Resonance Imaging (MRI) represents one of the major breakthroughs in medicine and biomedical sciences. In recent years, conventional MRI techniques have been complemented by several advanced MR modalities that target not only the morphology of an imaged organ, but also its functional properties: for instance, MR spectroscopy/mr spectroscopic imaging reveal metabolic information, perfusion MRI reveals microvascularisation, diffusion MRI reveals tissue architecture, etc. In neuroradiology, conventional MRI has a rather poor specificity in the diagnosis,prognosis and therapy follow-up of brain tumours. Several advanced MRItechniques have shown their own potential in brain tumour applications.however, there is a strong need for integrated data processing methods that can take advantage of the strengths and complementarity of all the available advanced MR techniques, in order to make a real impact in routine clinical practice. This doctoral project will develop classifi Sabine Van Huffel Diana Sima Machine Learning for the prediction and the rehabilitation of musculoskeletal injuries Abstract: Het aantal jongeren dat aan hoge intensiteit sport beoefent is in stijgende lijn. Deze evolutie heeft helaas ook een serieuze toename van het aantal ernstige blessures, zoals het scheuren van de kruisbanden inde knie, tot gevolg. Onderzoek heeft aangetoond dat dergelijke blessures ook aanleiding geven tot permanente letsels en aandoeningen op latere leeftijd zoals een verhoogde kans op arthritis.aan sportblessures hangt naast fysieke ongemakken op korte en lange termijn voor de geblesseerde persoon,ook een serieus kostenplaatje vast. De belasting op zowel de sociale zorgverzekering als de revalidatiesector valt dan ook niet te onderschatten. Verder hebben blessures bij professionele atleten ook nietverwaarloosbare gevolgen. De vraag naar hulpmiddelen om enerzijds het aantal blessures te verminderen en anderzijds de revalidatie van blessureste bespoedigen is daarom evident. De revalidatie van blessuresverloopt momenteel vaak trager dan mogelijk zou zijn.de doelstelling van dit project Jesse Davis Tim Op De Beéck Toepassingen van probabilistische logica Abstract: Toepassingen (e.g. binnen het domein van de bio-informatica) van probabilistische logica worden onderzocht Luc De Raedt Dries Van Daele Onderzoek rond - development of a fully automated neonatal brain monitor. Abstract: Monitoring the electroencephalogram (EEG) in sick newborn babies in theneonatal intensive care units (NICU) gives important information about brain function, like dynamic changes in background electrical activity and the presence of seizures. Current clinical practice assumes that neonatal seizures have to be treated to prevent further injury to the brain and background activity provides information about the later developmentof the newborn. Recording of the full EEG, offering high temporal and relatively good spatial resolution about ongoing activity, supports treatment decisions as well as prognostication and has become standard practice in many NICUs. However, the expertise required to register and interpret EEG is not available around the clock in the NICUs. For this purpose, automated monitoring devices have to be developed, to assist neonatologists at the bedside and neurophysiologists in reviewing large amounts of monitoring data. This PhD project fits within a larger collaborat Sabine Van Huffel Gunnar Naulaers Amir Hossein Ansari Dependently typed programming for secure and correct web applications Abstract: One of the key challenges for computer science is to develop techniquesthat empower software developers to build correct and secure software. The US National Academy of Engineering has identified this challenge as one of the grand challenges for engineering in the 21st century. They write: A critical challenge is engineering more secure software. One way to do this may be through better programming languages that have security protection built into the ways programs are written. Addressing this challenge is the long-term objective of this PhD proposal. More specifically, this PhD project will investigate advanced type systems that enable a programmer to express security and correctness requirements in his code in the form of typing annotations. A type checker will then checkthat the code complies with the requirements expressed in the types. While simple forms of type checking are common in mainstream programming languages today, the advanced type systems we will investigate in this Ph

18 Frank Piessens Dominique Devriese Jesper Cockx Healthcare decision support systems at home. Abstract: The aim of this work is introducing decision support systems into the homes of chronic-disease patients or older persons. This introduction is demand driven and focuses on improving the quality of life of the subject, without increasing the health care costs. It also incorporates multisensor integration. TC Elektrotechniek (ESAT) Geel Bart Vanrumste Gert Mertes A contribution to the art of reading and understanding business processes through the use of patterns and images to improve the design, organization, management and improvement of business processes. OG LIRIS Leuven Wilfried Lemahieu Marc Kerremans Improving process modeling and control using advanced business process analytics and enriched event logs. OG LIRIS Leuven Jan Vanthienen Johannes De Smedt Digital business innovation of public services. OG LIRIS Leuven Stijn Viaene Lieselot Danneels Een algebraïsche ProbLog en zijn toepassingen. Abstract: Reasoning about the environment is central to many tasks in artificial intelligence. While traditional approaches based on first order logic are well suited to reason about a single, fixed situation, in practice one often has to compare or combine multiple options based on some property. For instance, the cost or probability of achieving a given goal can be estimated based on costs or probabilities of subgoals. This can be seen as a labeling task, where labels are given to basicstatements in a logical theory and the task is to compute labels for derived statements, called queries. Previously, we have introduced ProbLog, a popular probabilistic logic programming language where probability labels define a distribution over possible worlds, which is used to calculate probabilities of queries. However, labeling tasks in other settings require both different types of labels and more flexible ways to combine these. The goal of this project therefore is to develop a language for modeling such Luc De Raedt Angelika Kimmig ADDIS. Yolande Berbers Tom Holvoet Wouter Joosen Eddy Truyen Riccardo Scandariato Daniel Hughes Cametron: Technologie voor een Virtuele Regisseur. Abstract: Het CAMETRON project stelt zich als doel om een systeem te bouwen dat, met een minimum aan menselijke tussenkomst, audiovisuele producties van hoge kwaliteit kan genereren. Dit willen we realizeren door de state-of-the-art in verschillende onderzoeksdomeinen te verleggen - met name in beeld- en spraakherkenning, scene interpretatie (met de nadruk op de personen aanwezig in de scene), realtime processing, (pro)actief aansturen van cameras en microfoons, aangepaste codeertechnieken, aansturen van quadrocopters, etc.

19 Afdeling ESAT - PSI Luc Van Eycken Luc Van Gool Tinne Tuytelaars Hugo Van hamme Toon Goedemé TRANSITION. Yolande Berbers Sam Michiels Herman Bruyninckx Wouter Joosen Daniel Hughes Object capabilities en effectpolymorfisme: theorie en toepassingen. Frank Piessens Dominique Devriese Object capabilities en effectpolymorfisme: theorie en toepassingen. Frank Piessens Dominique Devriese Oplossen van wiskundige en chemische problemen door het ontwerp van gespecialiseerde generatie-algoritmes Abstract: De bedoeling van dit project is om nieuwe grafengeneratie-algoritmes die de bottlenecks van bestaande generatiemethodes vermijden te ontwerpen, te implementeren en toe te passen. Om het potentieel van deze nieuwe methodes aan te tonen, zullen we ze toepassen om problemen in de wiskunde en in de chemie op te lossen. Vakgroep Toegepaste wiskunde en informatica Gunnar Brinkmann photonics@be: towards smart photonics in 2020 Abstract: niet beschikbaar Vakgroep Informatietechnologie Vakgroep Elektronica en informatiesystemen Vakgroep Anorganische en fysische chemie Kristiaan Neyts Roeland Baets Zeger Hens Integreren van "Business Process Mining" met "Business Process Simulation": Het gebruik van het heden om de toekomst te begrijpen. Universiteit Hasselt Abstract: Bedrijfsmanagement draait om het bereiken van vooropgestelde bedrijfsdoelen gebruik makend van de beschikbare middelen. In de hedendaagse procesgeoriënteerde bedrijfsomgeving zijn simulatiemodellen van bedrijfsprocessen met goede voorspellende kwaliteiten business intelligence instrumenten met een groot potentieel. Desalniettemin stellen diverse auteurs dat business process simulation dit potentieel nog dient waar te maken en diverse beperkingen van de huidige technieken worden aangewezen als de oorzaak van deze gemiste kans. Vaak zijn deze beperkingen verbonden aan naïeve assumpties die gemaakt worden, hetgeen resulteert in minder realistische simulatiemodellen. Met de opkomst van procesbewuste informatiesystemen beschikken bedrijven over grote hoeveelheden gegevens omtrent de uitvoering van hun processen. Het doel van dit onderzoek is het extraheren van zinvolle informatie uit deze grote volumes procesgegevens met behulp van process mining technieken. Vervolgens zal deze informatie getransformeerd worden in meer realistische simulatiemodellen van bedrijfsprocessen. Meer specifiek zal process mining gebruikt worden om empirisch de processtromen te leren kennen, om meerdere varianten in de processtromen te ontdekken en te implementeren, om resource schedules te extraheren, om het gedrag van menselijke resources realistischer te modelleren, om de geschikte logica van de processtroom te leren kennen en om de werkelijke prioriteitsregels te ontdekken. Het doel van dit onderzoeksvoorstel is de succesvolle integratie van process mining en business process simulatie. Logistiek Beleidsinformatica

20 Benoit DEPAIRE An CARIS Een formele aanpak voor het ondervragen van grote hoeveelheden data Universiteit Hasselt Abstract: De term "big data" is een modewoord geworden waarmee wordt verwezen naar een context waarin datavolumes worden gemeten met Gigabytes, Terabytes vaak voorkomen, en veel internet bedrijven, wetenschappelijke en financiële instellingen te maken krijgen met Petabytes aan informatie. Door de praktische noodzaak zijn er verschillende systemen ontstaan voor het verwerken van big data, zoals Mapreduce dat een brede aanname kent via zijn open source implementatie Hadoop. Deze laatste heeft ook geleid tot een heropleving van parallelle database management systemen en een verhoogde interesse in zogenaamde NoSQL data stores. Voortgang in het database onderzoek heeft geleid tot een diepgaand inzicht in traditionele data modellen en sequentiële ondervragingen, maar er ontbreekt een gelijkaardig begrip voor berekeningen op "big data". Gegeven het aantal concurrerende systemen en hun diversiteit, blijft het onduidelijk welk systeem het best geschikt is voor welk soort van ondervragingen. Dit werk richt zich daarom op de ontwikkeling en studie van computationele modellen voor grote hoeveelheden data om inzicht te verkrijgen in het gebruik van bestaande systemen en om mogelijke verbeteringen te formuleren. Dit onderzoeksvoorstel heeft twee hoofddoelstellingen: (1) de ontwikkeling van een computationele complexiteit, geschikt voor grote hoeveelheden data; en (2) de ontwikkeling en studie van ondervragings- en transformatietalen voor grote hoeveelheden data binnen dit framework. Databases en Theoretische Informatica Frank NEVEN Stiptheidsaspecten van gedistribueerde database stream processing. Universiteit Hasselt Abstract: Een database stream is een voortdurend groeiende sequentie van data items. Bijvoorbeeld, als de input stream bestaat uit metingen van verkeersdrukte op bepaalde wegen, dan kan een controlesysteem een output stream opbouwen waarin de maximumsnelheid dynamisch wordt ingesteld afhankelijk van de huidige drukte. Het is uitdagend om zulke streams te verwerken, omdat binnenkomende data door haar hoge snelheid en grote volume vaak niet kan opgeslagen worden. In de plaats daarvan gebruikt men zogenaamde "on the fly" verwerking, waarbij data items enkel met elkaar in verband worden gebracht als ze in eenzelfde tijdsvenster voorkomen, bijvoorbeeld als hun tijdstippen ten hoogste tien seconden uit elkaar liggen. Bovendien, zijn de bovenstaande systemen vaak geïmplementeerd over een netwerk, om de berekening te verdelen over meerdere computers. Er bestaan veel programmeertalen en gedistribueerde uitvoeringsmechanismen voor het verwerken van database streams. Maar de programmeur verwacht vaak een maximale vertraging op de items in de output stream. We zullen dit de gewenste output timing noemen. Helaas zijn veel uitvoeringsmechanismen gevoelig voor vertragingen ten gevolge van hardware, scheduling policies, en asynchrone berichten in netwerken. Zulke vertragingen kunnen er voor zorgen dat de feitelijke output timing vaak te laat is in vergelijking met de gewenste output timing. De output items kunnen in principe zelfs steeds sterker vertraagd worden naarmate de tijd verstrijkt. Omdat zulke timing problemen nog niet goed begrepen zijn, willen we een natuurlijke theorie bekomen om te kunnen redeneren over hoe goed of hoe slecht de feitelijke output timing van een systeem is in vergelijking met de gewenste output timing. Via benaderingen van de gewenste output timing, zoeken we concreet naar praktische inzichten over het verband tussen de snelheid van een systeem en de nauwkeurigheid van de output timing. Databases en Theoretische Informatica Jan VAN DEN BUSSCHE Human Computer Interaction techniques for awareness, reflection and sensemaking Abstract: In Human-Computer Interaction in general, and in the context of novel domains like 'personal informatics' and 'quantified self' specifically, the study of application support for awareness, reflection and sensemaking through for instance visual dashboards or large-screen multi-touch visualisations is gaining momentum. This PhD will start from a study of therelevant techniques in health applications. Erik Duval Joris Klerkx Robin De Croon EEG signal processing for the objective mapping of cochlear implants based on electrically evoked auditory steady state responses Abstract: A cochlear implant (CI) is an auditory prosthesis that can restore hearing in profoundly deaf or severely hearing impaired subjects, based on electrical stimulation of the auditory nerve by means of an electrode array implanted in the cochlea. With the advent of successful neonatal screening, an increasing number of infants, between 6 and 12 months of age, are implanted with a CI. Providing a CI at a young age is indeed observed to be crucial, e.g., for the development of speech and language skills. At the same time, such early implantation poses great challenges forthe technical adjustment (mapping) of the CI processing. Prior to CI switch on, the stimulation levels for each stimulation channel have to be mapped to the dynamic range of the individual CI recipient, and this is again crucial for a proper remedial action. The usual mapping procedure (for adult CI recipients), however, relies on behavioral testing and participation of the CI recipient, which is impossible with infants. Jan Wouters Marc Moonen Astrid Van Wieringen Hanne Deprez Graph mining for computational biology