Declaratieve Talen en Artificiële Intelligentie (DTAI) KU Leuven
Declaratieve Talen en Artificiële Intelligentie (DTAI)
Declaratieve Talen en Artificiële Intelligentie (DTAI)
Het EDM verricht research in informatie- en communicatietechnologie (ICT) en heeft hierbij steeds oog voor mogelijke toepassing van het onderzoek in bedrijfsleven of maatschappij.Inhoudelijk concentreert het EDM zich op drie speerpuntdomeinen:
Afdeling Informatica
Het Expertisecentrum Onderzoek en Ontwikkelingsmonitoring van de Vlaamse Gemeenschap (ECOOM) is een interuniversitair consortium met deelname van alle Vlaamse universiteiten (KU Leuven, UGent, VUB, UA en UHasselt). ECOOM heeft als opdracht een consistent systeem van O&O- en innovatie-indicatoren te ontwikkelen voor de Vlaamse overheid. Dit indicatorensysteem moet de Vlaamse overheid steunen om de inspanningen op vlak van innovatie en ...
Het Departement Computerwetenschappen bestaat uit vijf eenheden. Vier hiervan zijn verspreid over acht locaties in Vlaanderen, met het zwaartepunt in Leuven op Campus Arenberg: Gedistribueerde en Veilige Software (DistriNet), Declaratieve Talen en Artificiële Intelligentie (DTAI), Mens-Computer Interactie (HCI), en Numerieke Analyse en Toegepaste Wiskunde (NUMA). De vijfde eenheid bevindt zich op de Campus Kulak Kortrijk ...
De afdeling Analytische Chemie, Toegepaste Chemometrie en Moleculaire Modellering (FABI) maakt deel uit van het Farmaceutisch Instituut van de Faculteit Geneeskunde en Farmacie van de Vrije Universiteit Brussel. Het bevindt zich in gebouw G, begane grond van de Brusselse gezondheidscampus (campus Jette (zie locatie)) van de universiteit.
De belangrijkste onderzoeksthema's situeren zich in de separatiewetenschappen, chemometrie en ...
Het Audio-visuele Signaalverwerking (AVSP) Lab onderzoekt nieuwe methoden voor de geautomatiseerde interpretatie van sociaal en affectief gedrag. Onderzoeksgebieden zijn onder andere sociale signaalverwerking, multisensor fusie, computer vision, ubiquitous computing, en machine learning. Onze expertise is vooral gericht op het ontwikkelen van geautomatiseerde methoden voor het analyseren van sociale signalen van verbaal en non-verbaal gedrag ...
" 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 ...
De onderzoeksgroep HCI and eHealth verricht onderzoek in Informatica, met een focus op mens-machine interactie (Human-Computer Interaction, HCI). eHealth is een belangrijk toepassingsdomein in de gehele onderzoeksportfolio van de groep. De HCI and eHealth onderzoekseenheid wordt geleid door Prof.dr. Karin Coninx, en de groep heeft uitgebreide ervaring in basis- en toegepast onderzoek, vaak in de context van multi-/interdisciplinaire ...