Onderzoeksprojecten ( van 840)

www.researchportal.be - 29 Jan 2016 22:45:18

Onderzoeksprojecten (500 - 840 van 840) Zoekfilter: Classificaties: Informatica, systeemtheorie

Modulaire behandeling van effecten in puur functionele programma's en modellen. KU Leuven Abstract: Het beheersen van de complexiteit van grote software systemen is een van de grote uitdagingen in de informatica. Aan dit thema wordt heel wat aandacht besteed in onderzoek rond programmeer- en modelleertalen, omdat de complexiteit van een software systeem sterk beïnvloed wordt door de keuze van de taal die gebruikt wordt voor implementatie of modellering.Puur Functionele Programmeren (PFP) is een programmeerparadigma (ondersteund door talen zoals Haskell, Coq of Agda) dat in staat isom de essentie van krachtige programmeerconcepten eenvoudig te beschrijven, en dus ook om de complexiteit van grote software systemen onder controle te houden. Maar PFP heeft maar beperkte ondersteuning voor impliciete neveneffecten in software.Het doel van dit project is de ontwikkeling van PFP technieken voor het programmeren en modelleren van modulaire software met ondersteuning voor neveneffecten, en de evaluatie van deze technieken in case studies. Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens

Veilige ICT. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Vincent Rijmen

Audio based home monitoring system for the elderly KU Leuven Abstract: In this research two major goals are put forward: a) building a prototype Wireless Acoustic Sensor Network (WASN) b) extraction of relevant acoustic information, such as sound source location and sound type, from this WASN. The sensor network will be of economic impact only when the individual audio nodes in the WASN can be small, cheap and easy to install.This implies that the information extraction methods need to cope with unknown distances between the individual audio sensors, a limited communication bandwidth and limited processor and memory resources. Effectively building the WASN will additionally require solving practical aspects such as asynchronous clocks of the audio nodes, limited power dissipation when working on batteries, error control (what if a node stops working), automatic recognition of a newly installed node. Although the data (isolated sounds and spatial information) obtained by the WASN is a rich source of information for a number of applications, here the focus Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Hugo Van hamme • Bart Vanrumste • Bert Van Den Broeck

Actuele Causaliteit: definities, algoritmes en toepassingen. KU Leuven Abstract: Naarmate formele causale modellen meer en meer gebruikt worden binnen de wetenschap, wordt het duidelijk dat het niet eenvoudig is om dergelijke modellen intuïtief te interpreteren. Dit is vooral een probleem met causale modellen die door Machine Learning technieken automatisch zijn afgeleid uit een verzameling van observaties. Vaak is men niet geïnteresseerd in het causale model op zich, dat een gigantisch aantal potentiële causale verbanden bevat, maar wenst men concreet weten wat dit causale model vertelt over één specifiek probleem.Zodoende is het belangrijk om de bestaande technieken aan te vullen met systemen die in staat zijn om te bepalen wat nu juist de implicaties zijn van een complex en abstract causaal model voor concrete situaties. Op deze manier kunnen we immers deze modellen gebruiken om bij te dragen tot de kennis van een domein op een manier die veel intuïtiever is dan een rechtstreekse inspectie van het causale model zelf.Het is de bedoeling om een geautomatiseerd sys Organisaties: • Afdeling Informatica

Onderzoekers: • Hendrik Blockeel • Joost Vennekens • Sander Beckers

Geen Nederlandstalige Titel KU Leuven Abstract: ? Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Yves Moreau • Sarah Tawfik A Elshal

LATIn. KU Leuven Abstract: The general objectives of the project ar to improve the accessibility to the Latin American University for low-income students, as well as to reduce the dropout rate due to financial reasons. Organisaties: • Afdeling Informatica

Onderzoekers:

• Erik Duval

Stochastische modellering en prestatie-analyse van MAC-protocollen voor draadloze netwerken. Universiteit Antwerpen Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk OnderzoekVlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Christian Blondia

Instant Interactieve Data Exploratie. Universiteit Antwerpen Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk OnderzoekVlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Organisaties: • Ontwikkeling database systemen (ADReM)

Onderzoekers: • Bart Goethals • Nikolaj Tatti • Jilles Vreeken

Studie naar de interactie tussen automative software en zijn omgeving door middel van modellering en co-simulatie. Universiteit Antwerpen Abstract: Tijdens de ontwikkeling van software-intensieve systemen, zoals automotive applicaties, is er nood aan simulatie om modellen en aannames te testen gedurende elke fase van het ontwikkelproces. Dit project onderzoekt technieken om efficiënt en correct co-simulaties van modelcomponenten uit te voeren. De focus lift op co-simulatie van software componenten en hun omgeving. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)

Onderzoekers: • Paul De Meulenaere • Hans Vangheluwe

Impactanalyse van softwareonderhoud aan de hand van software traceability. Universiteit Antwerpen Abstract: Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)

Onderzoekers: • Serge Demeyer • Ahmed Lamkanfi

Verhogen van de efficientie en schaalbaarheid van ijle lineaire algebra codes op multicore en gedistribueerd geheugen architecturen Universiteit Antwerpen Abstract: Het doel van het project is de ontwikkeling van efficiente numerieke technieken voor de oplossing van PDEs met behulp van stencil berekeningen en methoden voor ijle lineaire algebra. Belangrijk is een goed gebruik van de geheugen hierarchie aanwezig op moderne veel-kern processoren. We zullen ook streven naar goede schaalbaarheid van Krylov methoden (CG en GMRES) op zeer grote clusters met gedistribueerd geheugen. Organisaties: • Toegepaste wiskunde en numerieke analyse

Onderzoekers: • Pieter Ghysels

Opbouw van modellen voor complexe systemen: gebruik van variabele selectie en surrogaat modellen. Universiteit Antwerpen Abstract: Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Jan Broeckhove • Sean Stijven

Integratie spoorwegtoepassingen en langetermijnnetwerken (RAILWAY). Universiteit Antwerpen Abstract: De belangrijkste onderzoeksobjectieven voor het RAILS-project zijn: - ondersteuning van het netwerk aan boord van de trein en de verbinding trein naar grond; - ondersteuning voor toepassingen en management platform voor toepassingen in de treinwereld. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Christian Blondia

Constraint Programming voor geavandeerde joins in regelgebaseerde programmeertalen Universiteit Gent Abstract: Regelgebaseerde programmeertalen maken een sterke opmars omdat ze perfect inspelen op de groeiende werkdruk van programmeurs. Het gebrek aan ondersteuning voor geavanceerde joins in deze talen vormt echter een ernstig obstakel voor verdere adoptie. Dit project ontwikkelt

ondersteuning voor geavanceerde joins. We pakken dit obstakel aan vanuit een unieke invalshoek: door verbanden te leggen met implementatietechnieken uit Constraint Programming. Organisaties: • Vakgroep Toegepaste wiskunde en informatica

Onderzoekers: • Tom Schrijvers

Modulaire behandeling van effecten in puur functionele programma's en modellen Universiteit Gent Abstract: De complexiteit van softwaresystemen beheersen is een van de blijvende uitdagingen van de informatica, en het domein van programmeer- en modelleringstalen in het bijzonder. Puur Functioneel Programmeren (PFP) geniet brede erkenning om complexiteit te reduceren. Helaas is ondersteuning voor neven-effecten, vooral op modulaire wijze, een essentieel probleem van PFP. Dit project ontwikkelt PFP-technieken voor neven-effecten in zeer modulaire softwaresystemen. Organisaties: • Vakgroep Toegepaste wiskunde en informatica

Onderzoekers: • Tom Schrijvers

High Performance and Embedded Architecture and Compilation Universiteit Gent Abstract: De doelstelling van dit project is om het Europese onderzoek in computersystemen en compilatie te ondersteunen en te sturen, om bedrijven in contact te brengen met onderzoeksinstituten, en de kloof te dichten tussen hardwareontwikkelaars en softwareontwikkelaars. Het netwerk wordt gedragen door 14 partners en groepeert ongeveer 1500 leden. Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Koenraad De Bosschere

Stochastische modellering en prestatie-analyse van MAC-protocollen voor draadloze netwerken Universiteit Gent Abstract: Dit onderzoeksproject beoogt het opstellen van geschikte stochastische modellen en wachtlijnmodellen voor ?conflictloze? MACprotocollen. We voorzien de studie van wachtlijnmodellen met prioriteitsschedulering, meerdere servers, servervakanties, gecorreleerde aankomsten en wachtlijnen in tandem. Interessante prestatiematen zijn de tijdsvertraging voor pakketten, pakketverlieskansen en het energieverbruik. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Sabine Wittevrongel • Dieter Fiems

Delen van elektrische voertuigen op basis van een B2B- service platform Universiteit Gent Abstract: Dit platform is gericht op multimodaliteit, waarbij de benodigde infrastructuur (mobiliteit) met het achterliggende businessplatform (ICT) verbonden wordt. De mobiliteitsdimensie omvat laadinfrastructuur en voertuigen. Hierbij wordt de nadruk gelegd op het delen van voertuigen en integratie van verschillende vervoersmodi. In de ICT-dimensie wordt een dienstenplatform opgezet dat verspreide informatie verzamelt en op een open en universele manier toegankelijk maakt voor dienstenleveranciers. Het platform wordt gerealiseerd in 4 grote Vlaamse treinstations (Antwerpen, Gent, Hasselt en Leuven), als voorbereiding op een verdere uitrol in de 34 grootste station van België. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Sidharta Gautama

Datacenter ontwerp en implementatie aan UCLV als ICT- hub voor Cubaanse universiteiten Universiteit Gent Abstract: niet beschikbaar Organisaties: • Directie Onderzoeksaangelegendheden

Onderzoekers: • Rudy Gevaert • Dieter Roefs

Dynamica en computationele prestatie van met tijdsvertraging gekoppelde complexe systemen. Vrije Universiteit Brussel Abstract: Huge amounts of data need to be handled in present day society. Despite of increasing (digital) computing power, new approaches to information processing are desired and required. Reservoir computing represents such an alternative approach towards computation. Usually it is implemented using a large network of interconnected nonlinear nodes (or neurons). It has been shown that reservoir computing serves universal computational properties, such that any potential operation could be realized, outperforming other approaches for certain tasks. We have identified that delay-coupled systems are ideally suited for reservoir computing. Time-delayed coupling or feedback originally appeared in control systems where it naturally arises because a finite time is required between sensing the information and reacting to it with a control signal. The presence of delay, however, can also give rise to loss of stability and emergence of complex dynamics. Delay delivers the required complexity needed to implement reservoir computing. In this way, we target to achieve high computational performance with only a small number of nodes, or even one single nonlinear node, thus replacing a network of hundreds of nonlinearly coupled elements by a few nonlinear elements coupled with delay. Organisaties: • Natuurkunde • Toegepaste Natuurkunde en Fotonica

Onderzoekers: • Guy VAN DER SANDE • JAN DANCKAERT

Onderzoeksovereenkomst 'Global Brain Instute' Vrije Universiteit Brussel Abstract: De instelling 'VUB' en het ' Yuri Milner Foundation' hebben voor het project ' Grant Agreement "Global Brain Institute"' 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. Organisaties: • Wijsbegeerte-Moraalwetenschappen

Onderzoekers: • FRANCIS HEYLIGHEN

Ontwikkeling van een bruikbaar en schaalbaar parallel programmeermodel voor many-core architecturen Vrije Universiteit Brussel Abstract: Dit project heeft als uiteindelijk doel het gekende Fork/Join parallel programmeermodel klaar te stomen voor de toekomst, waar many-core architecturen de plaats zullen innemen van multicore architecturen. Zo een many-core programmeermodel gebaseerd op Fork/Join moet het voorspelbare en eenvoudige karakter van Fork/Join hoog in het vaandel blijven dragen en tegelijkertijd de tientallen of honderden processorkernen effici ?ent kunnen benutten. Om deze doelstelling te bereiken willen we een natuurlijke uitbreiding van het Fork/Join model formuleren die de huidige tekortkomingen uit de weg ruimt en zo het pad effent voor een vlotte schaalbaarheid in het many-core tijdperk. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • WOLFGANG DE MEUTER

Het doorbreken van de multicore-barrière voor webapplicaties Vrije Universiteit Brussel Abstract: Er zijn twee recente fenomenen die in belangrijke mate zullen bepalen hoe mensen het internet ervaren. Enerzijds is de browser, met JavaScript als bijbehorende programmeertaal, belangrijker aan het worden als platform om applicaties af te leveren. Anderzijds worden we geconfronteerd met de multicore revolutie: al deze apparaten hebben de beschikking over meerdere cores voor de uitvoering van programma's. Applicaties die rekening houden met de onderliggende parallelle hardware kunnen bepaalde taken in parallel uitvoeren, wat de performantie en de responsiviteit van deze applicaties ten goede komt. Ondanks het feit dat vele desktopapplicaties reeds gebruik maken van meerdere cores tijdens hun uitvoering, is de multicore revolutie grotendeels aan webapplicaties voorbij gegaan en blijft de potentiële verwerkingskracht langs de kant van de browser quasi onbenut. Om te blijven voldoen aan de toenemende vraag naar performantie en aanvaardbare antwoordtijden zullen applicaties in de browser gebruik moeten maken van meerdere cores tijdens hun uitvoering. Dit is mogelijk door ze te ontwerpen met gelijktijdigheid of concurrency in gedachten. Web Workers is een standaard API in JavaScript die de mogelijkheid biedt om concurrency toe te voegen aan applicaties. JavaScript applicaties moeten op een bepaalde wijze gestructureerd worden opdat ze efficiënt kunnen gebruik maken van meerdere cores tijdens de uitvoering. Om te vermijden dat deze taak volledig op de schouders van de ontwikkelaar komt is een degelijke ondersteuning voor concurrent programmeren absoluut noodzakelijk. Ondersteuning voor de ontwikkeling van JavaScript programma's die Web Workers gebruiken is momenteel onbestaande. De reden dat deze ondersteuning ontbreekt is omdat er geen statische analyse bestaat die overweg kan met concurrente JavaScript programma's. Deze statische analyse is nodig om bepaalde niet-triviale eigenschappen van een programmma te achterhalen zonder het eerst uit te voeren. De doelstelling van dit project is om de ontwikkeling van webapplicaties te ondersteunen die effectief gebruik maken van multicore-systemen langs de kant van de browser. Hiermee wordt het mogelijk om webapplicaties te ontwikkelen die veel verwerkingskrachten vergen en tegelijkertijd toch performant en responsief blijven. We richten ons op webontwikkelaars die concurrente JavaScript applicaties ontwikkelen door middel van Web Workers. We willen hen hierbij ondersteuning aanbieden zoals deze reeds bestaat voor industrieel relevante talen als Java en C#. Dit betekent dat we on-the-fly mogelijke fouten in de source code opsporen en een reeks refactorings aanbieden die met concurrency te maken hebben. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • WOLFGANG DE MEUTER

Dynamic Speaker Alignment voor Interactieve Dialoog Systemen Vrije Universiteit Brussel Abstract: Ontwikkelen en implementeren van een cognitief model van linguistisch alignment voor interactieve dialoog Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • LUC STEELS

Het bevragen van de geschiedenis van de broncode. Vrije Universiteit Brussel Abstract: Programmabevragende hulpmiddelen identificeren broncode die voldoet aan vrij te specificeren karakteristieken. Deze hebben zich reeds bewezen voor het beantwoorden van vragen over één versie van een programma zoals "waar wordt de database aangesproken buiten onze persistentievoorzieningen?". Voor het beantwoorden van vragen zoals "roept deze code een methode op die reeds lang niet opgeroepen werd?" of "wie heeft deze code het vaakst aangepast?" zijn ontwikkelaars echter op zichzelf aangewezen. Er bestaan namelijk geen hulpmiddelen voor het bevragen van een version repository waarin de geschiedenis van een programma opgeslagen is. Nochtans heeft empirisch onderzoek aangetoond dat ontwikkelaars antwoorden zoeken op geschiedenis-gerelateerde vragen bij het onderhouden van programma's. Het gebrek aan repositorybevragende hulpmiddelen noopt ontwikkelaars tot ad-hoc oplossingen. Zo kan een repositorybevraging bijvoorbeeld opgesplitst worden in meerdere programmabevragingen over de versies uit de repository. Het is dan echter aan de ontwikkelaar om de antwoorden op de individuele programmabevragingen aan elkaar te relateren. Dit is niet alleen repetitief, maar ook gevoelig voor fouten. Een methode kan bijvoorbeeld via refactorings meermaals van klasse of naam veranderen. Bovendien schaalt deze ad-hoc oplossing niet wegens excessieve geheugen- en rekenvereisten. Informatie over de structuur en het gedrag van het programma wordt opnieuw berekend voor elke afzonderlijke versie, zelfs als twee opeenvolgende versies nagenoeg identiek zijn. Tot slot kunnen programmabevragende hulpmiddelen niet overweg met incomplete informatie. Voor het afleiden van gedragsinformatie hebben zij niet alleen de volledige broncode, maar ook de bibliotheken van het bevraagde programma nodig. Net deze ontbreken vaak in een repository. Het voorgestelde onderzoek heeft als doel een allesomvattend, wetenschappelijk onderbouwd antwoord te formuleren op bovenstaande problemen en zo de weg te effenen naar repositorybevragende hulpmiddelen .

Het onderzoek is opgevat als een systematische exploratie van de dimensies in het ontwerp van een repositorybevragend hulpmiddel: het specificatieformalisme, de repositoryrepresentatie en het detectiemechanisme. De ideale configuratie in deze ruimte geeft aanleiding tot een industrieel toepasbaar hulpmiddel. Elke verkende configuratie zal geëvalueerd aan de hand van een empirisch opgesteld corpus aan reële ontwikkelaarsvragen enerzijds, en een corpus aan representatieve open sourcerepositories anderzijds. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • VIVIANE JONCKERS

PERPETUAL: Personalized Products Emerging from Tailored User-Adapting Logic. Vrije Universiteit Brussel Abstract: De opzet van het PERPETUAL project is het ontwikkelen van methoden en algoritmen die als doel hebben automatische, gebruikergerichte analyses uit te voeren ter ondersteuning van verbeterde dienstverlening van producten. Zodoende vereist de PERPETUAL methodologie minder middelen door een verhoogde efficiëntie als gevolg van een geoptimaliseerd beleid voor een breed scala aan toepassingen. De behoefte aan personalisatie van producten, optimalisatie van hulpbronnen en energie-efficiëntie, en verlaagde-interface complexiteit,zijn enkele van de belangrijke drijfveren die nieuwe productfunctionaliteiten aansturen. Dit leidt tot een optimaal comfort voor de gebruiker zonder de complexiteit op gebied van hardwareaanpassingen te verhogen, .

Steunend op jarenlange ervaring op het vlak van automatische kennis profilering, reinforcement learning en geavanceerde controle van het consortium, zullen doelmethoden en ondersteunende algoritmen worden ontwikkeld om automatisch (multi-) gebruiker karakteristieken (zogenaamde 'gebruik profielen ') te bepalen, samen met afgeleide statistische functionele voorspellingen die de effectiviteit en efficiëntie van zelflerende controle strategieën sterk kunnen verbeteren.

Een brede waaier aan mogelijke toepassingen werd geïdentificeerd op basis van de beoogde gepersonaliseerde logica mogelijkheden en valorisatiepotentieel. Case studies omvatten: HVAC-systemen, Industriële koelsystemen, stroom opwekkingsmanagement en auto-oplaadstations voor smart grids. Deze cases worden geëvalueerd in samenwerking met de industrie. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

