KNAW

Organisation

NWO Council for Physical Sciences

Pagina-navigatie:

Current research

(the most recent research is at the top)
Financier Efficient communication with single quanta of light
Financier The impact of concurrency on the spread of sexually transmitted infections: a mathematical modelling approach
Financier VideoSCOUD: Video Search on the Cloud
Financier Mapping Protein Sequence Space: a High Performance workflow to compute the world's first protein sequence and structure map
Financier Integration of computationally intensive software in metabolomics data processing tool chain
Financier Galaxy backend to support iFuse
Financier Maternal plasma RNA sequencing
Financier Searching for LOFAR Transients
Financier IMPACT Interoperability Framework
Financier iGEM TU Delft 2012
Financier Storage and visualization of EURO4M datasets
Financier Studying space-time trends in vegetation dynamics using global satellite images
Financier Inexactness in the exact sciences
Financier Queueing theory with less assumptions
Financier Geometry of quantum knot invariants
Financier What makes social interactions hard? A computational study of intentions, knowledge, and beliefs
Financier Class invariants in dimension two
Financier From the First Galaxies to the Peak of the Star Formation History
Financier First stars in our Milky Way system: hunting for their chemical imprints
Financier Scale-space theory: A new way to detect markers for complex diseases
Financier Semantic-Aware Visual Quality Assessment: theory and tools for optimizing visual media according to content
Financier Intelligent spectrum use in emergency networks
Financier DataExplore: Querying the Universe in a few seconds
Financier Coalgebraic Models of Quantum Systems
Financier White dwarfs twinkle like black holes
Financier From generalized complex geometry to four-dimensional spaces
Financier Convex Programming: New frontiers and new applications
Financier N+Ag (Nitrogen atom scattering on silver surfaces)
Financier Assembly of the transcriptomes of several mite species
Financier Grid and cloud computing for high throughput assembly and annotation of (meta)genome sequences
Financier Micro-simulation modeling in patients with stable coronary artery disease
Financier Investigating the performance of HEP I/O intensive analysis jobs on an HPC (science) cloud system
Financier Enhanced bioresolution and miniaturization of Surface Plasmon Resonance optical sensing
Financier Production of the KiDS survey
Financier DESHIMA: On-chip Filterbank Spectrometer for Submillimetre Wave Cosmology
Financier Foundations of nonparametric Bayes procedures
Financier Atmospheres of extrasolar planets: bridging the gap towards Earth-like planets
Financier Connecting Orbits in Nonlinear Dynamics
Financier Layered queuing networks
Financier Toward an efficient training strategy of Computer-Aided Diagnosis (CAD) systems
Financier Models of Computation: Automata and Processes
Financier Graphs for the Abstract Interpretation of Languages
Financier Molecular complexity in the solid state: theory meets experiment
Financier The neuronal network organization of the biological clock
Financier Stability and rewiring in adaptive neuronal networks
Financier The emergence of self-regulating systems under variable environments
Financier Correlating fluctuations across the scales
Financier Predictability of Kuroshio current path transitions
Financier Identification of synaptic gene networks in complex brain disorders using a Bayesian framework
Financier Complex Dynamic Arrest: A novel Phase Transition in Space-Time
Financier Complexity in Public Transport: Passenger Behavior and System Optimization (ComPuTr)
Financier Complexity and stability in food webs: the role of nutritional quality and infectious disease agents
Financier Critical Transitions and Early-warning Signals in Spatial Ecosystems
Financier Coupling of self-assembly and metabolism in protocells
Financier Food for thought and thought for food, the local-global entanglement of the slow food movement
Financier BigImage: Grid Based Advanced Data Analysis and Classification of Big Imaging MS Datasets
Financier Interference Exploitation in Wireless Networks
Financier Towards efficient simulation of non-Markovian queueing networks
Financier Geometric Data Imprecision in Realistic Settings
Financier Generalised colouring for random graph models
Financier Multifractal analysis of Bernoulli convolutions through beta-expansions
Financier Galactic Tales from Satellite Trails: Galactic Archaeology of the Milky Way via its halo occupants
Financier Waves and Patterns in Discrete Media: Bridging the Gaps
Financier Novel algorithms to detect indels and structural variants from next- and third-generation sequencing data
Financier Representing music: a new basis for computational musicology
Financier From Binary to Single Star: the Evolution of Merging Binaries
Financier Exploiting the improved capabilities of Very Long Baseline Interferometry for precision pulsar astrometry
Financier Data-Driven Linear Parameter-Varying Modelling of Nonlinear Dynamical Systems
Financier Fast Image Registration for Time-critical Medical Applications
Financier Adaptive Bayesian multi-object tracking and motion analysis
Financier Turning the Moon into a neutrino detector with LOFAR
Financier Chemical education in the clouds
Financier Estimation of Distribution Algorithms for Mixed Continuous-Discrete Problems
Financier Resolving metals in intermediate redshift galaxies
Financier Algorithms for Context-Aware Trajectory Analysis
Financier Symmetric Diophantine Approximation
Financier Stochastic behavior of wireless networks: random access and user mobility
Financier Spectral characterizations of graphs
Financier Spotter: A Visual Analytics Approach to Explore Dynamical Hotspots in Graphs
Financier Adaptive solution methods for First Order System Least Squares
Financier Clock Semantics for Lambda Calculus
Financier Space and Time Efficient Structural Improvements of Dynamic Programming Algorithms
Financier The Model Theory of Constructive Proofs
Financier Learning to Reason: a Machine Learning Approach for Computer-Assisted Reasoning
Financier Model Order Reduction for Differential Algebraic Systems
Financier Computing Higher Explicit Elements and Regulators
Financier Pairing Acceleration for Cryptography using Elliptic Curves
Financier Semigroups with an Inner Function Calculus
Financier Dijkstra's Impact on Design and Verification of Systems and Programs
Financier The atmospheres of extrasolar planets
Financier The logic of composite quantum systems
Financier Floer Theory for Partial Differential Equations
Financier Error Bounds for Structured Markov Chains
Financier Cosmological interpretation of the Epoch of Reionization Observations
Financier Domain-Specific Languages: A Big Future for Small Programs
Financier Virtual Organization
Financier Thermostat closures for inviscid fluids
Financier Simulating cosmological reionization
Financier Higher Lie Theory
Financier Quantum Groups and Matrix-valued Spherical Functions
Financier GrammarLab: Foundations of a Grammar Laboratory
Financier Geometric approach to feedback control of differential affine variational inequalities
Financier A hardware description language for verified circuits
Financier Constrained Voxel Based Analysis for Diffusion Tensor Imaging
Financier Structural indexing for efficient querying over massive RDF data sets
Financier Signals from strong field gravity: getting to the physics
Financier The synthesis of signal processing and radio astronomical calibration and imaging techniques
Financier Quantized information and control for distributed formation keeping (QUICK)
Financier Multi-Core Decision Diagrams
Financier Hyper-connected GAlaxy Merger Multiscale Analysis (Hyper-GAMMA)
Financier Decision-Theoretic Control for Network Capacity Allocation Problems
Financier Towards efficient simulation of non-Markovian queueing networks
Financier Process-Theoretic Models for Optimal and Reliable Supervision
Financier Interference Exploitation in Wireless Networks
Financier Effective Layered Verification of Networks-on-Chips
Financier Flexibility and Rigidity of Geometric Structures
Financier Curves in automated map schematization
Financier FACT: Folktales as Classifiable Texts
Financier Enantioselection of supramolecular chirality by external fields
Financier Cognition Guided Interoperability beTween Collections of musical Heritage
Financier Web Archives Retrieval Tools (WebART)
Financier Mining Social Structures from Genealogical Data
Financier Sparse Learning of Deep Models
Financier Aggregation of Preferences over Uncertain Outcomes
Financier Algorithms for manipulation planning with imperfect parts and inaccurate manipulators
Financier Analyzing and Controlling Multi-Agent Learning
Financier From Herschel to ALMA: Piecing together the physical environment in which planetary systems form
Financier Queues and Risk Models
Financier Smoothed Analysis of Belief Propagation
Financier The Geometry of the Moduli Spaces of K3 Surfaces
Financier Numeration systems in base beta: geometric, dynamical, and random properties
Financier Cluster expansions, virial expansions and non-ideal fluids
Financier Reducing complexity in phylogenetic networks
Financier What your IDE could do once you understand your code
Financier Multi-Language Systems: Analysis and Visualization of Evolution - Analysis
Financier Robust Median Trajectories
Financier Astronomers at Sea Level: the Dutch Astronomical Community from Kapteyn to LOFAR
Financier Bursting neutron stars and their magnetic fields
Financier Nonobtuse and Acute Simplices and Triangulations
Financier Formalizing the C99 standard in HOL, Isabelle and Coq
Financier Should Credibility Sets Instill Confidence?
Financier Water in star-forming regions with Herschel
Financier Advanced Algorithms for Neuron Tracing
Financier A topological viewpoint on integrable hierarchies associated to Frobenius manifolds
Financier Behavioural Differential Equations
Financier Double affine Hecke algebras, Integrable Models and Enumerative Combinatorics
Financier Data Exchange for Document Centric XML
Financier Emergence and Evolution of Biological Symbol Systems (EvoSym)
Financier Critical Phenomena and Collective Behaviour of Multi-Particle Complex Systems
Financier Multi-objective optimization for modeling developmental gene regulatory networks
Financier Resilience and interaction of networks in ecology and economics (RESINEE)
Financier Non-Invasive Incremental Evaluation
Financier Complexity in Spatial Dynamics (COSMIC)
Financier Sandpile mathematics, Self-organization and Neuronal Networks
Financier Predictability of Extreme Weather Events
Financier Computing Implicatures in Incremental Dialogue Processing
Financier Connected Morphological Operators for Tensor Images
Financier SEMIRA: Simulating the Emergent Impact of Regulations Across countries
Financier The End of Darkness: How the Universe Reionized Its Gas
Financier Energy Smart Offices (EnSO)
Financier Mapping On Demand for EneRgy-efficient ComputatioN
Financier Increasing the Robustness of Smart Grids through distributed energy generation: a complex network approach
Financier Cross-layer Design Space Exploration for Energy-aware MP-SoC Design
Financier Game-Theoretically Optimal Online Learning: From Conflicting Advice to High-Quality Decisions
Financier Computational Capacity Planning in Electricity Networks
Financier SOWICI - Smart Optical-Wireless In-Home Communication Infrastructure
Financier Energy-efficient cloud computing using hardware diversity and elastic scalability
Financier Gradient flows and large deviations: bridging the scales
Financier Computational number theory in cryptography and cryptanalysis
Financier The power of constructive proofs
Financier Spatially resolved X-ray spectroscopy of clusters of galaxies, Supernova Remnants and the Galactic ISM
Financier Using LOFAR and the Lunar Cherenkov Technique for the Detection of the Highest Energy Cosmic Rays and Neutrinos
Financier Modelling of music similarity
Financier Realizing feedback control in quantum circuits
Financier Quantitative electron tomography by simultaneous parameter estimation and reconstruction
Financier Tumour Growth - Aggressive, Benign, Computable!?
Financier Scattering clouds and hazes on transiting exoplanets
Financier Random spatial models at the critical point
Financier The ins and outs of red-giant stars using asteroseismology
Financier Neutral Hydrogen and the Formation of Early-Type Galaxies
Financier Quantum Cryptography Beyond Key Distribution
Financier Dependability Analysis of Fluid Critical Infrastructures using Stochastic Hybrid Models
Financier Fourteen Billion Years of Baryonic Galaxy Formation
Financier Cyclic Causal Discovery for Reconstructing Biological Regulatory Networks
Financier Web Application Testing as an Automated Service
Financier A Term Rewriting Perspective on Program Termination
Financier Probing the Cosmic History of Star Formation by Submillimeter Wave Ultrabroadband Spectroscopy using Superconducting Resonators
Financier A high dimensional modular approach to Diophantine equations
Financier Transfer learning in biomedical image analysis
Financier Model checking stochastic systems using rare event simulation
Financier Security by logic for multithreaded applications
Financier Semi-Automatic Recognition of Financial Events in News
Financier Re-engineering Service-Oriented Systems
Financier Next Generation Auditing: Data-Assurance as a service
Financier Configurable Services for Local Governments (CoSeLoG)
Financier ServiciFi: Service Extraction from Decomposed Software Monoliths in the Financial Domain
Financier ScaleItUp: SaaS Zero-Downtime Upscaling
Financier Knowledge and Interaction in Social and Economic Networks
Financier Applications of Transference Principles
Financier Verification of Complex Hierarchical Systems
Financier Behavior Oriented Service Substitution
Financier Understanding the Nature of Monte-Carlo Tree Search
Financier Geometric Analysis of the Cosmic Web
Financier The noncommutative geometry of BRST-quantization
Financier Imaging the dusty accretion disks of Active Galactic Nuclei
Financier Reality questions for some period mappings
Financier Solving quadratic assignment problems with algebraic symmetry via semidefinite programming
Financier Advanced mathematical models for flow in porous media: upscaling and numerical analysis
Financier Unlocking the chemistry of the heavens
Financier Safe Statistics
Financier Integrating Discrete and Nonlinear Optimization through Copositive Programming
Financier Imaging of tissue aberrations using optical echo
Financier Top quarks and fundamental physics at 100 zeptometer
Financier Stochastic maximal regularity and its applications
Financier Queues and random walks in the quarter plane
Financier Categorical and ALgebraic MOdels of Computation
Financier Multi-dimensional Bayesian Network Classifiers
Financier Ultra-deep near-IR Imaging with HST WFC3/IR: Galaxies at z~7-10 in the Reionization Epoch
Financier CoRE: Coinductive Calculi of Regular Expressions
Financier Geometry of PDEs and Poisson Structures
Financier Probing plasma properties of supernova remnants with the XMM-Newton Reflection Grating Spectrometer
Financier Graphs for Multi Task Learning
Financier Special elements in Lie algebras
Financier Invariants and dynamics in symplectic geometry
Financier Design and Analysis of Secure Distributed Protocols
Financier Semidefinite programming and harmonic analysis: Foundations and applications
Financier Phase transitions, Euclidean fields and random fractals
Financier Neurodynamics for Brain Computer Interfacing
Financier The Many Scales of Planet Formation
Financier Formal Reasoning about clinical management quality
Financier Neutron stars with sub-millisecond periods: a new frontier of physics
Financier Exploring Quantum Effects from Inflation
Financier Abstraction Techniques for Automatic Verification and Optimal Control of Stochastic Hybrid Systems
Financier Middeleeuwse islamitische mozaïeken als lesmateriaal
Financier Complex Patterns in Streams
Financier Real-life Datatype-Generic Programming
Financier Pushing the factoring boundary to 768 bits
Financier Algorithms for Nonparametric Monotone Classification
Financier PROMUNDI: Probabilistic Multi-knowledge Networks for Diagnosis
Financier Attention-Gated Reinforcement Learning
Financier Learning Nonrigid Registration of Images
Financier Building Rich Links to Enable Television History Research
Financier HITIME: Historical Timeline Mining and Extraction
Financier Agora: Creating the Historic Fabric for and Providing Web-enabled Access to Objects in Dynamic Historical Sequences
Financier Realising Optimal Sharing
Financier Probing the strong gravitational field around neutron stars using iron emission lines and quasi-periodic oscillations
Financier VARPOL
Financier Mean-Field Approximation Techniques for Markov Models (MATMaM)
Financier Mass Loss from Oxygen-rich Asymptotic Giant Branch Stars
Financier Statistics for very high-dimensional semiparametric models
Financier Lazy Productivity
Financier Formation and evolution of carbon-enhanced metal-poor stars
Financier Adaptive wavelet methods for operator equations: Tensor product approximations
Financier Replaying History on Process Models for Conformance Checking and Performance Analysis
Financier Fundamental physics using neutron stars and black holes
Financier Querying while Transforming Large Graph Databases
Financier Topos theory, noncommutative geometry, and quantum logic
Financier Teaching and Learning in Multi Agent Systems
Financier KERNELS: Complexity and Combinatorial Analysis of Data Reduction
Financier Statistical Calibration of the New Generation Radio Telescopes
Financier A 3-D Dust Map of our Milky Way Galaxy
Financier Efficient Multi-Core Model Checking
Financier SYmbolic RedUction of Probabilistic Models (SYRUP)
Financier Singular-Limit Analysis of Metapatterns
Financier Tracking News Events and their Impact
Financier Realistic Input Models for Geographic Applications
Financier Adaptive medical image registration
Financier Stream-Processing LOFAR-EoR Data on Graphics Processor Units
Financier Adaptable Radiative Transfer Innovations for Submillimeter Telescopes - ARTIST
Financier Tools for Advanced Map-making, Analysis, and Simulations of Sub-mm surveys - TAMASIS
Financier Multi-scale modelling of calcification in scleractinian corals
Financier Inequalities and random spatial processes
Financier VALUE-IT
Financier The Unification of Jets in Accreting Objects
Financier Quantum computing: fault-tolerance, communication, and classical spin-offs
Financier Pull Deployment of Services (PDS)
Financier Modeling gene networks in synaptic computation: A Bayesian perturbation approach
Financier Automated Runtime Testing of SOA Composites
Financier An observational study of the properties of dark energy and dark matter
Financier Advanced Governance of Information services through Legal Engineering
Financier Finding the origin of elements in clusters of galaxies
Financier Polynomial automorphisms over commutative rings: factor rings and stabilization methods
Financier The Final Parsec: Multi-Scale Simulations of Supermassive Black-Hole Coalescence in Galaxy Mergers
Financier Service-enAbling Pre-exIsting ENterpriSe Assets (SAPIENSA)
Financier Algebraic hypergeometric functions of GKZ-type
Financier The OmegaWhite Survey: the Galactic Population of ultracompact binaries
Financier Embedded Adaptive Streaming Systems
Financier From spiking neurons to brain waves.
Financier Flies in the Spiderweb: Massive Galaxy Formation and Distant Radio Galaxies
Financier Content-based Literature Search using Knowledge and Structure
Financier Compatible mathematical models for coastal hydrodynamics
Financier Anglo-Dutch Initiative on Operads, Categories and Spectra
Financier Agents Interacting in Dialogues with Argumentation
Financier Extrasolar planets transiting the coolest dwarf stars
Financier Astrochemistry in protoplanetary disks: The uniqueness of our Solar System
Financier Handling Concept Drift in Adaptive Information Systems
Financier Investigating the new classes of massive main-sequence stars
Financier Certified Geometric Approximation of Curves and Surfaces (CGA)
Financier Statistical analysis of 4D Diffusion Tensor MRI data
Financier High dimensional service systems
Financier Improving the quantum computer
Financier Intersection theory of the moduli space of curves
Financier The origin of type la supernovae
Financier Neuronal Network Formation through Reciprocal Interactions between Activity and Structure
Financier Multi-way Decompositions - Existence and Uniqueness
Financier Dynamics of Near-Keplerian systems
Financier Norm Implementation via Mechanisms
Financier Generating Functions and Poisson Manifolds
Financier Interacting Stochastic Models on Small-World networks
Financier VISUALization-integrated desIgn Space Exploration (VISUALISE)
Financier Towards Intelligent Machines: Design of Dynamic Computer-Aided Diagnosis Systems
Financier Nonlinear waves in reaction-diffusion-mechanics systems
Financier ControL and Analysis for the Stability of Hybrid and Embedded Systems
Financier Color in Computer Vision
Financier VEARD: A Visual Exploration environment for Analyzing gene Regulation in Developmental processes
Financier Understanding the physics of black hole jets and accretion states from stellar to galactic scales
Financier Ultra-VISTA: ultra deep Near-IR imaging with VISTA
Financier Study the multiwavelength emission of neutron stars with critical magnetic fields
Financier Drawing Geometric Networks
Financier Artificial Intelligence, Full of Chances
Financier Controller design for flow networks of switched servers with setup times
Financier Collective Decision Making in Combinatorial Domains
Financier Strengthening modern cryptography by automatable proving
Financier The interstellar dust seen through the X-rays
Financier Dualities for quantales: a spatial understanding of noncommutative topology
Financier Mending the Unending: Machine Assisted Reasoning with Infinite Objects
Financier Radon transformation on semisimple symmetric spaces
Financier Submillimetre cosmology at 450 microns: observing the buildup of galaxies and black holes over cosmic time
Financier Mathematical Foundations of Secure Computation
Financier Infinite-Dimensional Stochastic Analysis and Harmonic Analysis
Financier Pre-Hamiltonian formalism for integrable nonlinear models
Financier Discovering grammar: statistical models of sequence learning in humans, animals and machines
Financier Hamiltonian Lattice Dynamical Systems
Financier Interstellar dust: the hidden protagonist
Financier ALIAS - automorphic Lie algebras: at the interface of mathematics and physics
Financier Detecting Ultra-High Energy Cosmic Rays and Neutrinos off the Moon
Financier Theoretical and Algorithmic Complexity Treshold in Computer Games
Financier Retrieving Encoded Archival Descriptions More Effectively (README)
Financier Asymptotic analysis and functional equations in queueing theory
Financier Annotated graph mining
Financier Star formation and gravitational-wave production around Supermassive Black Holes.
Financier Simulating the history of galaxies and the intergalactic medium
Financier Direct Detection and Characterization of Exoplanets
Financier A Multi-modal Visualisation Environment for Interactive Analysis of Medical Data
Financier Workflow Management for Large Parallel and Distributed Applications
Financier A Visual Exploration environment for Analyzing gene Regulation in Developmental processes
Financier Kinematic and physical evolution of protoclusters
Financier Probing the formation and evolution of galaxies and clusters of galaxies with LOFAR
Financier Biographical dictionary of Dutch mathematicians II
Financier Algorithms, Combinatorics and Optimization

Go to page top
Go back to contents
Go back to site navigation