| (the most recent research is at the top) |
| Financier |
Optimal Geometric Data Structures |
| Financier |
LINKing System for historical family reconstruction |
| Financier |
Cracking a Scientific Database |
| Financier |
Reduced models for multiscale reaction-diffusion dynamics |
| Financier |
Adaptive dissimilarity measures, dimension reduction and visualization |
| Financier |
Outsmarting Influenza and Chagas Disease: Developing Mechanism-based Sialidase Inhibitors for Study and Treatment |
| Financier |
Formal Verification of Deadlock Avoidance Mechanisms |
| Financier |
Non-diffusive limit laws for interacting particle systems and growth models |
| Financier |
Low-mass X-ray binaries in the Galactic Bulge |
| Financier |
Mathematics knowledge among science teachers |
| Financier |
Zeta function rigidity. A view from noncommutative geometry |
| Financier |
Elliptic Delsarte surfaces |
| Financier |
Multi-Vis: A Multi-modal Visualisation Environment for Interactive Analysis of Medical Data |
| Financier |
Security and Privacy of Radio Frequency Identification |
| 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 |
Actual questions in the historical context of the 17th century in the Dutch Republic |
| Financier |
Future electronics using organic material based switches |
| 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 |
Symplectic structures: at the interface of analysis, geometry, and topology. |
| Financier |
Stellar Processes near Massive Black Holes |
| Financier |
Gauged sigma-models and equivariant mirror symmetry |
| Financier |
The Design and Implementation of the KOALA Grid Resource Management System |
| Financier |
Liberté, égalité, fraternité: maturing biodiversity theory by integrating insights into the applied mathematics of combinatorial stochastic processes |
| Financier |
Design and analysis of robust timed systems |
| Financier |
Leverage project UVT/FEW/ and FDL |
| Financier |
Generative AI: a neo-cybernetic analysis |
| Financier |
Attractors in stratified fluids |
| Financier |
Visco-elastic instabilities and the nature of weak turbulent flow |
| Financier |
Moving ionization boundaries and charge transport |
| Financier |
KIDS: a 1000-square degree gravitational shear survey with OmegaCAM |
| Financier |
The structure of dark and luminous matter in early-type galaxies |
| Financier |
Leverage project TUD |
| Financier |
Binary evolution and nucleosynthesis amongst the earliest generations of stars |
| Financier |
Magnetized astrophysical jets: launch, collimation, stability and termination |
| Financier |
Task coordination for non-cooperative agents |
| Financier |
GoFGo - Go for Go: learn and search |
| Financier |
Efficient remeshing and analysis views for integration of design and analysis |
| Financier |
Algorithmic complexity of probabilistic networks |
| Financier |
Leverage project RUN / NIII |
| Financier |
Bifurcations from robust homoclinic cycles |
| Financier |
Row-oriented programming |
| Financier |
Subgeometries of buildings and involutions |
| Financier |
A pyramid algorithm for contour grouping |
| Financier |
Modeling control aspects of embedded systems |
| Financier |
Optimization of polyhedral terrains |
| Financier |
Bounds on stable semigroups |
| Financier |
Allograph based writer identification, handwriting analysis and character recognition |
| Financier |
Coordination process correctness and trust assumptions |
| Financier |
Model reduction and approximation for system behaviors |
| Financier |
Skeletonization and Segmentation of Binary Voxel Shapes |
| Financier |
Quantum computing: algorithms, proofs, and tradeoffs |
| Financier |
Visualization of global tensor information for diffusion tensor imaging |
| Financier |
Scaling limits in two dimensions |
| Financier |
Random copolymers in random emulsions |
| Financier |
Layla, the Laymans Legal Assistant: assisting consumers in business-consumer conflicts by diagnosing, advising and mediating |
| Financier |
Rox: run-time optimization of xqueries |
| Financier |
Dusty galaxies and the hidden phases of galaxy evolution |
| Financier |
Leverage project UT / CTIT |
| Financier |
More efficient interior point methods for conic optimization |
| Financier |
Leverage project UL / LIACS |
| Financier |
QUPES - verifying QUantitative Properties of Embedded Software |
| Financier |
Leverage project RuG |
| Financier |
Leverage project UvA/IvI |
| Financier |
Leverage 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 |
Parameterized and exact computation |
| Financier |
Explicit computations with modular Galois representations |
| Financier |
Visualization of Graphs and Trees for Software Analysis |
| Financier |
Value-based business-IT ALignment (VITAL) |
| Financier |
a GRId For inFormatIoN about architectural knowledge (GRIFFIN) |
| Financier |
Content voor WWWMathematics |
| Financier |
Monte Carlo methods in financial mathematics |
| Financier |
Symmetry and modularity in exactly solvable models |
| Financier |
Computational topology for systems and control |
| Financier |
Towards context-aware data management for ambient intelligence - from imaginary vision to grounded design and implementation |
| Financier |
Preparing for the Gaia space mission: photometric data analysis and a first application of Grid technology |
| Financier |
Differential equations for prepotentials |
| Financier |
Measurements and statisics in quantum information |
| Financier |
Reduction of false activations in fMRI analysis |
| Financier |
Collapsar progenitors in binary stars |
| Financier |
Vibrating strings and random processes with stationary increments |
| Financier |
Ultracompact binaries, the prime sources of gravitational waves |
| Financier |
Noise in Quantum and Classical Computation & Non-locality |
| Financier |
Mixed finite elements for swelling of cartilaginous tissues |
| Financier |
Development of a computationally efficient model of the human heart |
| Financier |
Computational analysis of spatiotemporal patterns of activity in neuronal networks |
| Financier |
Multispecies resource competition |
| Financier |
Bone cell based computer simulation of skeletal morphogenesis and osteoporosis |
| Financier |
X-ray spectroscopy of clusters of galaxies and of the cosmic web |
| Financier |
Modeling and Identification of Linear Parameter-Varying Systems, an Orthonormal Basis Function Approach |
| Financier |
Evolution of the remnants of stellar collisions |
| Financier |
Recursive composition structures |
| Financier |
Convergence Rates in Nonparametric Bayesian Density Estimation |
| Financier |
Fundamental properties of neutron stars |
| Financier |
Intuitionistic reverse mathematics |
| Financier |
Numerical simulations of the formation and evolution of dwarf galaxies |
| Financier |
Exact algorithms |
| Financier |
Balanced truncation for dissipative and symmetric nonlinear systems |
| Financier |
Giant elliptical galaxies |
| Financier |
Single-molecule electronics from nanotubes to DNA |
| Financier |
Nonparametric Inference for Partially Observed Lévy Processes |
| Financier |
Dynamics and geometry of resonant bifurcations |
| Financier |
Color Changes and Chemical Reactivity in Seventeenth-Century Oil Paintings |
| Financier |
Choice sequences in the work of Brouwer |
| Financier |
New queuing models for call centers |
| Financier |
Numerical determination of wave attractors |
| Financier |
Statistical estimation for Lévy driven OU-processes and Brownian semimartingales |
| Financier |
Moduli of K3 Surfaces and Abelian Varieties |
| Financier |
PRONIR - Profile based retrieval of networked information resources |
| Financier |
Braid group representations and tensor categories |
| Financier |
Matrix Algebras and Semidefinite Programming Techniques for Codes |
| Financier |
At Home Anywhere |
| Financier |
Kinematics of mechanisms from Burmester to Bottema: a historical study |
| Financier |
New barrier functions for cone optimization |
| Financier |
Geometry of ordinary double solids |
| Financier |
Modeling and control of distributed systems |
| Financier |
Direct numerical simulation of oil-water mixtures using front capturing techniques |
| Financier |
A cluster of GRAPES - An N-body laboratory to simulate the evolution of dense stellar systems, using efficient force calculation schemes |
| Financier |
Simulation and Modeling Underlying Radio Frequencies (SMURF) |
| Financier |
Direct numerical simulation of complex turbulent flow |
| Financier |
Numerical methods for 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 |
Reading Images for the Cultural Heritage - RICH |
| Financier |
Semantically-Enhanced Recommendations in Cultural Heritage |
| 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 |
Segmentation of anatomical structures in chest CT scans |
| Financier |
Particle Filtering Methods for Subcellular Motion Analysis |
| 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 |
Geometry of discriminants |
| Financier |
Exponential laws for rare events in spatially extended random systems |
| Financier |
Homeomorphism groups, complete Erdös space, and semi-continuous functions |
| Financier |
Renormalization in low dimensional dynamics |
| Financier |
Asymptotics of maximum likelihood estimators in inverse problems |
| Financier |
Learning by empirical L1 risk minimization, with L1 regularization |
| Financier |
Nilpotent Jacobians |
| Financier |
Front Interactions in a Three-Component System |
| Financier |
Symmetries and deformations in geometry |
| Financier |
Critical percolation and excitable media |
| Financier |
Certified geometric computation: radial basis function based isosurfaces and Morse-Smale complexes |
| Financier |
Proactive construction of semantic overlay networks |
| Financier |
Rapid online learning for entertainment computing |
| Financier |
Abstraction in Stochastic and Hybrid process Algebra (AiSHA) |
| Financier |
Scriptable compilers |
| Financier |
Coalgebraic formal development of exact real arithmetic |
| Financier |
Unsupervised stochastic grammar induction from unlabeled data |
| Financier |
Light scattering by small particles: the colour of polarization |
| Financier |
Dusty Disks around Young Stars |
| Financier |
Precision pulsar timing |
| Financier |
Zooming in on centers of nearby active galaxies |
| Financier |
Combined gravitational lensing and stellar dynamics analysis of early-type galaxies |
| Financier |
Planetary nebulae as kinematic tracers of the formation and structure of early-type galaxies |
| Financier |
Visualization of Cumulus Clouds in Virtual Reality |
| Financier |
Algorithms for Fat Objects: Decompositions and Applications |
| Financier |
Simulations of the formation of thick discs in galaxies |
| Financier |
The kinetic inductance detector: A new imaging detector system for space based far-infrared and sub-millimeter astronomy |
| Financier |
The influence of painting methods and materials on the present appearance of 19th C paintings |
| Financier |
Statistics for ion channel kinetics |
| Financier |
Simulation of developmental regulatory networks |
| Financier |
Scalable reinforcement learning in asychronous spiking neural networks |
| Financier |
Relativistic jets from binary black holes and neutron stars |
| Financier |
Reasoning and computing |
| Financier |
Sojourn time tails in processor-sharing systems |
| Financier |
Radicals in arithmetic |
| Financier |
Photo-ID for Cetaceans using shape matching methods |
| Financier |
Patterns for Process-Aware Information Systems: An Approach Based on Colored Petri Nets |
| Financier |
Numerical bifurcation analysis of community models including the study of global bifurcations |
| 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 |
Infrared reflectography: evaluative studies |
| Financier |
Inference for temporal question answering |
| Financier |
Graphs for Object-Oriented Verification |
| Financier |
Geometry of processes |
| 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 |
Texture vs contours. Explorations in the fields of contour detection and artistic imaging |
| Financier |
Computational views on membranes and ciliates (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 |
Quality of Variant and Invariant Features |
| Financier |
MATHINDI |
| Financier |
Unraveling the origin of the high deuterium fractionation in interstellar clouds |
| Financier |
10 Billion years of massive galaxies |
| Financier |
Semifields and related structures in finite geometry |
| Financier |
Rapid changes in complex flows |
| Financier |
Tools and techniques for integrating performance analysis and system verification |
| Financier |
Aspect-oriented software architecture design |
| Financier |
Parametrical analysis of real-time embedded systems |
| Financier |
Galaxy formation and evolution: the growth of nuclear supermassive black holes |
| Financier |
Dynamic percolation phenomena near criticality |
| Financier |
On the use of independence relations in Bayesian networks |
| Financier |
Electronic and spatial characteristics of the retinylidene chromophore of rhodopsin |
| Financier |
Language-parametric program restructuring |
| Financier |
Optical interferometry: a new method for studies of extrasolar planets |
| Financier |
The Nature of Massive Galaxies in the Early Universe |
| Financier |
On the Amount of Sieving in Factorization Methods |
| Financier |
CHIME: cultural heritage in interactive multimedia |
| Financier |
Computer-aided diagnosis for early lung cancer detection |
| Financier |
Component-Based Configuration, Integration and Delivery |
| Financier |
Faraday tomography of the galactic ISM with the WSRT |
| Financier |
Computer simulation of fracture and dislocation dynamics |
| Financier |
Adaptive replication algorithms for content distribution in the Internet |
| Financier |
Three-dimensional simulation of phytoplankton dynamics |
| Financier |
Emergence of cosmic structures around distant radio galaxies and quasars |
| Financier |
Rigorous foundations for formal asymptotics in partial differential equations |
| Financier |
Stochastic Integration in Banach Spaces and Applications to Parabolic Evolution Equations |
| 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 processes: pure and applied problems |
| 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 |
Accountability in electronic commerce protocols |
| Financier |
Topological structure of attractors in the Maynard Smith family |
| Financier |
TimeBayes: building and using temporal Bayesian models in a CPR setting |
| Financier |
Termination of Rewriting and Its Certification |
| Financier |
Numerical Analysis for mUltiple Scales, Iteration on Composite grids And Applications (NAUSICAA) |
| Financier |
I-Catcher: intensive-care access to terminology and course of health exploration and retrieval |
| Financier |
Point process approaches to the Tracy-Widom distribution |
| Financier |
Modelling and Verification of Business Processes (MoveBP) |
| Financier |
Classification and adaptation |
| Financier |
Improving P2P Applications by Breaking the Architecture Symmetry |
| Financier |
Evaluatie van technieken voor ontologie afbeelding |
| Financier |
Intermittency in a catalytic random medium |
| Financier |
Methods of Modelling Embedded Systems (MoMs) |
| Financier |
Energy Reduction Techniques for Caches and Multiprocessors |
| Financier |
Polyhedra of network problems |
| Financier |
Real-World Distrubuted Supercomputing |
| Financier |
Optimizing Hierachical Menus: a Usage-based Approach |
| Financier |
The essence of Abel's innovations: a framework for an account of his mathematical achievements |
| Financier |
Mathematical Modeling of Metal Ion Homeostasis and Signaling Systems |
| Financier |
AG-MECH: integrating compiler technology and theorem provers |
| Financier |
The history of metal enrichment in elliptical galaxies: combining dynamics with line-strength modeling |
| Financier |
Eigenfunctions on symmetric spaces |
| Financier |
Technical design in the second phase of general secondary education |
| Financier |
Arithmetic of elliptic curves and elliptic surfaces |
| Financier |
Paints quantified. Image analytical studies of preparatory grounds used by Van Gogh |
| Financier |
Visibility amidst curved obstacles in three-dimensional space |
| Financier |
La Volonté Machinale. Understanding the Electronic Voting Controversy |
| Financier |
Investigating the first phases of planet formation in Herbig Ae/Be systems |
| Financier |
Geometric networks |
| Financier |
Pro-active Medical Information Retrieval |
| Financier |
Branches of imperfect information: logic, games, and computation |
| Financier |
Geometric numerical methods for continuum mechanics |
| Financier |
Non-Archimedean geometry and automorphic forms |
| Financier |
Non-parametric estimation of (functionals of) densities in deconvolution problems |
| Financier |
Learning concepts in real world embodied agents |
| Financier |
Stochastic analysis: self- interacting random processes, measure- valued diffusions and stochastic evolution equations |
| Financier |
The atmospheres of exoplanets: composition and physical structure |
| Financier |
Tree width and combinatorial optimization (TACO) |
| Financier |
Modeling the gene network underlying neuronal outgrowth |
| Financier |
Communication and scheduling in reconfigurable multimedia terminals |
| Financier |
Competent genetic algorithms for learning Bayesian networks from data |
| Financier |
Astrophysical hydrodynamics in three dimensions: formation of structure in the Universe |
| Financier |
Motion planning in virtual environments for multiple entities |
| Financier |
Random spatial structures (RSS) |
| Financier |
Multiscale mesoscopic modelling of polymeric systems |
| Financier |
PROgramming Multi-processor Embedded multi-media Systems (PROMES) |
| Financier |
Overture: defining a research agenda for product software |
| Financier |
Systematic Testing of Realtime Embedded Software Systems (STRESS) |
| Financier |
Key Issues in Cryptology |
| Financier |
Modeling portfolio default risk with emphasis on dependency, extreme event and robust statistical procedures |
| Financier |
Separable nonlinear models: theory, implementation and applications in physics and chemistry |
| Financier |
Process mining: discovering process models from event-based data |
| Financier |
Partial localisation in a variational model for diblock copolymer-homopolymer blends |
| Financier |
AUTHENTIC: knowledge discovery and disclosure for visual art: authentication and dating of graphic art and paintings |
| Financier |
Robust applications in time-shared distributed systems |
| Financier |
Extremal combinatorics in generalized Kneser graphs |
| Financier |
Compositional construction of component connectors |
| Financier |
Computational Integrated Optics for Photonic Structures |
| Financier |
Collective excitations for a magnetized ionic mixture |
| Financier |
Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates |
| Financier |
Analysis and design of hybrid systems using optimal control (ADHOC) |
| Financier |
Compactifications of Drinfel'd modular varieties |
| Financier |
Optical studies of compact binaries in globular clusters and the Galactic disk |
| Financier |
Measuring the evolution of local galaxies over a Hubble time |
| Financier |
Long range stochastic dynamics |
| Financier |
The evolution of fast rotating massive stars: the link between LBVs and B[e]-supergiants |
| Financier |
Mining semi-structured data |
| Financier |
Disk galaxy spins as probes of the large-scale cosmic force field |
| Financier |
Iteration on Composite grids And Applications (NAUSICAA) |
| Financier |
Energy-based representation, analysis and control of infinite-dimensional systems (ERACIS) |
| Financier |
Stellar evolution on the borderline of white dwarf and neutron star formation |
| Financier |
CIRQUID - Complex Information Retrieval Queries in a DBMS |
| Financier |
Local search with exponential neighborhoods |
| Financier |
Infinite-dimensional Lie algebras and Bäcklund transformations |
| Financier |
Science with VISIR and MIDI: a breakthrough in infrared astronomy |
| Financier |
Asymptotic analysis of queueing systems |
| Financier |
Recipe databases for historical oil painting materials |
| Financier |
Galaxy mass-to-light ratios at z>1 from the Fundamental Plane: measuring the star formation epoch and mass evolution of galaxies |
| Financier |
Implementing McMillan Prefixes Against the State Space Explosion (IMPASSE) |
| Financier |
Model checking methods and tools for hybrid logics |
| Financier |
Semidefinite programming, nonnegative polynomials, and approximation theory |
| Financier |
Topological structures in dynamics |
| Financier |
Mathematical aspects of discrete tomography |
| Financier |
Arithmetic on the quality of mobile telephone systems |
| Financier |
Distributed and self-organizing data management strategies for wireless sensor networks. A cross-layered approach |
| Financier |
Stability of Radiative Propagating Flames |
| Financier |
Non-isolated singularities and polynomial mappings |
| Financier |
Learning stochastic tree-grammars from tree-banks |
| Financier |
Dealing with real data using ICT |
| Financier |
A natural-language generator for embodied, lifelike conversational agents |
| Financier |
Adaptive Active Vision |
| Financier |
Hall's conjecture |
| Financier |
Multi-functional geometric data structures |
| Financier |
Characterising the primordial binary population: a key step towards understanding the formation and evolution of star clusters |
| Financier |
ANITA: administrative normative information transaction agents |
| Financier |
Historically accurate reconstructions of oil paint and painting composites |
| Financier |
Representations of Gaussian processes with stationary increments |
| Financier |
Proximity-based representations for pattern learning |
| Financier |
Mathematical aspects of infectious disease dynamics |
| Financier |
Generalized connected morphological operators for robust shape extraction |
| Financier |
Quantization, noncommutative geometry, and symmetry |
| Financier |
High Dimensional Dependence. Copulae, Sensitivity, Sampling |
| Financier |
Statistical analysis of Internet data |
| Financier |
White dwarf - red dwarf binaries in the galaxy |
| Financier |
Contact Structures of Partial Differential Equations |
| Financier |
Dealing with conflicting and evolving designs using fuzzy logic (CEDUF) |
| Financier |
Epidemic-Style Information Dissemination in Large-Scale Wireless Networks |
| Financier |
Integrable Systems and Symplectic Geometry |
| Financier |
Execution of transactional contracted electronic services |
| Financier |
NARRATOR: narrative disclosure of health care knowledge |
| Financier |
Geometric invariant theory and automorphic forms |
| Financier |
Semantics of families of objects |
| Financier |
A search for the lowest mass galaxies |
| Financier |
DIME: distributed interactive medical exploratory for 3D medical images |
| Financier |
The centers of radio-loud elliptical galaxies |
| Financier |
Categorical logic and proof theory: realizability for constructive theories |
| Financier |
Algorithms in the class body theory |
| Financier |
Geometric singular perturbation theory and applications |
| Financier |
EIDETIC: intelligent content-based image retrieval |
| Financier |
Galactic archaeology in and around the Milky Way |
| Financier |
Extremes and fluid queues |
| Financier |
I2RP: Intelligent Information Retrieval and Presentation in Public Historical Multimedia Databases |
| Financier |
Networked adaptive structured hypermedia (NASH) |
| Financier |
SAMASC - Security Analysis for Multi-Applet Smart Cards |
| Financier |
Featureless Pattern Learning |
| Financier |
Symmetry and symmetry breaking in mathematics and mathematical physics |
| Financier |
High spatial resolution spectroscopy with OASIS on the William Herschel Telescope |
| Financier |
High-angular resolution studies of disks and envelopes around young stars |
| Financier |
The nature of dark matter, the study of the IMF at high redshifts and the physics of the most compact AGN, as probed through microlensing and interstellar scintillation |
| Financier |
Star formation regions in the Local Group: calibrators of high redshift starbursting galaxies |
| Financier |
Type Ia supernova progenitors and supersoft X- ray sources |
| Financier |
Hall algebras and Macdonald polynomials |
| Financier |
Estimation of Quantum States and Operations |
| Financier |
Finite element wavelets for solving operator equations |
| Financier |
Radio sources and the XMM Large Scale Structure Survey |
| Financier |
Clusters of galaxies as tracers of the cosmic matter distribution |
| Financier |
Proper motions of galaxies in the local supercluster |
| Financier |
Radio galaxies as probes of galaxy formation in the early universe |
| Financier |
The structure of the interstellar medium on very small (~ 1 pc) scale: magnetic field and densities of neutral and ionized gas |
| Financier |
Imaging X-ray microcalorimeter for astrophysics |
| Financier |
The structure of early-type galaxies. Triaxiality, massive black holes and secular evolution |
| Financier |
A study of faint radio sources |
| Financier |
Extreme star formation in obscured starburst and ultraluminous galaxies |
| Financier |
Robust estimation of the stereoscopic configuration of unknown environments |
| Financier |
Optimal control of stochastic and fluid networks |
| Financier |
Geometry and cohomology of discriminants and moduli spaces |
| Financier |
Hierarchical hp-adaptive numerical methods for three-dimensional convection dominated flows |
| Financier |
Analysis, dynamical systems and applications |
| Financier |
A comparative study of accreting neutron stars and black holes |
| Financier |
Gamma-ray burst afterglows |
| Financier |
Deep submillimetre observations of faint dusty galaxies |
| Financier |
Measuring masses, mass-to-light ratios, and mass evolution of galaxies out to z=2 and higher |
| Financier |
The shapes and spins of Kuiper belt objects |
| Financier |
Pattern formation in reaction-diffusion equations |
| Financier |
Percolation, forest-fires and monomer-dimers |
| Financier |
Practicable decision making under uncertainty |
| Financier |
On the numerical solution of diffusion systems with localized, gradient-driven, moving sources |
| Financier |
DAS 2: hierarchical large-scale distributed system |
| Financier |
Simulation and testing for feature interaction |
| Financier |
JavaCard specification and verification with JML |
| Financier |
Composing Constraint Solvers |
| Financier |
CoMoLo: Coalgebraic Modal Logic - theory and applications |
| Financier |
Stepping through Haskell |
| Financier |
A methodology for agent-oriented software design |
| Financier |
Data integrity in distributed Web databases |
| Financier |
Minimum Description Length Model Selection. Problems and Extensions |
| Financier |
Pattern-based machine learning in Go |
| Financier |
Integrating techniques for the verification of distributed systems |
| Financier |
Geometric algebra: a new foundation for geometric programming |
| Financier |
ALMA 0 and new foundations for declarative programming |
| Financier |
Stretching the limits of direct numerical simulation of turbulent flow |
| Financier |
Computer algebra for systems and control |
| Financier |
Executable design patterns |
| Financier |
Software architecture for programmable logic controllers |
| Financier |
Game theoretical analysis of negotiations about software |
| Financier |
A toolkit for architecture-driven design of information systems |
| Financier |
On the evolution of shape |
| Financier |
Why did we reach T? |
| Financier |
A new rapid application development method for 3D-world applications |
| Financier |
Towards a TRAnsparant INternet (TRAIN) |
| Financier |
Flexible application mapping environment (FAME) |
| Financier |
Improving quality and performance of disk storage |
| Financier |
Proxima - A presentation-oriented editor for structured documents |
| Financier |
Fault-tolerant real-time algorithms analyzed incrementally |
| Financier |
Real world agents with adaptive reasoning rules |
| Financier |
Java compiler technology for embedded media systems |
| Financier |
Information gathering from distributed databases using multiple agents |
| Financier |
Dynamic incremental processing |
| Financier |
Proof carrying bean (Poocabean) - synthesis, verification and validation of Poocabean specifications |
| Financier |
The design and analysis of efficient algorithms for probabilistic inference |
| Financier |
Expert system techniques in simulation modeling |
| Financier |
Adaptive virtual worlds for effective information delivery |
| Financier |
Personalized information delivery from digital libraries |
| Financier |
Evolutionary dynamics |
| Financier |
Adaptive refinement and uniformly convergent numerical methods for singularly perturbed convection-diffusion equations |
| Financier |
Requirements engineering for real-time medical support systems |
| Financier |
Semi-automatic hypermedia presentation generation |
| Financier |
Content-based image retrieval using relevance feedback |
| Financier |
RIF: Retrieving Information in virtual worlds using Feature detectors |
| Financier |
MONDRIAN: a scripting language for Internet programming |
| Financier |
Biography of Aad van Wijngaarden |
| Financier |
Notions of program correctness for characterising heuristic programs |
| Financier |
Code generation for large-scale applications |
| Financier |
Pattern recognition in chess using unsupervised learning |
| Financier |
The dynamics of internal and inertial waves in enclosed basins |
| Financier |
Unraveling the structure of matter and space-time: from gauge fields to strings and gravity |
| Financier |
MOCCAM: moving objects in complex CAD models |
| Financier |
EDNA: evolutionary DNA computing |
| Financier |
Numerical studies of the interstellar medium on galactic scales |
| Financier |
Solar magnetism with the Dutch Open Telescope |
| Financier |
Organizational embedding of IT |
| Financier |
Non-linear feature extraction for classification of respiration sounds |
| 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 |
Combining Weak Classifiers for Highly Dimensional 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 |
Hybrid Genetic Relational Search for Inductive Learning |
| Financier |
Semi-automatic hypermedia presentation generation (Dynamo) |
| Financier |
Quantum Computing (INS4.1) |
| Financier |
Information-Theoretic Learning (INS4.2) |
| Secretariat |
Stimulation programme |