Threshold Implementaties: Als maatregel tegen hogere-orde vermogensanalyse KU Leuven Abstract: ? Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel • Vincent Rijmen • Svetla Petkova-Nikova • Begül Bilgin

Senior Visiting Postdoctorale beurs dr. Yuqing Wu Universiteit Hasselt Abstract: Prof. Yuqing Wu van Indiana University in Bloomington, Indiana (USA), een structurele partner van de FWO-Wetenschappelijke Onderzoeksgemeenschap "Declaratieve Methods in Computer Science ', heeft een bezoek van drie maanden gebracht aan de Onderzoeksgroep Databanken en Theoretische Informatica van de Universiteit Hasselt als onderdeel van haar verlofsjaar, dankzij de bovengenoemde toekenning van het FWO. Verschillende onderzoekers, niet alleen van deze groep, maar ook van andere structurele partners van de hierboven genoemde Wetenschappelijk Onderzoek Netwerk in Vlaanderen, Brussel, Wallonië en Nederland waren betrokken bij dit bezoek. Een uitgebreid bezoek van drie maanden maakte het mogelijk om gemeenschappelijke onderzoeksbelangen grondiger na te streven en tot resultaten te komen die kunnen leiden tot publicaties evenwel als tot mogelijkheden voor nieuw of verder onderzoek in de nabije toekomst. Organisaties: • Databases en Theoretische Informatica

Onderzoekers: • Marc GYSSENS

i-SCOPE Europees project Vrije Universiteit Brussel Abstract: Interoperable Smart City diensten via een Open Platform voor stedelijke ecosystemen Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • WOLFGANG DE MEUTER

Brains (Back) to Brussels 2011 - Verankering: Verankering: een cognitieve en computationele onderzoek van combinatoriële toespraak. Vrije Universiteit Brussel Abstract: Het project zal wetenschap op vier manieren voorgaan: het geven inzicht in hoe onze unieke mogelijkheid voor het gebruik van combinatoriële toespraak werken en hoe het zich ontwikkeld, het zal ons vertellen hoe dit is geïmplementeerd in de hersenen, het zal de nieuwe methodologie van experimenteel cultureel leren uitbreiden en het zal nieuwe computermodellen ontwikkelen voor het omgaan met spraak. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • LUC STEELS

Visiting postdoctoral (senior) fellowship : Drugan Madalina (Roemenië) Vrije Universiteit Brussel Abstract: Beurs voor postdoctoraat (senior) Drugan Madalina (Roemenië) die VUB bezoekt voor 11 maand. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

FRIENDLY ATTAC: Adaptive Technological Tools Against Cyberbullying Vrije Universiteit Brussel Abstract: Het doel van het project is om op een wetenschappelijk onderbouwde manier te onderzoeken hoe ICT-gebaseerde interventies (of interventie-onderdelen) kunnen worden gebruikt in de strijd tegen (cyber)pesten. De nadruk ligt zowel op het in kaart brengen van het probleem (cyber)pesten als op het ontwikkelen en testen van dynamische, state-of-the art ICT-toepassingen om het probleem aan te pakken. Om dit ambitieuze project planmatig vorm te geven wordt de zogenaamde "Intervention Mapping Approach" gevolgd. Deze blijkt immers bijzonder nuttig te zijn voor de systematische ontwikkeling en planning van "evidence based" gezondheidsinterventies in het algemeen (en van pestinterventies in het bijzonder). Gebaseerd op de bevindingen en ontwikkelde benadering, zullen virtuele scenario's (serious games) ontwikkeld worden om het probleem van cyber pesten concreet aan te pakken. Organisaties: • Web en Information System Engineering • Informatica en Toegepaste Informatica

Onderzoekers: • Edgar Omar CEBOLLEDO GUTIERREZ • Frederik VAN BROECKHOVEN • OLGA DE TROYER

ABACUS: Bevorderen van gedrags- en cognitieve begrip van spraak Vrije Universiteit Brussel Abstract: Het project bestudeert cognitieve, taalkundige en Computationele Wetenschap in de vier belangrijkste facetten: het zal ons inzicht geven in de werking van onze unieke mogelijkheid voor het gebruik van combinatoriële toespraak, het zal ons vertellen hoe dit is geïmplementeerd in de hersenen, het zal de nieuwe methodologie van experimentele cultureel leren uitbreiden en het zal leiden tot nieuwe computermodellen voor het omgaan met menselijke spraak. Dit zijn de uitdagende en opwindende mogelijkheden van het onderzoek waarnaar ik hoop om een bijdrage te leveren. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • Anna VAN DER HAM • Hannah Ruth LITTLE • Kerem ERYILMAZ • Heikki RASILO • Piera FILIPPI • William THOMPSON • Andrea RAVIGNANI • BART DE BOER

Geen Nederlandstalige Titel KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel • N. N.

Geen Nederlandstalige Titel KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Kathleen Marchal • Luc De Raedt • Siegfried Nijssen • Thanh Le Van

Multi-camera Computer Visie voor Assisted Living Universiteit Gent Abstract: Het doel van dit doctoraat is het herkennen en analyseren van menselijke gedragingen met meerdere camera's. De toepassingen liggen in de niet-traditioniële bewakingssector, b.v. voor het monitoren van zieke of oudere mensen, enerzijds om probleemsituaties te detecteren, anderzijds om revalidatie te bevorderen. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Hamid Aghajan

Geen Nederlandstalige Titel KU Leuven Abstract: Hedendaagse toepassingen zoals smart cities vereisen sensoren op grote schaal. Om op een economisch verantwoorde manier deze sensornetwerken opgrote schaal te realiseren, kan men purpose-deployed sensornetwerken integreren met algemene mobiele apparaten (zoals smartphones en webpads) en menselijke actoren. Om deze visie te realiseren is een gemeenschappelijke middleware aangewezen, die het mogelijk maakt om mensen en heterogene sensornodes met verschillende hardware, netwerk en software stacks te integreren in een coherente gedistribueerde toepassing.

Organisaties: • Afdeling Informatica

Onderzoekers: • Daniel Hughes • Rafael Bachiller Soler

Geen Nederlandstalige Titel KU Leuven Abstract: ? Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Moritz Diehl • Hong Trang Le

Flexible software design and kernel-based learning in advanced data-driven modelling KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Johan Suykens • Vilens Jumutcs

ERC Advanced Grant A-Datadrive-B KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Johan Suykens • Jose Gervasio Puertas

photonics@be: towards smart photonics in 2020 Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Informatietechnologie • Vakgroep Elektronica en informatiesystemen • Vakgroep Anorganische en fysische chemie

Onderzoekers: • Kristiaan Neyts • Roeland Baets • Zeger Hens

"Empathische producten - Intentie- en emotiebewuste producten Universiteit Hasselt Abstract: Het algemene doel van dit project bestaat uit nieuwe concepten en softwaretools ontwikkelen en demonstreren om intentie- en emotiebewuste toepassingen mogelijk te maken. Door het vastleggen van emoties en intenties, en terugkoppeling van de getrokken lessen, wil men een toename van de gebruikers- en belanghebbendentevredenheid realiseren van ten minste 20% ten opzichte van de State of the Art. Via een interatieve aanpak zal het project beoordeeld worden via gebruiker- en belanghebbendenonderzoeken naar de tevredenheid na ten minste zes experimentele technologie realisaties en demonstraties. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media

Onderzoekers: • Kris LUYTEN

Optimization and Optimal Control for Large Scale Airbore Wind Energy (AWE) Systems KU Leuven Abstract: Airborne wind energy is een veelbelovend concept dat het potentieel heeft om de kost van windenergie significant te reduceren. Een groot vliegtuig, verbonden aan een kabel, wordt bestuurd zoals een strandvlieger en energie wordt geoogst door de kabel in en uit te trekken en zo een generator op de grond aan te drijven. Hoewel reeds enkele bedrijven bezig zijn met het ontwikkelen van dit concept, blijven er veel onopgeloste vragen bestaan. Dit doctoraat zal modellen van dit concept creëren en valideren en het vleugelontwerp en vluchttraject optimaliseren met technieken van optimale controle en numerieke optimalisatie. Samenwerking met industriele partners gebeurt waar mogelijk. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Moritz Diehl • Sébastien Gros • Gregory Mainland Horn

Personalized advertisements built from Web sources. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Marie-Francine Moens • Erik Duval

• Tinne Tuytelaars

PARIS - gepersonaliseerde advertenties gemaakt op basis van webbronnen. Universiteit Antwerpen Abstract: Gepersonaliseerde advertenties willen inspelen op de unieke interesses en voorkeuren van de individuele gebruiker. De juiste advertentie voor de juiste persoon wordt geselecteerd, gebaseerd op een bestaande set van advertenties voor verschillende producten. User generated content, bv. beschikbaar via sociale netwerken, biedt een wereld van informatie over een individu en haar of zijn leefwereld. Hij of zij kan zeer gedetailleerd in blogs schrijven, kan foto's opladen, tweeten via Twitter of andere microblogging applicaties, of sporen nalaten in de vorm van online videomateriaal. Met dit project wordt getracht de advertenties te personaliseren op basis van user generated content. Deze personalisering moet eveneens voldoen aan de juridische vereisten betreffende de bescherming van de persoonlijke levenssfeer en rechten van de intellectuele eigendom. Organisaties: • Rechtshandhaving

Onderzoekers: • Patrick Van Eecke

Fonicare Universiteit Hasselt Abstract: Het ontwikkelen van een flexibel, modulair en technologisch Integrator Platform dat het mogelijk maakt bestaande en later nieuwe oproepen registratiesystemen intelligent te integreren in één gehaal. Door de flexibiliteit zal het mogelijk zijn een totaaloplossing te bieden op maat van elke zorginstelling, terwijl de ontwikkeling van een uniforme user interface de gebruikers zal toelaten op verschillende platformen en met verschillende technologieën (web, client, ...)data uit te wisselen, in te voeren en aan te passen op een gebruiksvriendelijke manier. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media

Onderzoekers: • Edith CLOES

Service Orientation for wireless sensor networks KU Leuven Abstract: Draadloze sensornetwerken worden gevormd door minieme computers, van enkele kubieke centimeters in grootte, die hun omgeving kunnen bestuderen.Omgevingsvariabelen zoals temperatuur en CO2 kunnen gemeten worden en deze informatie kan gedeeld worden met enerzijds andere sensorknopen en anderzijds toepassingen op het Internet. In tegenstelling tot traditionele computers kunnen deze sensorknopen autonoom bewegen, wat de interactiemet andere sensorknopen bemoeilijkt. Om correct te kunnen communiceren, is het immers nodig om te weten welke andere sensorknopen in de buurt zijn, welke informatie deze beschikbaar stellen en hoe deze informatie op te vragen. In dit doctoraat onderzoeken we hoe sensorknopen de informatie die zij beschikbaar stellen kunnen beschrijven en hoe andere sensorknopen dergelijke beschrijvingen kunnen gebruiken om relevante sensorknopen te zoeken om mee te communiceren. Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • Klaas Thoelen • Daniel Hughes

Representing and analyzing security properties in software architectures KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • Riccardo Scandariato • Alexander van den Berghe

. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Ingrid Verbauwhede • Bohan Yang

EU-bonuskrediet type B2c voor EU FP7 project: I-SCOPE (CIP-ICT PSP-2011-5) Vrije Universiteit Brussel Abstract: i-SCOPE: interoperabele Smart City diensten door middel van een Open Platform voor stedelijke ecosystemen Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • WOLFGANG DE MEUTER • Ellie D'HONDT

Rijping van het ZONE-IT concept in locatie-gebaseerde sociale interactie Universiteit Gent Abstract: Ontwikkeling van de Zone-IT app als mobiele ad valvas gebaseerd op locatie, tot een marktrijpe software oplossing met een unieke user interface en een differentiërend vertrouwensmodel. Organisaties: • Talen en Culturen

Onderzoekers:

• Filip De Turck • Nico Van de Weghe • Koenraad Stroeken

Heterogene, 3D microsystemen verwerkingslijn voor complex multidisciplinatry apparaat onderzoek. Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Jan Vanfleteren

Low-level software security. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens • Job Noorman

MobCom - A Mobile Companion KU Leuven Abstract: The mobile companion will become the natural user interface in a ubiquitous computing environment, through which users will access services andperform their daily transactions. The companion should protect the interests (1) the user who wants to protect his privacy and prevent identityfraud or theft, but also wants to be able to use his rights to access preferably highly customized services; (2) the service provider that needs to verify the user's rights to access services, and should be able to get access to pro filing information in order to customize the offered services; moreover, in case of abuse, it needs appropriate evidence to beable to hold the abuser accountable; (3) the authorities that wish to punish unethical behavior such as money laundering, computer crime, etc.

The project will research how a TPM can be used to create a secure virtual environment on a mobile device and new primitives (device attestation) will be developed to assess the trustworthiness of the device. Organisaties: • Afdeling Informatica

Onderzoekers: • Bart De Decker • Andreas Put

Applications of First-order and Higher order BDDs for model generation and constraint solving. KU Leuven Abstract: FOBDDs are an extension of propositional BDDs and provide a very useful normal form for first order logic (FO) formulas in the context of model generation and satisfactiability computation systems. In my PhD I will investigate extensions of FOBDD to higher order logic (HO) and develop new applications of FOBDDs and HOBDDs in the context of model generation systems: extension with Presburger arithmetic, application for partial and lazy grounding, improved propagation, etc. Organisaties: • Afdeling Informatica

Onderzoekers: • Marc Denecker • Gerda Janssens • Pieter Van Hertum

A Synergistic Approach to Extraction, Learning and Reasoning for Machine Reading KU Leuven Abstract: Het ontwerp van systemen die leren en kennis verwerven door met hun omgeving te interageren is al lange tijd een doelstelling van kunstmatige intelligentie. Het consulteren van eenvoudig verkrijgbare tekstuele bronnen zoals boeken, kranten, webpagina's enzovoort is bij mensen een vaak voorkomende en efficiënte manier om kennis te vergaren. Dit type van gegevens verwerken en eruit leren vereist de vaardigheden om (1) automatischinformatie uit teksten te extraheren, (2) regels te leren die informatie samenvoegen om zo nieuwe informatie af te leiden en (3) te redeneren over welke geëxtraheerde en afgeleide feiten waar zijn.Dit doctoraat situeert zich binnen een project waarvan het doel erin bestaat om een eengemaakt automatisch leessysteem te ontwikkelen waarbij de nadruk op de performantie van het systeem ligt.Dit proefschrift zal zich voornamelijk op de tweede taak richten en de biomedische literatuur als toepassingsdomein gebruiken. Dit doctoraat zal ook onderzoeken hoe de interacties Organisaties: • Afdeling Informatica

Onderzoekers: • Jesse Davis • Daniele Alfarone

Signal Processing Algorithms for Implantable Hearing Instruments

KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Giuliano Bernardi

Symmetry Detection and Breaking for Finite Model Generation (provisory) KU Leuven Abstract: The research is centered around the finite model generation tool IDP. The intended goal is to improve the IDP system and related systems, amongst others by improving symmetry detection and breaking mechanisms. Organisaties: • Afdeling Informatica

Onderzoekers: • Marc Denecker • Jo Devriendt

multisensor platform voor valdetectie en valrisico inschatting KU Leuven Abstract: Bij de opstart van het project wordt nagegaan hoe de data afkomstig vanverschillende sensoren gecombineerd kan worden om te gebruiken voor hetinschatten van het valrisico van ouderen en voor valdetectie. Initieel wordt er data verzameld in woon- en zorgcentra waarbij nagegaan wordt ofde huidige testen gebruikt om valrisico te detecteren niet geautomatiseerd kunnen worden met behulp van de KINECT en het Balance Board. De opgedane ervaring wordt vervolgens gebruikt om te onderzoeken of met behulp van verschillende sensoren geplaatst in de thuisomgeving van de oudere het valrisico kan ingeschat worden. De metingen nodig voor dit werkpakketworden in kader van het AMACS-project op dit moment opgenomen. Hierna wordt nagegaan of met behulp van de data van verschillende sensoren, ook weer verkregen uit het AMACS project, er aan valdetectie kan gedaan worden. Bij gebruik van 1 enkele sensor voor valdetectie verkrijgt men veel valspositieve resultaten. Het doel is net het wegwerken van deze vals Organisaties: • TC Elektrotechniek (ESAT) Geel

Onderzoekers: • Bart Vanrumste • Greet Baldewijns

MUSE: Machinaal lezen voor interactieve storytelling. KU Leuven Abstract: Het MUSE-project introduceert een nieuwe manier om tekstuele informatiete exploreren en te verstaan door informatie tot leven te brengen via3D interactieve storytelling. MUSE verwerkt teksten geschreven in natuurlijke taal zoals verhalen voor kinderen en medische procedures geschreven voor patiënten. MUSE vertaalt deze naar een formele kennistaal die deacties, actoren, verhaallijnen en de beschrijving van de omgeving uitdrukt, door middel van geavanceerde technieken van machinaal leren. Deze kennis wordt omgezet naar virtuele 3D-werelden die de gebruiker kan exploreren door middel van interactie, uitbeeldingen, en begeleid spel. Om deze doelstellingen te realiseren maakt MUSE gebruik van geavanceerde taaltechnologie die de vertaling van tekst in natuurlijke taal naar de noodzakelijke kennisrepresentatie mogelijk maakt, en van vernieuwende kennisrepresentaties voor acties en planning van een verhaallijn die nodig zijn voor de interactieve storytelling.Op lange termijnwil MUSE het moge Organisaties: • Afdeling Informatica

Onderzoekers: • Marie-Francine Moens • Johan De Tavernier • Steven Bethard

Geografische overdraagbaarheid van activiteiten-gebaseerde modellen: Een gevalstudie voor Vlaanderen en Slovenië Universiteit Hasselt Abstract: Dit onderzoeksvoorstel omvat onderzoek naar invarianten in verplaatsingsgedrag in het kader van het faciliteren van een efficiente transfer van activiteiten-gebaseerde modellen tussen geografische gebieden. Onderzoek naar de gelijkenissen en de verschillen in verplaatsingsgedrag tussen Vlaanderen en Slovenie kan inzichten leveren in de transfereerbaarheid van activiteiten-gebaseerde modellen die noodzakelijk zijn bij het transfereren van activiteiten-gebaseerde modellen naar nieuwe geografische studiegebieden. Een belangrijke vereiste om een activiteiten-gebaseerd model te bouwen voor een nieuw studiegebied bestaat uit het verzamelen van gegevens om het model te trainen en uit te voeren. Het verzamelen van deze benodigde datasets vergt tijdintensieve, en dus dure, methodieken. Bijgevolg stelt zich de vraag hoe deze nood aan dure gegevensverzamelingen maximaal vermeden kan worden. Indien aanwijzingen worden gevonden dat bepaalde invarianten bestaan tussen het activiteiten- en verplaatsingsgedrag over verschillende gebieden heen, dan kan deze informatie gebruikt worden om dure gegevensverzamelingen te vermijden bij het implementeren van activiteiten- gebaseerde modellen in nieuwe geografische studiegebieden. Organisaties: • Beleidsinformatica • Verplaatsingsgedrag • Instituut voor Mobiliteit

Onderzoekers: • Tom BELLEMANS

