Organisatie

Centrum Wiskunde & Informatica - CWI

Pagina-navigatie:

Overzicht
Lopend onderzoek (26)
Afgesloten onderzoek (76)

Afgesloten onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Samenwerking	Efficient Iterative Solution of Large Linear Systems on Heterogenous Computing Systems
Samenwerking	Natural and Intuitive Interaction and Information Access (SRA Multimedia and Interaction)
Samenwerking	Applicatie pilot e-Culture
Samenwerking	Matrix software
Samenwerking	Transmission Control Protocols for the Internet
Samenwerking	De petabyte data mining uitdaging
Samenwerking	hp-Adaptive finite element methods for the Maxwell equations
Samenwerking	Finite elements and multigrid solvers for multiple scale problems
Samenwerking	Continuous Access to Cultural Heritage (CATCH)
Samenwerking	DEAL - Distributed Engine for Advanced Logistics
Samenwerking	On the Amount of Sieving in Factorization Methods
Samenwerking	A-services Internet (ASI): Always Access - Available - Attentive - Ambient - Abundant - Applications
Samenwerking	Dynamische business ICT verbond
Samenwerking	OPTIMA Optimale Persoonlijke Interface door Mens-imiterende Agents
Samenwerking	ARCHIMATE - Een geïntegreerde architectuuraanpak voor het beschrijven en visualiseren van verschillende bedrijfsdomeinen
Samenwerking	ASTA - Autonome 'trade agents' voor e-commerce
Samenwerking	CoMoLo: Coalgebraïsche Modale Logica - theorie en toepassingen
Samenwerking	Biografie van Aad van Wijngaarden
Samenwerking	Renovation of Idiomatic Crosscutting Concerns in Embedded Systems
Opdrachtgever	Verificatie van systemen
Penvoerder	Informatiesystemen (INS)
Penvoerder	Concurrent Access and Traffic Control Methods in Wireless Communication Networks
Penvoerder	Electric fracture: growth and branching of ionized channels (CTF.6501)
Penvoerder	Dynamiek van normatieve multiagent systemen (DyNMAS)
Penvoerder	Bewegende ionisatiegrenzen en ladingstransport
Penvoerder	Quantum informatieverwerking
Penvoerder	De grenzen van fout-corrigerende codes in het elektronisch dataverkeer
Penvoerder	Componenten en component connectoren
Penvoerder	Numerieke algoritmen in de bioinformatica
Penvoerder	Algoritmische statistiek in de bioinformatica
Penvoerder	Databases voor gepersonaliseerde ubiquitaire intelligente apparaten
Penvoerder	Netwerk infrastructuur ondersteuning voor convergente interactieve media
Penvoerder	Differentiatiemechanismen voor de kwaliteit van diensten - prijsstelling
Penvoerder	Kwaliteit van diensten in communicatienetwerken
Penvoerder	Biometrie en digitaal watermerken
Penvoerder	Veiligheid, identificatie en authenticatie
Penvoerder	Praktische benaderingen voor veilige berekening
Penvoerder	Fundamenteel informatica-onderzoek ten behoeve van de kennissamenleving (BRICKS)
Penvoerder	Kritische percolatie van exciteerbare media
Penvoerder	Foto-identificatie van Cetaceae met behulp van matching op kenmerken
Penvoerder	TRECVID
Penvoerder	Dynamische percolatiemodellen in de nabijheid van het kritisch punt
Penvoerder	Taalparametrische herstructurering van computerprogramma's
Penvoerder	Geometrische numerieke methoden voor continuüm mechanica
Penvoerder	Asymptotische analyse van wachtrijsystemen
Penvoerder	Wiskundige aspecten van discrete tomografie
Penvoerder	Natuurgetrouwe neurale netwerken
Penvoerder	Mathematische statistiek en waarschijnlijkheid
Penvoerder	Stochastische Dynamica en Discrete Kansrekening
Penvoerder	Randomized Approximation Algorithms: Facility Location, Phylogenetic Networks, Nash Equilibria
Penvoerder	Specificatie en analyse van ingebedde systemen (SEN2)
Penvoerder	Stochastische geometrie (PNA4.3)
Penvoerder	Toepassing van vloeistofmodel in wachtrijtheorie
Penvoerder	Regel- en systeemtheorie (MAS2.3)
Penvoerder	Modelleren, analyse en simulatie (MAS)
Penvoerder	Formeel ontwerp, het voorzien van tools en de implementatie van het prototype van een real-time gedistribueerde gedeelde data-ruimte (CES.5009)
Penvoerder	Cultureel erfgoed in interactieve multimedia-omgevingen (ToKeN2000/CHIME)
Penvoerder	I2RP: Intelligente retrieval en presentatie van informatie in publieke historische multimedia databases
Penvoerder	Real-time gedistribueerde gedeelde gegevensruimte
Penvoerder	Verbetering van de kwaliteit van embedded systemen door middel van formele ontwerptechnieken
Penvoerder	Monotoniciteit en symmetrische eigenschappen van oscillerende oplossingen van vierde-orde gewone differentiaalvergelijkingen
Penvoerder	Numeriek modelleren van de vorming van neuronale verbindingen in het zenuwstelsel
Penvoerder	Semantische benadering van component-gebaseerde software
Penvoerder	Ontwikkeling en toepassingen van de micro Common Representation Language (micro-CRL) toolset
Penvoerder	Golfjes en hun toepassingen
Penvoerder	Stochastische netwerkanalyse voor het ontwerp van zelf-optimaliserende cellulaire mobiele communicatiesystemen (MOBILECOM)
Penvoerder	Specificatie, testen en verificatie van software voor technische toepassingen (STVSTA)
Penvoerder	Semi-automatisch genereren van hypermedia presentaties (Dynamo)
Penvoerder	Formele methoden voor coördinatietalen (SEN3.1)
Penvoerder	Exploratief onderzoek: coalgebraïsche rekenmodellen (SEN3.3)
Penvoerder	Multiresolutie beeldanalyse en synthese: van axiomatiek naar toepassingen
Penvoerder	Wetenschappelijk rekenen en algebraïsche abstracties (SAGA)
Penvoerder	Software-technologie (SEN)
Penvoerder	Getaltheorie met behulp van de computer en gegevensbeveiliging (MAS2.2)
Penvoerder	Computerberekeningen in de vloeistofdynamica (MAS2.1)
Penvoerder	Netwerken en logica - optimalisering en programmeren (PNA1)