Onderzoeksprojecten ( van 840)

Transcriptie

1 - 4 Jan :13:24 Onderzoeksprojecten ( van 840) Zoekfilter: Classificaties: Informatica, systeemtheorie Model generation for expressive KR-languages Abstract: In the research field of Knowledge Representation and reasoning, onedevelops (1) formal languages, called logics, which enable us to writedown problems in a task-independent, natural language and (2) inferencesyste ms that can solve specific tasks by reasoning on this knowledge,such as model generators. The points of departure for my project are thefo(.) language and the (nite domain) inference systems developed for it.alth ough FO(.) extends full 1rst order logic, there are still importantand well-known classes of AI problems that cannot be expressed in itand fo r which its solvers cannot be used. In my project, I want toextend the language with certain modal and second order languagefeatures to satisf y the need for a more expressive language. I willalso adapt the existin g inference systems to be able to work with thisnew, extended, language.i will integrate new primitives, includingfragments of second-orde r logic and modal operators and study itsapplications, semantics, and c omp Marc Denecker Joost Vennekens Bart Bogaerts Modeleren van complexe percepties met behulp van fuzzy cognitieve maps Abstract: Complexe zaken zoals percepties over bedrijven en beslissingen gebaseerd op deze percepties zijn moeilijk te verstaan. Er is dan ook continue onderzoek naar nieuwe methoden die percepties en beslissingen kunnen modelleren en die menselijke expertise kunnen representeren. Fuzzy cognitive maps zijn zo een nieuwe representatie van complexe systemen. Voor dit onderzoek hebben wij een grote databank van percepties en beslissingen over bedrijven beschikbaar. De data werd verzameld met het oogpunt op performantie analyses en voor benchmarking studies. De data dekt bedrijven over gans de wereld. Voor alle sectoren en voor alle industriële landen hebben wij de top 30 bedrijven en dit meestal over een periode van 10 jaar. De percepties en beslissingen zijn op verschillende manier gemeten. We hebben drie verschillende formaten die hetzelfde complex systeem beschrijven. Elke informatie formaat steunt op een eigen invalshoek en bevat ruis. We worden dus geconfronteerd met vage informatie en met contradicties. Via co-learning en optimalisatie algorutmen trachten we een scherper en correcter beeld te krijgen van deze complexe systemen. In dit project zullen we meer in detail bestuderen. 1. Hoe kunnen we tijd best modelleren in congnitieve maps per bedrijf. Hoe aggregeren we best cognitieve maps over de tijd heen. 2. Is er behoefte aan specifieke transfer functies en/of fuzzy sets voor percepties en beslissingen? 3. Hoe kunnen we de drie formaten best presenteren en hoe kunnen we via co-learning tot de beste representatie komen. Hoe definieren we 'beste'? 4. Hoe kunnen we de bestaande tool uitbreiden met deze verschillende representaties en co- learning algoritmen? Hoe eenvoudig kunnen we sensitiviteitsanalyse en optimalisatie van een eenvoudige interface voorzien? Op lange termijn hopen we in staat te zijn om percepties beschikbaar op sociale media te modeleren. Beleidsinformatica Koenraad VANHOOF Model-Driven Software Engineering for Adaptive Software-as-a-Service (SaaS). Eric Steegmans Bart Jacobs Bert Lagaisse Annick Vandijck Mobility, Data Mining and Privacy Abstract: Met de opkomst en de grotere verspreiding van toestellen die met GPS (of andere systemen die toelaten de locatie te bepalen) zijn uitgerust, kan het mobiliteitsgedrag van individuele personen geregistreerd en opgeslaan worden in een datawarehouse voor online- of historische analyse. We noemen zulke gegevens "mobility data". Het minen van mobility data is een onderzoeksgebied dat erop gericht is kennis te ontdekken in deze gegevens. Dit gebied, dat de laatste jaren opgang gemaakt heeft, levert zowel veel nuttige toepassingen als risico's. De risico's komen voort uit het feit dat mobility data vooral over mensen handelt: waar ze geweest zijn, wanneer, hoe dikwijls, en met wie. Daarom is privacy een grote bezorgdheid die in rekening gebracht moet worden vooraleer nuttige kennis uit mobility data geoogst kan worden. Het MODAP project is erop gericht een interdisciplinair onderzoeksgebied te stimuleren dat een aantal disciplines zoals data mining, geografie, visualisatie en kennisrepresentatie combineert. Het project wil deze disciplines op het gebied van mobiliteit samenbrengen, rekening houdend met privacy, wat het sociale aspect van dit project is. De hoge impact van MODAP komt voornamelijk voort uit twee gerelateerde facetten, namelijk het mobiliteitsgedrag van mensen en de daarmee verbonden privacy-implicaties. Privacy wordt vaak geassocieerd met de negatieve impact van technologie. Het volstaat te denken aan de recente schandalen, zoals het vrijgeven van gegevens door AOL in de US, die veel media-aandacht kregen. MODAP stelt zich tot doel deze negatieve