Virtuality in Reality Universiteit Hasselt Abstract: Het programma is toegespitst op multidisciplinariteit in een sfeer van wederzijdse interculturele verstandhouding. Het gaat om geïntegreerd concept dat vooral georganiseerd is rond bedrijfskunde, (Engelse) communicatievaardigheden en groepswerk. Studenten werken in kleine intercultureel en multidisciplinair samengestelde groepen, en schrijven een businessplan voor een denkbeeldige maar tegelijk realistische onderneming die draait rond een product of dienst binnen de expertise van de betreffende studenten. Tijdens dit project dat gedurende vier weken in de zomer doorgaat aan de Universiteit van Manchester, krijgen de studenten de nodige input en feedback om hun project succesvol te voleindigen. Het eindproduct, het business plan, met inbegrip van een presentatie ervan, worden beoordeeld zowel van uit het standpunt van bedrijfskunde als vanuit het standpunt van communicatievaardigheden. Het programma wordt gecoördineerd door de Universiteit Hasselt. De andere partners zijn, naast de Universiteit van Manchester, de Universiteit Maastricht, de Universiteit van Bergen (Mons) en de Universiteit van

Warschau. Als het project succesvol is, zal het partnernetwerk verder worden uitgebreid. Organisaties: • Databases en Theoretische Informatica

Onderzoekers: • Marc GYSSENS

Security architecture for smart grids KU Leuven Abstract: Slimme elektriciteitsnetwerken (smart grids) zijn de elektriciteitsnetwerken van de toekomst. Ze vormen een uitbreiding van het huidige elektriciteitsnetwerk met o.a. bidirectionele communicatie tussen slimme metersen energiebedrijven. Ook zogenaamde slimme huishoudtoestellen en elektrische voertuigen kunnen aangesloten worden op het slimme elektriciteitsnetwerk. Ten slotte maken deze slimme elektriciteitsnetwerken gedistribueerde energieopwekking mogelijk. Het uitrollen van slimme elektriciteitsnetwerken is momenteel volop bezig. De EU stimuleert het gebruik van slimme meters met EU-richtlijn 2009/72/EG en de VS met de U.S. Energy Independence and Security Act van 2007.Slimme elektriciteitsnetwerken hebben verschillende voordelen. Real-time opvolging van het elektriciteitsverbruik en flexibele tarieven maken energiebesparingen en afvlakken van het piekverbruik mogelijk. Slimme elektriciteitsnetwerken kunnen daarnaast ook zelf storingen detecteren en proberen dan automatisch de stroom Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel • Sara Cleemput

Modelling, Propagation and Model generation in Higher Order Logics HO(.). KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Marc Denecker • Gerda Janssens • Joachim Jansen

Reductionist Security. KU Leuven 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. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Bart Preneel • Atul Luykx

Multi-modale magnetische resonantie data processing- en classificatiemethoden voor diagnose en therapiebeoordeling van tumorpatiënten KU Leuven Abstract: Kwaadaardige gliomas zijn aggressieve hersentumoren met een slechte prognose. Standaard magnetische resonantie beeldvorming (MRI) is momenteelde verkozen beeldvormingstechniek voor de diagnose en de opvolging van deze tumoren. MRI is echter onvlodoende specifiek om de aggressiviteit van de tumor en het resultaat van een behandeling te voorspellen. Het is daarom zinvol een multimodaal beeldvormingsprotocol te ontwikkelen waarin verschillende magnetische resonantie beeldvormingstechnieken (magnetische resonantie spectroscopische beeldvorming (MRSI), diffusietensor beeldvorming (DTI), enz. ), die complementaire informatie verschaffen over metabolische eigenschappen en weefselstructuur, gemeten worden binnen een voor de patiënt aanvaardbare tijd. Dit doctoraatsproject kadert in een grotere samenwerking met de afdelingen Radiologie/Neurochirurgie van de universitaire ziekenhuizen van Leuven en van Gent, waar verschillende dataacquisitietechnieken en tumortherapieën momenteel getest worden Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel • Nicolas Sauwen

Machine Understanding of Text KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Marie-Francine Moens • N. N. • Steven Bethard

. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt • Vladimir Dzyuba

Inductive Constraint Programming KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt • Behrouz Eslami Shahr Babaki

Mining of User Generated Content KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Marie-Francine Moens • Susana Beatriz Zoghbi

Integrated task scheduling and personnel rostering KU Leuven Abstract: In the context of personnel rostering, several levels of granularity have been discussed. Typically, these levels range from very coarse grained (e.g. days-off scheduling) to more finely granulated (e.g. tour scheduling). However, in some cases a more detailed type of assignment is required. Not only shifts need to be assigned to personnel, but also the allocation of tasks is incorporated in the optimisation of the rosters. Thepractical relevance of this integrated problem is apparent in various contexts. In the food production industry, due to the short batches beingproduced, employees have to perform tasks on more than one machine during one shift. In order to create efficient solutions, it is necessary tointegrate the assignment of shifts and tasks resulting in a problem combining personnel rostering and task scheduling. This integrated task scheduling and personnel rostering problem presents the subject of this doctorate. Organisaties: • Computerwetenschappen Kulak

Onderzoekers: • Patrick De Causmaecker • Greet Vanden Berghe • Pieter Smet

Advanced Symmetric Cryptanalysis KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel • Christina Angeliki Toli

Secure compilation of high-level languages to machine code. KU Leuven Abstract: Software is doorgaans geïmplementeerd in een hoog-niveau programmeertaal en daarna vertaald naar machine code of byte code. Aanvallers kunnen meestal direct interageren met deze laag-niveau representatie van het programma. Zo bestaan er code injectie aanvallen waar een aanvaller machinecode kan uitvoeren in het proces van het programma. Indien de computer geïnfecteerd is met kernel-level malware is het mogelijk om eender welkemachine code uit te voeren in elk proces op het systeem.Het doel ishet ontwerpen van een veilige vertaling van hoogniveau talen, zoals Java, naar machine code werkende op standaard processoren. Een vertaling van hoog-niveau talen naar laag-niveau representaties is veilig als een aanvaller die interageert met een vertaald programma geen grotere invloedkan hebben dan een aanvaller die interageert met de hoog-niveau taal. Voor talen zoals Java waar de hoog-niveau taal bepaalde beschermingen biedt (zoals private velden in een klasse), is dit bekend als uitdagend prob Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens • Mathy Vanhoef

Robust, scalable kernel methods for genomic data fusion KU Leuven Abstract: Endeavour is a system for candidate gene prioritization by genomic datafusion where the genomic data and the algorithm are closely intertwined. We have already shown that kernel methods perform better than our original system based on simple statistics. Using kernel methods is an elegant strategy because it decouples the original data from the machine-learning algorithms by using a representation of the data as a kernel matrix. This implies that heterogeneous data (binary vectors, real vectors on different scales, graph data) can all be replaced by appropriately scaled kernel matrices, which all have the same size, and thus that the data heterogeneity disappears. This means that other algorithms (such as classification and clustering) can access the same data, which is currently not possible. We aim at developing an efficient and scalable kernel framework based on the genomic data we have so that both gene prioritizationmethods and classification/clustering methods can use the generate Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Yves Moreau • Pooya Zakeri

Efficient simulation and optimization of differential algebraic equations on embedded hardware for control KU Leuven Abstract: Dynamische optimalisatie voor real-time schatting van de toestand of voor controle van een systeem, wordt tegenwoordig al op grote schaal gebruikt in de regeltechniek. Dit komt door de mogelijkheid om beperkingen ende best beschikbare kennis van het systeem op te nemen in het algoritme. Voor mechatronische systemen, met een tijdschaal in de orde grootte van milli- of zelfs microseconden, vormt de rekentijd voor zulke geavanceerde algoritmes echter een probleem. Zowel toestandsschatting en controleresulteren in een soortgelijk optimalisatieprobleem dat moet

worden opgelost op elk tijdstip. De simulatie van het model en de berekening van sensitivities vormt over het algemeen een grote, vaak zelfs dominerende factor in de rekentijd per stap. Het doel van dit project is dan ook om efficiëntere, online algoritmes te ontwikkelen en dit specifiek voor ingebedde simulatie en optimalisatie. Naast de ontwikkeling van state of theart methodes, zal er aan de praktische eisen kunnen worden voldaan Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Stefan Vandewalle • Moritz Diehl • Rien Quirynen

SaaS4Cloud Enabling Software-As-A-Service in the evolution towards Cloud Computing. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen

Exploratie naar de integreerbaarheid van Physically Unclonable Functions op chip. KU Leuven Abstract: PUFs zijn systemen die de unieke wanorde of variabiliteit van een fysisch object karakteriseren. Daardoor is het praktisch onhaalbaar om ze te dupliceren. Deze eigenschap opent een waaier aan cryptografische toepassingen. We focussen ons op PUFs die de procesvariaties van chipfabrikanten aanwenden. Het huidige spectrum architecturen is echter immatuur. Fundamenteel onderzoek op lay-out en circuit-niveau is nodig. In een eerste fase worden procesvariaties en ruisbronnen grondig bestudeerd, omdat deze aan de basis liggen van alle PUFs. In een tweede fase ontwikkelen we nieuwe architecturen. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Ingrid Verbauwhede • Jeroen Delvaux

weSPOT. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Erik Duval

Towards minimizing privacy risks in online social networks KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel • Maria Claudia Diaz Martinez

STANCE. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Bart Jacobs

Survival analysis for credit risk modelling. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Bart Baesens • Aimée Backiel

Enterprise social network analysis via data mining techniques. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Bart Baesens • Libo Li

Requirements analysis and modelling recommendations through semantic text mining. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties:

• OG LIRIS Leuven

Onderzoekers: • Monique Snoeck • Gayane Sedrakyan

Forecasting en analytics voor het beheer van het inningsrisico. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Bart Baesens • Monique Snoeck • Véronique Van Vlasselaer

Concurrency in een machine model met ondersteuning voor multi-dimensional separation of concerns. Universiteit Antwerpen Abstract: Dit project heeft als doel concurrency te bestuderen in het onderszoeksgebied van talen met ondersteuning voor "multidimensional separation of concerns" (MDSOC), zoals aspect-, context- of feature-georiënteerde talen. Het toevoegen van MDSOC mechanismes die rekening houden met concurrency zal leiden tot MDSOC talen met meer expressiviteit en mogelijk hogere performantie, wat op zijn beurt van MDSOC talen een meer aantrekkelijk platform maakt om concurrente applicaties in te ontwikkelen. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)

Onderzoekers: • Dirk Janssens • Tim Molderez

Automatische ontleding van het biblioom om het dynamische gedrag van moleculaire netwerken te ontrafelen Universiteit Gent Abstract: In dit project zullen grootschalige tekst mining algoritmen ontwikkeld worden die in staat zijn om het volledige biblioom automatisch te ontleden. Deze methoden zullen specifiek ontworpen worden met het oog op netwerk analyse en data integratie. De resulterende tekstuele dataset zal geïntegreerd worden met bestaande experimentele resultaten om het dynamische gedrag van moleculaire netwerken te bestuderen. Organisaties: • Vakgroep Plantenbiotechnologie en Genetica

Onderzoekers: • Yves Van de Peer

Stochastische modellering en controle van cognitieve radionetwerken Universiteit Gent Abstract: Cognitieve radionetwerken vormen een belangrijk nieuw mechanisme om spectrumschaarste in hedendaagse draadloze netwerken tegen te gaan. Het doel van het project is om deze netwerken te modelleren met technieken uit de toegepaste probabiliteitstheorie, en om controlemechanismen te ontwerpen die de efficiëntie en robuustheid van zulke netwerken verbeteren. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Sabine Wittevrongel

Optimalisatiealgoritmen voor plantenveredeling Universiteit Gent Abstract: Plantenveredeling bestaat uit het creëren van verbeterde variëteiten van gekweekte gewassen. We ontwikkelen algoritmen voor het opstellen van goede kruisingsschema's die leiden tot gewassen met een selectie aan gewenste eigenschappen. Verder ontwerpen we ook algoritmen voor het bepalen van een representatieve deelverzameling uit een grote collectie variëteiten. Organisaties: • Vakgroep Toegepaste wiskunde en informatica

Onderzoekers: • Veerle Fack

EURO-MILS: Veilige Europese Virtualisatie voor Betrouwbare Toepassingen in Kritieke Domeinen Universiteit Gent Abstract: Kritieke systemen worden met het internet verbonden, waardoor domeinen met verschillende veiligheidsvoorwaarden worden gemengd. De stand van de techniek laat niet toe dit op een betrouwbare manier te doen. Het EURO-MILS-poject zal daarom voor de eerste maal in Europa een "Common Criteria" evaluatie uitvoeren tot op het hoogste niveau van een MILS-systeem (Multiple Independent Levels of Security). Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Koenraad De Bosschere

HTML5: een loper voor alle platformen? Universiteit Gent Abstract: De HTML5-standaard wordt ontwikkeld door het World Wide Web Consortium (W3C) om een allesomvattend antwoord te bieden aan de vereisten van moderne webgebaseerde toepassingen, zonder gebruik te maken van externe plug-ins of gesloten technologieën. Een tweede voordeel is dat deze standaard compatibel is met alle platformen, zowel op desktop als op mobiele toestellen, en er dus niet langer aparte versies moeten ontwikkeld worden. De term ?HTML5? wordt gebruikt als verzamelnaam voor een reeks specificaties voor het opmaken, structureren en manipuleren van de inhoud van webtoepassingen. Ondanks de wijd erkende voordelen, aarzelen veel bedrijven om voluit voor HTML5 te kiezen. Ten eerste is de standaard nog steeds in ontwikkeling en wordt een eerste stabiele draft pas in de loop van 2012 verwacht. Ten tweede woedt er een heftig debat of webgebaseerde applicaties die in een browseromgeving draaien wel dezelfde performantie, veiligheid en schaalbaarheid kunnen halen. De doelstelling van dit TETRA-project is om een grondige studie uit te voeren naar de mogelijkheden en beperkingen van de HTML5-standaard, via drie proof-of-concept-

implementaties op bedrijfsschaal en wetenschappelijk onderbouwde testresultaten. De brede doelgroep van dit project wordt gevormd door alle bedrijven die content wensen aan te bieden op een waaier aan toestellen. Hierbij wordt niet enkel gemikt op de ontwikkelaars van innovatieve websites, die bv. de native mobiele apps kunnen vervangen, maar ook op bedrijven die een performante front-end wensen te ontwikkelen voor hun bedrijfstoepassingen die draaien binnen hun eigen serveromgevingen of in de cloud. Het project zal resulteren in een overdracht van expertise en kennis van de HTML5-standaard naar de bedrijven. Er werd gekozen om het werkplan in het eerste jaar te structureren aan de hand van een aantal proof-of-concept-implementaties. Dit zijn technische demo?s in de domeinen van gebruikersinterface, multimedia en netwerkfunctionaliteit. In het tweede jaar worden geïntegreerde demonstraties gebouwd via pilootprojecten bij de leden van de gebruikersgroep. Eerder dan te bouwen op theoretische en functionele analyses van de standaard wil dit project dus praktische hands-on-ervaring bieden die direct implementeerbaar is binnen Vlaanderen. Organisaties: • Vakgroep Industriële Technologie en Constructie

Onderzoekers: • Veerle Ongenae • Pieter Simoens

Stream Store Universiteit Gent Abstract: Stream Store is een platform voor herverpakken van digitale content in coherente streams die verder worden gepersonaliseerd en gecontextualiseerd om als betalende dienst te worden aangeboden aan eindgebruikers. Er wordt een platform ontwikkeld waar content providers hun digitale content (vorrnamelijk nieuwsartikelen, maar ook andere) en bijhorende metadata naar toe kunnen sturen. De metadata laten redacteurs, externe experten of algoritmes toe om die content opnieuw te verpakken als streams ( een verpakking van media items die op één of andere manier samenhoren). Deze streams worden verder gepersonaliseerd voor de individuele gebruiker op basis van zijn persoonlijke context. Aanbevelingsalgoritmen selecteren andere content uit deze streams naargelang de locatie, type toestel, tijd etc... Bovendien zal het mediagebruik ook gemeten worden, wat toelaat de gebruiker doelgericht bepaalde extra content aan te bieden. Organisaties: • Vakgroep Informatietechnologie

Onderzoekers: • Luc Martens

Veelzijdige Gemakkelijk installeerbaar connector met nieuwe technologieën voor versnelde glasvezelnetwerk Roll outs in Europa Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Organische chemie (WE)

Onderzoekers: • Peter Dubruel

de Urban Sound Planner Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Informatietechnologie

Onderzoekers: • Dick Botteldooren

Afbeelding van video-algorithmen op netwerk-op-chip gebaseerde herconfigureerbare platformen. Universiteit Hasselt Abstract: Moderne hoogperformante systemen zijn opgebouwd uit intensief interagerende en complexe computationele subsystemen. De Systeemop-Chip technologie laat toe om de huidige complexe systemen te realizeren. Computationele video laat toe om digitale video beelden afkomstig van een veelvoud van hoge resolutiecameras te combineren en te verwerken. Dit is een gebied waar het EDM instituut van Universiteit Hasselt zeer veel expertise in heeft opgebouwd. Het laat toe om 360 graden video te maken, in reele tijd 3D modelen te synthetizeren van een scene enz. De verwerkingscomplexiteit van digitale video vereist het uiterste aan rekenkracht en communicatiesnelheid. Het is daarom nodig om zulke (en ook andere systemen-op-chip) zo efficient mogelijk te kunnen ontwikkelen. In dit doctoraat is het de bedoeling om de complementaire expertises die aanwezig in de Universiteit van Hanoi (Network-op-Chip ontwerp methodologieen) en Universiteit Hasselt (multimedia Systeem-op-Chip systemen) te combineren om nieuwe technieken te ontwikkelen en te formaliseren die moeten toelaten om de complexe systemen van de toekomst op een efficiente wijze te kunnen blijven ontwerpen. Dit moet rekening houden met allerlei randvoorwaarden zoals: benodigde rekenkracht, beperking in hoeveel ter beschikking staande hardware, doorvoersnelheden en vermogenverbruik (vermindering CO2 emissies). Organisaties: • Engineering Materials and Applications • Expertisecentrum voor Digitale Media • Instituut voor Materiaalonderzoek • Expertisecentrum voor Digitale Media

Onderzoekers: • Luc CLAESEN

Schema's en query-talen voor grafieke databases Universiteit Hasselt Abstract: Grote databases worden gewoonlijk beheerd door standaard relationele database management systemen. Nieuwe toepassingen van databases, zoals gegevens over het web en wetenschappelijke gegevens, vragen om een datamodel met specifieke steun en begrip van grafisch gestructureerde gegevens, omdat daar de data de vorm van een netwerk heeft. Het huidige voorstel heeft tot doel een bijdrage te leveren aan de ontwikkeling van de noodzakelijke theorie die ten grondslag ligt van een nieuw datamodel voor grafische databases. Organisaties: • Databases en Theoretische Informatica

Onderzoekers:

