Zoek expertise

1 - 9 of 9 resultaten

Zoek term:

Logic Engineering Vrije Universiteit Brussel

Binnen de context van de alliantieonderzoeksgroep willen we o.m. werken aan de studie van declaratieve formalismen die schaalbaar zijn tot het niveau van webtoepassingen. Door de uitdrukkingskracht van formalismen op een zinvolle manier te beperken tot wat effectief vereist is, kunnen soms verrassend efficiente systemen gevonden warden. We willen bv. onderzoeken ender welke voorwaarden het PageRank algoritme, dat door Google gebruikt wordt om ...

Theoretische Informatica Vrije Universiteit Brussel

" Onderzoeksthema: Toepassingen van logica in de informatica. Computer wetenschap kan worden beschouwd als `` toegepaste logica''; uit het niveau van de hardware (circuits) tot geavanceerde kennis vertegenwoordiging (e.g. nonmonotonic redenering). Gebieden van belang zijn: 1. Modelling argumentatie; 2. Nonmonotonic redenering formalisms; 3. Formele specificatie en verificatie van complexe software systemen; 4. Logic programmering ...

Toegepaste wiskunde Universiteit Antwerpen

Verantwoordelijke
Het onderzoeksonderwerp van onze groep betreft de ontwikkeling, analyse en toepassing van numerieke methoden. Hierbij gaat de aandacht speciaal uit naar tijdsafhankelijke partiële differentiaalvergelijkingen - afgekort: PDVen. PDVen spelen een sleutelrol in de wiskunde en een breed spectrum van toepassingsgebieden. De wiskundige modellen in de hedendaagse wetenschap en techniek hebben meestal meerdere onderliggende variabelen, wat leidt tot ...