Secretariat
|
The evolution of stochastic heterogeneous networks as bet-hedging adaptations to fluctuating environments.
|
Secretariat
|
Anglo-Dutch Initiative on Operads, Categories and Spectra
|
Secretariat
|
Controller design for flow networks of switched servers with setup times
|
Financier
|
|
Financier
|
How to reach the optimum
|
Financier
|
|
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
|
Machine Translation When Exact Pattern Match Fails
|
Financier
|
Invariants and dynamics in symplectic geometry
|
Financier
|
Design and Analysis of Secure Distributed Protocols
|
Financier
|
Cracking a Scientific Database
|
Financier
|
Reduced models for multiscale reaction-diffusion dynamics
|
Financier
|
Special Values and t-Motives
|
Financier
|
The Many Scales of Planet Formation
|
Financier
|
Neutron stars with sub-millisecond periods: a new frontier of physics
|
Financier
|
Exploring Quantum Effects from Inflation
|
Financier
|
Archimedes and Dijksterhuis
|
Financier
|
Middeleeuwse islamitische mozaïeken als lesmateriaal
|
Financier
|
Robust Design Optimization with Advanced Evolutionary Algorithms
|
Financier
|
Complex Patterns in Streams
|
Financier
|
Abstraction Refinement for Timed Systems
|
Financier
|
Real-life Datatype-Generic Programming
|
Financier
|
Pushing the factoring boundary to 768 bits
|
Financier
|
Adaptive Distance Measures In Relevance Learning Vector Quantization
|
Financier
|
Algorithms for Nonparametric Monotone Classification
|
Financier
|
3D statistical shape modeling for improved intra-operative guidance: fitting to sparse and unorganized intra-operative imaging data
|
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
|
Modular Forms and Cohomology of Moduli Spaces
|
Financier
|
Querying while Transforming Large Graph Databases
|
Financier
|
Variational methods for quasi-periodicity
|
Financier
|
Topos theory, noncommutative geometry, and quantum logic
|
Financier
|
Security by Logic for Multithreaded applications
|
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
|
Outsmarting Influenza and Chagas Disease: Developing Mechanism-based Sialidase Inhibitors for Study and Treatment
|
Financier
|
DAS-4: Prototyping Future Computing Infrastructures
|
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
|
Understanding hierarchical and metabolic regulation of metabolic networks through Bayesian constraint modeling
|
Financier
|
The Unification of Jets in Accreting Objects
|
Financier
|
Software As Service for the varying needs of Local EGovernments
|
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
|
Microbial ecosystems and multiple environment stoichiometric analyses
|
Financier
|
Automated Runtime Testing of SOA Composites
|
Financier
|
An observational study of the properties of dark energy and dark matter
|
Financier
|
Distributed Information Retrieval by means of Keyword Auctions
|
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
|
Random networks: universality in structure and function
|
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
|
Model Checking Stochastic Systems using Rare Event Simulation
|
Financier
|
Structure Preserving Model Reduction for Port Hamiltonian Systems
|
Financier
|
Agents Interacting in Dialogues with Argumentation
|
Financier
|
Formal Verification of Deadlock Avoidance Mechanisms
|
Financier
|
Towards Data Structure Independent Computing: Eliminating Pointer-Based Structures (TODSIC)
|
Financier
|
Extrasolar planets transiting the coolest dwarf stars
|
Financier
|
Non-diffusive limit laws for interacting particle systems and growth models
|
Financier
|
Stability Analysis and Robust Stabilization for System Behaviors
|
Financier
|
A Study on Queues and Levy Processes
|
Financier
|
Astrochemistry in protoplanetary disks: The uniqueness of our Solar System
|
Financier
|
Handling Concept Drift in Adaptive Information Systems
|
Financier
|
Concentration, coupling and stochastic dynamics
|
Financier
|
Investigating the new classes of massive main-sequence stars
|
Financier
|
High resolution X-ray spectroscopy of Type Ia supernova remnants
|
Financier
|
Certified Geometric Approximation of Curves and Surfaces (CGA)
|
Financier
|
Low-mass X-ray binaries in the Galactic Bulge
|
Financier
|
Tropical Algebraic Groups
|
Financier
|
Statistical analysis of 4D Diffusion Tensor MRI data
|
Financier
|
High dimensional service systems
|
Financier
|
Improving the quantum computer
|
Financier
|
The origin of type la supernovae
|
Financier
|
Neuronal Network Formation through Reciprocal Interactions between Activity and Structure
|
Financier
|
Quantum Cryptography
|
Financier
|
Multi-way Decompositions - Existence and Uniqueness
|
Financier
|
A Full Census of Radio Emitting Neutron Stars with LOFAR
|
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
|
Categorical structure of infinite quantum systems with anyons
|
Financier
|
Towards Intelligent Machines: Design of Dynamic Computer-Aided Diagnosis Systems
|
Financier
|
Nonlinear waves in reaction-diffusion-mechanics systems
|
Financier
|
From Arithmetic Geometry to Non-commutative Riemannian Geometry, and back
|
Financier
|
Elliptic curves over function fields
|
Financier
|
ControL and Analysis for the Stability of Hybrid and Embedded Systems
|
Financier
|
Color in Computer Vision
|
Financier
|
CARD, a cardinality constraints based solver
|
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
|
The effects of small scale structure on large scale reionization
|
Financier
|
Studying the low end of the galaxy luminosity function - the Coma ACS treasury survey
|
Financier
|
Study the multiwavelength emission of neutron stars with critical magnetic fields
|
Financier
|
Stochastic processes and nonparametric Bayesian inference
|
Financier
|
Drawing Geometric Networks
|
Financier
|
Artificial Intelligence, Full of Chances
|
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
|
Generalized complex 4-manifolds
|
Financier
|
Multi-Vis: A Multi-modal Visualisation Environment for Interactive Analysis of Medical Data
|
Financier
|
Radon transformation on semisimple symmetric spaces
|
Financier
|
README - Retrieving Encoded Archival Descriptions More Effectively
|
Financier
|
The planet-forming zones of disks around solar-mass stars: an evolutionary study
|
Financier
|
Submillimetre cosmology at 450 microns: observing the buildup of galaxies and black holes over cosmic time
|
Financier
|
Practical approximation algorithms for NP-hard continuous global optimization problems
|
Financier
|
Mathematical Foundations of Secure Computation
|
Financier
|
Lie algebras associated with PDEs and Backlund transformations
|
Financier
|
Infinite-Dimensional Stochastic Analysis and Harmonic Analysis
|
Financier
|
Galactic Archaeology: The Local Group & Beyond
|
Financier
|
EfFoRT - Effective Focused Retrieval Techniques
|
Financier
|
Critical values and scaling limits in two-dimensional percolation models
|
Financier
|
Actual questions in the historical context of the 17th century in the Dutch Republic
|
Financier
|
Discovery of Articulated Structures in Image Sequences
|
Financier
|
Compositional Analysis and Control of Hybrid Systems
|
Financier
|
Stability, Bifurcations and Stabilisation of Invariant Sets in Differential Inclusions
|
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
|
Grain surface chemistry in the Milky Way and in active galaxies
|
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
|
Morph: Learning to learn: An Adaptive Reading System using a High-Performance Morphed-Image Correlator
|
Financier
|
Theoretical and Algorithmic Complexity Treshold in Computer Games
|
Financier
|
Symplectic structures: at the interface of analysis, geometry, and topology.
|
Financier
|
Retrieving Encoded Archival Descriptions More Effectively (README)
|
Financier
|
Formation of singularities in natural systems
|
Financier
|
Asymptotic analysis and functional equations in queueing theory
|
Financier
|
Annotated graph mining
|
Financier
|
Priors for the Estimation of Probabilistic Grammars from Incomplete Natural Language Data
|
Financier
|
Star formation and gravitational-wave production around Supermassive Black Holes.
|
Financier
|
Simulating the history of galaxies and the intergalactic medium
|
Financier
|
The Shafarevich conjecture made effective
|
Financier
|
Direct Detection and Characterization of Exoplanets
|
Financier
|
Gauged sigma-models and equivariant mirror symmetry
|
Financier
|
A Multi-modal Visualisation Environment for Interactive Analysis of Medical Data
|
Financier
|
Adaptive High-Performance Distributed Multimedia Computing
|
Financier
|
Workflow Management for Large Parallel and Distributed Applications
|
Financier
|
A Visual Exploration environment for Analyzing gene Regulation in Developmental processes
|
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. An effective law enforcement strategy or a threat to civil liberties and the principles of criminal law?
|
Financier
|
Design and analysis of robust timed systems
|
Financier
|
Context in interactive mathematical documents
|
Financier
|
Continuous/discontinuous Galerkin methods for solid mechanics
|
Financier
|
SCRATCH- SCRipt Analysis Tools for the Cultural Heritage
|
Financier
|
Protocluster evolution: systematic study
|
Financier
|
Delay dynamics of laser patterns
|
Financier
|
RAVE: a RAdial Velocity Experiment to unveil the history of the Milky Way
|
Financier
|
KIDS: a 1000-square degree gravitational shear survey with OmegaCAM
|
Financier
|
Improvement infrastructure: investment in Fourier transform spectrometer
|
Financier
|
LOFAR for astronomy
|
Financier
|
Efficient flow scheduling in resource-sharing networks with variable service rates
|
Financier
|
Submillimeter interferometry: bringing the JCMT into the eSMA
|
Financier
|
The Dutch influence on celestial cartography from the 16th to18th century
|
Financier
|
Magnetized astrophysical jets: launch, collimation, stability and termination
|
Financier
|
Proving equations for cyclic objects
|
Financier
|
Task coordination for non-cooperative agents
|
Financier
|
GoFGo - Go for Go: learn and search
|
Financier
|
Integration of design and analysis models
|
Financier
|
Algorithmic complexity of probabilistic networks
|
Financier
|
Kinematic imaging of the cosmic HI web
|
Financier
|
Adiabatic demagnetization refrigerator for cryogenic radiation detector development
|
Financier
|
GRASLAND - GRAphs for Software LANguage Definitions
|
Financier
|
Conservative smoothers for turbulent convection: a new simulation shortcut
|
Financier
|
Singularity theory and cut loci in 3-manifolds
|
Financier
|
Subgeometries of buildings and involutions
|
Financier
|
Large deviations of queues with Gaussian inputs: characterization and analysis
|
Financier
|
Formalizing Elementary Analysis Rigorously (FEAR)
|
Financier
|
Realization and control of rational positive systems
|
Financier
|
A pyramid algorithm for contour grouping
|
Financier
|
Modeling control aspects of embedded systems
|
Financier
|
Thread algebra for strategic interleaving
|
Financier
|
Bounds on stable semigroups
|
Financier
|
TRIGRAPH: tri-modal writer identification
|
Financier
|
Visualization of global tensor information for diffusion tensor imaging
|
Financier
|
Fundamental physics using neutron stars
|
Financier
|
The semiparametric Bernstein-Von Mises theorem
|
Financier
|
Presolar SiC grains: a breakthrough in stellar nucleosynthesis
|
Financier
|
Layla, the Laymans Legal Assistant: assisting consumers in business-consumer conflicts by diagnosing, advising and mediating
|
Financier
|
Optimization of PAthfinder QUEries (OPAQUE)
|
Financier
|
DAS-3: the next generation Grid infrastructure in the Netherlands
|
Financier
|
More efficient interior point methods for conic optimization
|
Financier
|
QUPES - verifying QUantitative Properties of Embedded Software
|
Financier
|
CASSANDRA - Context-Aware SenSing for AggressioN Detection and Risk Assessment
|
Financier
|
Parameterized and exact computation
|
Financier
|
Biographical dictionary of Dutch mathematicians II
|
Financier
|
Value-based business-IT ALignment (VITAL)
|
Financier
|
EQUITY: Exploring QUantifiable Information Technology Yields
|
Financier
|
Symmetry and modularity in exactly solvable models
|
Financier
|
Computational topology for systems and control
|
Financier
|
X-SHOOTER: a powerful optical-nIR spectrograph for the VLT
|
Financier
|
The fellowship of geometry and quantum theory
|
Financier
|
Nonlinear dynamics of natural systems
|
Financier
|
Discrete, Interactive and Algorithmic Mathematics, Algebra and Number Theory
|
Financier
|
Frobenius manifolds in algebraic geometry and singularity theory
|
Financier
|
Multispecies resource competition
|
Financier
|
Direct numerical simulation of oil-water mixtures using front capturing techniques
|
Financier
|
Reading Images for the Cultural Heritage - RICH
|
Financier
|
Mining for Information in Texts from the Cultural Heritage - MITCH
|
Financier
|
SCRipt-Analysis Tools for the Cultural Heritage - SCRATCH
|
Financier
|
SemanTic Interoperability To access Cultural Heritage - STITCH
|
Financier
|
CHarting the informatiOn landscape employIng ContExt information - CHOICE
|
Financier
|
Zooming in on planet-forming disks with emerging submillimeter-wave facilities
|
Financier
|
Ranking of nodes in complex stochastic networks - NetRank
|
Financier
|
Intelligent disclosure of case-law using semantic web technology to determine BATNAs in damages disputes
|
Financier
|
A small simple secure operating system
|
Financier
|
Statistical Testing and Reliability Estimation of Software Systems (STRESS)
|
Financier
|
Geometry of discriminants
|
Financier
|
Homeomorphism groups, complete Erdös space, and semi-continuous functions
|
Financier
|
Certified shape reconstruction (CSR)
|
Financier
|
Rapid online learning for entertainment computing
|
Financier
|
Scriptable compilers
|
Financier
|
Light scattering by small particles: the colour of polarization
|
Financier
|
Zooming in on centers of nearby active galaxies
|
Financier
|
Spatio-temporal modelling infochemicals in a food web context
|
Financier
|
Relativistic jets from binary black holes and neutron stars
|
Financier
|
Fault-tolerant real-time algorithms analyzed incrementally
|
Financier
|
Quantum Computing (INS4.1)
|
Financier
|
Information-Theoretic Learning (INS4.2)
|