• Jan VAN DEN BUSSCHE

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 (2011-2015) (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 Organisaties: • Expertisecentrum voor Digitale Media

Onderzoekers: • 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 (2011-2015) (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. Organisaties: • Expertisecentrum voor Digitale Media

Onderzoekers: • 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 (2011-2015) (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 Organisaties: • Instituut voor Mobiliteit

Onderzoekers: • 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 (2011-2015) (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. Organisaties: • Instituut voor Mobiliteit

Onderzoekers: • Gerhard WETS

Multi-agent reinforcement learning van coördinatie en probleem structuur Vrije Universiteit Brussel Abstract: Onderzoek in machine learning en reinforcement learning neigt meer en meer naar multi-agent oplossingen, waar verschillende entiteiten, genaamd agenten, gezamenlijk problemen oplossen, zoals routering in een netwerk, of het verspreiden van de belasting op een elektriciteitsnet. Leren in de aanwezigheid van andere dynamische, lerende agenten is uitdagend, en moeilijk te schalen naar grote groepen agenten indien geen speciale maatregelen worden getroffen. Huidige technieken die schaalbaar zijn veronderstellen dat agenten zwakke interacties hebben, en deze conflicten lokaal kunnen oplossen. In situaties waar agenten sterk interageren kan kennis over deze probleem-specifieke interacties gebruikt worden om een coördinatie-structuur tussen deze agenten op te stellen. Deze kennis kan a priori gegeven zijn, of geleerd worden tijdens de werking van het systeem. Echter, huidige algoritmen veronderstellen dat agenten een globaal zicht hebben op het hele systeem, wat de onafhankelijkheid van agenten beperkt. Bovendien, deze benaderingen zijn enkel toepasbaar in contexten waar alle agenten dezelfde belangen hebben. In dit project zullen we de automatische detectie van interacties tussen agenten onderzoeken, zonder te veronderstellen dat agenten een volledig beeld hebben van andere agenten hun toestand en acties. Voorts zullen we de technieken ontwikkeld op basis van de verworven inzichten valideren in volledig coöperatieve, volledig competitieve en gemengde situaties. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

Adaptavieve voorkeuren in een dynamische veranderende wereld: een AI onderzoek in de co-evolutie van voorkeuren en de vorming van groepen. Vrije Universiteit Brussel Abstract: Veel strategische en economische situaties worden gekenmerkt door deelnemer voorkeuren die rekening houden met het welzijn van anderen. Deze voorkeuren begeleiden mensen in hun keuzes met wie deel te nemen aan economische of sociale activiteiten. Weinig aandacht is geschonken aan hoe deze groepsformatie deze voorkeuren vormen en, omgekeerd, hoe deze voorkeuren groepen vormen. Organisaties: • Informatica en Toegepaste Informatica • Toegepaste Biologische Wetenschappen

Onderzoekers: • TOM LENAERTS • The Anh HAN • LUC STEELS

Fundamentele problemen in software engineering: modelleren, verificatie en evolutie van software - MOVES Vrije Universiteit Brussel Abstract: software engineering Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • THEO D'HONDT

EU project: Practice and peRformance Analysis Inspiring Social Education" Vrije Universiteit Brussel Abstract: het project zal niet alleen zorgen voor de uitvoering van een onderzoek dat nodig is om een volledig operationeel systeem te bouwen maar zal zich ook richten op het voeren van spannende casestudy's, gericht op de verwerving van cognitief uitdagende vaardigheden voor Jazz en populaire muziek - zowel met kinderen en geavanceerde lerenden. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • LUC STEELS

Digitaliseren innoverende grammatica. Universiteit Antwerpen Abstract: De opdrachtgever wenst het lesmateriaal voor de grammaticacursus Frans te digitaliseren en er activerende werkwormen aan toe te voegen. De centrale vraag van dit project is: hoe kunnen we het ontwikkelde leermateriaal voor de grammaticacursus Frans het best tot zijn recht laten komen en het toegankelijk maken voor lectoren en studenten? Organisaties: • Individueel onderzoek IOIW

Onderzoekers: • Jozef Colpaert

Monitoring in het datacenter Universiteit Gent Abstract: De bedoeling van het project is het ontwikkelen en het onderzoeken van het marktpotentieel van een monitoringsysteem voor een datacenter. De kernidee van de tool is de latenties van binnenkomende requests te koppelen aan het gebruik van resources in het datacenter, teneinde een kosten-batenanalyse te kunnen verrichten betreffende de geleverde dienst. Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Lieven Eeckhout

Netwerk Bewuste Visuele Codering Universiteit Gent Abstract: Binnen dit Project zal onderzoek verricht worden naar de volgende generatie videocompressie methodes en zal men bestuderen hoe deze nieuwe technologie kan worden benut als belangrijkste kostenbesparende component in (industriële) hoge kwaliteit IP-streaming videonetwerken waar synthetische content met een zeer hoge resolutie wordt verdeld tussen verschillende gebieden en in meerdere composities Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Rik Van de Walle

Parallelle algoritmen voor optimalisatie van dynamisch systemen in real time KU Leuven Abstract: In deze thesis worden optimalisatie-gebaseerde methoden voor het regelen en meten van dynamische systemen voorgesteld. Inzake hun veelzijdigheid behoren optimalisatie-gebaseerde schemas tot de algemeenste en capabelste methoden, en ze vertonen een groeiende populariteit. Omdat een optimalisatieprobleem in real time moet opgelost worden is de computationelekost echter nog steeds een beperkend factor voor de uitbreiding van deze klasse van methoden.Onze focus in deze thesis is op problemen met een lange horizon, die door lineaire en niet-lineaire dynamische systemen, en door beperkingen gekenmerkt kunnen zijn. Zulke problemen zijn van groot praktisch belang, bijvoorbeeld om stabiliteit te waarborgen, voor hoge regel- of meet-prestaties, of onder economische doelstellingen. We ontwikkelen algoritmen in deze thesis die kunnen profiteren vande inherente spaarsheid van deze klasse van problemen met een focus op parallellisme en actuele en toekomstige computer architecturen. Met na Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Moritz Diehl • Janick Frasch

Semi-automated modular formal verification of industrial security-critical programs KU Leuven Abstract: KULeuven participates in the STANCE project that starts on October 1, 2012. The main goals of this participation are the improvement of VeriFast, a semi-automated program verifier developed at the Department of Computer Science of KULeuven, and the improved applicability of this verifier for industrial security-critical programs.

Currently VeriFast supports the semi-automated formal verification of programs written in the C and Java (partial support) programming languages. By improving the Java language support or by extending VeriFast to support the verification ofC++ source code, many research topics will emerge. These topics will include the verification of Object Oriented programming in C++ (this will be more difficult than for Java because of a.o. multiple inheritance), the verification of source code that uses exceptions or templates, and many other topics that are unclear at the moment.

The different industrial partners (Thales, Dassault, Infineon, Trusted Labs) that part Organisaties: • Afdeling Informatica

Onderzoekers: • Bart Jacobs • Gijs Vanspauwen

Organisatie 30th Internationale Conferentie over Conceptueel Modeleren (ER 2011) Vrije Universiteit Brussel Abstract: Een conceptueel datamodel (of conceptueel schema of conceptueel gegevensmodel) definieert welke gegevens in een informatiesysteem vastgelegd kunnen worden, hoe deze gegevens gestructureerd zijn en wat de verbanden zijn tussen die gegevens. Een conceptueel datamodel ligt steeds aan de basis van een in de werkelijkheid gerealiseerde implementatie en Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • OLGA DE TROYER

Languages and methods for query-oriented data mining in bioinformatics KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Hendrik Blockeel • Antoine Adam

Operating System for Wireless Sensor Networks KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Daniel Hughes • Gowri Sankar Ramachandran

Dynamic spectrum management and multi-user signal coordination in wireless communication systems KU Leuven Abstract: In wireless multimedia communication systems, different users may have different and time-varying QoS (e.g. bit-rate, delay) requirements, while at the same time the transmission conditions (channel characteristics,multi-user interference) are highly time-varying. Providing an overall optimal service is then a challenging task, and requires advanced dynamic spectrum management techniques combined with dynamic physical layer multi user signal processing optimization. Such techniques have already been studied extensively in the DSL context, and will be developed here for the wireless communications context. The non-stationarity of the wireless channel then in particular introduces additional impediments, largely unseen in the DSL context. The concept of dynamic spectrum management (DSM) has been introduced in the context of DSL (ADSL/VDSL) to tackle its multi-user crosstalk interference problem. DSM may then assume different degrees of coordination between modems in a network. In distr Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Rodolfo Torrea Duran

Privacybedreigingen in software-architectuur KU Leuven Abstract: Persoonlijke data zijn alomtegenwoordig online. Denk maar aan sociale netwerken, online banking, en e-shops die er voor zorgen dat er oneindig veel diensten, en bijhorende data, beschikbaar zijn in een vingerknip. Privacy is dan ook een kostbaar goed geworden in onze moderne samenleving. Het is dus uitermate belangrijk dat de nodige privacy maatregelen genomen worden worden om digitale data te beschermen. Jammer genoeg wordt privacy nog te vaak verwaarloosd tijdens het software ontwikkelingsproces waardoor het slechts achteraf in overweging wordt genomen. De laatste jaren is er gelukkig een nieuwe houding tegenover privacy ontstaan, die bekend staat als `Privacy-door-Ontwerp' (ook wel `Privacy by Design'genoemd). Een van de basisprincipes hiervan stelt dat privacy reeds moet ingebed worden in de eerste fases van de ontwikkelingscyclus. Dit proefschrift volgt het Privacy by Design paradigma en stelt LINDDUN voor, een methode die privacybedreigingen modelleert om software-ontwikkelaars m Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • Riccardo Scandariato • Kim Wuyts

Declarative Machine Learning Techniques For Weakly Supervised Tasks KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt • Francesco Orsini

Learning Dashboards KU Leuven Abstract: There is a growing movement of quantified self in medicine, sports, many other fields and learning. The basic idea in many of these initiativesis to enable users to track their activities, in order to enable self-analysis, often by visualizing traces of the activities. The field of #learning analytics# focuses on tracking learning activities to promote self-awareness and reflection through algorithmic analysis and information visualization. This doctoral research will focus on the design, development and evaluation of a suite of tools for tracking learning activities and visualizing them as learning dashboards over the full gamma from mobile devices (including augmented reality eye-wear) over tablet and laptop to desktop computers, up to tabletops and large public displays. Organisaties: • Afdeling Informatica

Onderzoekers: • Erik Duval • Joris Klerkx • Sven Charleer

Probabilistic Logics for Biological Network Inference. KU Leuven Abstract: ProbLog is een probabilistische uitbreiding van de programmeertaal Prolog, die ontwikkeld is aan de K.U.Leuven. Ze kan gebruikt worden om de slaagkans van een query te berekenen. In dit doctoraat gaat ProbLog gebruikt worden in het veld van de bio-informatica, waarin grote hoeveelheden probabilistische gegevens bekomen worden aan de hand van hogedoorvoerexperimenten. Momenteel worden voor het behandelen van deze gegevens meerdere probleemspecifieke algoritmes ontwikkeld. Het ontwikkelen vandeze algoritmes duurt lang omdat het behandelen van de waarschijnlijkheden een moeilijke taak is. Wanneer ProbLog gebruikt wordt, kan de probabilistische semantiek van rechstreeks gebruikt worden en kunnen de efficiënte inferentiemechanismen gebruikt worden. Verder zou het aan de hand van het aanpassen van de regels mogelijk moeten zijn om verschillende mechanismen te implementeren. Organisaties: • Afdeling Informatica

Onderzoekers: • Kathleen Marchal • Luc De Raedt • Joris Renkens

Analysis of multicentre data on the pre-operative diagnosis of ovarian tumours based on standard and advanced prediction models. KU Leuven Abstract: The main objective of the application-oriented PhD project is to improve preoperative diagnosis of patients with ovarian tumours using advancedalgorithms. Advantages of accurate diagnosis are improved patient management resulting in better prognosis for patients with cancer and less unnecessary operations on patients with a benign tumour. The availability of a large database of prospectively collected clinical, biochemical andultrasound data allows for the development of new algorithms or the application of existing approaches for binary (benign vs. malignant) or multiclass (e.g. benign, borderline, invasive, metastatic) diagnosis. In addition, in cases where prediction is unreliable, we aim to further improve the predictive performance of this diagnostic tool with second stage tests. The data can also be used for methodological research concerning the benefits of multicentre data for diagnostic modelling, calibration of probabilistic models, assessment of clinical utility of models, a Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel • Ben Van Calster • Laure Wynants

Declaratief modeleren voor machinaal leren en dataontginning. KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Hendrik Blockeel • Bart Demoen • Marc Denecker • Luc De Raedt • Daniel De Schreye • Maurice Bruynooghe • Gerda Janssens

G.0058.13 KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Bart Jacobs

G.0062.13 KU Leuven

Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt • Angelika Kimmig

Integratie van zoek- en optimalisatietechnologie voor formele modelleertalen. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Patrick De Causmaecker • Marc Denecker • Maurice Bruynooghe • Gerda Janssens • Greet Vanden Berghe

NEMOA. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Jozef Vanderleyden • Marc De Maeyer • Luc De Raedt • Michel Steyaert

SecureApps: Geavanceerde Technologieën voor Veilige Smartphone en Tablet Apps. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Bart De Decker

Het verbeteren van procesmodellering en-controle met geanvanceerde Business Process Analyticx en verrijkte Event Logs. KU Leuven Abstract: The fields of business process analytics (including process mining) andbusiness process management have become essential in supporting business operations. With the rise of process-aware information systems, a vastamount of design, analysis and visualization tools has become availablein order to model business processes, monitor key performance indicators, and perform deeper analysis tasks (i.e. process mining). The main goal of this research proposal is to obtain fitter process models, by bringing current business process analytics to a more robust level via the enrichment of event logs, which serve as the input for such techniques, thereby leading to better insights and to the improvement of process modeling and process control. Organisaties: • OG LIRIS Leuven

Onderzoekers: • Jan Vanthienen

Niet-lineair ontmengen in hyperspectrale teledetectie. Universiteit Antwerpen Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk OnderzoekVlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Organisaties: • Visielab

Onderzoekers: • Paul Scheunders

Queryen van gedistribueerde dynamische gegevens. Universiteit Antwerpen Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk OnderzoekVlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Organisaties: • Ontwikkeling database systemen (ADReM)

Onderzoekers: • Floris Geerts

Een ontwerpproces voor parallelle dataverwerking in embedded systemen. Universiteit Antwerpen Abstract: In het toepassingsdomein van embedded systemen is er nood aan ontwerptechnieken voor parallelle dataverwerking in FPGA's. In dit project zal, aan de hand van een case studie rond patroonherkenning, een ontwerpproces worden ontwikkeld met behulp van een high-level synthesis tool. Dit zal leiden tot nieuwe generieke inzichten in het ontwerpproces voor FPGA-code, alsook tot het efficiënter ontwikkelen van algoritmes te gebruiken binnen experimenteel onderzoek in de deeltjesfysica. Organisaties: • Elementaire-Deeltjesfysica

Onderzoekers:

• Paul De Meulenaere • Nick Van Remortel

Veranderingsgedreven kwaliteitszorg (Cha-Q) (Veranderingen als eersterangsburgers bij softwareontwikkeling). Universiteit Antwerpen Abstract: De belangrijkste wetenschappelijke doelstelling van dit onderzoeksproject is het construeren van nieuwe omgevingen en tools die veranderingsgedreven software ontwikkeling in de hand werken. Om deze doelstelling te valideren zal onderzocht worden hoe en of een veranderingsgedreven aanpak een positieve impact heeft op diverse gebruikersscenario's. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)

Onderzoekers: • Serge Demeyer

Ontwikkeling van een geautomatiseerd software platform voor ondersteuning en kwaliteitsverhoging van het coderen van klinische informatie. Universiteit Antwerpen Abstract: In dit project ontwikkelen we algoritmes en software om de kwaliteit van het coderen van klinische informatie in ziekenhuizen te verhogen en werken we een valorisatieplan uit. De algoritmes gebruiken state-of-the-art machine learning om inconsistenties te identificeren en codes te suggereren. We ontwerpen een business development strategie, trekken potentiële klanten aan en zoeken vervolgfinanciering. Organisaties: • Ontwikkeling database systemen (ADReM)

Onderzoekers: • Leon Luyten • Kim Luyckx • Bart Goethals • Koen Smets • Tim Van den Bulcke

3D sonar voor elektrische rolstoelen - proof of concept. Universiteit Antwerpen Abstract: Tijdens het Project gesteund door de Zweedse Promobilia Foundation zal de toepasbaarheid van sonar sensoren, ontwikkeld door de UA, op elektrische rolstoelen worden onderzocht. Tijdens dit project worden algoritmes ontwikkeld die de gebruiker van de rolstoel ondersteunen met omgevingsinformatie afkomstig van het sonar systeem. Hiermee kan bijvoorbeeld obstakelvermijdingsgedrag worden geïmplementeerd Organisaties: • Engineering Management

Onderzoekers: • Jan Steckel

"Little Sister" low-cost monitoring bij de zorg van ouderen. Universiteit Antwerpen Abstract: Ondanks toenemende fysieke beperkingen wensen vele bejaarden zo lang mogelijk autonoom te leven en te kunnen blijven genieten van het comfort van hun eigen woning. Electronica en ICT systemen kunnen de ouderen hierbij van dienst zijn door alarmerende situaties te detecteren (zodat een hulpverlener kan ingeschakeld worden), of door het verzamelen van nuttige informatie in het kader van thuiszorg. Ook voor de professionele hulpverlener biedt een dergelijk systeem tal van voordelen. Het doel van het Little Sister project is dan ook om een low-cost oplossing te ontwikkelen die toch de nodige functionaliteit aanbiedt om ouderen voldoende te beschermen en te assisteren. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Christian Blondia

E'CHO 3D Sonarsensoren toegepast op AGV's. Universiteit Antwerpen Abstract: Het doel van het E'CHO project is het evalueren van een door aan de UA ontwikkeld en gepatendeerd sonar systeem in industriële omstandigheden. Specifiek zal worden onderzocht in welke mate het sonar systeem bruikbaar is in twee specifieke toepassingen op Automatisch Geleide Voertuigen (AGV's) die Egemin Automation Handling ontwikkelt. Organisaties: • Engineering Management

Onderzoekers: • Jan Steckel

Samenvoeging van coreferente data Universiteit Gent Abstract: In dit project zal het data samenvoegingsprobleem worden bestudeerd, waarbij meerdere coreferente (d.i. duplicate) objecten moeten worden samengevoegd in één optimale representatie. Het concrete doel is om enkele delen in de huidige theorie, zoals complexe samenvoegingsfuncties en samenvoegingsfuncties voor (multi)verzamelingen. De resultaten hebben toepassingen in het opkuisen van (semi) gestructureerde databanken en Multi-Document Samenvatting. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Guy De Tré

Regeling van verdeelde systemen door imitatie van fysieke processen Universiteit Gent 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. Organisaties: • Vakgroep Elektrische energie, systemen en automatisering

Onderzoekers: • Alain Sarlette

Het behandelen van metadata in de context van coreferentiedetectie in datacollecties Universiteit Gent Abstract: Databanksystemen laten het toe om informatie op een goedgestructureerde manier te modelleren. Niettemin hebben veel databanken kwaliteitsproblemen. Een significant probleem is het bestaan van coreferente data, wat betekent dat dezelfde gemodelleerde entiteit meerdere keren in de databank voorkomt. Door fouten, onnauwkeurigheden en een gebrek aan standaardisatie zijn coreferente data niet noodzakelijk gelijk. Dit maakt het detecteren van coreferentie bijzonder uitdagend. In dit project wordt bestudeerd hoe metadata kan helpen om semantische kennis te extraheren die dan kan worden gebruikt om coreferentiedetectie van databankprojecten te verbeteren. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Guy De Tré

Beveiligde uitvoering: van fysiek onkloonbare functies tot virtuele machines Universiteit Gent Abstract: Aan de hand van fysiek onkloonbare functies willen we instructiesetarchitecturen diversifiëren. Met behulp van te ontwikkelen compilertechnologie en virtuele machines zullen we de generatie en uitvoering van programma's op de gediversifieerde architecturen ondersteunen. Elke processer en elke applicatie voor elke processor zijn dan uniek, waardoor ze beveiligd zijn tegen reverse-engineering en tegen tampering. Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Koenraad De Bosschere

Automatische monitoring voor Cyberspace Toepassingen Universiteit Gent Abstract: Hoewel het gebruik van het internet door kinderen meestal volkomen veilig en verrijkend is, zijn er ook risico's verbonden aan het gebruik van vooral social networking sites (SNS). Verschillende initiatieven werden opgezet om kinderen te beschermen tegen deze potentiële bedreigingen door preventie en door in te grijpen als het misloopt, maar gezien de enorme overvloed aan informatie is het onmogelijk voor de belanghebbende om alle potentieel schadelijke situaties (zoals cyberpesten, suïcidaal gedrag of grooming door pedofielen) te traceren. Het automatisch traceren van schadelijke inhoud en schadelijke gedragingen vereist een crossmedia filtering aanpak, die onmiddelijk risico's kan detecteren, die kritieke situaties doorgeeft aan moderatoren van sociale netwerksites en die accurate kwantitatieve informatie verstrekt zodat longitudinale en beleidsondersteunende informatie ter beschikking komt over de online veiligheid van kinderen. Deze filtering zal gebeuren rekening houdend met de verwachtingen en online ervaringen van adolescenten en kinderen en ook gebruik makend van een aanpak die op een respectvolle en zorgzame manier omgaat met privacy-gevoelige informatie. Om dit te kunnen realiseren zal het AMiCA Project vooruitgang brengen in de state-of-the-art van verschillende disciplines Organisaties: • Vakgroep Informatietechnologie • Vakgroep Vertalen, Tolken en Communicatie

Onderzoekers: • Filip De Turck • Veronique Hoste

Simultane Interactieve Ruimtes Universiteit Hasselt Abstract: Het verdwijnende computer concept dicteert dat een computer systeem versmelt met de natuurlijke omgeving van de gebruiker. De gebruiker interageert met het computer systeem via zijn omgeving. Dit zorgt ervoor dat het gebruik van het systeem transparant is voor de gebruiker en laat hem geloven dat zijn omgeving intelligent is. Hoewel deze visie algemeen aanvaard lijkt te zijn, blijven er nog vele problemen die moeten worden opgelost. We onderzoeken hoe we intelligente omgevingen kunnen installeren die de uitvoering van complexe taken ondersteunen. We zullen dit doen vanuit twee gezichtspunten: (1) dat van de eindgebruikers die controle over de omgeving willen hebben, verantwoording verwachten van bepaalde acties genomen door de omgeving en nood hebben aan vlotte en rijke toegang tot informatie in de context waarin zij hun taken verrichten. (2) We kijken naar de uitdaging vanuit het gezichtspunt van software-ontwikkelaars die applicaties bouwen voor meerdere simultane gebruikers (een typisch aspect van dit soort omgevingen). Wij richten ons op het ondersteunen van de infrastructuur, interactie technieken en protocollen. We zullen nieuwe hulpmiddelen bouwen waarmee eindgebruikers hun interactie met de omgeving zelf kunnen vorm geven en ontwikkelaars ondersteunen in het bouwen van rijke, dynamische en collaboratieve interfaces voor deze intelligente omgevingen. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media

Onderzoekers: • Eddy FLERACKERS • Kris LUYTEN

Queryen van gedistribueerde dynamische gegevens Universiteit Hasselt Abstract: De mogelijkheid om naadloos gegevens die zich in een aantal verschillende en verspreide databronnen in querry te plaatsen is een belangrijke drijfkracht in de database onderzoek en heeft geleid tot de ontwikkeling van de eerste gedistribueerde database-systemen reeds in de jaren tachtig. Tegenwoordig is onze informatiemaatschappij gekenmerkt door gegevens die inherent zijn verspreid, maar niet per se verblijven in daadwerkelijk met elkaar verbonden databases. Beschouw bijvoorbeeld, de vele, meestal onafhankelijk opererende, dataverzamelingen in de levenswetenschappen, waar verbindingen tussen gegevensbronnen ofwel hard-gecodeerd als expliciete koppelingen of impliciet door de semantiek van de gegevens kunnen zijn. Terwijl elke dergelijke verzameling kan worden opgevraagd via verschillende portalen, zijn er geen centrale portalen die een geïntegreerde interface voor alle gegevens voorzien. Een belangrijke reden voor het ontbreken van deze gecentraliseerde systemen is de aanhoudende groei van het aantal gegevensbronnen op het web als gevolg van het gemak waarmee wetenschappers de gegevens on-line kan aanbieden. De gecombineerde data omvat derhalve een netwerk van gekoppelde databanken waarin gegevensbronnen dynamisch kunnen worden toegevoegd en verwijderd en waarvan de inhoud kan worden gewijzigd, gekopieerd, veranderd of ingetrokken zonder kennisgeving. Het doel van dit voorstel is het bestuderen en ontwikkelen van technieken voor het opvragen van dergelijke dynamische gedistribueerde dataverzamelingen. Onze aanpak is gebaseerd op drie pijlers: (1) de studie van navigatie-query-talen voor gekoppelde gegevens, (2) de studie van distributed computing methoden voor gedistribueerde query-evaluatie, en, (3) het gebruik van herkomst als een bewakingssysteem voor wijzigingen

gegevensbronnen. Organisaties: • Databases en Theoretische Informatica

Onderzoekers: • Marc GYSSENS • Jan VAN DEN BUSSCHE • Frank NEVEN

Streetware: Urban Computing Interfaces om de betrokkenheid van stadsinwoners te verhogen Universiteit Hasselt Abstract: Omdat onze stedelijke omgeving een toenemend aantal geïsoleerde interacties tussen mensen toelaat door middel van hun individuele mobiele apparaten, raakt de verschijning van de stadsidentiteit door middel van de bewegingen en interacties van haar bewoners zwaar getroffen. Op hetzelfde moment, bieden de nieuwste ontwikkelingen in netwerking en sensing technologieën de mogelijkheid voor nieuwe vormen van fysieke interfaces die interacties tussen mensen, of tussen mensen en plaatsen te vergemakkelijken, binnen de aangegeven plaatsen. Recente ontwikkelingen zoals "geprinte" elektronica zorgen voor het transformeren van alledaagse fysieke oppervlakken in multifunctionele interactieve oppervlakken. Nieuwe mogelijkheden ontstaan om dergelijke technologie te benutten in het veranderen van gewone mensen uit passieve "consumenten" naar actieve "burgers" die zich gemachtigd voelen om actief de omgeving waarin ze wonen te veranderen. Ons doel is dan ook om te onderzoeken hoe de bestaande stedelijke omgeving kan worden omgezet in een interactief, maar toch intuïtief leesbare en navigeerbare omgeving die een breed scala aan maatschappelijke functionaliteiten biedt aan haar inwoners. We zullen de vereiste eigenschappen voor stedelijke interfaces bepalen en tools bouwen die de plaatselijke bevolking in staat stelt de bestaande stedelijke infrastructuur te verlengen of vergroten. We zullen onze verdere onderzoeken 'in-the-wild' uitvoeren, omdat we van plan zijn in te grijpen in de uitdagende context van de bestaande, real-world stedelijke omgeving om de haalbaarheid van het aanbieden van open, gesitueerde diensten in de stedelijke straat te bepalen. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media

Onderzoekers: • Kris LUYTEN

Geavanceerde herbelichtingsalgoritmen voor post-productie Universiteit Hasselt Abstract: In de filmindustrie worden vaak geavanceerde post-productietechnieken gebruikt, om films te maken tegen een veel lagere kostprijs dan met extra opnames of het inhuren van echte acteurs en figuranten [1]. Een belangrijk probleem tijdens die post-productiefase is het bewerken of herbelichten van voorwerpen of actoren in een scene, teneinde een fotorealistisch resultaat te bekomen. De moeilijkheid van dit probleem ligt in het simultaan schatten van materialen en belichting in een scene onder willekeurige omstandigheden. Dit wordt nog steeds beschouwd als een open probleem [2]. Hoewel er wat vooruitgang is geboekt onder buitenlicht [3, 4, 5, 6], worden veel filmscenes echter opgenomen in studio's, waar een deel van de belichting zich ook in de scene kan bevinden. Een voorbeeld hiervan zijn scenes die zich in een huis of kantoor lijken af te spelen, maar die op de set met een decor zijn voorgesteld. Het is moeilijk om tot een bruikbare herbelichtingsoplossing te komen voor de filmindustrie, die willekeurige lichtbronnen ondersteunt. Huidige herbelichtingsalgoritmen zijn bovendien erg rekenintensief, waardoor er in de orde van uren moet gewacht worden om het resultaat te zien. Real-time algoritmen om een benaderend voorbeeld van de herbelichting te genereren, zouden een aanzienlijke tijdswinst opleveren. Dergelijke algoritmen zouden tevens regisseurs een goed idee kunnen geven van het eindresultaat tijdens de opnames. Traditioneel wordt digitale video beschouwd als een reeks vlakke rasterafbeeldingen, bestaande uit pixels met kleurwaarden. Die videodata is structuurloos en losgekoppeld van de opgenomen scene. Dat het zeer moeilijk is om bepaalde taken uit te voeren zonder extra informatie over de inhoud van een beeld, blijkt uit de talloze publicaties rond o.a. diepteschatting [7], objectherkenning [8], object tracking [9], gezichtsherkenning [10], herbelichting [11, 12, 13, 14, 15, 16], etc. . .Voor fundamentele taken zoals bijvoorbeeld randdetectie, wordt een aanvaardbaar performantieniveau bereikt, maar op alle complexere beeldverwerkingstaken presteert een mens nog altijd vele malen beter dan een computer[17, 18]. Een groot deel van de huidige technieken in beeldverwerking vertonen slechts weinig gelijkenissen met de processen waarmee beelden in het menselijk brein verwerkt en geinterpreteerd worden [18]. Digitale video is geschikt om fotorealistische beelden te capteren, maar beperkt door wat er kan worden gefilmd met een vast of enkelvoudig camerastandpunt. Typisch worden eenvoudige bewerkingsoperaties toegepast, maar na opname blijven het standpunt en de belichting invariant. Computer graphics (CG) beelden anderzijds, laten toe om volledig geanimeerde, vrij navigeerbare, wijzigbare en herbelichtbare scenes te creeeren. CG-technieken worden in films vaak toegepast voor special effects. Dit blijkt uit de vele bedrijven die zich hierop richten en specialiseren, zoals bijvoorbeeld Industrial Light & Magic en Pixar. Het grote nadeel is echter dat het grotendeels manueel construeren van gedetailleerde omgevingen zeer arbeidsintensief is. Bovendien hebben handmatig gemodelleerde scenes vaak last van de uncanny valley, waarbij iets dicht tegen de realiteit aanleunt maar toch niet als werkelijk wordt ervaren[19]. Er is nood aan een oplossing die meer structuur van de scene behoudt, zodat de voordelen van digitale video en CG kunnen gecombineerd worden. Hierbij moet een goed compromis gevonden worden op het spectrum van beeldgebaseerde tot geometrische methoden [20]. Een probleem voor games die op films gebaseerd worden, is dat er niet veel beeldmateriaal kan worden overgenomen van de oorspronkelijke productie. Vaak moeten alle in-game modellen van de omgevingen en karakters opnieuw worden gemodelleerd. Nieuwe algoritmen om karakters en scenes uit te wisselen en correct te herbelichten, zouden de productiegrens tussen interactieve en passieve media doen vervagen. Echt interessant wordt het als we dergelijke technologie niet beperken tot het toepassen ervan in grote filmstudio's, maar tot in de huiskamer brengen of zelfs mobiel maken. Op dit vlak zijn er al heel wat ontwikkelingen geweest met behulp van de Microsoft Kinect [21]. Augmented reality toepassingen zouden goed gebruik kunnen maken van betere algoritmen om synthetische objecten op een realistische wijze met echte beelden te integreren. Een voorbeeld hiervan is een GPS-systeem dat de route geprojecteerd weergeeft op de voorruit van een auto. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media

Onderzoekers: • Philippe BEKAERT • Sammy ROGMANS

AIVIE: Toegevoegde Immersieve en Interactieve Video-gebaseerde Omgevingen Universiteit Hasselt Abstract: Het AIVIE project introduceert het concept van Augmented Immersive Video, een nieuw medium gebaseerd op de nauwe integratie van omni-directionele/panoramische video ("Immersieve Video" of IV) en Computer Graphics (CG). Potentiële toepassingen van deze technologie zijn uiteenlopend, gaande van bedrijfsapplicaties (conferencing systemen met verhoogd gevoel van aanwezigheid, bewaking, vastgoed, marketing,...) tot engineering & wetenschappelijke toepassingen (grootschalige data- en informatievisualisatiemethoden, landschappelijke planning en beslissingen hieromtrent) en entertainment (edutainment, immersieve games, nieuwe TV formats). Deze laatste twee categorieën zullen binnen het AIVIE project specifieke aandacht genieten en in detail bestudeerd worden. Het resultaat van het AIVIE project is een aantal proof-of-concept demonstratoren die de haalbaarheid aantonen in bovenvermelde contexten.

Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media

Onderzoekers: • Frank VAN REETH • Wim LAMOTTE • Peter QUAX • Kris LUYTEN • Philippe BEKAERT

CHAQ: Change-centric Quality Assurance (Changes as First Class Citizens during Software development) Vrije Universiteit Brussel Abstract: Softwaresystemen worden voortdurend aangepast. Dit bijvoorbeeld om een gerapporteerde bug te repareren, maar ook om tegemoet te komen aan een nieuwe functionele vereiste. Deze constante nood aan verandering heeft zijn weerslag op de manier waarop hedendaagse software-systemen ontwikkeld worden. Getuige hiervan is de opkomst van iteratieve en agile ontwikkelingsprocessen. Geautomatiseerde testen, bug trackers en statische analyses zijn echter nog steeds gebaseerd op de aanname dat ze toegepast worden op een enkele, complete versie van een systeem. Hierdoor bestaat er een merkwaardige discrepantie tussen de trend naar het incorporeren van verandering in het proces enerzijds en de tools die vandaag de dag gebruikt worden door software-ontwikkelaars anderzijds. De belangrijkste doelstelling van dit project is het construeren van innovatieve tools die veranderingsgedreven software-ontwikkeling mogelijk maken. Dit door de veranderingen zelf voor te stellen als first-class entiteiten. Concreet zal onderzocht worden hoe de kwaliteit van een systeem op een incrementele manier te waarborgen, hoe veranderingen op een betrouwbare manier te herhalen op een gerelateerd systeem, alsook hoe veranderingen doorheen de levensduur van een applicatie te onderhouden ---dit alles via manipulaties van first-class veranderingen. Organisaties: • Software Language Lab • Informatica en Toegepaste Informatica

Onderzoekers: • VIVIANE JONCKERS • COEN DE ROOVER

Graduele verificatie van event-gedreven programma's Vrije Universiteit Brussel Abstract: Applicaties zijn steeds meer concurrent, moeten met meerdere invoer-stromen omgaan, en multicore-hardware uitbuiten. Ze worden ook steeds meer gedistribueerd, om toegang te krijgen tot een groeiend aantal diensten (voor eindgebruikers en bedrijven), gehost in "de cloud" of via bedrijfsnetwerken. Het ontwikkelen van zulke programma's wordt bemoeilijkt door de aanwezige "concurrency": dit zijn problemen zoals "race conditions", "deadlocks" en gedistribueerde problemen zoals het wegvallen van verbindingen en het gebrek aan gecentraliseerde coordinatoren. Een veelbelovend paradigma om zulke programma's in te ontwikkelen is actor-gebaseerd programmeren met asynchrone berichtversturing. Dit paradigma vermijdt data races en deadlocks en promoot applicaties die kunnen omgaan met fouten in de berichtafhandeling. Het is echter geen totaaloplossing: het event-gestuurde model is nog steeds vatbaar voor hoger-niveau fouten, zoals berichten die in foute volgorde aankomen of gedistribueerde delegatie-lussen. In dit project stellen we voor om deze problemen op te lossen via het ontwerpen van oplossings-strategieën en tools. Deze tools omvatten statische verificatie-tools voor het efficient en mathematisch uitsluiten van bepaalde problemen waardoor de correctheid van een programma kan bestendigd worden. Echter, om te voorzien in snelle software-evolutie zullen we onze tools zo ontwerpen dat de verificatie gradueel kan ingevoerd worden. De statische verificatie moet hierdoor naadloos samenwerken met run-time bibliotheken. Deze nieuwe gecombineerde aanpak heeft tot doel om de correctheid van event-gestuurde systemen drastisch te verhogen. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • VIVIANE JONCKERS • WOLFGANG DE MEUTER • THEO D'HONDT

DOCTIRIS 2012: Begeleid Leren in multi-agent systemen voor Decision Support: A Case Study op bij luchthaven Operaties Vrije Universiteit Brussel Abstract: Het doel van dit project: het beheersen en begeleiden van emergent gedrag van een grootschalige leren multi-agent systemen door het opnemen van vakkennis. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

EU-bonuskrediet type B2b voor EU project: PRAISE Vrije Universiteit Brussel Abstract: Europees project ikv verkeersveiligheid en werkwoonverkeer Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • LUC STEELS

Een Uniform Programmeermodel voor Rijke Internettoepassingen Vrije Universiteit Brussel Abstract: Rijke internettoepassingen zijn bezig aan een opmars, doordat recente evoluties in browsertechnologie toelaten om interactievere en rijkere toepassingen te schrijven. Deze rijke toepassingen doen het onderscheid tussen de client (de browser) en de server vervagen, doordat de client steeds meer aan belang wint. De programmeertechnologie voor internettoepassingen gaat echter nog steeds uit van het klassieke three tier model, waarbij een toepassing is opgedeeld in client, server en database. Dit maakt het ontwikkelen van rijke toepassingen een complexe zaak, aangezien de applicatie een combinatie is van verschillende technologie•en, elk voor een andere tier. Eerst en vooral dwingen deze technologie•en de programmeur om een statische opdeling te maken tussen client en server, wat het moeilijk maakt om internettoepassingen te ontwikkelen die

een ander distributiemodel volgen. Ten tweede, hebben deze verschillende programmeertechnologieën elk een andere representatie van de data, waardoor de programmeur manueel deze datamodellen moet overbruggen. Tenslotte, hebben deze rijke internettoepassingen steeds meer gerepliceerde data nodig, zodat de data steeds snel beschikbaar is voor de client, ook wanneer er geen verbinding met de server is. Hierdoor zit de data verspreid over het distributiemodel en moet de toepassing garanderen dat de data steeds consistent blijft. Strategieën om data te repliceren en consistent te houden, worden vooralsnog niet aangeboden door mainstream webtechnologie. Het probleem dat we aankaarten is het feit dat de programmeertechnologie niet voorzien is op rijke internettoepassingen, wat leidt tot complexe oplossingen die slecht onderhoudbaar zijn en subtopimaal presteren. Het doel van dit onderzoek is het opstellen van een uniform programmeermodel voor rijke internettoepassingen. Hierbij heeft het model drie kerneigenschappen, die elk een van de reeds opgesomde problemen oplossen. Zo zal het model de applicatielogica loskoppelen van het distributiemodel, waardoor de programmeur tierless code zal schrijven, terwijl het model de code verdeelt over de lagen van de webtoepassing. Daarnaast wordt de data uniform gerepresenteerd, zodat de programmeur niet langer manueel verschillende representaties moet synchroniseren. Het programmeermodel voorziet ook replicatie- en consistentiestrategieën zodat de data voor andere knopen in het netwerk snel en oine beschikbaar is. Dit programmeermodel zal leiden tot een raamwerk dat aan de kerneigenschappen van het model voldoet, waarbij we niet blind zijn voor de state of the art technologie•en en we meer concreet kijken naar JavaScript, dat uitgegroeid is tot een performant platform. Dit onderzoek zal zowel een programmeermodel als raamwerk opstellen voor rijke internettoepassingen, waarbij het raamwerk als validatie dient voor het programmeermodel. Hierbij vallen we voor het raamwerk terug op bestaande state of the art webtechnologie, en meer bepaald JavaScript. De recente reflectie API voor JavaScript stelt ons in staat om de taal op een elegante manier uit te breiden. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • WOLFGANG DE MEUTER

Naar een contextbewuste Impliciete Multimodale Mens-Computer Interactie Vrije Universiteit Brussel Abstract: onderzoek naar multi-touch en multimodale interactie kader - interactie tussen mens en computer Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • Beat SIGNER

Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_Bench fee i.h.k. van Joint PhD VUBUniversidad Central "Marta Abreu" de las Villas Cuba, Yunierkis Perez Castillo Vrije Universiteit Brussel Abstract: Onderzoek naar 'continu actief leren automatisme' Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_Bench fee i.h.k. van Joint PhD VUB-Aalto Universiteit, Heikki Rasilo Vrije Universiteit Brussel Abstract: Dit project behelst een gedeeld doctoraat. Heikki Rasilo doet onderzoek aan Aalto University en de Vrije Universiteit Brussel naar het het leren van spraak door kinderen en hij gebruikt daarvoor computersimulaties. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • BART DE BOER

Generieke Machine Leeralgoritmes voor Real-time Mens-Computer Interactie KU Leuven Abstract: Het doel is het bouwen van een generieke classificator voor gebareninteractie sensortoepassingen. Deze toepassingen maken gebruik van gerichte,bewust intentionele interacties die duidelijk afgebakend zijn in tijd en ruimte, voorbeelden hiervan zijn gebaren voor selectie en manipulatie.De classificator moet generiek zijn en kan dus toegepast worden op verschillende typen sensoren en verschillende gebaren. De sensoren die binnen het kader van dit onderzoek worden besproken zijn inertial measurementunits (combinatie van accelerometers, gyroscopen en magnetometers) en aanraakschermen. In een tweede fase zullen ook 3D cameras bestudeerd worden. Een belangrijk criterium voor de classificator is de nauwkeurigheid. Dit zorgt ervoor dat de gebruiker correct geïnterpreteerd wordt en er dus een vlotte interactie mogelijk is. Bovendien moet de gebruiker het gevoel hebben dat de toepassing onmiddellijk reageert, de classificatie moet dus real-time gebeuren.Om dit generiek model te bouwen wordtgebr Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Luc Geurts • Johan Suykens • Veronika Vanden Abeele • Karen Vanderloock

A Synergistic Approach to Extraction, Learning and Reasoning for Machine Reading KU Leuven Abstract: The automated discovery of meaningful knowledge in free text is a current research topic in the text mining and natural language processing fields. It is often referred to as #Machine Reading#. The aim of the fundamental research project SAEL-RMR is to find a synergy between informationextraction from text, reasoning and machine learning. The application domain is the health domain. Organisaties: • Afdeling Informatica

Onderzoekers: • Marie-Francine Moens • Thomas Provoost

EU FET Open project ICON

KU Leuven Abstract: For years operational semantics has been accepted almost axiomatically in many areas of science. Efficiency, slow computational power, big datawere the main reasons to strive for low-level optimizations. It was theonly feasible way to handle them. Ho- wever, it is changing now dramatically. Many scientist have understood disadvantages of this approach. Isis inflexible and short-sighted in the long run. It has given rise to the project ICON at KU Leuven that is going to bridge the gap between twounconnected worlds: a declarative world of logic and constraint programming and an operational world of machine learning and data mining. Theproject is definitely ambitious, if it becomes successful, it will change perception and landscape of the both areas. It is exactly what makes me interested in the project. It is not only question of a paradigm shift, it is also a question of changing applications all around. For these applications a need for new machine learning algorithm is so high that Organisaties: • Afdeling Informatica

Onderzoekers: • Marc Denecker • Luc De Raedt • Gerda Janssens • Sergey Paramonov

Ontwikkeling van strategieën voor de compensatie van heterogene eigenschappen in de gecoördineerde regeling van verdeelde systemen Universiteit Gent Abstract: Academische resultaten voor gecoördineerde regeling van robotensembles veronderstellen meestal identieke robots. Zulke algoritmen kunnen desastreuze consequenties hebben in aanwezigheid van afwijkingen in individuele systeemparameters. Dit project ontwikkelt strategieën om coördinatiealgoritmen voor robotensembles expliciet robuust te maken tot gestructureerde netwerkheterogeniteit. Eén voorstel zou ?dynamische ontkoppeling? uit de kwantumregeling toepassen in collectieve robotbewegingen om parameter-afwijkingen en meetbias door uitmiddeling te verwijderen. Organisaties: • Vakgroep Elektrische energie, systemen en automatisering

Onderzoekers: • Alain Sarlette

Subsidie voor organisatie van de Vlaamse Programmeerwedstrijd in 2013 17 april 2013 Vrije Universiteit Brussel Abstract: Op woensdagnamiddag 17 April 2013 organiseert de Vrije Universiteit Brussel de vijfde editie van de Vlaamse Programmeerwedstrijd. Deze wedstrijd wordt jaarlijks georganiseerd door een hogeschool of universiteit in Vlaanderen. Leerlingen nemen het tegen elkaar op door in beperkte tijd (3 uur) zoveel mogelijk uitdagende programmeer-oefeningen op te lossen in een van de vele ondersteunde programmeertalen. De deelnemers organiseren zich in teams van 3 personen, en dienen onderling samen te werken om hun kans op slagen te verhogen. Deelname is volledig gratis. De opzet van de wedstrijd is geïnspireerd door de internationale programmeerwedstrijden van de ACM (the Association for Computing Machinery). De VPW is geen klassieke "Olympiade": er wordt een grote nadruk gelegd op teamwork, vragen worden rechtstreeks opgelost op computer, en antwoorden worden volledig geautomatiseerd verbeterd. Een scorebord toont live de rangschikking van de deelnemers. Vrijwel onmiddelijk na het einde van de wedstrijd is de uitslag gekend, en volgt een officiële prijsuitreiking. De wedstrijd wordt ingericht voor vier aparte categorieën (elk met een eigen aangepaste moeilijkheidsgraad): Categorie 1: teams van leerlingen uit het secundair onderwijs, Categorie 2: teams van professionele bachelorstudenten (opleiding aan een hogeschool), Categorie 3: teams van academische bachelorstudenten (opleiding aan een hogeschool of universiteit), Categorie 4: teams van masterstudenten (hogeschool of universiteit), doctorandi, afgestudeerden en professionals Dankzij onze sponsors gaan de 3 beste teams in elke categorie steeds met een mooie prijs naar huis. Daar het de Vlaamse programmeerwedstrijd (VPW) is laten we enkel deelnemers toe die in een Vlaamse (onderwijs)instelling/bedrijf studeren/werken. De opgaven zullen enkel in het Nederlands beschikbaar zijn. De Vlaamse Programmeerwedstrijd wordt georganiseerd door een groep vrijwilligers bestaande uit leden van vier Vlaamse universtiteiten (VUB, KULeuven, UGent en UHasselt) en zes Vlaamse hogescholen (PHL, Howest, Katho, KaHo Sint-Lieven, KHLim en Hogent) en is in 2013 aan zijn vijfde editie toe. De eerste 4 edities werder respectievelijk georganiseerd door de KULeuven in Heverlee (2009), UGent in Gent (2010), Katho en Kulak in Kortrijk (2011) en PHL in Hasselt (2012). In 2013 zal de Vlaamse Programmeerwedstrijd gehost worden door de Vrije Universiteit Brussel (VUB) in Brussel. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • Tom VAN CUTSEM

eCloud: Europeana Cloud: Unlocking Europe's Research via The Cloud. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Erik Duval • Stefan Gradmann

Linguïstische gegevenssamenvattingen onder bipolaire gebruikerspreferenties Universiteit Gent 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. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Guy De Tré

Circuit-level Photonic ontwerp Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Informatietechnologie

Onderzoekers: • Peter Bienstman

SCANERGY: a SCAlable & modular system for eNERGY trading between prosumers Vrije Universiteit Brussel Abstract: Het voorstel beoogt het opleiden van onderzoekers mbt de ontwikkeling van intelligente algoritmen voor energiebeheer in een slimme stad Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

PhD based on a research career KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Ingrid Verbauwhede • N. N.

Speech processing algorithms in wireless acoustic sensor networks for ambient intelligence environments KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Alexander Bertrand • Amin Hassani

INSPECTOR. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Erik Duval

CIP E.L.F. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Faculteit Theologie en Religiewetensch. • OE ICRI / CIR

Onderzoekers: • Joseph Dumortier

Een geïntegreerd informatica-platform voor op massaspectrometrie gebaseerde eiwitanalyse (InSPECtor). Universiteit Antwerpen Abstract: Verschillende computationele uitdagingen verhinderen momenteel de ruime inzetbaarheid van proteoomanalyses in een industriële en klinische omgeving. De doelstellingen van dit project bestaan uit het aanpakken van deze uitdagingen door het ontwikkelen van nieuwe dataanalyse methoden en data mining algoritmen zodat massaspectrometrie gebaseerde eiwitanalyse een volwaardige analytische discipline kan worden. Organisaties: • Ontwikkeling database systemen (ADReM)

Onderzoekers: • Kris Laukens • Bart Goethals

Nieuwe geïntegreerde opties voor slimme mobiliteit Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Sidharta Gautama

Separation of Periodic and Stochastic Components in Real-Time Sound Devices for Improved Representation in Speech Enhancement KU Leuven Abstract: In traditional real-time speech enhancement a fixed filter bank is utilized to process individual frequency bands, which put restrictions on the time/frequency resolution. To accommodate more advanced speech enhancement techniques it is desirable to simultaneously increase resolution intime and frequency. In speech coding a solution to this problem is to separate periodic and stochastic components to achieve an improved representation for each component. The goal of the project is to replace the generic processing scheme in real time speech enhancement with a scheme for separation of signal components that are deterministic from components that are stochastic, and to develop a dual processing scheme consisting of systems tailored for processing each set of components. This must occur quickly (within a few milliseconds) and perform reliably in poor signal-to-noise ratios as well as obey constraints on complexity and delayfor real-time sound devices such as hearing aids. Also the project Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • N. N.

ADVENT. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Bart Jacobs

Partner Programma IUC met Moi University (Kenya)(jaar 2) Vrije Universiteit Brussel Abstract: Met het programma Korte Opleidingsinitiatieven (KOI) financiert VLIR-UOS Engelstalige intensieve praktijkgerichte opleidingen van één tot twee weken over een ontwikkelingsrelevant thema aan Vlaamse universiteiten en hogescholen. De opleidingen richten zich hoofdzakelijk op deelnemers uit ontwikkelingslanden. VLIR-UOS biedt beurzen ter beschikking van deelnemers uit ontwikkelingslanden. Organisaties: • Informatica en Toegepaste Informatica • Educatiewetenschappen

Onderzoekers: • GEORGES EISENDRATH • Bernard MANDERICK

EU-bonuskrediet type B2c voor SCANERGY Vrije Universiteit Brussel Abstract: Bonus krediet voor EU project Scanergy - betreffende studie rond Smart City Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

Efficient parametric modeling and identification of room acoustics (EC - FP7 - DREAMS) KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Toon van Waterschoot • Giacomo Vairetti

Privacy preserving technologies for mobile applications KU Leuven Abstract: In mijn proefschrift, wil ik graag het probleem van online privacy met een focus op web-en mobiele toepassingen te bestuderen. Belangrijkste onderzoeksvragen van mijn studie moeten worden aangepakt, zijn de volgende: Hoe kunnen we formaliseren en te kwantificeren web-tracking? Wat zijn de bedreigingen gepresenteerd tegen privacy door verschillende opsporingsprogramma technieken zoals browser fingerprinting en cookies gebaseerdebijhouden? Wat voor soort privacy enhancing technologies (PET) kan gebruikt worden om de privacy te waarborgen, zonder vernederende kwaliteit van de dienstverlening?Het onderzoek is verdeeld in twee delen: in het vroegere deel, zal een uitgebreide analyse van de online bedreigingen privacy met een focus op web gebaseerde systemen worden uitgevoerd. Dit zal worden gevolgd door de real-world ontwerp en implementatie van een privacy-beschermende web gebaseerde applicatie die personalisatie en maatwerk ondersteunt zonder privacy compromissen. Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Maria Claudia Diaz Martinez • Mustafa Günes C Acar

. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Jan Ramon • Jesse Davis • Juan Aurelio Alvarado Ortega

FutureID KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Faculteit Theologie en Religiewetensch. • OE ICRI / CIR

Onderzoekers: • Joseph Dumortier

Dereverberation by inverse solution of the acoustic wave equation on a finite element grid KU Leuven Abstract: Objectives:To approach the dereverberation problem using a non-parametric representation of the acoustic wavefield.To develop algorithms for inversely solving the discretized acoustic wave equation bymaking use of wave fieldinformation obtained through multiple microphone recordings.Tasks and methodology:Deployment of the finite element method to establish a spatiotemporal discretizationapproach of the acoustic wave field that is found appropriate for inversely solving the wave equation.Formulation ofthe inverse problem as a well-conditioned and convex optimization problem, which can be solved in a dynamic fashion.Results:Theoretical framework for dereverberation by inverse solution of the acoustic wave equation.Efficientnumerical algorithms exploiting sparsity and convexity of inverse problem.Matlab code for simulation, evaluation,and demonstration purposes. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Toon van Waterschoot • Niccolò Antonello

Cross-layer optimization with real-time adaptive dynamic spectrum management for fourth generation broadband access networks KU Leuven Abstract: To enable next generation reliable and fast broadband internet access, it will be crucial to develop innovative broadband access network technologies. The fourth generation broadband access (4GBB) network currently envisaged consists of a hybrid fiber digital subscriber line (DSL) deployment, in which fiber is brought to the curb and existing telephony DSL twisted-copper pairs are used to bridge the last 20-200 meters. Techno-economic analysis has identified this 4GBB network as the most viable option for the next 15-20 years, and a final step towards ultimate fiber-to-the-home broadband access, targeting data rates of up to gigabits persecond. Providing these data rates over twisted-copper pairs is currently a significant challenge. State-of-the-art wireline transmission techniques, such as multiple-input/multiple output (MIMO) signaling and discrete multitone (DMT) modulation, succeed in optimally exploiting the space and frequency dimension to boost data rates, but fail to properl Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Paschalis Tsiaflakis • Marijn Scheir

Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_Bench fee i.h.k. van Joint PhD VUB-UGent, Sofie De Clercq Vrije Universiteit Brussel Abstract: Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_Bench fee i.h.k. van Joint PhD VUB-UGent, Sofie De Clercq Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_Bench fee i.h.k. van Joint PhD VUBUniversidad de los Andes, Jaime Chavarriaga Lozano Vrije Universiteit Brussel Abstract: Variabiliteit van software architectuur in software productlijnen Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • VIVIANE JONCKERS

Model-Driven Software Engineering for Adaptive Software-as-a-Service (SaaS). KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Eric Steegmans • Wouter Joosen • Bart Jacobs • Bert Lagaisse • Annick Vandijck

Exascience Life Pharma. Universiteit Antwerpen Abstract: Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds Janssen. UA levert aan Janssen de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. Organisaties:

• Ontwikkeling database systemen (ADReM)

Onderzoekers: • Tim Van den Bulcke

Structure and higher-order tensor decompositions: algebraic and numerical aspects and implications for signal separation and system identification. KU Leuven 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. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Lieven De Lathauwer • Otto Debals

Een aanpak gebaseerd op de toestands-(differentiaal)-Riccati vergelijking voor niet-lineaire regelsystemen KU Leuven Abstract: Numerous techniques currently exist for the control of nonlinear systems (e.g. Kokotovic et al., 1976; Byrnes and Isidori, 1991; Khalil, 1996;J. C. Willems, 2007). Among these, the State-dependent Riccati equation (SDRE) approach has recently attracted considerable attention and has become a promising and popular synthesis tool over the last decade [1]-[6]. The benefits of the SDRE scheme include i) the concept is intuitive and simple, which directly adopts the LQR design at every nonzero state; ii) the design can directly address system performance through the specification of the performance index by adjusting the state and the control weightings with predictable results, for instance, the engineer may tune up the weightings on system state to speed up the response at the expense of more control effort; iii) the scheme possesses an extra design degree of freedom arose from the non-uniqueness of the state-dependent coefficient (SDC) matrix representation of the nonlinear dri Organisaties: • Faculteit Wetenschappen

