KNAW

Organisatie

NWO Exacte Wetenschappen - EW

Pagina-navigatie:

Afgesloten onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Financier Fundamental physics using neutron stars
Financier Calibration of ionospheric effects in SKA
Financier Distribution and Kinematics of Gas in Nearby Galaxies - Preparing for MeerKAT
Financier Atmospheric Characterization and Adaptive Optics in Astronomy
Financier Ultra-compact binaries and radio transients (individual visits)
Financier eWaterCycle
Financier Ergodic Theorems for Polynomials in Nilpotent Groups
Financier Star Clusters : Tracing the Origin and Composition of Stellar Populations
Financier Advanced Methods for Clinical Outcome Prediction in Acquired Heart Disease
Financier Single Top Quark Production at the LHC. Date Processing and Cross Section Measurement
Financier Optimal Geometric Data Structures
Financier A Little Green Machine for High Performance Parallel Multipurpose Supercomputing Using Graphical Processing Units
Financier Stability and rewiring in adaptive neuronal networks
Financier Spectral characterizations of graphs
Financier Self-interacting walks, growth processes and renormalization
Financier De kracht van het oneindige kleine
Financier Rol docent bij abstraheren
Financier The ins and outs of red-giant stars using asteroseismology
Financier LINKing System for historical family reconstruction
Financier A semidefinite programming based branch-and-bound framework for the quadratic assignment problem
Financier Elementary steps in Fischer Tropsch Synthesis by DFT calculations
Financier Moduli spaces of noncommutative instanton
Financier Categorical and ALgebraic MOdels of Computation
Financier Machine Translation When Exact Pattern Match Fails
Financier Cracking a Scientific Database
Financier Reduced models for multiscale reaction-diffusion dynamics
Financier Special Values and t-Motives
Financier Neutron stars with sub-millisecond periods: a new frontier of physics
Financier Archimedes en Dijksterhuis
Financier Evolution Strategies for Robust Optimization
Financier Studies on verification of wireless sensor networks and abstraction learning for system inference
Financier Adaptive dissimilarity measures, dimension reduction and visualization
Financier Anatomical Shape and Motion Reconstruction from Sparse Image Data
Financier Attention-Gated Reinforcement Learning
Financier Learning-Based Approaches to Deformable Image Registration
Financier Exploration and Contextualization through Interaction and Concepts
Financier HITIME: Historical Timeline Mining and Extraction
Financier Modular Forms and Cohomology of Moduli Spaces
Financier Monotone Variational Recurrence Relations
Financier Quantum Toposophy
Financier A consumer perspective on moving images. The design and adoption of public audiovisual heritage services in the Netherlands
Financier Outsmarting Influenza and Chagas Disease: Developing Mechanism-based Sialidase Inhibitors for Study and Treatment
Financier DAS-4: Prototyping Future Computing Infrastructures
Financier The evolution of stochastic heterogeneous networks as bet-hedging adaptations to fluctuating environments.
Financier Topics in percolation theory
Financier Design Principles of The Regulation of Biological Networks
Financier Management and evolution of business process variants
Financier A Reference Architecture for Distributed Software Deployment
Financier Microbial ecosystems and multiple environment stoichiometric analyses
Financier Peer-to-Peer Information Retrieval
Financier Spin models on random graphs
Financier Essays on Empirical Likelihood in Economics
Financier Blueprint Model and Language for Engineering Cloud Applications
Financier Algebraic A-hypergeometric functions and their monodromy
Financier Evolved stars in galactic plane surveys
Financier Algorithmic power management. Energy minimisation under real-time constraints
Financier Fast and Reliable Online Learning to Rank for Information Retrieval
Financier Discrete geometry approach to structure-preserving discretization of port-Hamiltonian systems
Financier Formal Verification of Deadlock Avoidance Mechanisms
Financier Optimizing Pointer Linked Data Structures
Financier Non-diffusive limit laws for interacting particle systems and growth models
Financier Rational representations and behavioral distance
Financier Gaussian and Lévy-driven queues
Financier Coupling, Concentration and Random Walks in Dynamic Random Environments
Financier High resolution X-ray spectroscopy of Type Ia supernova remnants
Financier Low-mass X-ray binaries in the Galactic Bulge
Financier Tropical varieties, maps and gossip
Financier Hellingen, snelheden en marginale kosten
Financier Neuronal Network Formation through Reciprocal Interactions between Activity and Structure
Financier Cryptography from Quantum Uncertainty, in the Presence of Quantum Side Information
Financier A Full Census of Radio Emitting Neutron Stars with LOFAR
Financier Norm Implementation via Mechanisms
Financier Anyons in infinite quantum systems: QFT in d=2+1 and the Toric Code
Financier Zeta function rigidity. A view from noncommutative geometry
Financier Elliptic Delsarte surfaces
Financier CARD, a cardinality constraints based solver
Financier The effects of small scale structure on large scale reionization
Financier Dynamics and stellar populations of small stellar systems
Financier Study the multiwavelength emission of neutron stars with critical magnetic fields
Financier Bayesian Asymptotics: Inverse problems and irregular models
Financier MoDSE - Model-Driven Software Evolution
Financier Strengthening modern cryptography by automatable proving
Financier Mending the Unending: Machine Assisted Reasoning with Infinite Objects
Financier Generalized complex 4-manifolds
Financier Multi-Vis: A Multi-modal Visualisation Environment for Interactive Analysis of Medical Data
Financier Beveiliging en privacy van RFID
Financier Hot chemistry and physics in the planet-forming zones of disks
Financier Practical approximation algorithms for NP-hard continuous global optimization problems
Financier Lie algebras associated with PDEs and Backlund transformations
Financier Effective Focused Retrieval by Exploiting Query Context and Document Structures
Financier Random fractals and scaling limits in percolation
Financier Actuele opgaven in de historische context van de 17e eeuw in de Republiek der Nederlanden
Financier Elektronica van de toekomst
Financier Proton mass in relation to its vibration frequency in ammonia
Financier Discovery of Articulated Structures in Image Sequences
Financier Compositional analysis and control of dynamical systems
Financier Stability, Bifurcations and Stabilisation of Invariant Sets in Differential Inclusions
Financier Morph: Learning to learn: An Adaptive Reading System using a High-Performance Morphed-Image Correlator
Financier Symplectic structures: at the interface of analysis, geometry, and topology.
Financier Stellar Processes near Massive Black Holes
Financier Formation of singularities in natural systems
Financier Priors for the Estimation of Probabilistic Grammars from Incomplete Natural Language Data
Financier The Shafarevich conjecture made effective
Financier Gauged sigma-models and equivariant mirror symmetry
Financier The Design and Implementation of the KOALA Grid Resource Management System
Financier Adaptive High-Performance Distributed Multimedia Computing
Financier Visual Information Retrieval Based on Synthetic Imagery
Financier Bayesian Decision Support in Medical Screening
Financier A common framework for the analysis of reactive and timed systems
Financier IPOL - Intelligence led POLicing. Een effectieve rechtshandhavingsstrategie of een bedreiging voor de burgervrijheden en de principes van het strafrecht?
Financier Liberté, égalité, fraternité: verdere ontwikkeling van de biodiversiteitstheorie door het integreren van inzichten in de toegepaste wiskunde van combinatoriële stochastische processen
Financier Ontwerp en analyse van robuuste getimede systemen
Financier HEFBOOM-project UvT / FEW en FdL
Financier Context in interactieve wiskundige documenten
Financier Continue/discontinue Galerkin methoden voor vaste-stof mechanica
Financier Generative AI: a neo-cybernetic analysis
Financier Attractors in stratified fluids
Financier Visco-elastische instabiliteiten en de aard van zwakke turbulente stromingen
Financier Vertragingsdynamica van laserpatronen
Financier Bewegende ionisatiegrenzen en ladingstransport
Financier RAVE: een radiaal snelheidsexperiment voor het ophelderen van de geschiedenis van de Melkweg
Financier KIDS: een 1000 vierkante graden overzicht van de zwakke gravitatie-afschuiving met OmegaCAM
Financier Verbetering van de infrastructuur: investering in een Fourier transform spectrometer
Financier Efficiënte toewijzing van bedieningscapaciteit in netwerken bestaande uit meerdere bedieningsentiteiten en met variërende verwerkingssnelheid
Financier The structure of dark and luminous matter in early-type galaxies
Financier HEFBOOM-project TUD
Financier Evolutie en nucleosynthese van dubbelsterren bij de vroegste generatie sterren
Financier Submillimeter interferometrie: onderbrenging van de JCMT in de eSMA
Financier De Nederlandse invloed op de hemelkartografie van de 16e tot de 18e eeuw
Financier Gemagnetiseerde astrofysische jets: lancering. collimatie, stabiliteit en einde
Financier Het bewijzen van vergelijkingen voor cyclische objecten
Financier Coördinatie van taken voor niet-coöperatieve agenten
Financier GoFGo - Go for Go: leren en zoeken
Financier Efficiënt remeshen en analyse views voor integratie van ontwerp en analyse
Financier Algoritmische complexiteit van probabilistische netwerken
Financier Kinematische afbeelding van het kosmische HI web
Financier HEFBOOM-project RUN / NIII
Financier Adiabatische demagnetisatiekoeler voor de ontwikkeling van een cryogene stralingsdetector
Financier Heterokliene bifurcaties in equivariante vectorvelden
Financier GRASLAND - GRAphs for Software LANguage Definitions
Financier Rij-georiënteerd programmeren
Financier Conservatieve smoothers voor turbulente convectie: een nieuwe kortere simulatieweg
Financier Singulariteitstheorie en cut loci in driedimensionale variëteiten
Financier Subgeometrieën van gebouwen en involuties
Financier Grote afwijkingen van Gaussische wachtrijen: karakterisering en analyse
Financier Formalizing Elementary Analysis Rigorously (FEAR)
Financier Realisatie en regeling van rationaal positieve systemen
Financier Een pyramidaal algoritme voor het groeperen van contouren
Financier Modellering van de regelaspecten van embedded systemen
Financier Optimization of polyhedral terrains
Financier Thread algebra voor strategische interleaving
Financier Limieten op stabiele semigroepen
Financier Allograph based writer identification, handwriting analysis and character recognition
Financier Correctheid van het coördinatieproces en vertrouwensaannamen
Financier Model-reductie en benadering voor systeemgedrag
Financier Multischaal skeletkenmerken ten behoeve van visualisatie
Financier Quantum computing: algoritmen, bewijzen en wisselwerkingen
Financier Visualisatie van globale tensor-informatie voor diffusie tensor afbeeldingen
Financier Schalingslimieten in twee dimensies
Financier Het semiparametrische Bernstein-Von Mises theorema
Financier Presolaire SiC korrels: een doorbraak in de nucleosynthese in sterren
Financier Random copolymeren in random emulsies
Financier Layla, 'the Laymans Legal Assistant': assisteren van consumenten in business c.q. consumentenconflicten middels diagnostisering, advisering en bemiddeling
Financier Rox: run-time optimization of xqueries
Financier Stoffige sterrenstelsels en de verborgen fasen van de evolutie van sterrenstelsels
Financier HEFBOOM-project UT / CTIT
Financier DAS-3: de volgende generatie Grid infrastructuur in Nederland
Financier Meer efficiënte inwendige punt methoden voor kegeloptimalisering
Financier HEFBOOM-project UL / LIACS
Financier QUPES - verifying QUantitative Properties of Embedded Software
Financier HEFBOOM-project RuG
Financier HEFBOOM-project UvA/IvI
Financier HEFBOOM-project TUE / FWI
Financier CASSANDRA - Context-Aware SenSing for AggressioN Detection and Risk Assessment
Financier ACCESS - Agent-based Criminal Court Electronic Support Systems
Financier Representation and Manipulation of Images Based on Linear Functionals
Financier Geparametriseerde en exacte berekening
Financier Rekenkundige meetkunde, motieven: informatica-aspecten
Financier Reconstructie van software-architecturen voor systeem-evaluatiedoeleinden
Financier Value-based business-IT ALignment (VITAL)
Financier a GRId For inFormatIoN about architectural knowledge (GRIFFIN)
Financier EQUITY: Exploring QUantifiable Information Technology Yields
Financier Inhoud voor WWWiskunde
Financier Monte Carlo methoden in de financiële wiskunde
Financier Symmetrie en modulariteit in exact oplosbare modellen
Financier Computertopologie voor systemen en regelen
Financier Naar een context-bewust databeheer voor ambiente intelligentie - van imaginaire visie naar gefundeerd ontwerp en implementatie
Financier Voorbereidingen voor de Gaia ruimtemissie: fotometrische data-analyse en een eerste toepassing van Grid technologie
Financier X-SHOOTER: een krachtige optische-nabij infrarood spectrograaf voor de Very Large Telescope (VLT)
Financier Differentiaalvergelijkingen voor prepotentialen
Financier Metingen en statistiek in quantuminformatie
Financier Bewegingsfouten in hersenfunctieonderzoek
Financier Instortingsvoorlopers bij dubbelsterren
Financier Trillende snaren en random processen met stationaire aangroeiingen
Financier Het verbond van meetkunde en quantumtheorie
Financier Niet-lineaire dynamica van natuurlijke systemen
Financier Discrete, Interactive and Algorithmic Mathematics, Algebra and Number Theory
Financier Ultracompacte dubbelsterren, de primaire bronnen van gravitatiegolven
Financier Frobenius variëteiten in de algebraïsche meetkunde en singulariteitstheorie
Financier Quantum informatieverwerking
Financier Gemengde eindige elementen voor zwellende weefsels
Financier Ontwikkeling van een computationeel efficiënt model van het menselijk hart
Financier Computeranalyse van spatiotemporele activiteitspatronen in neuronale netwerken
Financier Multispecies resource competition
Financier Op botcellen gebaseerde computersimulatie van de morfogenese van het skelet en van osteoporose
Financier Fysische eigenschappen van heet gas in clusters van melkwegstelsels
Financier Modeling and Identification of Linear Parameter-Varying Systems, an Orthonormal Basis Function Approach
Financier Evolutie van de overblijfselen van sterbotsingen
Financier Recursieve compositiestructuren
Financier Convergence Rates in Nonparametric Bayesian Density Estimation
Financier Fundamentele eigenschappen van neutronensterren
Financier Intuïtionistische omgekeerde wiskunde
Financier Numerieke simulaties van de vorming en evolutie van dwergsterrenstelsels
Financier Exacte algoritmen
Financier Balanced truncation for dissipative and symmetric nonlinear systems
Financier Giant elliptical galaxies
Financier Enkelmolecuul elektronica van nanobuizen naar DNA
Financier Semiparametrische inferentie voor Lévy processen
Financier Dynamica en geometrie van resonante bifurcaties
Financier Oplossen loodwitpigmenten speelt rol bij achteruitgang olieverfschilderijen
Financier Keuzerijen in het werk van Brouwer
Financier Nieuwe wachtrijmodellen voor call centers
Financier Numerieke bepaling van golfaantrekkers
Financier Statistische methoden voor stochastische differentiaalvergelijkingen
Financier Moduli van K3 oppervlakken
Financier Op profielen gebaseerde retrieval van informatiebronnen in een netwerkomgeving
Financier Representaties van vlechtgroepen en tensorcategorieën
Financier De grenzen van fout-corrigerende codes in het elektronisch dataverkeer
Financier At Home Anywhere
Financier Kinetiek van mechanismen van Burmester tot Bottema: een historische studie
Financier Nieuwe barrièrefuncties voor kegeloptimalisering
Financier Meetkunde van gewone double solids
Financier Systeem- en regeltheorie voor verdeelde parametersystemen
Financier Directe numerieke simulatie van olie-water mengsels met behulp van front capturing technieken
Financier Een cluster van GRAPES - En N-lichaam laboratorium voor de simulatie van de evolutie van dichte stersystemen, met gebruikmaking van efficiënte schema's voor de berekening van krachten
Financier Simulation and Modeling Underlying Radio Frequencies (SMURF)
Financier Directe numerieke simulatie van complexe turbulente stromingen
Financier Numerieke methoden voor leading edge dominated dynamics
Financier The simplicity of transport. Triangulating the first light
Financier Evidence for a good story. A hybrid theory of arguments, stories and criminal evidence
Financier Het lezen van beelden voor het culturele erfgoed
Financier Semantically-Enhanced Recommendations in Cultural Heritage
Financier Ontginnen van informatie die besloten ligt in teksten die onderdeel zijn van ons culturele erfgoed
Financier Gereedschappen voor het analyseren van handschriften ten behoeve van het culturele erfgoed
Financier Semantische interoperabiliteit ten behoeve van de toegang tot cultureel erfgoed
Financier CHarting the informatiOn landscape employIng ContExt information - CHOICE
Financier Inzoomen op planeet-vormende schijven met behulp van nieuwe submillimeter-golf faciliteiten
Financier Rangschikking van knooppunten in complexe stochastische netwerken - NetRank
Financier Segmentation of anatomical structures in chest CT scans
Financier Particle Filtering Methods for Subcellular Motion Analysis
Financier Intelligente ontsluiting van jurisprudentie met behulp van semantisch web-technologie ter vaststelling van BATNA's in schadegeschillen
Financier Building a Dependable Operating System: Fault Tolerance in MINIX 3
Financier Mixed-integer evolution strategies for parameter optimization and their applications to medical image analysis
Financier Statistical Testing and Reliability Estimation of Software Systems (STRESS)
Financier Geometrie van discriminanten
Financier Exponential laws for rare events in spatially extended random systems
Financier Hele-Shaw and Stokes flow with a source or sink: Stability of spherical solutions
Financier Homeomorfisme-groepen, volledige Erdös ruimte, en semi-continue functies
Financier Renormalisatie in laag-dimensionale dynamica
Financier Asymptotiek in deconvolutie modellen
Financier Leren door empirische L1 risicominimalisering, met L1 regularisatie
Financier Nilpotente Jacobianen
Financier Front Interactions in a Three-Component System
Financier Symmetrieën en deformaties in de geometrie
Financier Kritische percolatie van exciteerbare media
Financier Certified geometric computation: radial basis function based isosurfaces and Morse-Smale complexes
Financier Proactieve constructie van semantische overlay netwerken
Financier Snel online leren voor computer games
Financier Abstraction in Stochastic and Hybrid process Algebra (AiSHA)
Financier Schrijfbare compilers
Financier Coalgebraïsche formele ontwikkeling van exact reëel rekenen
Financier Ongesuperviseerde stochastische grammatica-inductie uit ongelabelde data
Financier Lichtverstrooiing door kleine deeltjes: de kleur van polarisatie
Financier Mineralogie van proto-planetaire schijven die Herbig Ae/Be sterren omgeven
Financier Precisie pulsar timing
Financier Inzoomen op centra van nabijgelegen actieve sterrenstelsels
Financier Combined gravitational lensing and stellar dynamics analysis of early-type galaxies
Financier Planetaire nevels als kinematische tracers van de vorming en structuur van vroeg sterrenstelsels
Financier Visualization of Cumulus Clouds in Virtual Reality
Financier Understanding the Organic Carbon Pump in Meso-Scale Ocean Flows
Financier Algorithms for Fat Objects: Decompositions and Applications
Financier Vorming van dikke schijven in sterrenstelsels
Financier The kinetic inductance detector: A new imaging detector system for space based far-infrared and sub-millimeter astronomy
Financier De invloed van schildermethoden en materialen op het huidige voorkomen van 19de eeuwse schilderijen
Financier Statistiek voor de kinetiek van ionkanalen
Financier Spatio-temporal modelling infochemicals in a food web context
Financier Simulatie van zich ontwikkelende regulatienetwerken
Financier Schaalbaar reinforcement leren in asynchrone spiking neurale netwerken
Financier Relativistische jets vanuit binaire zwarte gaten en neutronensterren
Financier Redeneren en berekenen
Financier Sojourn time tails in processor-sharing systems
Financier Radicalen in de rekenkunde
Financier Foto-identificatie van Cetaceae met behulp van matching op kenmerken
Financier Patterns for Process-Aware Information Systems: An Approach Based on Colored Petri Nets
Financier Ecologische gevolgen van globale bifurcaties
Financier Model-checking of infinite-state Markov chains
Financier Evolving the structure of genomes, networks and ecosystems
Financier Handling biological complexity: as simple as possible but not simpler
Financier Smart solving
Financier Interactive mathematical documents: creation and presentation
Financier Infrarood reflectografie: een evaluatie
Financier Inferentie voor het temporeel beantwoorden van vragen
Financier Graphs for Object-Oriented Verification
Financier Geometrie van processen
Financier Search and detection of low frequency radio transients
Financier Initiating planet formation: The collisional evolution of small dust aggregates
Financier Evolutionary approach to modelling the plant cytoskeleton
Financier Efficient Numerical Methods for Fluid-Structure Interaction
Financier Dynamische systeembenadering van textuuranalyse
Financier Een nieuwe kijk op membranen en ciliaten met behulp van de computer (VIEWS)
Financier Understanding amyloidogenesis by computer simulations. Tackling the sampling problem by using replica exchange umbrella sampling and hydrogen bond biasing potentials
Financier Go with the Flow. Moving meshes and solution monitoring for compressible flow simulation
Financier Een computationele theorie voor visuele cognitie gebaseerd op invariante representaties
Financier MATHINDI
Financier Ophelderen van de oorsprong van de hoge deuterium fractionering in interstellaire wolken
Financier 10 Billion years of massive galaxies
Financier Semi-lichamen en verwante structuren in de eindige meetkunde
Financier Snelle veranderingen in complexe stromingen
Financier Hulpmiddelen en technieken voor het integreren van prestatieanalyse en systeemverificatie
Financier Op aspecten georiënteerd ontwerp van software-architectuur
Financier Parametrische analyse van real-time ingebedde systemen
Financier Vorming en evolutie van sterrenstelsels: de groei van nucleaire supermassieve zwarte gaten
Financier Dynamische percolatiemodellen in de nabijheid van het kritisch punt
Financier On the use of independence relations in Bayesian networks
Financier Electronic and spatial characteristics of the retinylidene chromophore of rhodopsin
Financier Taalparametrische herstructurering van computerprogramma's
Financier Optisch interferometrie: een nieuwe methode voor bestudering van planeten buiten het zonnestelsel
Financier De aard van rood, infrarood geselecteerde sterrenstelsels bij hoge roodverschuiving
Financier On the Amount of Sieving in Factorization Methods
Financier CHIME: cultureel erfgoed in interactieve multimedia
Financier Computerondersteunde diagnose voor het ontdekken van longkanker in een vroeg stadium
Financier Component-Based Configuration, Integration and Delivery
Financier Faraday tomography of the galactic ISM with the WSRT
Financier Computersimulatie van breuk- en dislocatiedynamica
Financier Adaptieve replicatiealgoritmen voor de distributie van content op het Internet
Financier Driedimensionale simulatie van de dynamiek van fytoplankton
Financier Opsporing van de vorming en evolutie van clusters en hun centrale massieve sterrenstelsels naar z > 4
Financier Betrouwbare fundamenten voor formale asymptotische methoden bij partiële differentiaalvergelijkingen
Financier Stochastische integratie in Banachruimten en toepassingen op stochastische evolutievergelijkingen
Financier Optimality Properties of Curves over Finite Fields
Financier NAHSA: Nijmegen Area High School Array
Financier Model reduction for controller design for infinite-dimensional systems
Financier Lévy processen: problemen in de zuivere en toegepaste sfeer
Financier Intrasubject Registration for Change Analysis in Medical Imaging
Financier Aura II: a Scene Graph based Architecture for Interactive Parallel Rendering
Financier Caging Plygons with Two and Three Fingers
Financier Multirate Numerical Integration for Ordinary Differential Equations
Financier Aansprakelijkheid in e-commerce protocollen
Financier Aantrekkers in de Maynard Smith familie
Financier TimeBayes: ontwikkeling en gebruik van Bayesiaanse modellen in een CPR setting
Financier Termination of Rewriting and Its Certification
Financier Numerical Analysis for mUltiple Scales, Iteration on Composite grids And Applications (NAUSICAA)
Financier Prognosis in Intensive Care ? Inductive Methods Using Sequential Patterns of Organ Dysfunction Scores
Financier Puntproces-benaderingen voor de Tracy-Widom verdeling
Financier Modelling and Verification of Business Processes (MoveBP)
Financier Classificatie en adaptatie
Financier Improving P2P Applications by Breaking the Architecture Symmetry
Financier Evaluatie van technieken voor ontologie afbeelding
Financier Intermittentie in een katalytisch random medium
Financier Methods of Modelling Embedded Systems (MoMs)
Financier Energy Reduction Techniques for Caches and Multiprocessors
Financier Veelvlakken van netwerkproblemen
Financier Real-World Distrubuted Supercomputing
Financier Optimizing Hierachical Menus: a Usage-based Approach
Financier De essentie van de innovaties van Abel: een kader voor een verslaglegging van zijn wiskundige prestaties
Financier Mathematical Modeling of Metal Ion Homeostasis and Signaling Systems
Financier AG-MECH: het integreren van compilertechnologie en bewijshulpmiddelen
Financier De geschiedenis van metaalverrijking in elliptische melkwegstelsels: het combineren van dynamica met een lijnsterktemodel
Financier Eigenfuncties op symmetrische ruimten
Financier Technisch ontwerpen in de tweede fase
Financier Aritmetiek van elliptische curven en elliptische oppervlakken
Financier De schildersmaterialen en technieken van Van Gogh
Financier Zichtbaarheid temidden van gekromde obstakels in de driedimensionale ruimte
Financier La Volonté Machinale. Understanding the Electronic Voting Controversy
Financier Onderzoek van de eerste fasen van planeetvorming in Herbig Ae/Be systemen
Financier Geometrische netwerken
Financier Pro-active Medical Information Retrieval
Financier Imperfecte informatiespelen: modellen en analyse
Financier Geometrische numerieke methoden voor continuüm mechanica
Financier Niet-Archimedische meetkunde en automorfe vormen
Financier Niet-parametrisch schatten van (functionalen van) dichtheden in deconvolutieproblemen
Financier Leerconcepten in realistische 'embodied agents'
Financier Stochastische analyse: zelf-interacterende randomprocessen, maat-geschatte diffusies en stochastische evolutievergelijkingen
Financier De atmosferen van exoplaneten: samenstelling en fysische structuur
Financier Boombreedte en combinatoriële optimalisering (TACO)
Financier Ontwikkeling van een model voor het genetische netwerk dat de uitgroei van neuronen regelt
Financier Communicatie en scheduling in herconfigureerbare multimedia terminal
Financier Competente genetische algoritmen voor het leren van Bayesiaanse netwerken uit data
Financier Astronomische hydrodynamica in drie dimensies: vorming van structuur in het heelal
Financier Planning van bewegingen in virtuele omgevingen voor meervoudige entiteiten
Financier Random spatial structures (RSS)
Financier Ontwikkeling van een model op mesoscopisch niveau van polymeersystemen
Financier PROgramming Multi-processor Embedded multi-media Systems (PROMES)
Financier Overture: het definiëren van een onderzoekagenda voor productsoftware
Financier Systematic Testing of Realtime Embedded Software Systems (STRESS)
Financier Belangrijke onderwerpen in de cryptologie
Financier Ontwikkeling van een model voor portfolio defaultrisico met nadruk op afhankelijkheid, extreme gebeurtenissen en robuuste statistische procedures
Financier Scheidbare niet-lineaire modellen: theorie, implementatie en toepassingen in natuur- en scheikunde
Financier Proces mining: afleiden van procesmodellen uit op gebeurtenissen gebaseerde gegevens
Financier Partial localisation in a variational model for diblock copolymer-homopolymer blends
Financier AUTHENTIC: ontdekking en ontsluiting van kennis voor beeldende kunst: authenticiteitsbepaling en datering van grafische kunst en schilderijen
Financier Netwerk-robuuste Grid toepassingen
Financier Extremal combinatorics in generalized Kneser graphs
Financier Coalgebra, automaten en modale logica
Financier Computer-geïntegreerde optica voor fotonische structuren
Financier Collectieve excitaties voor een gemagnetiseerd ionisch mengsel
Financier Vastleggen van de tijdlijn variabiliteit met transparante configuratieomgevingen
Financier Analyse en ontwerp van hybride systemen met behulp van optimale regeltheorie (ADHOC)
Financier Compactificaties van Drinfel'd modulaire variëteiten
Financier Eigenschappen van compacte dubbelsterren
Financier Meten van de evolutie van lokale melkwegstelsels over een Hubble tijd
Financier Algorithms, Combinatorics and Optimization
Financier Long-range stochastische dynamica
Financier De evolutie van snel roterende massieve sterren: de link tussen LBV's en B[e]superreuzen
Financier MISTA - mining in semi-gestructureerde data
Financier Galactische spins als sondes van het kosmische gravitatieveld
Financier Iteration on Composite grids And Applications (NAUSICAA)
Financier Op energie gebaseerde representatie, analyse en regeling van oneindig dimensionale systemen (ERACIS)
Financier Stellar evolution on the borderline of white dwarf and neutron star formation
Financier CIRQUID - Complex Information Retrieval Queries in a DBMS
Financier Lokaal zoeken met exponentiële buurten
Financier Oneindig-dimensionale Lie algebra's en Bäcklund transformaties
Financier Wetenschap met VISIR en MIDI: een doorbraak in de infrarood-astronomie
Financier Asymptotische analyse van wachtrijsystemen
Financier Recept databases voor historische olieverfmaterialen
Financier Massa-licht verhoudingen van de Melkweg bij z>1 uit het Fundamentele Vlak: meten van het tijdvak van stervorming en evolutie van massa van melkwegstelsels
Financier Implementing McMillan Prefixes Against the State Space Explosion (IMPASSE)
Financier Methoden voor het checken van modellen en hulpmiddelen voor hybride logica
Financier Semidefiniet programmeren, nonnegatieve polynomen, en approximatietheorie
Financier Topologische structuren in dynamische systemen
Financier Wiskundige aspecten van discrete tomografie
Financier Is de boodschap duidelijk? Rekenen aan de kwaliteit van nieuwe mobiele telefonie-systemen
Financier Distributed and self-organizing data management strategies for wireless sensor networks. A cross-layered approach
Financier Stability of Radiative Propagating Flames
Financier Niet-geïsoleerde singulariteiten en polynoom mappings
Financier Het leren van stochastische boomgrammatica's uit boombanken
Financier Perspectives on an Integrated Computer Learning Environment
Financier Een natuurlijke-taal generator voor belichaamde, levensechte conversatie-agents
Financier Adaptive Active Vision
Financier Het vermoeden van Hall
Financier Multifunctionele geometrische datastructuren
Financier Karakterisering van de primordiale binaire populatie: een belangrijke stap naar het begrijpen van de vorming en evolutie van sterrenclusters
Financier ANITA: bestuurlijke normatieve informatie transactie agents
Financier Historisch nauwkeurige reconstructies van olieverf en verfcomposieten
Financier Representations of Gaussian processes with stationary increments
Financier Op nabijheid gebaseerde representaties voor het leren van patronen
Financier Mathematical aspects of infectious disease dynamics
Financier Gegeneraliseerde verbonden morfologische operatoren voor robuuste extractie van vormen
Financier Kwantisatie, noncommutatieve geometrie, en symmetrie
Financier Copula's voor verdelingen met hoge dimensie
Financier Statistische analyse van Internetgegevens
Financier Rode dwerg-witte dwerg dubbelsterren in de Melkweg
Financier Meetkundige structuur van partiële differentiaalvergelijkingen
Financier Omgaan met conflicterende en zich ontwikkelende ontwerpen met behulp van fuzzy logic (CEDUF)
Financier Onderzoek naar probabilistische grootschalige verspreiding van kennis
Financier Geometrie en classificatie van integreerbare systemen
Financier Uitvoering van transactionele vastgelegde electronische diensten
Financier NARRATOR: narratieve ontsluiting van kennis op het gebied van de gezondheidszorg
Financier Geometrische invariantentheorie en automorfe vormen
Financier Semantiek van families van objecten
Financier Een zoektocht naar melkwegstelsels met de laagste massa
Financier DIME: een gedistribueerde interactieve medische exploratie voor driedimensionale medische beelden
Financier De centra van radioluide elliptische melkwegstelsels
Financier Categorische logica en bewijstheorie: realiseerbaarheid voor constructieve theorieën
Financier Algoritmen in de klassenlichamentheorie
Financier Meetkundige singuliere storingstheorie en toepassingen
Financier EIDETIC: intelligente op inhoud gebaseerde beeld retrieval
Financier Galactic archaeology in and around the Milky Way
Financier Toepassing van vloeistofmodel in wachtrijtheorie
Financier I2RP: Intelligente retrieval en presentatie van informatie in publieke historische multimedia databases
Financier Networked adaptive structured hypermedia (NASH)
Financier SAMASC - Security Analysis for Multi-Applet Smart Cards
Financier Featureless Pattern Learning
Financier Symmetrie en het breken van symmetrie in de wiskunde en de mathematische fysica
Financier Spectroscopie met hoge ruimtelijke resolutie met OASIS op de William Herschel Telescoop
Financier Grote-hoek resolutiestudies van schijven en omhulsels rond jonge sterren
Financier De aard van donkere materie, studie van de IMF bij hoge roodverschuivingen en de fysica van de meest compacte AGN, gemeten door middel van microlenzen en interstellaire scintillatie
Financier Stervormende gebieden in de Lokale Groep: ijkpunten van sterrenstelsels met hoge roodverschuiving waarin sterexplosies plaast vinden
Financier Type Ia supernova voorlopers en superzachte röntgenbronnen
Financier Hall algebra's en Macdonald polynomen
Financier Reconstructie van de kwantumtoestand als een statistisch probleem
Financier Einde-elementen wavelets voor het oplossen van operator-vergelijkingen
Financier Radiobronnen en de XMM Large Scale Structure Survey
Financier Clusters van sterrenstelsels als tracers van de verdeling van kosmische materie
Financier Precieze bewegingen van sterrenstelsels in het lokale supercluster
Financier Radiosterrenstelsels als probes voor de vorming van sterrenstelsels in het vroege heelal
Financier De structuur van het interstellaire medium op zeer kleine schaal (~ 1 pc): magnetisch veld en dichtheden van neutraal en geïoniseerd gas
Financier Beeldvormende röntgen-microcalorimeter voor de astrofysica
Financier De structuur van vroege sterrenstelsels. Drieassigheid, omvangrijke zwarte gaten en seculaire evolutie
Financier Bestudering van zwakke radio-bronnen
Financier Extreme stervorming in verduisterde starburst en ultra-heldere infrarood sterrenstelsels
Financier Robuuste schatting van de stereoscopische configuratie van onbekende omgevingen
Financier Optimale regulering van stochastische en instabiele netwerken
Financier Geometrie en cohomologie van discriminanten en moduli-ruimten
Financier Hiërarchische hp-adaptieve numerieke methoden voor driedimensionale, door convectie gedomineerde stromingen
Financier Analyse, dynamische systemen en toepassingen
Financier Een vergelijkende studie van groeiende neutronensterren en zwarte gaten
Financier Nalichten van uitbarstingen van gamma-straling
Financier De geschiedenis van kosmische stervorming in verduisterde sterexplosie-stelsels
Financier Het meten van massa's, massa-licht verhoudingen, en de evolutie van de massa van sterrenstelsels tot z=2 en hoger
Financier The shapes and spins of Kuiper belt objects
Financier Patroonvorming in reactie-diffusie vergelijkingen
Financier Percolation, forest-fires and monomer-dimers
Financier Haalbaarheid van het nemen van beslissingen bij onzekerheid
Financier Numeriek modelleren van de vorming van neuronale verbindingen in het zenuwstelsel
Financier DAS 2: een hiërarchisch grootschalig gedistribueerd systeem
Financier Simulatie en testen op interactie van kenmerken
Financier JavaCard specificatie en verificatie met JML
Financier Nieuwe procedures om combinatorische problemen op te lossen
Financier CoMoLo: Coalgebraïsche Modale Logica - theorie en toepassingen
Financier Een stapsgewijze implementatie van de programmeertaal Haskell
Financier Een methodologie voor agent-georiënteerd ontwerp van software
Financier Integriteit van gegevens in gedistribueerde Web databases
Financier Minimum Description Length Model Selection. Problems and Extensions
Financier Op patronen gebaseerd leren door machines in Go
Financier Integratietechnieken voor de verificatie van gedistribueerde systemen
Financier Geometrische algebra: een nieuwe grondslag voor geometrisch programmeren
Financier ALMA 0 en nieuwe grondslagen voor declaratief programmeren
Financier Oprekken van de grenzen van directe numerieke simulatie van turbulente stromingen
Financier Computeralgebra voor systemen en controle
Financier Uitvoerbare ontwerppatronen
Financier Software-architectuur voor programmeerbare logische controllers
Financier Speltheoretische analyse van onderhandelingen over software
Financier Een toolkit voor architectuur-gestuurd ontwerp van informatiesystemen
Financier Over de evolutie van ruimte
Financier Waarom hebben we T bereikt?
Financier Een nieuwe snelle applicatie-ontwikkelingsmethode voor toepassingen in driedimensionale omgevingen
Financier Naar een transparant Internet (TRAIN)
Financier Afbeeldingsomgeving voor flexibele applicaties (FAME)
Financier Verbetering van de kwaliteit en prestaties van opslag op schijf
Financier Presentatiegericht editen van gestructureerde documenten en XML
Financier Fout-tolerante real-time algoritmen incrementeel geanalyseerd
Financier Real world agents en adaptieve redeneerregels
Financier Java compiler-technologie voor ingebedde media-systemen
Financier Het vergaren van informatie uit gedistribueerde databases met behulp van meerdere agents
Financier Dynamisch incrementele verwerking
Financier Proof carrying bean (Poocabean) - synthese, verificatie en validatie van Poocabean specificaties
Financier Ontwerp en analyse van efficiënte algoritmen voor probabilistische interferentie
Financier Expertsysteem-technieken bij het modelleren van simulaties
Financier Adaptieve virtuele omgevingen voor de effectieve levering van informatie
Financier Gepersonaliseerde levering van informatie uit digitale bibliotheken
Financier Dynamiek van de evolutie
Financier Adaptieve verfijning en uniform convergente numerieke methoden voor singulier verstoorde convectie-diffusie vergelijkingen
Financier Requirements engineering voor real-time medische ondersteuninggsystemen
Financier Genereren van semi-automatische hypermedia presentatie
Financier Op inhoud gebaseerde retrieval van beelden met behulp van relevance feedback
Financier RIF: het opsporen van informatie in virtuele omgevingen met behulp van kenmerkdetectoren
Financier MONDRIAN: een schrijftaal voor Internet programmeren
Financier Biografie van Aad van Wijngaarden
Financier Concepten van programmacorrectheid voor het karakteriseren van heuristische programma's
Financier Genereren van codes voor grootschalige toepassingen
Financier Patroonherkenning bij schaken met behulp van niet-gecontroleerd leren
Financier De dynamiek van interne en traagheidsgolven in gesloten bassins
Financier Het ontrafelen van de structuur van materie en ruimte-tijd: van ijkvelden naar snaren en zwaartekracht
Financier MOCCAM: bewegende objecten in complexe CAD modellen
Financier EDNA: evolutionair DNA computing
Financier Numerical studies of the interstellar medium on galactic scales
Financier Magnetisme van de zon met de Nederlandse Open Telescoop
Financier Organisatorische inbedding van IT
Financier Niet-lineaire extractie van kenmerken voor de classificatie van ademhalingsgeluiden
Financier Compositional Analysis and Specification of Hybrid Systems
Financier Control of systems with delays
Financier Extracting State and Model Information of Complex Nonlinear Dynamical Systems from Experimental Data
Financier Triangulation methods in surface reconstruction
Financier Object Description based on Geometric 3D Edges to be retrieved from Multiple Images
Financier Domestic All-In Network: The Digital Information Super Highway at Home
Financier Robust regulation of complex dynamical systems
Financier Mathematical models for improved wet pressing technology
Financier Software Architecture = Components + Coordination
Financier Practical Automaton proofs in PVS
Financier Hypermedia Presentation of Volatile Multimedia Database Output
Financier Use and Meaning of Open Terms in Interactive Formal Problem Solving
Financier MMM: Meaningful Mathematical Messages
Financier Separators in Graphs
Financier Message Sequence Charts (MSCs) for Electronic Commerce
Financier Graph Visualization
Financier Modelling, Simulation and Verification of Hybrid Systems
Financier Learning to recognise, a study of one-class classification and active learning
Financier Combinatie van zwakke classifiers tot hoog dimensionale data
Financier Special functions and dynamical quantum groups
Financier Validity Maintenance for Freeform Feature Modelling
Financier Robust Controller Analysis and Synthesis for Time-Varying and Dynamic Uncertainties
Financier Transformation - Verification - Simulation: Design Evaluation of Software Component Architectures for Real-Time Embedded Systems
Financier Java Advanced Scheduling for Network Intelligent Devices
Financier A Resource-Brokering Architecture for Wide-Area Applications
Financier Multicast for Multimedia
Financier CARE: Communicative Action-based Requirements Engineering
Financier On sign preserving properties of higher order elliptic boundary value problems
Financier Genetisch relationeel zoeken bij inductief leren
Financier Semi-automatisch genereren van hypermedia presentaties (Dynamo)
Financier Quantum Computing (INS4.1)
Financier Information-Theoretic Learning (INS4.2)
Penvoerder Stimuleringsprogramma

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