www.researchportal.be - 14 Feb 2016 01:27:49
Onderzoeksprojecten (150 - 200 van 840) Zoekfilter: Classificaties: Informatica, systeemtheorie
Semi-supervised leertechnieken voor Informatie Extractie. Universiteit Antwerpen Abstract: Informatie Extractie (IE) heeft als doel het extraheren van relevante data uit een verzameling meer of minder gestructureerde documenten. Huidige systemen werden steeds ontwikkeld op basis van geannoteerde data die echter duur en moeilijk te verkrijgen zijn. Daarom wil dit project IE systemen ontwikkelen door middel van semi-supervised leertechnieken, waarbij gebruik wordt gemaakt van grote verzamelingen nietgeannoteerde gegevens, die gemakkelijk te verkrijgen zijn. Organisaties: • Linguistiek • Centrum voor Computerlinguïstiek en Psycholinguïstiek (CLiPS)
Onderzoekers: • Erik Tjong-Kim-Sang • Jan Paredaens • Walter Daelemans
Semi-supervised leertechnieken voor Informatie Extractie. Universiteit Antwerpen Abstract: Informatie Extractie (IE) heeft als doel het extraheren van relevante data uit een verzameling meer of minder gestructureerde documenten. Huidige systemen werden steeds ontwikkeld op basis van geannoteerde data die echter duur en moeilijk te verkrijgen zijn. Daarom wil dit project IE systemen ontwikkelen door middel van semi-supervised leertechnieken, waarbij gebruik wordt gemaakt van grote verzamelingen nietgeannoteerde gegevens, die gemakkelijk te verkrijgen zijn. Organisaties: • Ontwikkeling database systemen (ADReM)
Onderzoekers: • Jan Paredaens
Semi-supervised leertechnieken voor Informatie Extractie. Universiteit Antwerpen Abstract: Informatie Extractie (IE) heeft als doel het extraheren van relevante data uit een verzameling meer of minder gestructureerde documenten. Huidige systemen werden steeds ontwikkeld op basis van geannoteerde data die echter duur en moeilijk te verkrijgen zijn. Daarom wil dit project IE systemen ontwikkelen door middel van semi-supervised leertechnieken, waarbij gebruik wordt gemaakt van grote verzamelingen nietgeannoteerde gegevens, die gemakkelijk te verkrijgen zijn. Organisaties: • Centrum voor Computerlinguïstiek en Psycholinguïstiek (CLiPS)
Onderzoekers: • Walter Daelemans
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
Semantic Information Systems Technology and Applications Vrije Universiteit Brussel Abstract: Matching Ontology-based Process-Oriented Learning: Het doel van Prolix is om het process van leren aan te passen aan business-processen om ervoor te zorgen dat organisaties sneller de competenties van hun werknemers kunnen aanpassen aan veranderende businessrequirements. Om dit doel te bereiken, ontwikkelt Prolix een open, geïntegreerde referentie architectuur voor het proces van leren en informatie-uitwisseling. STARLab's bijdrage hier is de semantische interoperabiliteit bij de uitwisseling van process-en informatiemodellen. Organisaties: • Informatica en Toegepaste Informatica
Onderzoekers: • ROBERT MEERSMAN
SEESCOA : software techniek voor ingebed systemen die een georiënteerd component gebruiken.
Vrije Universiteit Brussel Abstract: Het project SEESCOA was een inter-universitair project gefinanceerd door de Vlaamse overheid. De vooropzet was het ontwikkelen van software-engineering principes die rekening houden met de beperkingen van embedded systems. Organisaties: • Laboratorium voor Systeem en Software Engineering • Informatica en Toegepaste Informatica
Onderzoekers: • VIVIANE JONCKERS • THEO D'HONDT
Security of the web and its ecosystems KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Wouter Joosen • Tom Van Goethem
Security of embedded devices: side-channel and fault attacks KU Leuven Abstract: Sinds de intrede van het informatietijdperk wordt steeds meer en meer data aangemaakt, verwerkt, verstuurd en opgeslagen in elektronisch formaat. In vele toepassingen speelt compacte, ingebedde elektronica een fundamentele rol in het voorzien van gewenste maatregelen voor de beveiligingvan gevoelige informatie (b.v. elektronische IDs en bankkaarten) of bijhet uitvoeren van belangrijke taken (b.v. pacemakers en hoorapparaten).Het voorgestelde fundamentele onderzoek richt zich op het ontwerpprocesvan veiligheidsgevoelige ingebedde systemen. Dit project heeft tot doelom voldoende theorie op te bouwen om reeds tijdens de ontwerpfase de veiligheid van het ontwerp tegen fysische aanvallen te kunnen inschatten, zodat verschillende ontwerpmogelijkheden verkend kunnen worden alvorens met de productiefase wordt aangevat. Deze methode verschilt van de huidige werkwijze, waarbij (vaak destructieve) testen de weerstand van een ontwerp met betrekking tot fysische aanvallen nagaan in de productiefase Organisaties: • Afdeling ESAT - COSIC
Onderzoekers: • Ingrid Verbauwhede • Wolf Gierlichs • Oscar Repáraz Dominguez
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
Security and privacy of web and mobile applications KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Wouter Joosen • Frank Piessens • Thomas Vissers
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
SecureApps: Geavanceerde Technologieën voor Veilige Smartphone en Tablet Apps.
KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Bart De Decker
SCOP : Semantische connectie van ontologieën aan patiëntgegevens (kaderend in EUREKA-project : veilige on-line zorg). Vrije Universiteit Brussel Abstract: In een globaal communicatiesysteem bestaan tal van databanken en -bronnen met elk een eigen datastructuur en -presentatie. Deze verscheidenheid aan databronnen bemoeilijkt de integreerbaarheid van de informatie die ze bevatten alsook een uniforme weergave ervan. Daardoor wordt de communicatie van medische informatie in het systeem belemmerd. Een echte, diepgaande oplossing ligt in de semantische koppeling (op betekenisniveau) van de databanken aan een ontologie of formele beschrijving van een domein, in dit geval het medische domein in een ziekenhuis. Organisaties: • Onderzoek naar Software Technologie en Toepassingen
Onderzoekers: • ROBERT MEERSMAN
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
Schaalbare wavelet video codering met controleerbare tijdsvertraging. Vrije Universiteit Brussel Abstract: Huidige standaardtechnieken voor videocompressie gebaseerd op de discrete cosinus transformatie (DCT) (MPEG 1-2-4, H.26-x) missen een natuurlijke ondersteuning voor eenvoudige bit-rate controle en voor resolutie en kwaliteitsschaalbaarheid. Verschillende wavelet-gebaseerde compressietechnieken werden voorgesteld om deze problemen aan te pakken, doch In-Band Motion Compensated Temporal Filtering (IBMCTF) is de enige waveletgebaseerde technologie die state-of-the-art performantie koppelt aan volledige schaalbaarheid. Hierbij wordt bewegingsgecompenseerde temporele filtering toegepast in het wavelet-domein met behulp van de overcomplete wavelet-representatie. Een belangrijk nadeel van deze oplossing is echter de hoge aritmetische- en geheugencomplexiteit van IBMCTF. Dit heeft samen met de specfieke architectuur van deze codec tot gevolg dat de realisatie van een kwalitatieve low-delay operatiemode, typisch vereist voor toepassingen zoals bijvoorbeeld videoconferentie, een bijkomend probleem oplevert. De doelstelling van dit onderzoek is de realisatie van een parameteriseerbare algoritmische architectuurspecificatie voor een IBMCTF codec die zowel schaalbaar is in kwaliteit, resolutie en beeldfrequentie én die bovendien schaalbaar is in complexiteit. Organisaties: • Elektronica en Informatica
Onderzoekers: • ADRIAN MUNTEANU • Tom CLERCKX • PETER SCHELKENS • JAN CORNELIS
Schaalbare dimensioneringstechnieken voor optische grids Universiteit Antwerpen Abstract: Voor traditionele optische netwerk dimensioneringsproblemen bestaan er tal van technieken om de vereiste hoeveelheid netwerk resources te bepalen. In optische Grids maakt het echter weinig uit waar een taak wordt uitgevoerd. De bestemming is dus niet a priori gekend, waardoor de traditionele oplossingen niet langer van toepassing zijn. Het voorgestelde project tracht dit probleem op te lossen met behulp van Mean Field modellen en relaxatie technieken voor Integer Lineaire Programmeer problemen. Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)
Onderzoekers: • Benny Van Houdt
Schaalbare algoritmen voor de acquisitie, weergave, compressie en herbelichting van 3D video-objecten. Universiteit Hasselt Abstract: Het voorgestelde onderzoek situeert zich in het gebied van de video gebaseerde 3D-object model- lering en visualisatie (3D-VBR). De kernidee van 3D-VBR bestaat er in een ree el object of tafereel gelijktijdig te filmen vanuit meerdere standpunten, met gesynchroniseerde videocameras. 3D-VBR zal dan toelaten om tijdens de opname, of achteraf, het tafereel te bekijken vanuit nieuwe standpunten. 3D-VBR zal editeeroperaties voorzien die men gewend is toe te passen op klassieke, 3D geometrie- gebaseerde objectvoorstellingen. 3D-VBR zal het ook mogelijk maken om achteraf de belichting aan te passen in opgenomen taferelen. Dit is nodig voor diverse toepassingen, waarvan enkele verderop in deze tekst worden vermeld. We zullen ons toespitsen op de volgende punten: - Acquisitie: we willen een opstelling realiseren waarin een tafereel wordt opgenomen met een groot aantal (vijftig) goedkope digitale video cameras in plaats van enkele high-end exem- plaren. Een groot aantal cameras is nodig om een voldoende hoge 3D-ruimtelijke resolutie te bekomen, een dichtere bemonstering van richtingen omheen ieder oppervlak, een betere dekking van oppervlakken in een tafereel (minder verborgen delen), en een groter bereik van lichtintensiteiten. De cameras zullen aangestuurd worden door een cluster van standaard PCs, teneinde een systeem te bekomen dat in de toekomst relatief pijnloos uitgebreid of vernieuwd kan worden. Speciale aandacht wordt besteed aan het opvangen van eventuele falingen van cameras, computers of andere apparatuur in zon opstelling; - Visualisatie: we zullen gedistribueerde algoritmen ontwikkelen voor de visualisatie vanuit nieuwe standpunten van een door talrijke cameras opgenomen tafereel. Deze visualisatie dient zo te zijn dat de opname aan de werkelijke snelheid weergegeven wordt, en dit ongeacht of de opname onmiddellijk gevisualiseerd wordt, of achteraf. We zullen hierbij vertrekken van een recent gepubliceerd algoritme dat geen expliciete 3D geometrie-
reconstructie vereist, en dat geschikt is voor implementatie op wijd beschikbare, maar krachtige, programmeerbare grafi- sche acceleratoren. Door betere oplossingen te zoeken voor bepaalde cruciale deeltaken, zullen we dat algoritme ook fundamenteel verbeteren; - Compressie: e e n enkele camera van het type dat we voor ogen hebben genereert ongeveer 24 megabytes aan ruwe data per seconde. Vijftig dergelijke cameras genereren ca. 1,2 gigabyte aan ruwe gegevens per seconde. Om de opslag op harde schijf, en de transmissie over de volgende generatie breedbandnetwerken mogelijk te maken, zijn krachtige compressie-algoritmen nodig. Deze compressie mag geen artefacten introduceren die verdere verwerking zouden ver- hinderen, en moet in ree le tijd kunnen gebeuren. Zoniet zijn opnames van langere duur of live toepassingen niet mogelijk. Dergelijke compressie-algoritmen bestaan nog niet op dit moment. Om ze te ontwikkelen, zullen we verder bouwen op recent voorgestelde technieken die gebruik maken van tweede-generatie wavelets (lifting schema), in combinatie met voorspelling van en compensatie voor de beweging van objecten in de tijd, alsook de verschillende standpunten van waaruit het tafereel wordt opgenomen; - Herbelichting: we zullen het mogelijk maken om de lichtweerkaatsingseigenschappen van be- wegende objecten en taferelen te meten. De kleur van een punt op het oppervlak van een bewegend object kan weliswaar wijzigen naargelang zijn relatieve positie en orie ntatie ten opzichte van lichtbronnen en waarnemingspunt, maar de BRDF (Bi-directionale Reflectie Distributie Functie) blijft dezelfde. BRDFs zijn functies die lichtweerkaatsingseigenschappen beschrijven voor gebruik in computer graphics. Onze opnames met talrijke cameras leveren dan e e n grote spatio-temporele databank van BRDF monsters op, die met elkaar gerelateerd zullen worden door de beweging van de objecten en het verschillende standpunt van de cameras in rekening te brengen, op gelijkaardige wijze als gedaan bij compressie. Eenmaal de BRDFs bepaald zijn, laten deze toe om de belichting bij opname weg te werken, en het tafereel te visualiseren onder gewijzigde belichting. Onze motivatie om werk in dit gebied aan te vatten is twee erlij. Enerzijds zijn deze themas strategisch belangrijk voor de verdere uitbouw ander onderzoek, op gebied van nieuwe technieken voor com- puteranimatie, op gebied van gedistribueerde virtuele omgevingen en op gebied van mensmachine interactie. Anderzijds willen we, voortbouwend op het hier voorgestelde onderzoek, in de toekomst een aantal prototypes van toepassingen realiseren, namelijk een immersieve omgeving voor tele- samenwerking in groep (bvb. een tele-klaslokaal, wat in de tUL context nuttig kan zijn), en een studio voor TV-kwaliteits 3D-video. Zon 3D-video studio zal toelaten om camera-pad planning en belichtingscorrecties in post-productie uit te voeren, wat met huidige opname-technieken nog niet mogelijk is. Anderzijds is 3D-video op zich een bijzonder krachtig immersief medium, dat gebruikt zal worden in onderzoek naar nieuwe vormen van theater en film, in opvolging van de succesvolle theaterproductie Crash van Eric Joris en Peter Verhelst (Toneelhuis Antwerpen, juni 2004), waarvoor het EDM een ad-hoc omnidirectioneel videosysteem ontworpen en ge mplemeneerd heeft. De indus- triele context voor de latere commercialisatie van dergelijke toepassingen is in Vlaanderen aanwezig en verschillende van onze partners hebben reeds interesse laten blijken in deze technologie. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media
Onderzoekers: • Philippe BEKAERT
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
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
SB Filip Hellebaut - Hink-stapsprongsimulatie Universiteit Gent Abstract: Het onderzoek is gericht op de simulatie van chip-multiprocessors. Het opzet is om een techniek te vinden die het mogelijk maak tom veel sneller tot een nauwkeurig resultaat te komen. Om dit te realiseren wordt gezocht naar een methode om te beslissen welke stukken van de dynamisch uitgevoerde code gedetailleerd gesimuleerd worden en welke enkel functioneel. Organisaties: • Vakgroep Elektronica en informatiesystemen
Onderzoekers: • Koenraad De Bosschere
Saneren van databases. Universiteit Antwerpen Abstract: Het project beoogt de ontwikkeling van nieuwe databasetechnieken ter ondersteuning van sanering van data, metadata en datatransformaties. Saneren in deze context duidt op het identificeren en corrigeren van onvolledigheden, inconsistenties, onnauwkeurigheden en fouten. Organisaties: • Ontwikkeling database systemen (ADReM)
Onderzoekers: • Jan Paredaens
Saneren van databases. Universiteit Hasselt Abstract: Het project beoogt de ontwikkeling van nieuwe databasetechnieken ter ondersteuning van sanering van data, metadata en datatransformaties. Saneren in deze context duidt op het identificeren en corrigeren van onvolledigheden, inconsistenties, onnauwkeurigheden en fouten. Organisaties: • Databases en Theoretische Informatica
Onderzoekers:
• Frank NEVEN
Samenwerkingsovereenkomst voor indiening en uitvoering van het INTERREG IVA-project 'Revalidatierobotica II' binnen het Operationeel Programma INTERREG IVA Grensregio Vlaanderen-Nederland. Universiteit Hasselt Abstract: De gezamenlijke uitvoering van het project waarop deze samenwerkingsovereenkomst betrekking heeft: 'Revalidatie Robotica II'. Dit project vertrekt vanuit de resultaten van recent afgerond pilootproject in het kader van het INTERREG IIAA-programma voor de Euregio Benelux Middengebied (# 4-BMG-II-1=84). Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media
Onderzoekers: • Karin CONINX
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é
SAGA KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC
Onderzoekers: • Bart Preneel
SAFE-IS: Software Abstracties voor Event)Intensieve Systemen Vrije Universiteit Brussel Abstract: DOELSTELLINGEN EN VERWACHTTE RESULTATEN In het domein van gedistribueerde systemen worden programmeertalen en middleware al te vaak aanzien als concurrerende methoden voor het oplossen van gelijkaardige problemen. SAFE-IS veronderstelt dat een eenzijdige aanpak op basis van slechts één van deze methoden ontoerijkend is voor het oplossen van de bovenvermelde problemen. Enerzijds wordt het bijzonder moeilijk om de vluchtigheid en schaalgrootte van de geproduceerde informatie te vatten in middleware bovenop een klassiek thread-gebaseerd computationeel model. Anderzijds stellen we dat de eigenschappen van de onderliggende technologie te divers zijn om deze te abstraheren in een voorgedefiniëerde programmeertaal. SAFE-IS gaat daarom uit van een geïntegreerde aanpak waarin een innovatieve, zgn. "open" programmeertaal ingebed wordt in een reeds bestaande programmeertaal, dewelke uitgebreid wordt met een middleware-laag. Zowel de open programmeertaal als de middleware worden ondersteund door de nodige implementatie-technologie. Onderstaande figuur illustreert onze methodologie: L1 wordt een nieuwe programmeertaal specifiek ontworpen voor het omgaan met grote aantallen events in een vluchtige netwerkomgeving. L2 is een klassiek platform (bvb. Java) waarin zowel de implementatietechnologie van L1 als een nieuwe middlewareabstractielaag zullen geïmplementeerd worden. Het feit dat zowel L1 als de middleware bovenop L2 worden gebouwd laat toe om L1 in te bedden in L2 (zulke inbedding wordt ook wel "taalsymbiose" genoemd). Dit laat toe dat entiteiten in de taal L1 kunnen communiceren met de middleware geschreven in taal L2. Deze opstelling brengt ons bij de drie objectieven van SAFE-IS. Het is ons doel: * een reeks linguïstische abstracties te ontwerpen welke toelaten om grote vluchtige "wolken" van events voor te stellen en te manipuleren op een atomaire manier. We veronderstellen dat er operatoren kunnen worden gedefinieerd die op de wolk als geheel inwerken, gelijkaardig aan operatoren in arrayprogrammeertalen. Redeneren in termen van zulke "wolken" laat toe abstractie te maken over de continue veranderingen die optreden in deze verzamelingen omwille van de mobiliteit van Things. * een middleware-laag te bouwen die een grootschalig aantal events kan routeren, verzamelen en afleveren en dit in de context van mobiele Things met variërende semantische en spatio-temporele eigenschappen. De integratie tussen hoog-niveau taal en middleware wordt verzekerd door deze hoogniveau taal in te bedden in de implementatietaal van de middleware. * implementatietechnologie te ontwikkelen om zowel programmeertaal als middleware te ondersteunen. Ten eerste is er nood aan technologie die de software causaal verbindt met de fysieke wereld van verschijnende, verdwijnende en opnieuw verschijnende Things. Ten tweede willen we samengestelde events voorstellen aan de hand van automaten om wolken van events te kunnen omzetten naar reguliere verzamelingen zodat deze op een klassieke wijze kunnen verwerkt worden door sequentiële applicaties. ONDERZOEKSVRAGEN De drie bovenvermelde doelstellingen werpen elk een aantal cruciale vragen op: In de programmeertaal-abstractielaag: * Welke abstracties zijn geschikt voor het voorstellen en manipuleren van grote vluchtige wolken van Things en events? Bijvoorbeeld, hoe kan een applicatie die de gebruiker assisteert bij het winkelen alle producten voorstellen die geëtaleerd staan op nabije rekken? De programmeur zou hierbij niet moeten redeneren in termen van het individueel verschijnen en verdwijnen van Things. * Welke operatoren kunnen toegepast worden op zulke wolken? Hierbij kunnen we inspiratie vinden in array- en stream-gebaseerde programmeertalen waar programma's op arrays/streams in hun geheel werken eerder dan op hun individuele elementen. De uitdaging ligt hem in het verzoenen van deze traditionele operatoren met de vluchtigheid van de wolken waar zij nu op moeten opereren. In de middlewareabstractielaag: * Asynchroon communicerende Things vereisen een gedistribueerde event-coördinatieinfrastructuur die events kan routeren, filteren en afleveren. De vraag is hoe deze Things-events op een declaratieve manier geannoteerd kunnen worden met context-informatie zodanig dat ze op een correcte manier geïnterpreteerd kunnen worden door de applicaties die hen verwerken. * De event-coördinatieinfrastructuur moet events afleveren over vluchtige, wegvallende netwerkverbindingen. Hoe kan event-resolutie in zulke zelf-organiserende ad hoc netwerken ondersteund worden zodanig dat opstoppingen voor zgn. "time-critical" eventstromen vermeden kunnen worden? In de implementatielaag: * Complexiteit kan worden beheerst dankzij compositie en abstractie. In event-gebaseerde systemen wordt dit gerealiseerd door het definiëren en benoemen van samengestelde events. Het blijft echter een open vraag hoe het detecteren van samengestelde events dient te gebeuren in een context waarin events op een enorme schaal worden geproduceerd, en dit door Things die (tijdelijk) kunnen verdwijnen. * Hoe kunnen we technieken gebaseerd op automaten -- die reageren op elementaire events en een samengesteld event afvuren in hun eind-toestand -- laten schalen naar de schaalgrootte en vluchtigheid die het Internet of Things karakteriseren? Organisaties: • Informatica en Toegepaste Informatica
Onderzoekers: • WOLFGANG DE MEUTER
SAFE-IS: Software Abstracties voor event-Intensieve Systemen. Vrije Universiteit Brussel Abstract: DOELSTELLINGEN EN VERWACHTTE RESULTATEN In het domein van gedistribueerde systemen worden programmeertalen en middleware al te vaak aanzien als concurrerende methoden voor het oplossen van gelijkaardige problemen. SAFE-IS veronderstelt dat een eenzijdige aanpak op basis van slechts één van deze methoden ontoerijkend is voor het oplossen van de bovenvermelde problemen. Enerzijds wordt het bijzonder moeilijk om de vluchtigheid en schaalgrootte van de geproduceerde informatie te vatten in middleware bovenop een klassiek thread-gebaseerd computationeel model. Anderzijds stellen we dat de eigenschappen van de onderliggende technologie te divers zijn om deze te abstraheren in een voorgedefiniëerde programmeertaal. SAFE-IS gaat daarom uit van een geïntegreerde aanpak waarin een innovatieve, zgn. "open" programmeertaal ingebed wordt in een reeds bestaande programmeertaal, dewelke uitgebreid wordt met een middleware-laag. Zowel de open programmeertaal als de middleware worden ondersteund door de nodige implementatie-technologie. Onderstaande figuur illustreert onze methodologie: L1 wordt een nieuwe programmeertaal specifiek ontworpen voor het omgaan met grote aantallen events in een vluchtige netwerkomgeving. L2 is een klassiek platform (bvb. Java) waarin zowel de implementatietechnologie van L1 als een nieuwe middlewareabstractielaag zullen geïmplementeerd worden. Het feit dat zowel L1 als de middleware bovenop L2 worden gebouwd laat toe om L1 in te bedden in L2 (zulke inbedding wordt ook wel "taalsymbiose" genoemd). Dit laat toe dat entiteiten in de taal L1 kunnen communiceren met de middleware geschreven in taal L2. Deze opstelling brengt ons bij de drie objectieven van SAFE-IS. Het is ons doel: * een reeks linguïstische abstracties te ontwerpen welke toelaten om grote vluchtige "wolken" van events voor te stellen en te manipuleren op een atomaire manier. We veronderstellen dat er operatoren kunnen worden gedefinieerd die op de wolk als geheel inwerken, gelijkaardig aan operatoren in arrayprogrammeertalen. Redeneren in termen van zulke "wolken" laat toe abstractie te maken over de continue veranderingen die optreden in deze verzamelingen omwille van de mobiliteit van Things. * een middleware-laag te bouwen die een grootschalig aantal events kan routeren, verzamelen en afleveren en dit in de context van mobiele Things met variërende semantische en spatio-temporele eigenschappen. De integratie tussen hoog-niveau taal en middleware wordt verzekerd door deze hoogniveau taal in te bedden in de implementatietaal van de middleware. * implementatietechnologie te ontwikkelen om zowel programmeertaal als middleware te ondersteunen. Ten eerste is er nood aan technologie die de software causaal verbindt met de fysieke wereld van verschijnende, verdwijnende en opnieuw verschijnende Things. Ten tweede willen we samengestelde events voorstellen aan de hand van automaten om wolken van events te kunnen omzetten naar reguliere verzamelingen zodat deze op een klassieke wijze kunnen verwerkt worden door sequentiële applicaties. ONDERZOEKSVRAGEN De drie bovenvermelde doelstellingen werpen elk een aantal cruciale vragen op: In de programmeertaal-abstractielaag: * Welke abstracties zijn geschikt voor het voorstellen en manipuleren van grote vluchtige wolken van Things en events? Bijvoorbeeld, hoe kan een applicatie die de gebruiker assisteert bij het winkelen alle producten voorstellen die geëtaleerd staan op nabije rekken? De programmeur zou hierbij niet moeten redeneren in termen van het individueel verschijnen en verdwijnen van Things. * Welke operatoren kunnen toegepast worden op zulke wolken? Hierbij kunnen we inspiratie vinden in array- en stream-gebaseerde programmeertalen waar programma's op arrays/streams in hun geheel werken eerder dan op hun individuele elementen. De uitdaging ligt hem in het verzoenen van deze traditionele operatoren met de vluchtigheid van de wolken waar zij nu op moeten opereren. In de middlewareabstractielaag: * Asynchroon communicerende Things vereisen een gedistribueerde event-coördinatieinfrastructuur die events kan routeren, filteren en afleveren. De vraag is hoe deze Things-events op een declaratieve manier geannoteerd kunnen worden met context-informatie zodanig dat ze op een correcte manier geïnterpreteerd kunnen worden door de applicaties die hen verwerken. * De event-coördinatieinfrastructuur moet events afleveren over vluchtige, wegvallende netwerkverbindingen. Hoe kan event-resolutie in zulke zelf-organiserende ad hoc netwerken ondersteund worden zodanig dat opstoppingen voor zgn. "time-critical" eventstromen vermeden kunnen worden? In de implementatielaag: * Complexiteit kan worden beheerst dankzij compositie en abstractie. In event-gebaseerde systemen wordt dit gerealiseerd door het definiëren en benoemen van samengestelde events. Het blijft echter een open vraag hoe het detecteren van samengestelde events dient te gebeuren in een context waarin events op een enorme schaal worden geproduceerd, en dit door Things die (tijdelijk) kunnen verdwijnen. * Hoe kunnen we technieken gebaseerd op automaten -- die reageren op elementaire events en een samengesteld event afvuren in hun eind-toestand -- laten schalen naar de schaalgrootte en vluchtigheid die het Internet of Things karakteriseren? Organisaties: • Informatica en Toegepaste Informatica
Onderzoekers: • WOLFGANG DE MEUTER
SaaS4Cloud Enabling Software-As-A-Service in the evolution towards Cloud Computing. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Wouter Joosen
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
Robust Linear Model Predictive Control KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS
Onderzoekers: • Moritz Diehl • Adeleh Mohammadi
Roboguard : de mobiele virtuele bescherming.
Vrije Universiteit Brussel Abstract: Het doel van dit onderzoek is om een demonstratiemodel van RoboGuard te ontwikkelen. Deze robot heeft camera's en sensoren die ervoor zorgen dat er vanop afstand een controle kan uitgevoerd worden. Dit zal uitgebracht worden door Periphere, een SME die reeds berschikt over een volledig online beveiligingssysteem. Het project heeft als doel om een betaalbare technologie te ontwikkelen, die de overlast vaak veroorzaakt door vals alarm zal verminderen. Naar de alarmcentrales zullen de camerabeelden worden doorgestuurd, hierdoor kunnen ze op een juiste manier reageren. Organisaties: • Informatica en Toegepaste Informatica
Onderzoekers: • LUC STEELS
RITCHIE: een kenniscentrum voor mobiele ICT toepassingen binnen de erfgoed- en cultuurtoeristische sector. Universiteit Hasselt Abstract: De UHasselt, Het Provinciaal Gallo-Romeins Museum en de Provincie Limburg werken samen aan het EFRO-project 'RITCHIE'. RITCHIE wil een open demonstratie- en kenniscentrum voor mobiele ICT-toepassingen uitbouwen voor de erfgoedsector en het cultuurtoerisme. Via dit kenniscentrum worden potentiële aanbieders geïnformeerd over de diverse aspecten die van belang zijn voor een mobiele ICT-toepassing voor de ontsluiting van erfgoed. Mobiliteit, sociale interactie, personalisatie en lokalisatie vormen de krachtlijnen in dit kennisdomein. Het project vloeit voort uit het onderzoeksproject Archie (mei 2005 - augustus 2008). Uit contacten met de ruime erfgoed- en cultuurtoeristische sector, naar aanleiding van het Archieproject (R-0981), blijkt de nood aan advies over inzet en bruikbaarheid van mobiele ICT-toepassingen en een goede afstemming van dergelijke technologieën op de doelomgeving. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media
Onderzoekers: • Karin CONINX • Kris LUYTEN
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
Richtlijnen ter verbetering van het testproces tijdens software onderhoud. Universiteit Antwerpen Abstract: Het doel van dit project is het opstellen van een efficient proces voor het onderhouden van software tests, waarbij gedetecteerde problemen in de test code aan de hand van testonderhoudspatronen worden opgelost. Het primaire scenario dat we daarbij voor ogen houden is een selectieve verbetering van de test code als onderhoudsstap alvorens een change request te implementeren. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)
Onderzoekers: • Serge Demeyer • Bart Van Rompaey
RIA-GRACeFUL KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Tom Schrijvers
Research overeenkomst tussen UGent en Actuate Corporation Universiteit Gent Abstract: Het project omvat het in kaart brengen van het intellectueel eigendom van iText, een JAVA-PDF library (oorspronkelijk aan UGent ontwikkeld door Bruno Lowagie), met het oog op integratie in het product Eclipse/BIRT dat door Actuate ontwikkeld wordt alsook onderzoek en ontwikkeling van nieuwe functionaliteit voor dit Business Intelligence en Reporting Tool (met de focus op, maar niet beperkt tot PDF). Organisaties: • Vakgroep Toegepaste wiskunde en informatica • Directie Onderzoeksaangelegendheden
Onderzoekers: • Kris Coolsaet • Danny Schellemans
Requirements analysis and modelling recommendations through semantic text mining. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • OG LIRIS Leuven
Onderzoekers: • Monique Snoeck • Gayane Sedrakyan
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
Representatie van kennis en behandeling van databankproblemen van tijdruimtelijke gevens: een calculus benadering voor de voorstelling van kennis over trajecten. Universiteit Hasselt Abstract: In dit project wordt de expertise van zowel geografen (UGent) als informatici (LUC) gecombineerd om de aspecten van tijdruimtelijke fenomenen te bestuderen in de vakgebieden reasoning en data management. De centrale probleemstelling is: 'Hoe kan een beweging adequaat in een kwalitatieve calculus worden beschreven waarbij zowel de representatie van gegevens en kennis, als het bevragen van de gegevens worden ondersteund?' Organisaties: • Databases en Theoretische Informatica
Onderzoekers: • Bart KUIJPERS
Representatie van en algoritmen voor captatie, visualisatie en manipulatie van bewegende 3D objecten, subjecten en taferelen. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Philip Dutré • Tinne Tuytelaars
Reporting of genome sequencing results in a clinical setting. KU Leuven Abstract: In het laatste decennium hebben we een enorme evolutie gezien in de menselijke genetica. Met de opkomst van nieuwe technieken om het menselijk genoom te sequeneren is het mogelijk om naar een volledig genomisch beeld te gaan. Bovendien worden steeds meer aandoeningen geassocieerd met specifieke mutaties in het DNA. De combinatie van beide evoluties zullen in de komende jaren leiden tot een belangrijke rol voor de sequenering van het volledige genoom binnen de gezondheidszorg. Wij geloven dat dit zal leiden tot een nieuw domein van preventieve genomica dewelke informatie van de DNA sequentie zal gebruiken om de gezonde levensduur van mensente verlengen. Met de informatie die uit het genoom gehaald kan worden, is het mogelijk om het optreden van bepaalde aandoeningen tijdig te ontdekken en op deze manier ook tijdig in te grijpen. Voor andere leeftijdsgebonden aandoeningen kan een verandering in levensstijl het optreden vande aandoening uitstellen of zelfs voorkomen. Ook voor het gebruik Organisaties: • Afdeling ESAT - STADIUS
Onderzoekers: • Jan Aerts • Raf Winand
Regulatie van bacteriële auxine biosynthese. Universiteit Antwerpen Abstract: Auxinen, en meer specifiek indool-3-azijnzuur, worden aangemaakt in planten, schimmels en bacteria. Enkel voor planten is de fysiologische rol en de signaaltransductiecascade intens bestudeerd. De regulatie van de auxinebiosynthese is echter weinig begrepen. Het voorgestelde project beoogt de regulatie van IAA-biosynthese in Azospirillum brasilense te ontrafelen. Hiertoe worden experimenten op 3 niveaus uitgvoerd: (1) regulatie van ipdC genexpressie, (2) biochemische studie van het gezuiverde IPyA-decarboxylase en (3) kwantitatieve analyse van IAA metabolieten en mRNA's, overeenkomend het het IPyA-decarboxylase en regulatoreiwitten betrokken bij de ipdC expressie,onder strikt gecontrolleerde omgevingsomstandigheden. Organisaties: • Plantenbiochemie • Plantengroei en -ontwikkeling
Onderzoekers: • Els Prinsen
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
Reflectieve Ondersteuning voor herconfiguratie van Context-afhankelijke Softwareaanpassingen(RECOCO). Vrije Universiteit Brussel Abstract: Doelstelling Het ondersteunen van dynamische aanpasbaarheid van software in specifieke uitvoeringscontexten (b.v. in specifieke uitvoeringssporen, sessies of collaboraties tussen meerdere objecten) wordt steeds belangrijker voor hedendaagse gedistribueerde toepassingen. Context-georiënteerd programmeren (COP) [12] biedt taalconstructies voor het uitvoeren van dergelijke context-afhankelijke aanpassingen. Het is echter belangrijk dat tijdens deze context-afhankelijke aanpassingen de globale toestandsconsistentie [6] van het softwaresysteem ten alle tijde
bewaard wordt. Alhoewel, context-afhankelijke aanpassingen inherent atomisch zijn wat betreft toevoegingen van programmacode[5], bestaat er geen automatisch mechanisme om de toestand van softwareprogramma's consistent te houden. Bijgevolg, moet de softwareontwikkelaar, zonder enige methode of richtlijn, hiervoor complexe applicatie-specifieke logica aan de programma's toevoegen. Dit project heeft twee aan elkaar verbonden doelstellingen: (i) de beschrijving van de fundamenten van COP zodat men systematisch kan redeneren over de consistentie van een een gedistribueerd systeem tijdens contextafhankelijke aanpassingen, en (ii) op basis van dit fundament, de creatie van een reflectieve architectuur voor COP talen zodat consistentieconflicten op een gemakkelijke wijze opgelost kunnen worden door de softwareontwikkelaar. Organisaties: • Software Language Lab • Informatica en Toegepaste Informatica
Onderzoekers: • YVES VANDRIESSCHE • PASCAL COSTANZA • THEO D'HONDT
Refactoren in talen met ondersteuning voor multi-dimensional separation of concerns. Universiteit Antwerpen Abstract: Dit project heeft als doel refactoring te bestuderen voor talen met ondersteuning voor "multi-dimensional separation of concerns" (MDSoC), waaronder aspectgeoriënteerde en contextgeoriënteerde talen. MDSoC talen bieden krachtige constructies om software op een betere manier op te delen in verschillende concerns, waardoor het makkelijker wordt om software te ontwikkelen en te onderhouden. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)
Onderzoekers: • Dirk Janssens • Tim Molderez
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
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
Redeneren over Coroutines. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Daniel De Schreye
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
Redeneren met Incomplete RDF Databases in het Semantic Web Universiteit Antwerpen Abstract: Met dit project beogen we het probleem van het voorstellen van en redeneren met incomplete informatie voor RDF voor de semantic web vision aan te pakken. Het betreft een onverkende maar belangrijke vraagstuk voor zowel het onderzoek naar databases als naar het onderzoek van het semantic web. We beogen ons onderzoeksprogramma op te splitsen in drie autonome maar met elkaar gerelateerde modules met elk hun eigen uitkomsten. Ten eerste bestuderen we de semantiek van onvolledige RDF databases; ten tweede bestuderen we het probleem van query answering en de complexiteit hiervan en ten derde leggen we efficiënte mechanismen en methodes voor voor het verkrijgen van antwoorden van onvolledige RDF documenten. We menen dat we door het behandelen van deze kwesties een belangrijke/ substantiële bijdrage kunnen leveren aan de uitvoering van Tim Berners-Lee's semantic web vision. De verzochte fondsen zullen voornamelijk aangewend worden voor het bezoeken van gerenommeerde onderzoekscentra en/of het uitnodigen van gerennomeerde professoren met het oog op samenwerking. Ten slotte zullen de fondsen toegekend door het BOF 'Klein Project' het de promotor mogelijk maken om de internationale aantrekkingskracht en visibiliteit van de Universiteit Antwerpen, en van de ADREM-groep in het bijzonder, te versterken. Organisaties: • Ontwikkeling database systemen (ADReM)
Onderzoekers: • Álvaro Cortés Calabuig