Onderzoekers: • Joseph Vandewalle • N. N.

Smart Wind Farm Control using Multi-Agent Systems KU Leuven Abstract: To reach the European 20-20-20 energy goals, new wind farms need to be built. This causes challenges for grid operators. To contain the level of investment the grid operators need to put into the grid infrastructure, the SWIFT project will try to use smart control of wind turbines through ICT. In this PhD, we will study the feasibility of using multi-agentsystems for distributed wind farm control. Organisaties: • Afdeling Informatica

Onderzoekers: • Tom Holvoet • Kristof Coninx

ECG based risk stratification for sudden cardiac death KU Leuven 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 Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel • Griet Goovaerts

Technology Transfer in computersystemen Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Koenraad De Bosschere

Virtuality in Reality Universiteit Hasselt Abstract: Het programma is toegespitst op multidisciplinariteit in een sfeer van wederzijdse interculturele verstandhouding. Het gaat om geïntegreerd concept dat vooral georganiseerd is rond bedrijfskunde, (Engelse) communicatievaardigheden en groepswerk. Studenten werken in kleine intercultureel en multidisciplinair samengestelde groepen, en schrijven een businessplan voor een denkbeeldige maar tegelijk realistische onderneming die draait rond een product of dienst binnen de expertise van de betreffende studenten. Tijdens dit project dat gedurende vier weken in de zomer doorgaat aan de Universiteit van Manchester, krijgen de studenten de nodige input en feedback om hun project succesvol te voleindigen. Het eindproduct, het business plan, met inbegrip van een presentatie ervan, worden beoordeeld zowel van uit het standpunt van bedrijfskunde als vanuit het standpunt van communicatievaardigheden. Het programma wordt gecoördineerd door de Universiteit Hasselt. Organisaties: • Databases en Theoretische Informatica

