< Terug naar vorige pagina
Organisatie
Afdeling Informatica
Division
Hoofdorganisatie:Departement Computerwetenschappen
Tijdsduur:1 okt 1981 → Heden
Organisatieprofiel:
Afdeling Informatica
Trefwoorden:Artificiële intelligentie, Programmeren, Informatica
Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Distributed computing, Informatiewetenschappen, Informatiesystemen, Programmeertalen, Scientific computing, Theoretische informatica, Visual computing, Andere informatie- en computerwetenschappen
Huidige onderzoekers
1 - 1 of 1 results
- Yves Willems (Lid)
Projecten
1 - 10 of 216
- Gedessineerde quantum-dot-in-polymeer kleurconverters voor verlichting en displaysVanaf28 feb 2023 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Beeldgebaseerde appearance metrologieVanaf1 okt 2022 → HedenFinanciering: BOF - projecten
- Beeldgebaseerde uiterlijk-metrologieVanaf24 sep 2022 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Verbetern van taalbegrip met behulp van gezond verstand en leren van representaties verrijkt met anticipatieVanaf3 okt 2019 → 3 okt 2023Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Opschaalbare Inferentie voor Probabilistische Programma'sVanaf26 sep 2019 → 26 sep 2023Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Multimodale representaties gebaseerd op beeld en tekstVanaf20 sep 2019 → 20 sep 2023Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Bescherming van beveiligingsoplossingen die afhankelijk zijn van machinaal lerenVanaf6 mei 2019 → 6 mei 2023Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Nieuwe grootheden voor het meten van uiterlijk (BxDiff)Vanaf1 mei 2019 → 30 apr 2022Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Semi-automatische modulaire formele verificatie van kritieke softwareVanaf2 apr 2019 → 29 feb 2024Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Behouden van Taal Abstracties: Gradueel Typeren en State ThreadsVanaf1 nov 2018 → 20 dec 2022Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
1 - 10 van 1995
- ACQA: an instrument for accrediation and quality assurance in engineering curricula?(2011)
Auteurs: Elsje Londers, Yolande Berbers, Marie-Paule Buyse, Maurice De Proft, Ludo Froyen
Pagina's: 286 - 292 - A simple publishing interface for learning object repositories(2008)
Auteurs: Stefaan Ternier, David Massart, Frans Van Assche, Neil Smith, Bernd Simon, Erik Duval, Joseph Luca, Edgar R Weippl
Pagina's: 1840 - 1845 - Conflict detection in delta-oriented programming(2012)
Auteurs: Dave Clarke
Pagina's: 178 - 192 - Extraction of an architecture model for least privilege analysis(2012)
Auteurs: Riccardo Scandariato, Wouter Joosen
Pagina's: 1 - 23 - Unifying Guarded and Unguarded Iteration(2017)
Auteurs: Maciej Piróg
Pagina's: 517 - 533Aantal pagina's: 17 - FO(FD): Extending classical logic with rule-based fixpoint definitions(2010)
Auteurs: Ping Hou, Broes De Cat, Marc Denecker
Pagina's: 581 - 596 - An effective quality measure for prediction of context information(2010)
Auteurs: Yves Vanrompay, Stephan Mehlhase, Yolande Berbers
Pagina's: 13 - 17 - Davim: Adaptable middleware for sensor networks(2008)
Auteurs: Wouter Horré, Sam Michiels, Wouter Joosen, Pierre Verbaeten
- A tale of histories(2008)
Auteurs: Peter Van Weert
Pagina's: 79 - 94 - Eternal Systems, Proceedings of the First International Workshop (EternalS 2011)(2011)
Auteurs: Riccardo Scandariato