Emerging computational techniques (ECT)

Organisatieprofiel:De onderzoeksgroep ECT draagt actief bij tot de ontwikkeling van een aantal nieuwe computationele methoden, met name methoden gebaseerd op interval aritmetiek en symbolisch-numerieke technieken. Interval aritmetiek is een essentieel tool om de resultaten van wetenschappelijke berekeningen te kunnen valideren. Met interval aritmetiek worden immers automatisch boven- en ondergrens van het correcte resultaat berekend, eerder dan een, al dan niet nauwkeurige, benadering van het correcte resultaat. In een tijdperk waarin steeds meer wordt vertrouwd op computer systemen, is het belangrijk dat de validatie van die systemen in gelijke mate toeneemt. Behalve als validatietool, zijn intervaltechnieken een onmisbaar hulpmiddel voor bepaalde optimalisatieproblemen, meer specifiek voor problemen waarbij men op zoek is naar globale maxima (minima) en voor constraint satisfaction problemen in combinatorische optimalisatie. Symbolisch-numerieke technieken zijn een belangrijke rol gaan spelen in toepassingen waarbij berekeningen met veeltermen essentieel zijn, zoals robotica, visie, computationele biochemie, ... In deze toepassingen stelt zich de noodzaak om bestaande symbolische algoritmes te herzien, om rekening te kunnen houden met fouten op de coefficienten. Deze fouten veranderen de natuur van de vragen die traditioneel over veeltermen gesteld worden en dus ook de algoritmes om die vragen op te lossen. De activiteiten van de onderzoeksgroep bevinden zich zowel op theoretisch vlak, effectieve implementaties en praktische toepassingen.

Trefwoorden:INVERSE PROBLEMEN, SYMBOLISCH-NUMERIEK COMPUTING, FLOATING POINT, ARITHMETICA, SIMULATIES, FUNCTIE BENADERING, MODELLERING

Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Distributed computing, Informatiewetenschappen, Informatiesystemen, Programmeertalen, Scientific computing, Theoretische informatica, Visual computing, Andere informatie- en computerwetenschappen