Onderzoekers: • Marc GYSSENS

Intuitive user-guidance for physical simulations. KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Philip Dutré • Tuur Stuyck

Online detection of epileptic seizures using ECG and EEG. KU Leuven 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. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel • Thomas De Cooman

Human Computer Interaction techniques for awareness, reflection and sensemaking KU Leuven 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. Organisaties: • Afdeling Informatica

Onderzoekers: • 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 KU Leuven 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. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Jan Wouters • Marc Moonen • Astrid Van Wieringen • Hanne Deprez

Graph mining for computational biology KU Leuven

Abstract: Computationele biologie data heeft vaak een complexe structuur. Grafieken zijn getoond om goed representaties vormen voor dergelijke onderling verbonden gegevens. Graph mining beoogt het uitvoeren van data mining op dergelijke grafiek-gestructureerde gegevens. Twee belangrijke uitdagingen zijn de computationele kost van algoritmen grafiek en het feit dat de gegevens zijn vaak niet onafhankelijk. Onlangs, is er vooruitgang geboekt in de aanpak van beide problemen. In dit project, zullen we rekening houden met de specifieke structuur van de computationele biologie gegevens (genomics en proteomics) en ontwikkelenvan gespecialiseerde data mining algoritmen voor. Organisaties: • Afdeling Informatica

