| (the most recent research is at the top) |
| 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 |
A Little Green Machine for High Performance Parallel Multipurpose Supercomputing Using Graphical Processing Units |
| 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 |
A hardware description language for verified circuits |
| Financier |
Geometric approach to feedback control of differential affine variational inequalities |
| 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 |
Massivizing online games through cloud computing |
| 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 |
Adaptive radio, a solution for future smart phones |
| 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 |
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 |
| 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 |
Self-interacting walks, growth processes and renormalization |
| 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 |
Wireless control |
| Financier |
The End of Darkness: How the Universe Reionized Its Gas |
| Financier |
Newton's role in the development of infinitesimal calculus |
| 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 |
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 |
Role of teachers of mathematics in the learning of abstract reasoning in the last two years of pre-university education |
| 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 |
Security by logic for multithreaded applications |
| Financier |
Financial Events Recognition in News for Algorithmic Trading |
| 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 |
Elementary steps in Fischer Tropsch Synthesis by DFT calculations |
| 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 |
Machine Translation When Exact Pattern Match Fails |
| 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 |
Special Values and t-Motives |
| 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 |
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 |
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 |
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 |
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 |
Developing a modified estimation approach within the class of empirical likelihood methods |
| 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 |
Towards Data Structure Independent Computing: Eliminating Pointer-Based Structures (TODSIC) |
| Financier |
Extrasolar planets transiting the coolest dwarf stars |
| 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 |
Tropical Algebraic Groups |
| 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 |
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 |
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 |
Radon transformation on semisimple symmetric spaces |
| 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 |
Infinite-Dimensional Stochastic Analysis and Harmonic Analysis |
| 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 |
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 |
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 |
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 |
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 |
Context in interactive mathematical documents |
| Financier |
Continuous/discontinuous Galerkin methods for solid mechanics |
| Financier |
Kinematic and physical evolution of protoclusters |
| Financier |
Delay dynamics of laser patterns |
| Financier |
RAVE: a RAdial Velocity Experiment to unveil the history of the Milky Way |
| Financier |
Improvement infrastructure: investment in Fourier transform spectrometer |
| Financier |
Probing the formation and evolution of galaxies and clusters of galaxies with LOFAR |
| 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 |
Proving equations for cyclic objects |
| 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 |
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 |
Thread algebra for strategic interleaving |
| Financier |
Fundamental physics using neutron stars |
| Financier |
The semiparametric Bernstein-Von Mises theorem |
| Financier |
Presolar SiC grains: a breakthrough in stellar nucleosynthesis |
| Financier |
DAS-3: the next generation Grid infrastructure in the Netherlands |
| Financier |
Biographical dictionary of Dutch mathematicians II |
| Financier |
EQUITY: Exploring QUantifiable Information Technology Yields |
| 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 |
Intelligent disclosure of case-law using semantic web technology to determine BATNAs in damages disputes |
| Financier |
Building a Dependable Operating System: Fault Tolerance in MINIX 3 |
| Financier |
Understanding the Organic Carbon Pump in Meso-Scale Ocean Flows |
| Financier |
Spatio-temporal modelling infochemicals in a food web context |
| Financier |
Algorithms, Combinatorics and Optimization |
| Secretariat |
Game-Theoretically Optimal Online Learning: From Conflicting Advice to High-Quality Decisions |
| Secretariat |
Moduli spaces of noncommutative instanton |
| 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 |
