www.researchportal.be - 23 Jun 2016 21:28:12
Onderzoeksprojecten (100 - 150 van 716) Zoekfilter: Classificaties: Computerwetenschappen, numerieke analyse, systemen, controle
CoDePa : A conceptual design pattern approach for game design (Type 3) Onderzoeksmandaat Bram PELLENS Vrije Universiteit Brussel Abstract: Het doel van dit project is de ontwikkeling van een op design patronen gebaseerde benadering voor het specificeren van gedrag op een conceptueel niveau voor computer spellen en andere interactieve media. Organisaties: • Web en Information System Engineering
Onderzoekers: • OLGA DE TROYER
Coëxploratie van Vrije Standpuntvideo in Sportscènes met Occlusieafhandeling via Spatiotemporele Bewegingsschatting en Ad-hoc Kalibratie op Parallelle Architecturen Universiteit Hasselt Abstract: In het huidige technologische landschap wordt er veel aandacht besteed aan hoog-kwalitatieve distributie van sportmateriaal. Jammer genoeg zijn de beelden beperkt tot de posities van de echte camera's; belangrijke gebeurtenissen en acties worden gemist of slecht in beeld gebracht. Daarom is het wenselijk dat de kijkpositie vrij gekozen kan worden, zowel door de distributeur als de kijker. Deze positie is dan niet beperkt door de posities van de opnameapparatuur, en kan uitgebuit worden om nieuwe en ongewone beelden te genereren, bijvoorbeeld het volgen van een speler vanaf de schouderpositie. Deze vorm van immersie is een krachtige verrijking van de belevenis van de kijker. Om dit soort effecten te bereiken, moeten er algoritmen beschikbaar zijn die vrije standpunten voor virtuele camera's kunnen genereren. Bestaande algoritmen gebruiken 3D reconstructie of afbeeldingsgebaseerde interpolatie, maar deze zijn niet altijd toepasbaar voor sportwedstrijden. Dit doctoraat zal zich richten op het ontwikkelen van deze vrije standpuntalgoritmen, waarbij de volgende factoren in rekening worden gebracht. De camera's staan zeer ver uit elkaar en vaak kan er niet precies gekozen worden waar de camera's staan. Bovendien wordt de meerderheid van de camera's gericht op de actie, waardoor de beelden niet stil zullen staan en de zoomfactor sterk kan verschillen van camera tot camera en van beeld tot beeld. Dit heeft gevolgen voor de kalibratie, omdat de cameraeigenschappen niet constant zijn. Vooraf kalibreren hierop heeft dus geen zin. Daarom wordt er een automatische en ad-hoc kalibratie ontwikkeld. In een sportwedstrijd is occlusie een veel voorkomend probleem en is een belemmering voor het gebruik van de huidige vrije standpuntalgoritmen, zelfs met occlusieafhandeling. De camera's staan te ver uit elkaar om eenduidige informatie te bepalen. Dit doctoraat zal gebruik maken van bewegingsschattingsalgoritmen in het spatiotemporele domein om het occlusieprobleem aan te pakken. Meer specifiek wordt occlusie gedetecteerd in het temporele domein door middel van bewegingsschatting en wordt het spatiale domein gebruikt voor het opvangen van deze occlusies. Als laatste zal de ontwikkeling van de algoritmen gebeuren met behulp van parallelle architecturen om tot een real-time oplossing te komen, zodat dit onderzoek praktisch bruikbaar zal zijn in bestaande opstellingen. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media
Onderzoekers: • Philippe BEKAERT
Colour Handling in Vision Applications. Universiteit Antwerpen Abstract: De industriële visie-vraagstukken waarbij kleurevaluaties essentieel zijn, vormen een afzonderlijk en moeilijk onderdeel van de visietechnologie. Een industrieel aanvaarde calibratie-strategie kan een groot aantal moeilijkheden helpen voorkomen en het succes van de 'colour vision applicaties' sterk verhogen. De Skr-matrix mehode, die geoctrooieerd werd (PCT/EP2005/003889) door het Antwerps Innovatiecentrum en ontwikkeld werd in het lab voor industriële visie, vormt een beloftevolle 'Colour Handling' methodiek die uitgebreid kan worden naar de ganse beeldvormende en beeldverwerkende industrie. We denken in het bijzonder aan digitale camera's, scanners, fotokopie-apparaten, beeldschermen, IR-camera's ¿ Organisaties: • Visielab
Onderzoekers: • Paul Scheunders
Combining exact and (meta)heuristic methods for problems of combinatorial optimisation KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Computerwetenschappen Kulak
Onderzoekers: • Patrick De Causmaecker • Nguyen Thi Thanh Dang
Combining exact and (meta)heuristic methods for problems of combinatorial optimisation. KU Leuven Abstract: Het onderzoek vindt plaats in het gebied van hyperheuristieken: algemene algoritmen die op een probleemonafhankelijke manier optimalisatieproblemen benaderend proberen op te lossen. Dit betekent dat men op termijn in staat kan zijn om louter uit de specificaties van een optimalisatieprobleem een benaderende oplossingsmethode voor te stellen.Op dit moment is slechts weinig geweten rond hyperheuristieken: formalisme ontbreekt evenals kennis over sterke oplossingsstrategieën en testmethodologieën. Bovendien kan men evenmin garanties afdwingen: zowel harde en/of statistische.Met dit project zullen we enkele belangrijke problemen aanpakken:1. Het genereren van een diverse testbank van problemen zodat hyper-heuristieken met elkaar kunnen worden vergeleken.2. Het automatisch genereren van heuristieken: deelalgoritmen die een oplossing kunnen genereren of aanpassen, maar doorgaans zonder weinig kennis over het doel van het probleem3. Een hyper-heuristiek die als invoerde heuristieken een concr
Organisaties: • Afdeling Informatica
Onderzoekers: • Patrick De Causmaecker • Bart Demoen • Willem Van Onsem
Combining exact and (meta)heuristic methods for problems of combinatorial optimization KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Computerwetenschappen Kulak
Onderzoekers: • Patrick De Causmaecker • Tú San Pham
Componentgebaseerde Netwerkarchitectuur Universiteit Gent Abstract: Het project bestudeert technieken voor componentgebaseerd beheer van telecommunicatienetwerken ter bevordering van de gebruikerservaring voor telecommunicatiediensten. Aan de hand van een grondige prestatie-modelering van de componenten en het ontwerp van algoritmen voor de oordeelkundige instantiatie van de componenten, is de doelstelling de optimalisatie van het resource gebruik en kwaliteitservaring voor de eindgebruiker. Organisaties: • Vakgroep Informatietechnologie
Onderzoekers: • Bart Dhoedt • Filip De Turck
Compressive sampling based signal separation KU Leuven Abstract: Higher-order tensors are the natural generalizations of vectors (first order) and matrices (second order). They may be imagined as multiway arrays of numerical values. Blind source separation (BSS) is a generic problem that consists of the estimation of signals that are observed in mixed form. Tensor decompositions are unique under conditions that make them proper tools for BSS. Further, compressive sampling (CS) is a technique that under certain conditions allows one to work efficiently with modern, large data sets. CS is nowadays intensively studied. Our first goal is to generalize tensor-based BSS techniques to multi-view data, making a distinct contribution in an active field of research. Multi-view data may be thought of as multiple pictures of a particular phenomenon (e.g.,a biomedical signal measured using several technologies). Our second goal is to make the connection between tensor-based BSS and CS, aiming at an expansion of the application range of tensor-based BSS algorith Organisaties: • Elektrotechniek Kulak
Onderzoekers: • Lieven De Lathauwer • Nico Vervliet
Computationeel modelleren van materialen. 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: • Theorie van de gecondenseerde materie
Onderzoekers: • Francois Peeters
Computationeel modelleren van materialen. Universiteit Antwerpen Abstract: Deze Wetenschappelijke Onderzoeksgemeenschap (WOG) van het FWO-Vlaanderen heeft tot doel de samenwerking te bevorderen tussen de verschillende onderzoeksgroepen in Vlaanderen die actief zijn op het gebied van het computationeel modelleren van materialen. Daarnaast wordt er ook een samenwerking opgestart met de externe partners of wordt de bestaande samenwerking verder uitgewerkt. Organisaties: • Elektronenmicroscopie voor materiaalonderzoek (EMAT)
Onderzoekers: • Dirk Lamoen
Computationeel modelleren van materialen. Universiteit Antwerpen Abstract: In deze "Wetenschappelijke Onderzoeksgemeenschap" (WOG) trachten we eigenschappen van materialen te berekenen via computersimulaties. Meer specifiek bestuderen wij de groei van dunne filmen en van koolstof nanobuisjes via moleculaire dynamica simulaties. Door contact met de andere onderzoeksgroepen binnen deze WOG hopen we expertise te kunnen delen en uitwisselen. Organisaties: • Plasma, Laser Ablatie en Oppervlakte-modellering (PLASMANT)
Onderzoekers: • Annemie Bogaerts
Computationeel modelleren van materialen. 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: • Elektronenmicroscopie voor materiaalonderzoek (EMAT)
Onderzoekers: • Gustaaf Van Tendeloo
Computationeel modelleren van materialen (FWO Vis. Fel., Hasan SAHIN, Turkije). 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: • Theorie van de gecondenseerde materie
Onderzoekers: • Francois Peeters • Hasan Sahin
Computationele facetten van algebraïsche krommen en hun toepassingen. KU Leuven Abstract: We focussen vooral op twee computationele problemen rond algebraïsche krommen over eindige velden: snelle aritmetiek in de jacobiaangroep en het berekenen van de zetafunctie. De motivatie voor beide problemen stamt voort uit de cryptografie. Wil men de jacobiaan gebruiken als onderliggende groep voor een cryptosysteem gebaseerd op het discretelogaritmeprobleem, dan dient men er om voor de hand liggende redenen efficient inte kunnen rekenen. Maar daarnaast moet het aantal elementen deelbaar zijn door een groot priemgetal, opdat het cryptosysteem zou kunnen weerstaan aan generische aanvallen. Dit aantal elementen kan eenvoudig uit de zetafunctie worden afgelezen. Organisaties: • Afdeling Algebra
Onderzoekers: • Willem Veys • Jan Denef • Wouter Castryck
Computationele methoden voor de exacte dynamica van moleculen in intense lasers. Universiteit Antwerpen Abstract: Dit voorstel heeft tot doel een nieuwe generatie van computationele methoden te ontwikkelen om de ultrasnelle dynamica van kwantumsystemen in intense en korte laserpulsen te beschrijven. De hoog dimensionale dynamica van zowel de elektronische en moleculaire vrijheidsgraden van een kleine molecule moeten efficiënt beschreven worden. Met de voorgestelde methoden zou het mogelijk zijn om verschillende processen te begrijpen voorbij het heden gangbare single-active electron beeld. De ultra snelle dynamica van meerdere deeltjes speelt een rol bij hogerharmonische straling in moleculen, niet-lineaire multifotonprocessen, pump en probe experimenten met XUV licht. Experimenteel onderzoekt men nu reeds deze processen maar theoretisch is men nog niet instaat nauwkeurige voorspellingen te maken. Organisaties: • Toegepaste wiskunde en numerieke analyse
Onderzoekers: • Wim Vanroose
Computationele methoden voor de prestatie-analyse en simulatie van complexe technische systemen. Universiteit Antwerpen Abstract: Vertrekkend van gemeten data (zoals verkeer in het Internet) zal met behulp van robuuste statistische methoden, dwz. technieken die betrouwbare resultaten opleveren ook wanneer afwijkingen in de input data optreden, een probabilistisch model voor het te bestuderen systeem opgesteld worden. Uit de specifieke architectuur en structuur van het systeem kan men vaak interessante eigenschappen van de te bepalen prestatiemaat vooraf aantonen, zoals monotoniciteit t.o.v. van een bepaalde systeemparameter, asymptotisch gedrag, etc. Deze eigenschappen zijn nuttig en bruikbaar bij het bepalen van de gewenste prestatiemaat, maar vaak onvoldoende. Robuuste, efficiente en accurate benaderingen van de exacte oplossing zijn absoluut noodzakelijk. Machtreeksen en aanverwante benaderingen vormen een mogelijke aanpak van dit probleem. Gezien het feit dat vele performantie-functies singulariteiten hebben is een van de voor de hand liggende alternatieven het benaderen van de machtreeksinformatie met behulp van Padé benaderingen Organisaties: • Prestatieanalyse en telecommunicatiesystemen (PATS) • Modeleren van Systemen en Internet Communicatie (MOSAIC)
Onderzoekers: • Annie Cuyt • Christian Blondia • Peter Rousseeuw
Computationele modellen voor big data algoritmen. Universiteit Antwerpen Abstract: Het ontwerp van efficiënte algoritmen is een centraal thema in de informatica. Echter, recente experimenten tonen aan dat vele algoritmen aan efficiëntie inboeten wanneer grote hoeveelheden aan data ("Big Data") aanwezig zijn. Dit geldt met name voor query-evaluatie methoden in de context van databanken. Helaas kunnen de bestaande theoretische technieken voor het analyseren van algoritmen niet onderscheiden of een algoritme al dan niet efficiënt is op big data. Inderdaad, algoritmen die beschouwd worden als efficiënt in de klassieke zin blijken dat niet meer te zijn wanneer het big data betreft. Dit vraagt om een grondige herziening van de klassieke complexiteitstheorie. Het hoofddoel van dit project is dan ook de ontwikkeling van dergelijke theoretische fundamenten met bijhorende computationele complexiteitsanalyse die de efficiëntie van algoritmen in de context van big data kunnen karakteriseren. Organisaties: • Ontwikkeling database systemen (ADReM)
Onderzoekers: • Floris Geerts • Maxime Debosschere
Computer. KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • TC Computerwetenschappen Gent-Aalst
Onderzoekers: • Greet Vanden Berghe
Constraint Programming voor geavandeerde joins in regelgebaseerde programmeertalen Universiteit Gent Abstract: Regelgebaseerde programmeertalen maken een sterke opmars omdat ze perfect inspelen op de groeiende werkdruk van programmeurs. Het gebrek aan ondersteuning voor geavanceerde joins in deze talen vormt echter een ernstig obstakel voor verdere adoptie. Dit project ontwikkelt ondersteuning voor geavanceerde joins. We pakken dit obstakel aan vanuit een unieke invalshoek: door verbanden te leggen met implementatietechnieken uit Constraint Programming. Organisaties: • Vakgroep Toegepaste wiskunde en informatica
Onderzoekers: • Tom Schrijvers
Contextuele privacy en de proliferatie van location data. KU Leuven Abstract: Location privacy has come to the fore due to increasingly widespread practices that involve the storage and analysis of location data. Traffic monitoring, friend finding services, tracking and tracing of mobile communication devices, contextual or behavioural advertising, and location based services all thrive on capturing and mining location data. Locationprivacy has received much attention from both legal and technical experts. There is, however, a good deal of confusion as to how location privacy is understood, how it relates to notions like contextual privacy, anonymity, unlinkability, autonomy and control. Within the legal domain there is confusion about the difference between privacy and data protection, controversy about which data must be qualified as personal data and about the extent to which consent, purpose limitation and adequate feedback are at stake in particular situations. Within the technical domain we lack a grounded conceptual and methodological foundation for the d Organisaties: • Afdeling ESAT - COSIC
Onderzoekers: • Bart Preneel • Maria Claudia Diaz Martinez
Contingent Capital : A robust statistical analysis KU Leuven Abstract: Door de nieuwe regelgevingen moeten banken en andere financiële instellingen nieuwe financiële instrumenten gaan gebruiken om een nieuwe problemen te vermijden. Contingent capital is zo een nieuw financieel instrument. We zullen verder onderzoek verrichten naar dit instrument waarbij wetegelijk ook nieuwe statistische methoden gaan ontwikkelen die nuttig kunnen zijn voor het onderzoek. Het statistische onderzoek zal zich vooral toespitsen op robuuste methoden. Organisaties: • Afdeling Statistiek
Onderzoekers: • Jan Beirlant • Wim Schoutens • Tim Verdonck • Tom Reynkens
Contrast-enhanced intraoral digital subtraction radiography and its application to caries diagnosis. Vrije Universiteit Brussel Abstract: Abstract enkel in het Engels beschikbaar. Organisaties: • Elektronica en Informatica • Conserverende en Prothetische Tandheelkunde
Onderzoekers: • PETER BOTTENBERG • JAN CORNELIS
Convectieve koeling in de elektronica. Universiteit Gent Abstract: Numerieke simulaties van de koelstroming over elektronische componenten zullen verricht worden. Een reeks van experimenten zal opgezet worden voor fundamenteel onderzoek van de convectieve koeling van elektronische componenten. Convectieve koeling in de elektronica. Organisaties: • Vakgroep Elektronica en informatiesystemen
Onderzoekers: • Gilbert De Mey • Erik Dick
Coördinatie en Eigendom in Grafen van Genetwerkte Actoren (COGNAC). KU Leuven Abstract: In de toekomt zullen mensen worden omringd door toestellen die naadloosen draadloos met mekaar samenwerken. Het programmeren van zulke toestellen vereist nieuwe computationele modellen en nieuwe programmeertalen omom te gaan met de dynamiciteit van de omgeving en de wegvallende netwerkverbindingen tengevolge van het feit dat toestellen vrijelijk in en uitmekaars bereik bewegen. Nieuwe abstracties zijn nodig om de objectensoep te coördineren die ontstaat wanneer deze toestellen met mekaar interageren. Dit omvat het beheer van objectinterconnectiviteit, geheugenbeheer, de partitionering van de objectgraf over verschillende toestellen, foutenbeheer, etcetera. Bestaande coördinatiemodellen zijn te beperkt voor onze doeleinden. Vertrekkende van een actorgebaseerd model voor concurrente software zullen we statische analyse en dynamische programma-annotaties combineren. Ons doel is om het abstractieniveau te verhogen teneinde het programmeren van samenwerkende applicaties over draadloze, w Organisaties: • Afdeling Informatica
Onderzoekers: • David Clarke
Coördinatiestrategieën voor plug-in hybride elektrische voertuigen en decentrale opwekking in een Smart Grid.
KU Leuven Abstract: In de ontwikkeling van Smart Grids zal coördinatie tussen afnemers (bv.PHEV's) en producenten (bv. zonnepanelen, windturbines) een essentiële rol spelen. In zowel nationaal als internationaal onderzoek worden verschillende aanpakken voorgesteld, zoals de PowerMatcher, het CordCap algoritme en MicroGrid coördinatie. Dit onderzoeksproject focust op een aantal kernproblemen die de grootschalige uitrol van Smart Grid coördinatie in de weg staan: (1) het is onduidelijk of de huidige coördinatiestrategieën schalen naar de ultra grote schaal en dynamische context van een Smart Grid; (2) huidige strategieën zijn niet voorzien op het grote aantal verschillende partijen en kwaliteitseisen in een smart grid; (3) er is veel onduidelijkheid over de integratie van coördinatiestrategieën in de elektriciteitsmarkt, terwijl dit essentieel is voor een commerciële uitrol van deze systemen.Het doel van dit doctoraat is het ontwikkelen van een realistisch toepasbare, schaalbare en flexibele aanpak voor het Organisaties: • Afdeling Informatica
Onderzoekers: • Geert Deconinck • Tom Holvoet • Stijn Vandael
Coroutines KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Daniel De Schreye • Vincent Nys
Countermeasure technologies for web application vulnerabilities. KU Leuven Abstract: The Web has evolved over the past decennium from a simple static sourceof information to a complex platform running important and popular applications such as online social networks, webmail, e-commerce and e-health applications and so forth. Unfortunately, this evolution also has security consequences: a significant fraction of online security incidents is related to web applications. The goal of this doctoral research is to study the implementation and design level vulnerabilities of the web platform, and to develop new countermeasure technologies to prevent the introduction of vulnerabilities in web applications, to prevent or detect their exploitation by attackers, or to mitigate the effects of successfulexploitations. Organisaties: • Afdeling Informatica
Onderzoekers: • Frank Piessens • Willem De Groef
Cross Layer Optimization for the Fourth Generation Broadband Access Network KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS
Onderzoekers: • Marc Moonen • Jeroen Verdyck
Cross-layer optimization with real-time adaptive dynamic spectrum management for fourth generation broadband access networks KU Leuven Abstract: To enable next generation reliable and fast broadband internet access, it will be crucial to develop innovative broadband access network technologies. The fourth generation broadband access (4GBB) network currently envisaged consists of a hybrid fiber digital subscriber line (DSL) deployment, in which fiber is brought to the curb and existing telephony DSL twisted-copper pairs are used to bridge the last 20-200 meters. Techno-economic analysis has identified this 4GBB network as the most viable option for the next 15-20 years, and a final step towards ultimate fiber-to-the-home broadband access, targeting data rates of up to gigabits persecond. Providing these data rates over twisted-copper pairs is currently a significant challenge. State-of-the-art wireline transmission techniques, such as multiple-input/multiple output (MIMO) signaling and discrete multitone (DMT) modulation, succeed in optimally exploiting the space and frequency dimension to boost data rates, but fail to properl Organisaties: • Afdeling ESAT - STADIUS
Onderzoekers: • Marc Moonen • Paschalis Tsiaflakis • Marijn Scheir
Data backup schedulering: een wachtrij-theoretische aanpak. Universiteit Gent Abstract: Tegenwoordig zijn we getuige van een ongeziene groei van data die geproduceerd en opgeslagen wordt. Om verlies van data te vermijden moeten regelmatig backups uitgevoerd worden. Vanwege de enorme hoeveelheid data en het grote aantal gebruikers zijn efficiënte backup scheduling mechanismen cruciaal voor grote bedrijven en in de cloud. We ontwikkelen en evalueren backup scheduling mechanismen via een wachtlijntheoretische aanpak. Organisaties: • Vakgroep Telecommunicatie en informatieverwerking
Onderzoekers: • Herwig Bruneel
Database ondersteuning voor interactieve data mining. Universiteit Antwerpen Abstract: Dit project heeft als doel de mogelijkheden voor een overkoepelend systeem voor data mining, een zogenaamde data mining database, te onderzoeken. Het ontwerp van een database systeem voor data mining brengt vele fundamentele vragen met zich mee. Hoe representeren we de
data? Op welke manier integreren we de verschillende algoritmes in een bevragingstaal? Hoe kunnen we de bevragingen optimaliseren? Een theoretische en fundamentele benadering van deze vragen staat in dit project centraal. Organisaties: • Ontwikkeling database systemen (ADReM)
Onderzoekers: • Toon Calders • Jan Paredaens
Database Summarizatie Universiteit Antwerpen Abstract: In dit onderzoek beogen we de ontwikkeling van verschillende technieken om databanken samen te vatten, gebruik makende van de patronen die in de databank voorkomen. Aan de hand van state of the art data mining technieken trachten we kleine verzamelingen patronen te vinden die de data zo goed mogelijk karakteriseert. Organisaties: • Ontwikkeling database systemen (ADReM)
Onderzoekers: • Bart Goethals • Michael Mampaey
Database summerisatie. Universiteit Antwerpen Abstract: In dit onderzoek beogen we de ontwikkeling van verschillende technieken om databanken samen te vatten, gebruik makende van de patronen die in de databank voorkomen. Aan de hand van state of the art data mining technieken trachten we kleine verzamelingen patronen te vinden die de data zo goed mogelijk karakteriseert. Organisaties: • Ontwikkeling database systemen (ADReM)
Onderzoekers: • Jan Paredaens • Michael Mampaey
Datafusie voor beeldanalyse in aardobservatie. Universiteit Antwerpen Abstract: Dit project betreft fundamenteel kennisgrensverleggend onderzoek gefinancierd door het Fonds voor Wetenschappelijk OnderzoekVlaanderen. Het project werd betoelaagd na selectie door het bevoegde FWO-expertpanel. Organisaties: • Visielab
Onderzoekers: • Paul Scheunders
Data mining voor privacy in sociale netwerken. KU Leuven Abstract: Online sociale netwerken en het uitwisselen van informatie zijn een onderdeel geworden van het dagelijkse leven, wat resulteert in een groot aantal mensen die de meest intieme details van hun privéleven delen op social networking sites zoals Facebook, Netlog of Twitter. Hoewel het onderzoek over Social Network Analysis en privacy aangzienlijk gegroeid is inde afgelopen jaren, blijven veel fundamentele computationele vragen onbeantwoord. Specifiek: sociale netwerken worden over het algemeen gemodelleerd als grafen waarvan de knopen personen voorstellen en de zijden "vriendschapsrelaties" vertegenwoordigen. Privacy wordt verondersteld te worden gerespecteerd wanneer bepaalde informatie niet toegankelijk is of indien die kan worden overgedragen tussen knopen zonder verder onthuld teworden. Dit eenvoudige model voldoet echter niet, zowel conceptueel alsalgoritmisch, aangezien het geen gebruik maakt van de onderlinge afhankelijkheden tussen individuen als een kernelement van het Social Web, Organisaties: • Afdeling Informatica
Onderzoekers: • Bart Preneel • Bettina Berendt
Data mining voor privacy in sociale netwerken. Universiteit Antwerpen Abstract: Online sociale netwerken en het uitwisselen van informatie zijn een onderdeel geworden van het dagelijkse leven, wat resulteert in een groot aantal mensen die de meest intieme details van hun privéleven delen op social networking sites zoals Facebook, Netlog of Twitter. Hoewel het onderzoek over Social Network Analysis en privacy aanzienlijk gegroeid is in de afgelopen jaren, blijven veel fundamentele computationele vragen onbeantwoord. Specifiek: Sociale netwerken worden over het algemeen gemodelleerd als grafen waarvan de knopen natuurlijke personen voorstellen, en waarvan de zijden "vriendschap" links vertegenwoordigen. Privacy wordt verondersteld te worden gerespecteerd wanneer bepaalde informatie niet toegankelijk is of indien die kan worden overgedragen tussen knopen zonder verder onthuld te worden. Dit eenvoudige model voldoet echter niet, zowel conceptueel als algoritmisch, het houdt geen rekening met de onderlinge afhankelijkheden tussen individuen als een kernelement van het Social Web, en houdt geen rekening met informatie van derden. Dit project beoogt deze lacune te vullen. We bestuderen: (1) privacy design types, (2) lokaal-globaal dynamiek; (3) intelligente micro-identity management, en (4) privacy voor groepen. We zullen de ontwikkeling van nieuwe technieken voor (i) verkeersanalyse om social-network-gebaseerde interacties en gebruikersgedrag te analyseren; (ii) metrieken om lekken van prive-informatie te meten; (iii) pattern mining om realistische resultaten te identificeren op basis van simulatiemodellen gevalideerd in het toepassingsgebied van web-gebaseerde sociale netwerken. Organisaties: • Ontwikkeling database systemen (ADReM)
Onderzoekers: • Bart Goethals
Data privacy and security in mobile environments KU Leuven Abstract: There is undoubtedly an increasing trend towards mobile communications and mobile applications. So it is to be expected that mobile devices will
become the main guardians and managers of our multiple electronic identities for a broad range of applications and services which include payments, e-health, e-government, etc. The mobile companion will become the natural user interface in a ubiquitous computing environment, through which users will access services and perform their daily transactions. Most communication will occur wirelessly and other parties can be malicious. The companion should protect the interests of all the stakeholders: (1) the user who, wants to protect his privacy and prevent identity fraud or theft, but who also wants to be able to use his rights to access -preferably highly customized- services; (2) the service provider, who needs to verify the user's rights to access services and who should be able to get access to profiling information in order to cu Organisaties: • Afdeling Informatica
Onderzoekers: • Bart De Decker • Vincent Naessens • Faysal Boukayoua
Data science KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - STADIUS
Onderzoekers: • Bart De Moor • Oliver Lauwers
De aanschaf van gridapparatuur in het kader van de uitbouw van een Vlaams pilot gridinfrastructuur Universiteit Gent Abstract: Uitbouw van gridinfrastructuur binnen Ugent en integratie met BE grid. Opzetten van gridknopen en netwerk. Ondersteuning van gridgebruikers. Opzetten van softwareplatformen. De aanschaf van gridapparatuur in het kader van de uitbouw van een Vlaams pilot gridinfrastructuur. Organisaties: • Vakgroep Informatietechnologie
Onderzoekers: • Piet Demeester
Declaratieve methoden in de informatica. KU Leuven Abstract: Ontwikkeling van declaratieve methoden voor de ondersteuning van de realisatie van betrouwbare software systemen. Het werk is gebaseerd op technieken uit de domeinen van databases, functio- neel-, logisch- en constraint programmeren. Organisaties: • Afdeling Informatica
Onderzoekers: • Maurice Bruynooghe
Declarative experimentation KU Leuven Abstract: In this PhD project we investigate the concept of #declarative experimentation#. Some scientific research fields, such as machine learning, rely heavily on experimentation to evaluate new hypotheses. This process isoften labor intensive for the researcher and prone to errors. Furthermore, experimentation is often restricted to only a selection of differentconditions. For example the number and cover of datasets, parameter settings and performance metrics. Sometimes too general conclusions are made from these experiments.
In this PhD project we want to automate the process of experimentation in order to alleviate these problems. The first goal is to to find the requirements for such an automated experimentation system. Based on the requirements we design a formal language that consists of the right vocabulary to express a scientific hypothesis ina declarative way. Such a hypothesis can than be given to the system inthe form of a query. The declarative formulation implicates that the Organisaties: • Afdeling Informatica
Onderzoekers: • Hendrik Blockeel • Gitte Vanwinckelen
Declarative Machine Learning Techniques For Weakly Supervised Tasks KU Leuven
Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling Informatica
Onderzoekers: • Luc De Raedt • Francesco Orsini
De ontwikkeling van een code voor toepassingen in de numerieke aëro-akoestiek. Vrije Universiteit Brussel Abstract: Om aëroakoestische problemen te bestuderen dient de niet-lineaire interactie tussen het aërodynamische en het akoestische veld in rekening gebracht. In de numerieke aëroakoestiek is men geïnteresseerd in de richting en het spectrum van het uitgestelde geluid in het verre veld. Dit impliceert reeds dat de berekende oplossing nauwkeurig moet zijn in het ganse stromingsveld. De doelstelling van dit project is de ontwikkeling van de nodige technologie en software voor toepassingen in de numerieke aëroakoestiek. Het beoogde resultaat is een code gebaseerd op state-of-theart-modellen, namelijk een niet-directe methode waarbij LES voor het nabije veld en een Kirchhoff aanpak voor het verre veld gebruikt wordt. De resulterende code zal ook CAA berekeningen volledig gebaseerd op LES ondersteunen. Het onderzoek en de ontwikkelingen die nodig zijn om dit doel te bereiken richten zich op de volgende topics: hogere orde ruimtelijke schema's voor een minimale dissipatie en dispersiefout, uitbreiding van de LES code voor numerieke aëroakoestische toepassingen, nauwkeurige tijdsintegratie met goede dissipatie en dispersie eigenschappen, aangepaste randvoorwaarden voor numerieke aëroakoestiek en de ontwikkeling van een solver voor de geluidspropagatie in het verre veld. Toepassingen vindt men zowel in de luchtvaart (turbomotoren, propellers en vliegtuigstructuren), ruimtevaart als automobielsector. Organisaties: • Stromingsmechanica
Onderzoekers: • CHRISTIAN LACOR
De (on)veiligheid van propriëtaire cryptografie KU Leuven Abstract: Geen Nederlandstalig Abstract Organisaties: • Afdeling ESAT - COSIC
Onderzoekers: • Ingrid Verbauwhede
De OSMA Serious Game Engine voor Games-Based Learning Universiteit Hasselt Abstract: Het commerciële multiplayer adventure game-genre bevat veel interessante probleemoplossende en culturele elementen met een enorm potentieel voor game-based learning. De uitdaging is om dit soort game-omgevingen aan te passen aan de doeleinden van trainingen en het reguliere onderwijs. Een goed computerspel of succesvolle (training-)simulatie wordt immers niet enkel gekenmerkt door de technologische component maar ook door zijn game design en game art. Vooral bij serious games vormt de inhoud, de ontwikkeling van een interessante 'game play', de verhaallijn (scenario's) een belangrijke uitdaging. Dit project heeft tot doel door 'hergebruik', de hoge ontwikkelingskost van gesofisticeerde edutainment games drastisch te verlagen, door een met richtlijnen gedocumenteerde Open Source, Multiplayer, Adventure, (OSMA) Serious Game Engine (SGE) voor Game-based Learning te creëren. De open source aanpak op technologisch, maar ook op inhoudelijk en procesmatig vlak, moet ervoor zorgen dat vooral kmo's een jumpstart kunnen nemen bij de ontwikkeling van dit bepaald type van serious games. Organisaties: • Expertisecentrum voor Digitale Media • Expertisecentrum voor Digitale Media
Onderzoekers: • Wim LAMOTTE • Peter QUAX
Dependently typed programming for secure and correct web applications KU Leuven Abstract: One of the key challenges for computer science is to develop techniquesthat empower software developers to build correct and secure software. The US National Academy of Engineering has identified this challenge as one of the grand challenges for engineering in the 21st century. They write: A critical challenge is engineering more secure software. One way to do this may be through better programming languages that have security protection built into the ways programs are written. Addressing this challenge is the long-term objective of this PhD proposal. More specifically, this PhD project will investigate advanced type systems that enable a programmer to express security and correctness requirements in his code in the form of typing annotations. A type checker will then checkthat the code complies with the requirements expressed in the types. While simple forms of type checking are common in mainstream programming languages today, the advanced type systems we will investigate in this Ph Organisaties: • Afdeling Informatica
Onderzoekers: • Frank Piessens • Dominique Devriese • Jesper Cockx
De Recursieve InternetArchitectuur als oplossing voor optimaal brongebruik, veiligheid en schaalbaarheid van sensornetwerken: RINAiSense. Universiteit Gent
Abstract: RINA is een nieuwe internetarchitectuur die ontworpen en onderzocht wordt. Draadloze sensornetwerken bestaand uit toestellen die heel beperkt kunnen zijn qua resources en vormen zo een ultieme test voor RINA. Het RINAiSense project zal de schaalbaarheid en beveiliging van draadloze sensornetwerken onderzoeken en verbeteren. En vormt meteen ook de lakmoesproef voor de toepasbaarheid van RINA in omgevingen met heel beperkte resources. Organisaties: • Vakgroep Informatietechnologie
Onderzoekers: • Mario Pickavet
Dereverberation by inverse solution of the acoustic wave equation on a finite element grid KU Leuven Abstract: Objectives:To approach the dereverberation problem using a non-parametric representation of the acoustic wavefield.To develop algorithms for inversely solving the discretized acoustic wave equation bymaking use of wave fieldinformation obtained through multiple microphone recordings.Tasks and methodology:Deployment of the finite element method to establish a spatiotemporal discretizationapproach of the acoustic wave field that is found appropriate for inversely solving the wave equation.Formulation ofthe inverse problem as a well-conditioned and convex optimization problem, which can be solved in a dynamic fashion.Results:Theoretical framework for dereverberation by inverse solution of the acoustic wave equation.Efficientnumerical algorithms exploiting sparsity and convexity of inverse problem.Matlab code for simulation, evaluation,and demonstration purposes. Organisaties: • Afdeling ESAT - STADIUS
Onderzoekers: • Marc Moonen • Toon van Waterschoot • Niccolò Antonello
Design and analysis of location privacy technologies KU Leuven Abstract: Location privacy has come to the fore due to increasingly widespread practices that involve the storage and analysis of location data. Friend finding services, tracking and tracing of mobile communication devices, contextual or behavioural advertising, and location based services all thrive on capturing and mining location data.
Location privacy has received much attention from technical and legal experts and the term itselfis frequently used. However, there is a good deal of confusion as to how location privacy is understood, how it relates to notions like contextual privacy, anonymity, unlinkability, autonomy and control.
Within the legal domain there is confusion about the difference between privacy and data protection, controversy about which data must be qualified as personal data and about the extent to which consent, purpose limitation and adequate feedback are at stake in particular situations.
Althoughthere is for example a basic formal model for the sporadic locatio Organisaties: • Afdeling ESAT - COSIC
Onderzoekers: • Bart Preneel • Maria Claudia Diaz Martinez • Michael Herrmann
Design and Engineering of the Future Generation Internet. Towards convergent multi-service networks (EURO-FGI). Universiteit Antwerpen Abstract: Design and Engineering of the Future Generation Internet. Towards convergent multi-service networks (EURO-FGI). Organisaties: • Modeleren van Systemen en Internet Communicatie (MOSAIC)
Onderzoekers: • Christian Blondia