Onderzoekers: • Jan Ramon • Maurice Bruynooghe • Jérôme Renaux

Compressive sampling based signal separation KU Leuven Abstract: Higher-order tensors are the natural generalizations of vectors (first order) and matrices (second order). They may be imagined as multiway arrays of numerical values. Blind source separation (BSS) is a generic problem that consists of the estimation of signals that are observed in mixed form. Tensor decompositions are unique under conditions that make them proper tools for BSS. Further, compressive sampling (CS) is a technique that under certain conditions allows one to work efficiently with modern, large data sets. CS is nowadays intensively studied. Our first goal is to generalize tensor-based BSS techniques to multi-view data, making a distinct contribution in an active field of research. Multi-view data may be thought of as multiple pictures of a particular phenomenon (e.g.,a biomedical signal measured using several technologies). Our second goal is to make the connection between tensor-based BSS and CS, aiming at an expansion of the application range of tensor-based BSS algorith Organisaties: • Elektrotechniek Kulak

Onderzoekers: • Lieven De Lathauwer • Nico Vervliet

Improvements to type systems for purely functional programming languages KU Leuven 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. Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens • Dominique Devriese • Thomas Winant

Enhancing Wireless Sensor Networks with Reconfigurable Hardware and Software KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Fan Yang • Daniel Hughes

Mobile EEG neurofeedback KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel • Maarten De Vos • Rob Zink

Reduction of stochastic noise in physically-based rendering algorithms. KU Leuven 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. Organisaties: • Afdeling Informatica

Onderzoekers: • Philip Dutré • Niels Billen

Extend IDP with second order logic KU Leuven Abstract: extend the IDP system with second order logic to be more expressive Organisaties: • Afdeling Informatica

Onderzoekers: • Marc Denecker • Gerda Janssens • Ingmar Dasseville

Adaptive Distributed Software KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Tom Holvoet • Jonathan Merlevede

Combining exact and (meta)heuristic methods for problems of combinatorial optimisation. KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Patrick De Causmaecker • Bart Demoen • Willem Van Onsem

ADDIS. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Yolande Berbers • Tom Holvoet • Wouter Joosen • Eddy Truyen • Riccardo Scandariato • Daniel Hughes

Cametron: Technologie voor een Virtuele Regisseur. KU Leuven 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. Organisaties: • Afdeling ESAT - PSI

Onderzoekers: • Luc Van Eycken • Luc Van Gool • Tinne Tuytelaars • Hugo Van hamme • Toon Goedemé

TRANSITION. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Yolande Berbers • Sam Michiels • Herman Bruyninckx • Wouter Joosen • Daniel Hughes

Professionalisering binnen ingenieurswetenschappen: de millenium assistent. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Yolande Berbers

Dependently typed programming for secure and correct web applications KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens • Dominique Devriese • Jesper Cockx

Een Architectuur voor de Analyse en het Beheer van Veiligheid in Industriële Controle Systemen. KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Bart De Decker • Vincent Naessens • Laurens Lemaire

Healthcare decision support systems at home. KU Leuven 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. Organisaties: • TC Elektrotechniek (ESAT) Geel

Onderzoekers: • Bart Vanrumste • Gert Mertes

Models from Combining Compressed Sensing and Kernel Methods KU Leuven Abstract: Sparsity is an important aspect both in parametric models and kernel-based modeis. However, the sparsity mechanisms are entirely different. In parametric models one employs Lq (0 < q <=1)regularization techniques for estimating sparse modeis, such as e.g. in the well-known Lasso methodrelated to L1 regularization. In the area of compressed sensingit has been studied under which conditions one achieves the LOsolution based on the convex relaxation of the L1 regularization scheme [Bruckstein et al., 2009]. In kernel-based models such as support vector machines sparsity is obtained at the duallevel of the kernel expansion in afunction estimation problem. In this case a sparse representation is achieved through the choice of the loss function. Typical examples are theepsilon-insensitive loss function and extensions towards quantile regression related to the use of the pinbailloss and convex tube regression. Both in the parametric and non-parametrie cases convex optimization formulati Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Johan Suykens • Jeroen de Haas

Uitbuiten van symmetrieën tijdens inferentie en leren. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt • Guy Van den Broeck

Interactief ontdekken en evalueren van patroonverzamelingen. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt • Matthijs van Leeuwen

Distributed digital signal processing algorithms for highdensity wireless EEG sensor networks with application to ASSR based objective hearing thresholds estimation KU Leuven 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 EEG-

systemen 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 Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Jan Wouters • Marc Moonen • Alexander Bertrand • Wouter Biesmans

Fast global illumination in participating media using quantum field theory KU Leuven 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 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. Organisaties: • Afdeling Informatica

Onderzoekers: • Philip Dutré • Roald Frederickx

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. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Wilfried Lemahieu • Marc Kerremans

Improving process modeling and control using advanced business process analytics and enriched event logs. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Jan Vanthienen • Johannes De Smedt

Digital business innovation of public services. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Stijn Viaene • Lieselot Danneels

Design en analyse van multiple access algoritmen voor dynamische spectrum toegang. Universiteit Antwerpen Abstract: Om quality-of-service te garanderen, werd het draadloze spectrum op een statische manier gealloceerd. Als gevolg hiervan zijn er een aatnal frequentiebanden die niet tot hun volle capaciteit benut worden. Om de groeiende vraag naar draadloze bandbreedte te kunnen bijhouden, zijn er tweederangsgebruikers ingevoerd die gebruik te maken van de resterende bandbreedte van deze frequentiebanden. In project worden multiple access algoritmen die de transmissies van deze tweederangsgebruikers coördineren onwikkeld en geanalyseerd (gebruik makend van analytische methoden). Door de aanwezigheid van eersterangsgebruikers is dit probleem is fundamenteel verschillend van het traditionele (meerkanaals) toegangsprobleem. Het project is grotendeels gefocust op free access algoritmen (waarbij gebruikers steeds toegelaten zijn om zich toe te voegen) en tree algoritmen om mogelijke conflicten op te lossen. De belangrijkste performantiematen die in rekening gebracht worden zijn maximum stable throughput, de delay karakteristieken en het energieverbruik van deze algoritmen. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Benny Van Houdt • Robbe Block

Niet-lineair hyperspectraal ontmengen met geometrische technieken. Universiteit Antwerpen Abstract: Een populaire techniek in hyperspectrale beeldverwerking om subpixel resolutie te bekomen is spectrale ontmenging, waarbij elk spectrum wordt opgedeeld in elementaire bijdragen. Een bekend probleem bij deze ontmenging is de aanwezigheid van niet-lineaire optische effecten, veroorzaakt door diverse fysische verschijnselen. In dit project worden nieuwe technieken ontwikkeld om met dergelijke effecten om te gaan, gebaseerd op een geometrische benadering van het probleem. Door concepten uit grafentheorie en differentiaalmeetkunde te combineren, zullen algoritmes bekomen worden die spectrale ontmenging kunnen uitvoeren op datasets die sterk niet-lineair gedrag vertonen. Na een grondige evaluatie zullen deze algoritmes beschikbaar worden in de vorm van een software pakket. Organisaties: • Visielab

Onderzoekers: • Paul Scheunders • Rob Heylen

Nieuwe kansen in digitale reclame bij uitgevers (DiDaM). Universiteit Antwerpen Abstract: Nieuws uitgevers hebben grote hoeveelheden data ter beschikking die momenteel nog niet gebruikt worden. Door het minen van deze grote transactionele datasets met gespecialiseerde "big data analytics" algoritmes kunnen online advertenties op een gepersonaliseerde manier gericht worden. Organisaties: • Engineering Management

Onderzoekers: • David Martens

Veelzijdige surrogaatmodel gebaseerde optimalisatie van grootschalige problemen. Universiteit Gent Abstract: Het doel van dit project is het ontwikkelen van veelzijdige methoden gebaseerd op het Gaussische process voor de analyse en optimalisatie van grootschalige problemen. Hiervoor wordt een raamwerk gecreeërd dat gemakkelijk is in gebruik en dat zich kan aanpassen aan het probleem om het zo efficiënt mogelijk op te lossen. Organisaties: • Vakgroep Informatietechnologie

Onderzoekers: • Tom Dhaene

functie als webmaster van IAS Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Geologie en bodemkunde

Onderzoekers: • Marc De Batist

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. Organisaties: • Logistiek • Beleidsinformatica

Onderzoekers: • 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. Organisaties: • Databases en Theoretische Informatica

Onderzoekers: • Frank NEVEN

Haalbare self-assembly modellen Universiteit Hasselt Abstract: Self-assembly is een proces waarbij spontaan ingewikkelde structuren ontstaan uit eenvoudige bouwstenen. Self-assembly is in de natuur alom aanwezig en op verschillende schalen van grootte. Bijvoorbeeld de spontane formatie van moleculaire kristallen en zelfs de ontwikkeling van een cel tot een volwassen meercellig organisme kunnen gezien worden als (ingewikkelde) self-assembly processen. Self-assembly technieken staan centraal bij de ontwikkeling van nanotechnologie. Het potentieel van self-assembly om te rekenen is recent onderkend en gedeeltelijk experimenteel aangetoond. Beschikbare self-assembly modellen zijn computationeel vaak te expressief om fysiek realiseerbaar of analyseerbaar te zijn. Mijn doel is om significant minder expressieve modellen te beschouwen, die daarentegen andere aantrekkelijke eigenschappen hebben. Dit landschap van aantrekkelijke eigenschappen voor self-assembly is momenteel slechts heel oppervlakkig bestudeerd. Dit project zal de fundamentele computationele eigenschappen van self-assembly blootleggen, en zal een natuurlijke hiërarchie van computationele self-assembly modellen opleveren, waarbij representatieve modellen voor interessante locaties in het bovengenoemde landschap worden geïdentificeerd. Dit

maakt het mogelijk voor ontwerpers van kunstmatige self-assembly processen om weloverwogen besluiten te maken over welke computationele eigenschappen te implementeren om zowel voldoende rekenkracht te hebben als voldoende diepgaande analyses te kunnen doen. Organisaties: • Databases en Theoretische Informatica

Onderzoekers: • Jan VAN DEN BUSSCHE • Robert BRIJDER

ProLogIC : Professioneel Omgaan met Logistieke ICT Universiteit Hasselt Abstract: Dit Tetra-project wil een projectmethodologie met ondersteunende werktools ontwikkelen voor de interne projectleider en het interne projectteam van een KMO die een standaardpakket van een geïntegreerd bedrijfssysteem implementeert in samenwerking met een externe implementator of provider. Hierbij gaat de aandacht naar ERP, WMS en TMS. Deze projectmethodologie en ondersteunende tools zijn complementair aan de methodologie die een provider gebruikt voor zijn eigen werking. Organisaties: • Beleidsinformatica

Onderzoekers: • Koenraad VANHOOF

De analyse van on-line algoritmen in problemen met een netwerk structuur Vrije Universiteit Brussel Abstract: Voor dit project analyseren we on-line algoritmen in problemen met een netwerk structuur. Een algoritme is een eindige reeks instructies die vanuit een gegeven begintoestand naar een beoogd doel leiden. Algoritmen staan in beginsel los van computerprogramma's, al worden voor de uitvoering van algoritmen vaak computers gebruikt. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • ANN NOWE

Modeling structured dynamical systems using parametric and kernel-basedmodels KU Leuven 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 kernelOrganisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Johan Suykens • Joannes Schoukens • Ricardo Castro Garcia

Classifiers for tumour tissue differentiation based on multimodal Magnetic Resonance data KU Leuven 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 Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel • Diana Sima

Machine Learning for the prediction and the rehabilitation of musculoskeletal injuries KU Leuven 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

Organisaties: • Afdeling Informatica

Onderzoekers: • Jesse Davis • Tim Op De Beéck

Toepassingen van probabilistische logica KU Leuven Abstract: Toepassingen (e.g. binnen het domein van de bio-informatica) van probabilistische logica worden onderzocht Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt • Dries Van Daele

Onderzoek rond - development of a fully automated neonatal brain monitor. KU Leuven 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 Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel • Gunnar Naulaers • Amir Hossein Ansari

Process Mining Technieken om proces-compliance te analyseren Universiteit Hasselt Abstract: De Onderzoeksraad heeft op 10 oktober 2013 het verblijf van 2 maand van prof. Raykenier Yzquierdo Herrera (Universidad de las Ciencas Informáticas, Havana, Cuba) aan de UHasselt goedgekeurd ten laste van het BOF-programma "Korte Verblijven". Gedurende dit verblijf zal prof. Raykenier Yzquierdo Herrera onderzoek uitvoeren in samenwerking met prof. Benoit Depaire(Onderzoeksgroep Beleidsinformatica). Het verblijf zal plaatsvinden in november-december 2013. Organisaties: • Beleidsinformatica

Onderzoekers: • Benoit DEPAIRE

EU-bonuskrediet type B2c voor ESSENCE Vrije Universiteit Brussel Abstract: Europese studie over vrije ICT netwerken Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • LUC STEELS

A fast solver for problems with multivariate polynomials: exploiting sparsity and structure in the polynomial numerical linear algebra framework KU Leuven 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 Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Bart De Moor • Antoine Vandermeersch

. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties:

• Afdeling Informatica

Onderzoekers: • Jan Ramon • Maurice Bruynooghe • Charikleia Gklava

Formal Program Verification KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens • Bart Jacobs • Amin Timany

HW/SW co-design for light-weight public key. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel • Ingrid Verbauwhede • Frank Piessens

Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_Bench fee i.h.k. van Joint PhD VUB-École des Mines de Nantes, Paul Blouët Vrije Universiteit Brussel Abstract: Bilaterale samenwerking in het kader van gezamenlijke doctoraatsprojecten_Bench fee i.h.k. van Joint PhD VUB-École des Mines de Nantes, Paul Blouët Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • Tom VAN CUTSEM

Tensor based Blind Source Separation in simultaneous EEG-fMRI integration KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Lieven De Lathauwer • Sabine Van Huffel • Maarten De Vos • Wout Swinnen

Geavanceerde Authenticatie en Authorisatie in Cloud-Enabled Software Applicaties KU Leuven 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. Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • Bert Lagaisse • Jasper Bogaerts

Redeneren over Coroutines. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Daniel De Schreye

Middleware Support for Dynamic Sensing Applications. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • Wilfried Daniels

Frame computing for the simulation of oscillatory phenomena (Waves).

KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afd. Numer. Analyse en Toeg. Wiskunde

Onderzoekers: • Daan Huybrechs

Prediction-based optimization for dymanic transport scheduling. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt

SAGA KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel

Een nieuw paradigma voor het bedieningsproces in wachtlijnsystemen, met toepassingen in computer- en communicatienetwerken. Universiteit Antwerpen Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk OnderzoekVlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Benny Van Houdt

Het expliciet modelleren van debuggen en experimenteren van modellen. Universiteit Antwerpen 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. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)

Onderzoekers: • Hans Vangheluwe • Simon Van Mierlo

MBSE4 Mechatronica. Universiteit Antwerpen 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. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)

Onderzoekers: • Hans Vangheluwe

MBSE4 Mechatronics. Universiteit Antwerpen 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. Organisaties: • Constrained Systems Lab (CoSys-Lab)

Onderzoekers: • Paul De Meulenaere

Dienst/Hergebruik voor Ondersteunende technologie Levering/Ontwerp (SeRenADe). Universiteit Antwerpen Abstract: Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds Gouverneur Kinsbergen Centrum. UA levert aan Gouverneur Kinsbergen Centrum de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract.

Organisaties: • Constrained Systems Lab (CoSys-Lab)

Onderzoekers: • Walter Daems

Een nieuwe paradigma voor het bedieningsproces in wachtlijnsystemen, met toepassingen in computer- en communicatienetwerken Universiteit Gent 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. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking

Onderzoekers: • Herwig Bruneel • Sabine Wittevrongel

Redeneren over coroutines Universiteit Gent 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. Organisaties: • Vakgroep Toegepaste wiskunde en informatica

Onderzoekers: • Tom Schrijvers

Analytische vermogenmodellering van heterogene multicore processors Universiteit Gent Abstract: IWT/SB-lichting 2014 IWT/SB/De Pestel Sander/131076 Analytische vermogenmodellering van heterogene multicore processors Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Lieven Eeckhout

Karakterisering van de propagatie voor geavanceerde MIMO Ultra Wideband systemen Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Informatietechnologie

Onderzoekers: • Wout Joseph

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. Organisaties: • Beleidsinformatica

Onderzoekers: • 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 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. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media

Onderzoekers: • Karin CONINX

A Cloud-Based Reactive Infrastructure for Modelling Participatory Sensing Campaigns - Towards Mapping Mobility Parameters in Brussels. Vrije Universiteit Brussel Abstract: A Cloud-Based Reactive Infrastructure for Modelling Participatory Sensing Campaigns - Towards Mapping Mobility Parameters in Brussels. Organisaties: • Informatica en Toegepaste Informatica

Onderzoekers: • WOLFGANG DE MEUTER

Design and implementation of robust signal processing algorithms for acoustic detection and classification problems KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • TC Elektrotechniek (ESAT) Geel

Onderzoekers: • Toon van Waterschoot • Bart Vanrumste

Spaces of possibility for the creative re-use of Europeana's content. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG Literatuur en Cultuur Leuven

Onderzoekers: • Frederik Truyen • N. N.

Tensor based Blind Source Separation in Magnetic Resonance Spectroscopic Imaging. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel

Design and evolution of secure software: An opportunity for evidence-based research KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Riccardo Scandariato • Reza Ameri Mahabadi

EDA−DSE: EDA for hardware/software generation based on design space exploration. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • TC Elektrotechniek (ESAT) Diepenbeek

Onderzoekers: • Kris Aerts • Luc De Raedt • Ingrid Verbauwhede • Nele Mentens • Wannes Meert

Scate - Smart Computer-Aided Translation Environment. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG ComForT Leuven

Onderzoekers: • Patrick Wambacq • Frank Van Eynde • Marie-Francine Moens • Frieda Steurs

Computationele modellen voor big data algoritmen. Universiteit Antwerpen 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. Organisaties: • Ontwikkeling database systemen (ADReM)

Onderzoekers: • Floris Geerts • Maxime Debosschere

Coroutines KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Daniel De Schreye • Vincent Nys

Middleware for Federated Heterogeneous Data Storages in Hybrid Clouds KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • Bert Lagaisse • Ansar Rafique