2 impact in een positieve om te buigen door aan te tonen dat privacy-technologie geïntegreerd kan worden in mobility data mining, wat een grote uitdaging is. Het doel van MODAP op zich is tevens risicovol vermits niemand juist weet welke soorten privacygevaren bestaan wat betreft mobility data en hoe dit type data met gegevens uit andere bronnen gelinked kan worden. Databases en Theoretische Informatica Bart KUIJPERS Mobile EEG neurofeedback Afdeling ESAT - STADIUS Sabine Van Huffel Maarten De Vos Rob Zink Mobiele multimedia communicatiesystemen en netwerken. Abstract: De ontwikkeling van mobiele communicatiesystemen en -netwerken die multimediadiensten ondersteunen, vormt een van de meest fundamentele uitdagingen voor de verdere uitbouw van onze kennismaatschappij. Algemene trends die bierbij zicbtbaar worden, zijn : bet stijgende belang van multimediadiensten, de (meer dan) explosieve groei van mobiele telefonie, bet nog steeds stijgende belang van het Internet Protocol als integrerende netwerktechnologie, de ontwikkeling en stijgend gebruik van draadloze accesstechnologieen en een stijgende diversiteit inzake terminals. Interessant om bierbij aan te stippen is dat de evolutie naar draadloze netwerken, de verscbeidenheid in terminals en diensten, en de vereiste voor QoS en mobiliteit resulteren in een noodzaak tot afstemming tussen diensten en kenmerken van de fysiscbe laag (uiteraard in combinatie met de netwerken en systemen ertussen). Het IAP/PAI consortium vormt een bundeling van vereiste expertise op verscbillende niveaus voor de ontwikkeling van nieuwe geavanceerde, mobiele communicatiesystemen voor multimediale diensten. Daarom is bet project volgens een natuurlijke top-down aanpak gestructureerd, van toepassingen tot aspecten van de fysiscbe laag. De interactie tussen de verschillende expertisedomeinen vormt een stevige basis voor bet succes van bet project. De structuur van bet project is als volgt : WPl : Applicaties WP2 : Netwerkontwerp WP3 : Modellering van verkeer en prestatie-analyse WP4 : Modulatie, Kaneelcodering en Propagatie De voornaamste doelstellingen van bet project kunnen als volgt samengevat worden :.De ontwikkeling van een software-architectuur voor het gebruik van dynamiscbe metadata voor ondersteuning van mobiele multimediatoepassingen..de ontwikkeling van sterk scbaalbare, object-gebaseerde coderingstechnieken voor video..de ontwikkeling van nieuwe terminalconcepten, waarbij bet formaat gebruikt voor datatransport tussen multimediabron en een mobiele terminal in rekening wordt gebracbt..het ontwerp en evaluatie van nieuwe protocollen, die naadloze band-off toelaten en QoS- ondersteuning geven tussen bron en bestemming, en dit voor mobiele terminals en diensten in zowel bomogene als beterogene netwerkomgevingen (met inbegrip van ondersteuning voor multicast en bet gebruik van actieve netwerken)..het onderzoek naar generieke wachtlijnmodellen die toelaten de blokkeringskans voor verbindingen en handover te modelleren in een draadloze omgeving. Het ontwikkelen van een generiek stochastiscb model voor de evaluatie van oplossingen op de netwerklaag voor macro- en micromobiliteit..het ontwikkelen van een volgende generatie vad-boc netwerken die QoS ondersteunen en daarnaast bet gebruik van snel bewegende beterogene terminals toelaten via actieve netwerk technologie..het modelleren van web-acbtige toepassingen en bet ontwikkelen van trafiekmodellen, met inbegrip van karakteristieken verbonden met mobiliteit..het onderzoeken van de prestaties van gescbikte foutcorrigerende en retransmissietechnieken (ARQ protocollen) in een mobiele en draadloze context (met inbegrip van verbeteringen van TCP)..Het ontwikkelen van ontvangeralgoritmen (synchronisatie, equalisatie en detectie) voor geavanceerde modulatie- en tranmsissietechnieken..het onderzoeken van bet gebruik van meerdere zend- en ontvangstantennes en zogenaamde "intelligente antennes" ("smart antennas") om capaciteit en prestaties te verbeteren. Het toepassen van gecombineerde ruimte-tijd codering voor dergelijke systemen met meervoudige in- en uitgangen..het ontwikkelen van iteratieve (turbo) processing voor de detectie van meerdere gebruikers, de onderdrukking van interferentie, bet scbatten van parameters en foutcorrectie. Het ontwerpen van geavanceerde, compacte antennes en bet ontwikkelen van propagatiemodellen voor draadloze communicatie met boge bandbreedte en over korte afstand. Prestatieanalyse en telecommunicatiesystemen (PATS) Modeleren van Systemen en Internet Communicatie (MOSAIC) Christian Blondia MobCom - A Mobile Companion Abstract: The mobile companion will become the natural user interface in a ubiquitous computing environment, through which users will access services andperform their daily transactions. The companion should protect the interests (1) the user who wants to protect his privacy and prevent identityfraud or theft, but also wants to be able to use his rights to access preferably highly customized services; (2) the service provider that needs to verify the user's rights to access services, and should be able to get access to pro filing information in order to customize the offered services; moreover, in case of abuse, it needs appropriate evidence to beable to hold the abuser accountable; (3) the authorities that wish to punish unethical behavior such as money laundering, computer crime, etc. The project will research how a TPM can be used to create a secure virtual environment on a mobile device and new primitives (device attestation) will be developed to assess the trustworthiness of the device.

