KNAW

Organisatie

Departement Informatica

Pagina-navigatie:

Afgesloten onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Samenwerking Software Technology for e-Learning
Samenwerking Agent-mediated Business Coordination
Samenwerking Componenten en component connectoren
Samenwerking Numerieke algoritmen in de bioinformatica
Samenwerking Combinatoriële algoritmen in de bioinformatica
Samenwerking Databases voor gepersonaliseerde ubiquitaire intelligente apparaten
Samenwerking Automated Visualization of Traffic and Transportation
Samenwerking Indexing and matching of logos
Samenwerking Koppelen en exploiteren van spatio-temporele databases van genexpressie-patronen van ontwikkelingsbiologische modelsystemen
Penvoerder Business and IT alignment in context
Penvoerder First Class Syntax, Semantics and Their Composition
Penvoerder Electronische Document Technologie en Informatiesystemen
Penvoerder Geometrie, Beeldwetenschappen en Virtuele Omgevingen
Penvoerder Grootschalig Gedistribueerde Informatiesystemen
Penvoerder Motion Planning in Complex CAD Models
Penvoerder C-Minor : Cognition-based Music Information Notation Oriented Retrieval
Penvoerder ORPHEUS : On-line Retrieval from Polyhymnia: the Human-oriented Experimental Utrecht Searcher
Penvoerder Music Retrieval
Penvoerder SPIRIT: geographic information retrieval
Penvoerder Geometric Algorithms for Visibility
Penvoerder Design for Manufacturing
Penvoerder Betere organisaties door effectief kennisdelen
Penvoerder Bruikbaarheid van zoektalen voor XML
Penvoerder Algoritmische complexiteit van probabilistische netwerken
Penvoerder Rij-georiënteerd programmeren
Penvoerder Optimization of polyhedral terrains
Penvoerder Communicatie- en beslissingsstrategieën voor softwareagenten
Penvoerder De petabyte data mining uitdaging
Penvoerder Simuleren van manipulatietaken
Penvoerder Padplanning in veranderlijke omgevingen
Penvoerder Virtual Environments
Penvoerder Evidence for a good story. A hybrid theory of arguments, stories and criminal evidence
Penvoerder Het vergaren van data met betrekking tot factoren die coeliakie veroorzaken
Penvoerder Schrijfbare compilers
Penvoerder Caging Plygons with Two and Three Fingers
Penvoerder AG-MECH: het integreren van compilertechnologie en bewijshulpmiddelen
Penvoerder Geometrische netwerken
Penvoerder Boombreedte en combinatoriële optimalisering (TACO)
Penvoerder Competente genetische algoritmen voor het leren van Bayesiaanse netwerken uit data
Penvoerder Planning van bewegingen in virtuele omgevingen voor meervoudige entiteiten
Penvoerder Vastleggen van de tijdlijn variabiliteit met transparante configuratieomgevingen
Penvoerder Voorwerpen op hun plaats houden in het vlak en in de ruimte
Penvoerder MINDSHADE - Matching and Indexing through Shape Decomposition
Penvoerder Geometric matching of weighted point sets
Penvoerder Bewegingsplanning voor robots
Penvoerder Haalbaarheid van het nemen van beslissingen bij onzekerheid
Penvoerder Een stapsgewijze implementatie van de programmeertaal Haskell
Penvoerder Een methodologie voor agent-georiënteerd ontwerp van software
Penvoerder Uitvoerbare ontwerppatronen
Penvoerder Waarom hebben we T bereikt?
Penvoerder Presentatiegericht editen van gestructureerde documenten en XML
Penvoerder Real world agents en adaptieve redeneerregels
Penvoerder Proof carrying bean (Poocabean) - synthese, verificatie en validatie van Poocabean specificaties
Penvoerder Ontwerp en analyse van efficiënte algoritmen voor probabilistische interferentie
Penvoerder MONDRIAN: een schrijftaal voor Internet programmeren
Penvoerder MOCCAM: bewegende objecten in complexe CAD modellen
Penvoerder A Model for Organizational Interaction: Based on Agents, Founded in Logic

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie