www.researchportal.be - 14 Feb 2016 19:43:22
Onderzoeksprojecten (100 - 150 van 716) Zoekfilter: Classificaties: Computerwetenschappen, numerieke analyse, systemen, controle
Signal Processing Algorithms for Implantable Hearing Instruments KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS
Onderzoekers: • Marc Moonen • Giuliano Bernardi
SGI MIX-ICON e-Strips Universiteit Gent Abstract: e-Strips SGI MIX-ICON e-Strips Het doel van het project is om een digitaal open e-Strips platform te bouwen waar zowel de meest recente als de long tail van oude strips wordt aangeboden. iMinds Organisaties: • Vakgroep Informatietechnologie
Onderzoekers: • Luc Martens
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
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.
"Separation of Concerns" bij Hoog-Niveau Softwaremodellen. Universiteit Antwerpen Abstract: De doelstelling van dit project is het uitwerken van weaving technieken op modelniveau, vertrekkende van het werk over modeltransformaties binnen MDA. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)
Onderzoekers: • Dirk Janssens • Serge Demeyer • Hans Schippers
"Separation of Concerns" bij Hoog-Niveau Softwaremodellen. Universiteit Antwerpen Abstract: "Separation of Concerns" bij Hoog-Niveau Softwaremodellen. Organisaties: • Antwerp Systems and software Modelling (AnSyMo)
Onderzoekers: • Dirk Janssens • Serge Demeyer • Hans Schippers
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
(Semi-)automatische aggregatie van content. KU Leuven Abstract: In dit project bestuderen we een generische aanpak voor het assemblerenen sequentiëren van digitale content, aangepast aan de noden en wensen van gebruikers. Meer specifiek zal er onderzoek verricht worden naar hetafleiden van hergebruik- en sequentiepatronen van content aggregaties en modellering van metadata over gebruikers om personalisering mogelijk te maken. Met dit basisonderzoek beoogt het project het ondersteunen van semi-automatische samenstellingen van inhoudscomponenten, met een bijzondere nadruk op de inzet van een dergelijke methodologie op reeds bestaande inhoud, om dynamische aggregatie op grote schaal mogelijk te maken. De aanpak zal gevalideerd worden in twee applicatiedomeinen: technology enhanced (human) learning (TEL) en music information retrieval (MIR). In het TEL-domein omvat het aggregatieproces de selectie en sequentiebepaling van relevant leermateriaal in een leertraject. In het MIR-domein kan semi-automatische aggregatie toegepast worden om muziekafspeellijst Organisaties: • Afdeling Informatica
Onderzoekers: • Erik Duval • Katrien Verbert
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
Segmentatie van meerwaardige beelden. Universiteit Antwerpen Abstract: De klassieke beeldverwerking en analyse technieken zijn ontwikkeld op scalaire beelden. Bij de vorming van beeldinformatie komen echter steeds vaker meerwaardige beelden voor. In tegenstelling tot scalaire beelden, waar iedere pixel een grijswaarde bevat, bevatten de pixels van deze beelden vectoriële informatie. Voorbeelden hiervan zijn kleurbeelden, multispectrale beelden en multimodale biomedische beelden. In het volledige beeldanalyse proces vormt segmentatie een belangrijk onderdeel, omdat hiermee complexe lage-orde pixelgebaseerde informatie wordt omgezet in regio-gebaseerde hogere-orde informatie, die toelaat om de beeldinformatie efficiënter te analyseren. Beeldrestauratie vormt hierbij een belangrijke voorverwerking, omdat homogene beelden, waar ruis werd verwijderd, eenvoudiger te segmenteren zijn. Het doel van dit project is het ontwikkelen van een nieuwe techniek voor segmentatie van meerwaardige beelden. De techniek bevat eveneens een voorverwerkingsprocedure voor het reduceren van de eventueel aanwezige ruis. Deze techniek zal gebaseerd zijn op de combinatie van de volgende drie principes: ¿Interband aanpak: Door alle banden gezamenlijk te verwerken, wordt voor de restauratie en segmentatie gebruik gemaakt van zowel de spatiale als de spectrale informatie. Op die manier wordt de aanwezige informatie maximaal benut. ¿Multiresolutie aanpak: Multiresolutie technieken zoals de wavelet transformatie ontwikkelen een beeld in verschillende resolutieschalen. Restauratie is nuttig in deze representatie omdat de ruisamplitude typisch afneemt bij de lagere resolutieschalen. Voor segmentatie kan met hiërarchische procedures een ruwe segmentatie op lagere resolutieschalen gebruikt worden om fijnere segmentatie op hogere resolutieschalen te bekomen. ¿Model gebaseerde aanpak: Een a-priori model wordt verondersteld voor de waarschijnlijkheidsverdeling (pdf) van pixels. De parameters van het model worden geschat aan de hand van de beschikbare beelden. Deze gegevens kunnen worden gebruikt voor restauratie en segmentatie. Het tweede deel van dit project omvat de validatie van de ontwikkelde technieken. Deze validatie gebeurt op een tweetal zeer diverse domeinen met realistische toepassingen:
¿Multispectrale beelden (aardobservatie). Via samenwerking van Visielab met de afdeling Teledetectie en Atmosferische Processen (TAP) van het VITO zijn er multispectrale en hyperspectrale validatiegegevens ter beschikking met toepassingen in bosbeheer, vegetatiemonitoring, bodemverontreiniging met zware metalen, enz... ¿Multimodale biomedische beelden. Visielab heeft een samenwerking met de onderzoeksgroep 'Bio-imaging Lab' van de Universiteit Antwerpen, waar biomedisch onderzoek wordt gedaan met behulp van magnetische beeldvorming (MRI). Organisaties: • Visielab
Onderzoekers: • Paul Scheunders • Jef Driesen
Segmentatie van meerwaardige beelden. Universiteit Antwerpen Abstract: De klassieke beeldverwerking en analyse technieken zijn ontwikkeld op scalaire beelden. Bij de vorming van beeldinformatie komen echter steeds vaker meerwaardige beelden voor. In tegenstelling tot scalaire beelden, waar iedere pixel een grijswaarde bevat, bevatten de pixels van deze beelden vectoriële informatie. Voorbeelden hiervan zijn kleurbeelden, multispectrale beelden en multimodale biomedische beelden. In het volledige beeldanalyse proces vormt segmentatie een belangrijk onderdeel, omdat hiermee complexe lage-orde pixelgebaseerde informatie wordt omgezet in regio-gebaseerde hogere-orde informatie, die toelaat om de beeldinformatie efficiënter te analyseren. Beeldrestauratie vormt hierbij een belangrijke voorverwerking, omdat homogene beelden, waar ruis werd verwijderd, eenvoudiger te segmenteren zijn. Het doel van dit project is het ontwikkelen van een nieuwe techniek voor segmentatie van meerwaardige beelden. De techniek bevat eveneens een voorverwerkingsprocedure voor het reduceren van de eventueel aanwezige ruis. Deze techniek zal gebaseerd zijn op de combinatie van de volgende drie principes: ¿Interband aanpak: Door alle banden gezamenlijk te verwerken, wordt voor de restauratie en segmentatie gebruik gemaakt van zowel de spatiale als de spectrale informatie. Op die manier wordt de aanwezige informatie maximaal benut. ¿Multiresolutie aanpak: Multiresolutie technieken zoals de wavelet transformatie ontwikkelen een beeld in verschillende resolutieschalen. Restauratie is nuttig in deze representatie omdat de ruisamplitude typisch afneemt bij de lagere resolutieschalen. Voor segmentatie kan met hiërarchische procedures een ruwe segmentatie op lagere resolutieschalen gebruikt worden om fijnere segmentatie op hogere resolutieschalen te bekomen. ¿Model gebaseerde aanpak: Een a-priori model wordt verondersteld voor de waarschijnlijkheidsverdeling (pdf) van pixels. De parameters van het model worden geschat aan de hand van de beschikbare beelden. Deze gegevens kunnen worden gebruikt voor restauratie en segmentatie. Het tweede deel van dit project omvat de validatie van de ontwikkelde technieken. Deze validatie gebeurt op een tweetal zeer diverse domeinen met realistische toepassingen: ¿Multispectrale beelden (aardobservatie). Via samenwerking van Visielab met de afdeling Teledetectie en Atmosferische Processen (TAP) van het VITO zijn er multispectrale en hyperspectrale validatiegegevens ter beschikking met toepassingen in bosbeheer, vegetatiemonitoring, bodemverontreiniging met zware metalen, enz... ¿Multimodale biomedische beelden. Visielab heeft een samenwerking met de onderzoeksgroep 'Bio-imaging Lab' van de Universiteit Antwerpen, waar biomedisch onderzoek wordt gedaan met behulp van magnetische beeldvorming (MRI Organisaties: • Visielab
Onderzoekers: • Paul Scheunders • Jef Driesen
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
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 geometriereconstructie 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
Scenariogebaseerde optimalisatie en verificatie van data-afhankelijke controleverloop Universiteit Gent Abstract: Het doel van dit onderzoeksproject is het exploiteren van scenario's, d.i. invoerafhankelijk programmagedrag, voor compileroptimalisaties en transformatieverificatie. Organisaties: • Vakgroep Elektronica en informatiesystemen
Onderzoekers: • Koenraad De Bosschere • Lieven Eeckhout
SB Stefan Bouckaert - Ontwerp en realisatie van een cross-layer geoptimaliseerde hybride draadloze mesh architectuur Universiteit Gent Abstract: Het voorgestelde onderzoek heeft het realiseren van performante netwerkprotocollen voor de hybride mesh ad hoc architectuur tot doel. De ideale routerings-, transport- en datalinkprotocollen voor een dergelijk netwerk moeten ten volle de heterogeniteit van de netwerkknopen uitbuiten. Om met deze complexiteit te kunnen omgaan zullen diverse cross-layer optimalisatietechnieken ontwikkeld worden. Organisaties: • Vakgroep Informatietechnologie
Onderzoekers: • Ingrid Moerman
SB Sean Rul - Speculatieve parallellisatie van ééndradige programma's in een multi-core omgeving Universiteit Gent Abstract: De opkomst van de multi-cores levert geen prestatiewinst op voor heel wat sequentiële programma's. De doelstelling bestaat er dan ook in om meerdere kernen in een multi-core aan te wenden voor het versnellen van ééndradige programma's dmv speculatieve parallellisatie waarbij de architecturale ondersteuning in de multi-core tot een minimum beperkt blijft. Organisaties: • Vakgroep Elektronica en informatiesystemen
Onderzoekers: • Koenraad De Bosschere
SB Michiel D'Haene - Paralelle event-gebaseerde emulatie van gepulste neurale netwerken in hardware Universiteit Gent Abstract: Event-gebaseerde simulatie is een techniek waarmee gepulste neurale netwerken (GNN) efficient gesimuleerd kunnen worden. Omdat met de huidige sequentiële algoritmes een groot deel van het inherente parallellisme in GNN onbenut blijft, zal in dit onderzoek een parallelle (hardware vriendelijke) simulator ontwikkeld worden teneinde ware tijdsemulatie van grote GNN mogelijk te maken. Organisaties: • Vakgroep Elektronica en informatiesystemen
Onderzoekers: • Dirk Stroobandt
SB Maria Chtepen - Dynamische scheduling in grid-systemen Universiteit Gent Abstract: Het onderzoek behelst het ontwerp en evaluatie van algoritmen om grid infrastructure at runtime te schedulen. Deze aanpak laat toe om jobs van grid site te verplaatsen, af te breken of opnieuw op te starten. Hiermee kan een robuster gridsysteem gerealiseerd worden, of kunnen alternatief kwaliteitsgaranties ivm uitvoeringssnelheid gegeven worden. Organisaties: • Vakgroep Informatietechnologie
Onderzoekers: • Bart Dhoedt
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
SB David Verstraeten - Reservoir Computing voor praktische toepassingen Universiteit Gent Abstract: Reservoir Computing is een nieuwe techniek binnen de neurale netwerken die toelaat om complexe temporele problemen op te lossen met behulp van eenvoudige classificatiealgoritmen. Dit onderzoek tracht meer inzicht te bieden in de werking van dergelijke systemen, om de praktische toepasbaarheid ervan te verhogen. Organisaties: • Vakgroep Elektronica en informatiesystemen
Onderzoekers: • Dirk Stroobandt
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é
Robuuste rittenplanning - Wisselwerking tussen edge- en node-optimalisatie KU Leuven Abstract: The focus of this PhD project is on acquisition systems that can acquire audio signals with satisfying quality from a distance. Since the system is expected to cover a relatively large environment an acoustic sensornetwork will be adopted. The research will involve the selection of hardware and the design of adequate signal preprocessing algorithms ensuring that the desired audio signal can reach its final processing system (e.g. classification machinery) in good order. The combination of the results of the individual acoustic sensing nodes allows to isolate desired signals from noise sources and to mitigate reverberation effects. Organisaties: • Computerwetenschappen Kulak
Onderzoekers: • Patrick De Causmaecker • Bart Vanrumste • Peter Karsmakers • Jan Christiaens
Robuuste modellering en optimalisering in stochastische processen met imprecieze waarschijnlijkheden, met toepassingen in wachtlijnen Universiteit Gent Abstract: In dit project wordt het paradigma van imprecieze probabiliteiten (expertise 1e promotor) toegepast op stochastische processen die traditioneel enkel met gewone, d.i. precieze, probabiliteitstheorie worden beschreven. De hoofdtoepassing zijn processen zoals die voorkomen in wachtlijnensystemen (expertise 2e en 3e promotor). De nieuwe behandeling laat toe het geloof te bemeten dat we kunnen stellen in klassieke wachtlijnanalyse wanneer modelonzekerheid optreedt. Organisaties: • Vakgroep Technische bedrijfsvoering
Onderzoekers: • Stijn De Vuyst
Robuuste inferentie en technieken voor modelselectie Universiteit Gent Abstract: Het ontwikkelen en bestuderen van robuuste inferentietechnieken en robuuste methoden voor het construeren en selecteren van statistische modellen. Robuuste methoden en technieken voor hoogdimensionele gegevens worden ontwikkeld. Hierbij zijn zowel de graad van robuustheid als een efficiente rekentijd belangrijke factoren. Organisaties: • Vakgroep Toegepaste wiskunde en informatica
Onderzoekers: • Stefan Van Aelst
Robuuste constructie en selectie van statitische modellen voor grote, hoogdimensionale collecties van gegevens Universiteit Gent Abstract: Ontwikkelen van robuuste methoden voor het construeren en selecteren van modellen die geschikt zijn bij zeer grote steekproefomvan en hoge dimensies. Hiervoor zal ondermeer gebruik gemaakt worden van robuuste bootstraptechnieken. Robuuste versies van variabelen selectietechnieken zullen ontwikkeld worden. Schattingsmethoden die computationeel geschikt zijn voor zeer grote steeproeven en/of efficient zijn in hoge dimensies zullen ontwikkeld worden. Organisaties: • Vakgroep Toegepaste wiskunde en informatica
Onderzoekers: • Stefan Van Aelst
Robust statistics KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Statistiek
Onderzoekers: • Stefan Van Aelst • Kris Peremans
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 process analytical methods for industrial pratctice and their validation. Vrije Universiteit Brussel
Abstract: De voornaamste objectieven van dit project zijn : - werktuigen voor methodenvalidatie in een industriele context voor te stellen die onderzocht werden en aanvaard door belangrijke Europese industrieen, om op die wijze Europese standardizatie te bevorderen - betere methodenvalidatie procedures voor (multivariate) procesanalyse methoden te ontwerpen.Deze objectieven zullen gerealiseerd worden door het beschikbaar maken van gedetailleerde validatieprocedures en statistische pakketten, die nieuwe of aangepaste algoritmen bevatten. Organisaties: • Analytische Scheikunde en Farmaceutische Technologie
Onderzoekers: • DESIRE MASSART
Robust Linear Model Predictive Control KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS
Onderzoekers: • Moritz Diehl • Adeleh Mohammadi
Robust And Computationnal Statistics. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Statistiek
Onderzoekers: • Mia Hubert • Kaveh Vakili
Robust analysis of functional data KU Leuven Abstract: The intended research will mainly focus on functional data in the possible presence of outlying curves. The multivariate functional depth that was recently proposed by Claeskens et al. (2013) will be an important corner stone. Research will be performed on the subject of supervised and unsupervised classification for functional data. Also robust warping androbust functional principal component analysis will be explored. In order to advance in these subjects, not only simulations and theoretical work will be performed, but also applications on real data sets will be pursued. Organisaties: • Afdeling Statistiek
Onderzoekers: • Mia Hubert • Tim Verdonck • Pieter Segaert
Risk Management of Contingent Convertible Portfolios KU Leuven Abstract: Centraal in dit onderzoek staan de Contingent Convertible Notes (CoCos). CoCos zijn hybride financiële instrumenten die worden omgezet in aandelen of worden afgeschreven wanneer een trigger gebeurtenis voorvalt. Deze gebeurtenis is vaak gedefinieerd in termen van de Core equity Tier 1 ratio (CET1) van de bank in combinatie met een regulators beslissing.Het eerste deel van het onderzoek focust op de afhankelijkheid van CoCos en het risico managen van een portfolio bestaande uit hoog gecorreleerde CoCo obligaties en/of andere hybride instrumenten. Bij de data-analyse onderzoeken we eerst de correlaties van de historische prijzen van CoCos. In een verder stap worden de afhankelijkheidsstructuren gemodelleerd door copulas. Voorbeelden hiervan zijn de Gauss copula maar ook meergesofisticeerde copula families komen aan bod. Speciaal aandacht wordt gegeven aan de afhankelijkheid structuur of copula die in zekere zin meer extreme zijn. Het annuleren van coupons van CoCos wordt in hettweede dee Organisaties: • Afdeling Statistiek
Onderzoekers: • Wim Schoutens • Ine Marquet
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
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
Reinsurance: Optimal Combinations of Reinsurance Protections and Benchmarking of Excess of Loss Rates KU Leuven Abstract: In reality the reinsurance protection of an insurance portfolio most often is not limited to one reinsurance type such as quota share, surplus,excess of loss or stop loss, but is organized through a combination of several methods of protection, a so-called reinsurance program. We analyze optimal combinations of reinsurance programs for a given portfolio based on the #mean#variance# optimization criterion. Further, a method for determining benchmark rates for excess of loss reinsurance based on observed market rates are developed. The rates are assumed to be based on a compound process with a heavy tailed severity. In the absence of claimdata these assumptions propagate the theoretical benchmark rate component of a regression model. The regression models are based both on fixed parameters and on random factors, and allow that individual benchmark curves are derived. Organisaties: • Afdeling Statistiek
Onderzoekers: • Jan Beirlant • Jan Dhaene • Robert Verlaak
Regressie met multicollineariteit en uitschieters. Universiteit Antwerpen Abstract: Bij statistische analyses dient men rekening te houden met het feit dat sommige variabelen sterk gecorreleerd kunnen zijn (multicollineariteit) en dat sommige observaties een abnormaal gedrag kunnen vertonen (uitschieters). De bedoeling van dit onderzoek is om robuuste versies te ontwikkelen van verschillende regressie methoden die bedoeld zijn voor multicollineaire data, zoals Partial Least Squares, Principal Component Regression en Parallel Calibration. In het bijzonder zullen toepassingen bestudeerd worden met een groot aantal variabelen, zoals in de chemometrie (spectra) en in financiële data. Organisaties: • Statistiek en gegevensanalyse • Robuuste en toegepaste statistiek
Onderzoekers: • Peter Rousseeuw • Sabine Verboven
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
Regeling van broeikasgassemissies bij rioolwaterzuiveringsinstallaties Universiteit Gent Abstract: Doel van dit onderzoek is het regelen van processen betrokken bij de behandeling van afvalwater, met het oog op de reductie van CH4 and N20 emissies. De belangrijkste doelstellingen zijn: - begroting van de emissies (op laboschaal en volleschaal) - identificatie an onderliggende mechanismen van broeikasgasproductie - deze kennis vertalen in een wiskundig model - ontwikkeling en validatie van gepaste regelstrategieën Organisaties: • Vakgroep Biosysteemtechniek
Onderzoekers: • Eveline Volcke
Reestablishing smoothness for matrix manifold optimization via resolution of singularities KU Leuven Abstract: Optimalisatie is een onderzoeksgebied dat toepassingen bezit in zowat elk domein. Als voorbeeld beschouwen we het matrix geometrisch gemiddelde. Voor reele getallen is dit gemiddelde de nde machtswortel van het product van de n getallen. Voor matrices bestaat er echter geen eenvoudige uitdrukking voor het gemiddelde doordat ze niet commuteren (het product AB is niet noodzakelijk gelijk aan het product BA). Om dit probleem to omzeilen, beschouwen we de matrices als elementen op een gekromd oppervlak. We berekenen het matrix gemiddelde door een optimalisatieprobleem op dit oppervlak op te lossen. Hierbij trachten we traditionele optimalisatietechnieken te veralgemenen, rekening houdend met de bijkomende moeilijkheden die we ondervinden op deze gekromde oppervlakken, afkomstig van specifieke matrixstructuren. Een belangrijk aspect van het doctoraat is omde structuur van de matrixruimten maximaal uit te buiten en technieken te ontwerpen die kunnen omgaan met gaten in het gekromde oppervlak Organisaties: • Afd. Numer. Analyse en Toeg. Wiskunde
Onderzoekers: • Johannes Nicaise • Raphaël Vandebril • Ben Jeuris
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 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
Reconstructie en karakterisatie van vormen. Universiteit Antwerpen Abstract: Vormreconstructie en vormkarakterisatie van een object zijn problemen die veelvuldig opduiken in ingenieurstoepassingen en in computer visie. Belangrijke instrumenten bij het oplossen van een reconstructie- of karakterisatieprobleem zijn momenten en Fourier descriptors. Beide hebben in deze context hun sporen reeds verdiend. Uit de literatuur over de reconstructie van vormen op basis van momenten, kan men zien dat, tot zeer recent, het oplossen van dit inverse probleem aangevat werd met in essentie 1-dimensionale technieken in een enkele complexe variabele, wat een aantal ernstige beperkingen oplegt aan én de vorm van het object én de dimensionaliteit van het probleem. Onze doelstelling bestaat erin enerzijds het 3-dimensionale probleem verder te onderzoeken, gebruik makende van echte multidimensionale technieken, en anderzijds de huidige restricties weg te werken, opgelegd aan de vorm van het te reconstrueren object. Met betrekking tot Fourier descriptors (FDs), wanneer gebruikt voor de karakterisatie van vormen, zijn er eveneens een heel aantal open problemen. Twee-dimensionale (2D) FDs worden sinds de jaren '70 gebruikt voor de karakterisatie van contours van 2D objecten. Tijdens de jaren '90 werden methoden ontwikkeld voor de berekening van 3D FDs voor de karakterisatie van het oppervlak van binaire objecten. De complexiteit van bestaande methoden laat echter te wensen over, in het bijzonder als het aantal hoekpunten van het polyhedrale object groot is (>5000). In het algemeen worden 3D FDs berekend door het polyhedron dat het object beschrijft, af te beelden op een boloppervlak, waarna dit wordt geexpandeerd in sferische harmonische functies. Deze afbeelding van de objectruimte (oppervlak) naar de parameterruimte (bol) is niet triviaal. Ons doel bestaat erin om een robuste methode te ontwikkelen die deze afbeelding implementeert op een efficiente wijze, zodanig dat de tijdscomplexiteit een lineaire functie is van het aantal hoekpunten. Organisaties: • Emerging computational techniques (ECT)
Onderzoekers: • Brigitte Verdonk • Dirk Van Dyck • Jan Sijbers • Annie Cuyt
Rationale modellering : optimale conditionering en stabiele algoritmen. Universiteit Antwerpen Abstract: Veel toepassingen kunnen geformuleerd worden als een benaderingsprobleem: voor gegeven data moet een model gevonden worden dat deze data "volgt" .Daarenboven worden voor veel van die benaderingsproblemen rationale modellen gebruikt. We denken hierbij, zonder volledig te \villen zijn, aan signaal- en beeldverwerking, vormreconstructie, computer graphics, de berekening van prestatiematen in de telecommunicatie, electromagnetische metamodellen , de optimalisatie van economische modellen , CAD/CAM, quantum computing enz. Voor verschillende van deze rationale modelleringsproblemen hangen de data af van meerdere veranderlijken of/en zijn de data op zich matrices van waarden. Dl. De data Hoe goed het model aan de opgelegde voorwaarden, voortkomend uit de data, moet voldoen, hangt af van de context. Bij minder nauwkeurige data, zoals deze afkomstig van metingen onderhevig aan ruis, moeten zelfs niet noodzakelijk alle gegevens gebruikt worden. Bij een continu benaderingsprobleem wordt de aansluiting van het model aan de gegevens gemeten met behulp van een functienorm. In weer an- dere omstandigheden kunnen discrete data zeer nauwkeurig berekend worden, maar soms ten koste van een erg rekenintensief proces. Een mogelijke rol van het model is dan om een voldoende nauwkeurige maar vereenvoudigde voorstelling van dat numeriek proces te geven. AIs de datapunten slechts geleidelijk aan beschikbaar worden, dan kunnen ze op een recursieve manier aan het modelleringsprobleem toege- voegd worden. In alle gevallen speelt ook een rol of de datapunten vastliggen of hun locatie tijdens de berekeningen kan gekozen worden. D2. Het model Blijft nog over, de keuze van het model. De parameters van bet model worden berekend uit voorwaarden die volgens een gekozen criterium bet modelleren van de data vertolken. Veeltermen en splines zijn als model redelijk populair en eenvoudig te gebruiken. In de context van een toe passing waarbij een bepaald asymptotiscb gedrag gemodelleerd moet worden, zijn nocb veeltermen nocb splines ecbter bruikbaar omdat zij steeds naar oneindig gaan. Zij kunnen evenmin drastiscbe wijzigingen in de functiewaarde vat ten. In deze omstandigbeden is het gebruik van rationale modellen aan te raden. Wanneer geen specifiek gedrag vereist wordt, vereenvoudigt daarenboven bet rationale model zicb tot een polynomiaal model. In een line air dynamisch systeem, varierend in de tijd, evolueren de coefficienten van bet model in de tijd. Op die manier wordt
een 1-dimensionaal probleem soms boger-dimensionaal. Organisaties: • Computationele wiskunde
Onderzoekers: • Brigitte Verdonk • Annie Cuyt
Rationale Krylov methodes voor niet-lineaire eigenwaardenproblemen KU Leuven Abstract: The aim of the PhD project it to develop, analyze and apply new numerical methods for the analysis and control of large-scale nonlinear dynamical systems, which are explicitly or implicitly based on low-order approximations. The approach is at the intersection of numerical linear algebra and optimization, and relies on embedding nonlinear problems into infinite-dimensional linear problems, projection techniques (in particular rational Krylov methods) and solving large-scale Lyapunov equations. Applications are mainly envisaged in the area of systems and control. Particular attention will be paid to distance problems in linear algebra, which lie at the basis of robust control. Organisaties: • Afd. Numer. Analyse en Toeg. Wiskunde
Onderzoekers: • Karl Meerbergen • Wim Michiels • Roel Van Beeumen
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