3 Bart De Decker Andreas Put Mining of User Generated Content Marie-Francine Moens Susana Beatriz Zoghbi Middleware voor gedeelde en continu operationele embedded systemenhet uitbreiden van componentenmodellen ter vereenvoudiging van software ontwikkeling en verbetering van systeem-efficiëntie Abstract: Hedendaagse en toekomstige generaties draadloze sensor en actuatornetwerken moeten ondersteuning bieden voor meerdere toepassingen die uitgerold en beheerd worden door diverse partijen. Vermits dergelijke sensor- enactuatornetwerken gewoonlijk over langere tijdspanne worden aangewend, worden softwaretoepassingen typisch gradueel uitgerold en geconfigureerdterwijl het netwerk reeds operationeel is. Dynamisch herconfigureerbarecomponentenmodellen bieden een aantal elementaire mechanismen aan om dergelijke software-herconfiguraties te ondersteunen. In scenarios waarinsensornetwerken gedeeld worden tussen verschillende toepassingen, bieden hedendaagse componentenmodellen echter onvoldoende garanties op vlak van applicatie-integriteit. Om deze integriteit te verzekeren via bestaande componentenmodellen worden enerzijds aanzienlijke inspanningen verwacht van software-ontwikkelaars. Anderzijds resulteert het gebruik van bestaande componentenmodellen in een minder efficiënte benutting van sys Sam Michiels Pedro Javier del Cid Garcia Middleware Support for Dynamic Sensing Applications. Wilfried Daniels Middleware for Federated Heterogeneous Data Storages in Hybrid Clouds Bert Lagaisse Ansar Rafique Micro-optisch bouwstenen voor intra-chip interconnecties. Abstract: Met dit project willen wij op de VUB een unieke monolithische, generische, chip-compatiebele micro-optische technologie tot stand brengen, waarvan het basisprincipe berust op de bestraling van Polymethylmethacrylaat (PMMA) met laag energetische protonen. Meer in het bijzonder zullen wij de fysische fenomenen die aan de grondslag liggen van deze optische technologie bestuderen en optimal~seren. We zullen verhelpen aan de kinderziekten van onze eerste generatie micro-optische componenten en de nauwkeurigheid van hun aanmaak verhogen zodat zij practisch aangewend kunnen worden in optische datacommunicatiemodules. We zullen de grenzen van de toepasbaarheid van deze monolithische refractieve technologie verder verleggen door de aangemaakte micro-optische modules te implementeren in de optische informatieverwerkende demonstratoren die in onze laboratoria worden gebouwd. Toegepaste Natuurkunde en Fotonica HUGO THIENPONT IRINA VERETENNICOFF Methoden en instrumenten ter ondersteuning van het gebruik, de calibratie en de validatie van verkeerssimulatiemodellen Abstract: Een COST actie is een netwerk dat samenkomt rond nationaal gefinancierde projecten in een domein dat behandeld wordt door minstens 5 COST landen. Het voornaamste doel van deze Actie is de ontwikkeling, implementatie en promotie van het gebruik van methoden en procedures ter ondersteuning van het gebruik van verkeerssimulatiemodellen, meer specifiek rond de thema's modelcalibratie en -validatie. Tot op de dag van vandaag focuste het merendeel van de middelen en inspanningen in het domein van verkeerssimulatie op modelontwikkeling, wat geleid heeft tot vele simulatiemodellen die beschikbaar zijn op de markt. Deze modellen worden uitgebreid gebruikt in applicaties die een grote potentiële impact hebben op de veiligheid, capaciteit en milieu-efficiëntie van het wegsysteem. Echter, de betrouwbaarheid van de resultaten en conclusies die getrokken worden uit simulatiestudies, evenals de draagwijdte van mogelijke applicaties waarvoor deze hulpmiddelen betrouwbaar kunnen gebruikt worden, zijn twijfelachtig: dezelfde simulatiestudie, uitgevoerd door verschillende mensen, zelfs bij gebruik van hetzelfde hulpmiddel, geeft waarschijnlijk verschillende resultaten. Bijgevolg, de betrouwbaarheid van de resultaten is bijna volledig afhankelijk van de bekwaamheid van de modelgebruikers en hun intuïtie. Meer nog, de toenemende complexiteit van modellen maakt dat het zelfs voor experten een moeilijke taak wordt om een correct gebruik te garanderen. Hiervoor zijn zeer specifieke calibratie- en validatiemethodologieën nodig. Om die redenen is de belangrijkste doelstelling van deze Actie de ontwikkeling, implementatie en promotie van methodes en procedures ter ondersteuning van het