Opacity: Privacyvriendelijke Opvolging van Gedistribueerde Processen. KU Leuven Abstract: Het algemene doel van dit innovatiemandaat is het valideren van het Opacity-concept in de markt en het wegnemen van (markt)onzekerheden die desuccesvolle lancering van dit idee in een spin-off kunnen vertragen of blokkeren. Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel • Roel Peeters

NOEL DEFERM-PROFUNDICO KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - MICAS

Onderzoekers: • Patrick Reynaert

Robust Linear Model Predictive Control KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Moritz Diehl • Adeleh Mohammadi

De opbouw van het businessmodel voor COBIT 5. Universiteit Antwerpen Abstract: Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds ISACA, de internationale beroepsfederatie van IT governance en audit professionals. UA levert aan ISACA de onderzoeksresultaten rond de bedrijfswaarde die kan gerealiseerd worden door het toepassen van enterprise governance of IT praktijken zoals beschreven in COBIT 5. Organisaties: • Beleidsinformatica

Onderzoekers: • Steven De Haes

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. Organisaties: • Beleidsinformatica

Onderzoekers: • Koenraad VANHOOF

Modelling structured dynamical systems: parametric and non-parametric approaches KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Johan Suykens • Zahra Karevan

Signal processing and scalable hardware platforms KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Marian Verhelst • Alexander Bertrand • Fernando de la Hucha Arce

Establish Pan-European Information Space to Enhance Security of Citizens. KU Leuven Abstract: The analysis will enable the definition of a concept for a common information space. A requirement for a successful pan European information space is the definition of a common taxonomy. The common information space, which implies an EU wide standardization activity, will widen the EU wide market for organization developing solutions and tools for crisis management. Organisaties: • Faculteit Theologie en Religiewetensch. • OE ICRI / CIR

Onderzoekers: • Joseph Dumortier

European control system security incident analysis network. KU Leuven Abstract: The protection of critical infrastructures increasingly demands solutions which support incident detection and management at the levels of individual CI, across CI's which are depending on each other, and across borders. An approach is required which really integrates functionalities across all these levels. ECOSSIAN is supposed to be the first attempt to develop this holistic system. Organisaties: • Faculteit Theologie en Religiewetensch. • OE ICRI / CIR

Onderzoekers: • Joseph Dumortier

Grenzeloze logistiek: Impact analyse van de proefvaart AB Inbev - Celis. Vrije Universiteit Brussel Abstract: Binnen het project 'Grenzeloze Logistiek' trachten de POM Vlaams-Brabant en Interleuven de ruimte duurzaam en efficiënt te gebruiken. Onder de noemer 'ruimte' valt ook de transportinfrastructuur, en met name diens duurzaam en efficiënt gebruik. Spoor en waterwegen zijn duurzame transportnetwerken die momenteel onder benut worden. Zeker in vergelijking met het dichtgeslibde wegennet, dat voor dagelijkse overlast zorgt. Het gaat daarbij over geluidsoverlast, maar ook ongevallen, congestie en luchtvervuiling bezorgen onze samenleving, onze economie en ons leefmilieu last. Deze lasten veroorzaken kosten, die weliswaar niet altijd in rekening gebracht worden bij de afrekening van de transport activiteit. Men spreekt daarom ook wel over externe kosten, zijnde de kosten verbonden aan een activiteit van één welbepaalde groep die de welvaart van een andere groep vermindert zonder dat er iemand de kosten van deze geleden schade betaalt. De POM Vlaams-Brabant en Interleuven promoten om die redenen de modal shift van goederen van de weg naar de binnenvaart en het spoor. Zo brachten ze Bouw.Punt André Celis, een grote bouwverhandelaar en AB Inbev, multinationale bierproducent, samen. Bouw.Punt André Celis vervoerde reeds gepalletiseerde bouwmaterialen per schip tussen het Waalse Lixhe en Leuven. De terugvaart op de as Leuven - Lixhe gebeurde echter met een leeg schip. Volumes om deze vaart te vullen werden dus gezocht en gevonden bij AB Inbev. Zij verschepen wekelijks gemiddeld 60 vrachtwagens gevuld met pallets tussen hun productie site in Leuven en hun productie site in Jupille. Via twee proefvaarten willen AB Inbev en Bouw.Punt André Celis onderzoeken of een samenwerking mogelijk is, zowel op organisatorisch, als economisch en maatschappelijk vlak. Daarom werd een impact analyse van de proefvaarten uitgevoerd. De impact is door de Vrije Universiteit Brussel, onderzoeksgroep MOBI berekend op basis van kerncijfers uit de wetenschappelijke literatuur en de door de betrokken partners aangeleverde gegevens. In de volgende secties worden respectievelijk de gebruikte methodologie, de resultaten en de conclusies weergegeven. Organisaties:

• Business Technologies and Operations

Onderzoekers: • Tom VAN LIER • Koen MOMMENS • CATHY MACHARIS

Dynamic spectrum management and multi-user signal coordination in next generation DSL networks KU Leuven 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. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Wouter Lanneer

Machine Reading and Knowledge Acquisition for Hybrid Search KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Marie-Francine Moens • Denis Lukovnikov

Multimodal Analysis and Modeling of White Matter Fibers in Multiple Sclerosis Based on Diffusion MRI KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel

Towards declarative clustering: Novel approaches to semi-supervised clustering based on meta-learning, transfer learning, and generalizing fromexample clusters. KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Hendrik Blockeel • Toon Van Craenendonck

Sensor-based Platform for the Accurate and Remote monitoring of Kine(ma)tics Linked to E-health (SPARKLE) KU Leuven 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 Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Sabine Van Huffel • Lieven Billiet

IMAGE : Immersieve attractiefilms voor volgende generatie 5D theaters Universiteit Hasselt Abstract: Met het IMAGE project wil Niceberg Studios een kleinschalige, betaalbare, state-of-the-art, immersieve en circulaire (360°) 3D attractiefilm ontwikkelen, die bovendien aangevuld kan worden met fysieke 4D theatereffecten. Dergelijke 5D1 attractiefilm dompelt de kijker onder in een multisensoriële beleving die veel verder gaat dan die van een klassieke audiovisuele 3D film. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media

Onderzoekers:

• Philippe BEKAERT

IT verzekering case studies. Universiteit Antwerpen Abstract: Dit project kadert in een opdracht tussen enerzijds UA en anderzijds ISACA, de internationale beroepsfederatie van IT governance en audit professionals. UA levert aan ISACA vijf case studies rond IT audit en assurance. Organisaties: • Beleidsinformatica

Onderzoekers: • Steven De Haes

Use of Probabilistic Topic Models in Machine Translation KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Marie-Francine Moens • Geert Heyman

Diepe neurale netwerken voor grootschalige data met spatiaal-temporele correlaties KU Leuven 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. Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Bart De Moor • Peter Roelants

Machine Learning Techniques for Physical Therapy. KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Jesse Davis • Jessa Bekker

From business rule systems to logic. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Marc Denecker • Gerda Janssens • Ruben Lapauw

Data science KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Bart De Moor • Oliver Lauwers

Understanding the bigger picture: Deeper insights into biology through fusion of heterogeneous data sources KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Bart De Moor • N. N.

Malware: ecosystems, mechanisms, detection and countermeasures KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • M Zubair Rafique

New programming models for web applications. KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens • Bob Reynders

Security of the web and its ecosystems KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • Tom Van Goethem

Machine learning with constraints on energy consumption KU Leuven 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Hendrik Blockeel • Jesse Davis • Aäron Verachtert

Security and privacy of web and mobile applications KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen • Frank Piessens • Thomas Vissers

Hogere orde support voor data-mining toepassingen KU Leuven 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. Organisaties: • Afdeling Informatica

Onderzoekers: • Gerda Janssens • Matthias van der Hallen

A deep learning approach to predicate invention KU Leuven 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

Organisaties: • Afdeling Informatica

Onderzoekers: • Hendrik Blockeel • Sebastijan Dumancic

Het Begrijpen van een Multi-Modale Wereld: naar Multi-Modale Semantiek en Information Retrieval. KU Leuven Abstract: As more and more data nowadays are present in more than one modality (e.g., text, vision, video) besides text-only data, there is a pressing need to transfer the research from unimodal text environments to multi-modal environments, and to jointly model information that organically comesfrom multiple modalities. The focus of this project is on textual and visual modalities. One essential step of the project includes learning representations of multi-modal data based on both textual and visual/perceptual inputs. As one part of this project, I propose to work towards multi-modal and cross-modal models of information search and retrieval based on these joint representations (e.g., retrieving images that are relevant to an issued textual query and vice versa, or retrieving informationbased on a multi-modal query comprising both textual and visual information). Another part of the project tackles the recently started initiative on multi-modal semantics, where the goal is to learn semantic co Organisaties: • Afdeling Informatica

Onderzoekers: • Marie-Francine Moens • Ivan Vulic

Geen Nederlandstalige Titel KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Tom Schrijvers

Advanced applications of knowledge representation technology: the virtual director KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • TC Computerwetenschappen De Nayer

Onderzoekers: • N. N. • Joost Vennekens

Object capabilities en effectpolymorfisme: theorie en toepassingen. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens • Dominique Devriese

Object capabilities en effectpolymorfisme: theorie en toepassingen. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Frank Piessens • Dominique Devriese

A data quality framework for effective risk data aggregation and risk reporting. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Monique Snoeck • Tom Haegemans

CARMA (Career Management Analysis). KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Bart Baesens • Michael Reusens

Smart data and decisions in marketing. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Jan Vanthienen • Jasmien Lismont

Using predictive analytics for business applications. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Wilfried Lemahieu • Tine Van Calster

Customer lifetime value modelling. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Jan Vanthienen

Building state of the art analytical financial churn prediction models. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Bart Baesens • Katrien Antonio • Seppe vanden Broucke • Eugen Stripling

Elaboration and validation of IMermaid tool extention to automate user interface generation. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Monique Snoeck • Jenny Ruiz de la Peña

Een schaalbare onderbouw voor multi-paradigma modelleren. Universiteit Antwerpen Abstract: Dit project bouwt de fundamenten van Multi-Paradigma Modelleren in de vorm van de ModelVerse, een conceptueel raamwerk en een oplslagplaats voor multi-paradigma modellen. Dit vormt de basis voor gedistribueerd en collaboratief modelleren van systemen alsook van de gebruikte modelleertalen. Om modelleertalen expliciet te modelleren dienen hun concrete en abstracte syntax gemodelleerd, alsook hun semantiek. Voor semantiek moet ofwel een interpreter/simulator of een mapping (transformatie) naar een gekend formalisme gespecifieerd worden. De ModelVerse ondersteunt modelmanipulaties zoals documentatie, analyse, simulatie, (software) synthese en evolutie. Deze zijn alle gebaseerd op modeltransformatie. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)

Onderzoekers: • Hans Vangheluwe • Yentl Van Tendeloo

Virtualisatie van informatie- en communicatietechnologieën aan de Mzumbe Universiteit (VICT@MU Project). Universiteit Antwerpen Abstract: Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds VLIR. UA levert aan VLIR de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. Organisaties: • Universitair beheer en administratie

Onderzoekers: • Egbert De Smet

Versterking van NMAIST ICT en bibliotheekinfrastructuren. Universiteit Antwerpen Abstract: Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds VLIR. UA levert aan VLIR de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. Organisaties: • Universitair beheer en administratie

Onderzoekers: • Egbert De Smet

Oplossen van wiskundige en chemische problemen door het ontwerp van gespecialiseerde generatie-algoritmes Universiteit Gent 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.

Organisaties: • Vakgroep Toegepaste wiskunde en informatica

Onderzoekers: • Gunnar Brinkmann

Agentbased modellen en de theorie van adaptieve multitype en multilaag netwerken voor de studie van economische complexiteit en financiële instabiliteit Universiteit Gent 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. Organisaties: • Vakgroep Fysica en Sterrenkunde

Onderzoekers: • Jan Ryckebusch

Agentbased modellen en de theorie van adaptieve multitype en multilaag netwerken voor de studie van economische complexiteit en financiële instabiliteit Universiteit Gent 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. Organisaties: • Vakgroep Algemene economie

Onderzoekers: • Koen Schoors

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. Organisaties: • Beleidsinformatica

Onderzoekers: • Benoit DEPAIRE

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. Organisaties: • Databases en Theoretische Informatica

Onderzoekers: • Jan VAN DEN BUSSCHE

Een formele aanpak voor het ondervragen van grote hoeveelheden data Universiteit Hasselt Abstract: De afgelopen jaren is "big data" een modewoord geworden in zowel de onderzoeksgemeenschap alsook technologie en zelfs reguliere media. De term "big data" verwijst meestal 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 (geïntroduceerd door Google), samen met tal van varianten en

uitbreidingen. Hoewel de karakteristieken van de hierboven vermelde systemen verschillend zijn, wijken ze af van traditionele database systemen door het gebruik van parallellisatie en data-distributie als cruciaal element voor het afhandelen van de zeer grote, en groeiende, data-collecties. 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. Organisaties: • Databases en Theoretische Informatica

Onderzoekers: • Frank NEVEN

/ KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Tom Schrijvers

FWO: Reasoning about coroutines KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Daniel De Schreye • Tom Schrijvers • Amr Hany Shehata Saleh

Advances in Cyber Security KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Wouter Joosen

Systems Biology: Modeling of Tissue Stress and Inflammation Using KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Bart De Moor • Supinya Piampongsant

Cross Layer Optimization for the Fourth Generation Broadband Access Network KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS

Onderzoekers: • Marc Moonen • Jeroen Verdyck

A conceptual framework for evidence-based, personalized, context-aware persuasive systems for chronic arthritis patients, to increase adherence to physical therapy programs. KU Leuven 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 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 Organisaties: • Afdeling Informatica

Onderzoekers: • Luc Geurts • Erik Duval • Veronika Vanden Abeele • Jonas Geuens

ENGANGEREADERS KU Leuven Abstract: Geen Nederlandstalig Abstract

Organisaties: • OG LIRIS Leuven

Onderzoekers: • Monique Snoeck • Erik Duval

Dynamisch en gedistribueerde beheer van Service Function Chains in een gevirtualiseerde cloud- en netwerkomgeving. Universiteit Antwerpen 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. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Steven Latré • Bart Spinnewyn

Heroverweging van investeringen in transportinfrastructuur en mobiliteitsbeheer in het Brusselse Metropolitane Gebied: van kritische analyse naar coöperatief beleid – MOBRU Vrije Universiteit Brussel Abstract: Mobiliteit is een belangrijke uitdaging voor Brussel. Het onderwerp wordt al meer dan twee decennia onderzocht, maar projecten met een bovenregionale benadering hebben weinig aandacht gekregen. Wat transport betreft kan Brussel echter niet tot zijn administratieve grondgebied worden beperkt. Bovendien zijn mobiliteitsvraagstukken verweven met andere metropolitane kwesties, zoals gewestelijke financiering, bereikbaarheid, de maatschappelijke kosten van toegang tot de stad en de aantrekkelijkheid van de stad op lokaal, metropolitan en globaal niveau. Het project gaat uit van een multidisciplinaire interuniversitaire benadering, met kennis van de ULB-IGEAT en VUB-MOBI onderzoeksteams ambieert dit project om intergewestelijke mobiliteitskwesties aan te pakken, duurzame transportoplossingen te ontwikkelen en hulpmiddelen te ontwikkelen voor het maken van intergewestelijke beslissingen. Organisaties: • Business Technologies and Operations • Mobiliteit en voertuig technologie onderzoeksgroep

Onderzoekers: • Gerrit TE BOVELDT • CATHY MACHARIS

CleverLearn. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Monique Snoeck • Jochen De Weerdt

Opstellen van bemonstering- en geheugenstrategieën voor 3D sonar systemen, toegepast op de ondersteuning van gebruikers van elektrische rolstoelen. Universiteit Antwerpen Abstract: Het doel van dit project is het geven van meer zelfstandigheid aan gebruikers van elektrische rolstoelen met zwaar beperkende pathologieën. Dit wil men bereiken door middel van een 3D omgevingssensor gebaseerd op sonar, welke de intentie van de gebruiker combineert met informatie over de omgeving om zo een vlottere verplaatsing van de gebruiker toe te laten. Organisaties: • Engineering Management

Onderzoekers: • Herbert Peremans • Jan Steckel • Walter Daems

Slimme datawolken. Universiteit Antwerpen

Abstract: Dit project kadert in een onderzoeksopdracht tussen enerzijds UA en anderzijds IWT. UA levert aan IWT de onderzoeksresultaten genoemd in de titel van het project onder de voorwaarden zoals vastgelegd in voorliggend contract. Organisaties: • Optische metrologie, 3D-ontwerp en Mechanica (Op3Mech)

Onderzoekers: • Luc Mertens

Modeling, automatisation and optimisation of experimental processes in network-structured domains. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Jan Ramon • Hendrik Blockeel • Alexandros Sarafianos

Analysis and Control of Complex Knowledge- and Evidence-Rich Systems. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Jan Ramon

AdaLab - Adaptive automated scientific laboratory. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Jan Ramon

Efficiënte inferentie voor probabilistische programma's en databanken. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Luc De Raedt • Guy Van den Broeck

Stable Multi-agent LEarnIng for neTworks (Smile-IT) KU Leuven Abstract: Een framework ontwikkelen voor het analyseren en aansturen van moderne,genetwerkte systemen. Het ontwikkelde framenetwork moet voldoende algemeen zijn en toepasbaar zijn in een groot aantal verschillende applicaties. Organisaties: • Afdeling ESAT - ELECTA

Onderzoekers: • Geert Deconinck

WITDOM KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC

Onderzoekers: • Bart Preneel

Wordt Bitcoin de nieuwe dollar? Inzicht verwerven in de fundamentele factoren die bijdragen tot het wijdverspreid geraken van cryptomunten. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven

Onderzoekers: • Paul De Grauwe • Jochen De Weerdt

Modellering en controle van energie-oogstende draadloze sensornetwerken. Universiteit Antwerpen Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk OnderzoekVlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Christian Blondia

Software-architectuur en modules voor geunificeerde radiocontrole (SAMURAI). Universiteit Antwerpen 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. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Christian Blondia

Stabiel multi-agent leren voor netwerken (SMILE - IT). Universiteit Antwerpen 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. - 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. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)

Onderzoekers: • Steven Latré

De implementatie van een upgrade aan de website van IAS Universiteit Gent Abstract: niet beschikbaar Organisaties: • Vakgroep Geologie en bodemkunde

Onderzoekers: • Marc De Batist

iMindsdotatie 2015 Universiteit Gent Abstract: iMinds helpt om Vlaanderen op de kaart te zetten als een van Europa?s leidende digitale regio?s. Dagelijks tillen (grote en kleine) bedrijven, regeringen en socialprofitorganisaties de expertise van onze academische onderzoeksteams naar nieuwe hoogtes. Zo zijn ze gewapend om maatschappelijke en economische uitdagingen aan te gaan. Onze doelstelling? Digitale innovatie in (nieuwe) bedrijven injecteren, of deze innovaties vertalen naar producten en diensten die de levens van jong en oud verbeteren en verrijken. Organisaties: • Vakgroep Elektronica en informatiesystemen

Onderzoekers: • Rik Van de Walle

An adaptive beamforming approach to direct-to-reverbant ratio control for high-end audio conferencing on mobile devices KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • TC Elektrotechniek (ESAT) Geel

Onderzoekers: • Marc Moonen • Toon van Waterschoot • Thomas Dietzen

RIA-GRACeFUL KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica

Onderzoekers: • Tom Schrijvers