4 gebruik van verkeerssimulaties, meer specifiek rond de thema's calibratie en validatie. Om hiertoe te komen wordt het delen en uitwisselen van beschikbare datasets ook een belangrijke taak van de Actie. Beleidsinformatica Verplaatsingsgedrag Data-analyse en Modellering Instituut voor Mobiliteit Tom BELLEMANS Messiaen weerspiegeld, ontwikkeling van een metamodel voor muzikale analyse. Abstract: Belangrijk voor een goede muziekuitvoering is een grondig inzicht in hoe de compositie die je wil spelen 'in elkaar steekt'. Echter, sinds het begin van de 20e eeuw ontwikkelen componisten hoe langer hoe meer hun eigen muzikale taal, vaak zelfs verschillend van compositie tot compositie, zodat je uiteindelijk over haast evenveel modellen moet gaan beschikken als er composities zijn. Vandaar dat we op zoek willen gaan naar een bruikbaar metamodel voor muzikale analyse. Dit 'universele' analysemodel zou - als een soort instapmodel - moeten toelaten een willekeurige compositie te benaderen zónder voorkennis van hoe het gemaakt is. Aan de hand van een aantal (te ontwikkelen) onderzoekscriteria zou dit model dan meteen in staat moeten zijn aan te wijzen met welk van de bestaande analysemodellen de compositie in kwestie het best verder wordt uitgediept. Hiervoor willen we gebruik maken van de nieuwste inzichten in zo uiteenlopende disciplines als linguïstiek, wiskunde en artificiële intelligentie. Om zo een dieper inzicht te verwerven in het wezen van de muziek als kunstvorm. Adaptieve Systemen Groep Computationele Modelering Lab Bernard MANDERICK RUBEN HILLEWAERE MBSE4 Mechatronics. Abstract: Door de steeds toenemende complexiteit van hedendaagse mechatronische systemen, kunnen ontwerpers niet langer alle ontwerp aspecten vatten zonder computerondersteuning. Daarom wil dit project een Modelgebaseerde Systeem Engineering (MB SE) methodologie ontwikkelen voor mechatronische systemen, die de ontwerper zal begeleiden doorheen het volledige ontwerptraject. Door informatie van verschillende ontwerpdisciplines te integreren tijdens alle fases van het ontwerp, zal het mogelijk zijn om optimale producten te ontwerpen op een snelle en efficiënte manier. De twee belangrijkste uitdagingen zijn ondersteuning bieden voor het maken van optimale interdisciplinaire ontwerpkeuzes en het consistent houden van de verschillende discipline-specifieke ontwikkelingen. Constrained Systems Lab (CoSys-Lab) Paul De Meulenaere MBSE4 Mechatronica. Abstract: Door de steeds toenemende complexiteit van hedendaagse mechatronische systemen, kunnen ontwerpers niet langer alle ontwerp aspecten vatten zonder computerondersteuning. Daarom wil dit project een Modelgebaseerde Systeem Engineering (MB SE) methodologie ontwikkelen voor mechatronische systemen, die de ontwerper zal begeleiden doorheen het volledige ontwerptraject. Door informatie van verschillende ontwerpdisciplines te integreren tijdens alle fases van het ontwerp, zal het mogelijk zijn om optimale producten te ontwerpen op een snelle en efficiënte manier. De twee belangrijkste uitdagingen zijn ondersteuning bieden voor het maken van optimale interdisciplinaire ontwerpkeuzes en het consistent houden van de verschillende discipline-specifieke ontwikkelingen. Antwerp Systems and software Modelling (AnSyMo) Hans Vangheluwe Matching bij BRGEOZ157 : Gemeenschap herinneringen voor duurzaam stedelijk wonen Abstract: Veel allergieën, kankers en auto-immuunziekten worden veroorzaakt door een complexe interactie tussen verschillende genen, proteïnen en omgevingsfactoren. Eerdere projecten toonden reeds aan dat algemene principes, zoals uit de netwerktheorie, kunnen gebruikt worden om een brede waaier van complexe systemen te onderzoeken. Desondanks werd dit nog nauwelijks toegepast binnen de medische wetenschappen, hoewel dit volgens ons wel mogelijk is. Een belangrijk doel van dit project is het aanwenden en ontwikkelen van technieken en inzichten uit andere domeinen en complexe systemen, in het bijzonder met de hoop aanwijzingen te vinden voor gepersonaliseerde medicatie voor allergieën en multiple sclerose. Taal en taalevolutie zijn voorbeelden van dergelijke complexe systemen waarin verschillende interagerende netwerken, zoals co-occurence, semantische en syntactische netwerken, bijdragen tot het geheel. Het probleem van het ontstaan en de evolutie van natuurlijke taal vertoont ook sterke overeenkomsten met het probleem van het ontstaan van een moleculaire taal in de biologie. We denken dan ook dat de technieken en inzichten verworven en ontwikkeld voor de studie van taalevolutie zullen kunnen bijdragen tot het begrijpen van de complexe genen proteïne interacties in emergente ziektegeassocieerde gen-modules. Informatica en Toegepaste Informatica LUC STEELS Mass spectrometry imaging & Clinical trial Abstract: Mass spectrometry imaging & Clinical trial using Microarrys Afdeling ESAT - STADIUS Bart De Moor Yousef El Aalamat

5 Malware: ecosystems, mechanisms, detection and countermeasures M Zubair Rafique Machine Understanding of Text Marie-Francine Moens N. N. Steven Bethard