Organisation

Center for Mathematics and Computer Science

Pagina-navigatie:

Main
Current research (25)
Completed research (76)

Completed research

(the most recent research is at the top)
Collaboration	Efficient Iterative Solution of Large Linear Systems on Heterogenous Computing Systems
Collaboration	Natural and Intuitive Interaction and Information Access (SRA Multimedia and Interaction)
Collaboration	Application pilot e-Culture
Collaboration	Matrix software
Collaboration	Transmission Control Protocols for the Internet
Collaboration	The petabyte data mining challenge
Collaboration	hp-Adaptive finite element methods for the Maxwell equations
Collaboration	Finite elements and multigrid solvers for multiple scale problems
Collaboration	Continuous Access to Cultural Heritage (CATCH)
Collaboration	DEAL - Distributed Engine for Advanced Logistics
Collaboration	On the Amount of Sieving in Factorization Methods
Collaboration	A-services Internet (ASI): Always Access - Available - Attentive - Ambient - Abundant - Applications
Collaboration	Dynamic Business-ICT Alignment
Collaboration	Optima (user-agent modeling using ACT-R)
Collaboration	ARCHIMATE - An integrated architectural approach for the description and visualisation of different business domains
Collaboration	ASTA - Autonomous Systems of Trade Agents
Collaboration	CoMoLo: Coalgebraic Modal Logic - theory and applications
Collaboration	Biography of Aad van Wijngaarden
Collaboration	Renovation of Idiomatic Crosscutting Concerns in Embedded Systems
Commissioner	Formal Verification of Distributed Systems
Secretariat	Information systems (INS)
Secretariat	Analysis of Distribution Strategies for Concurrent Access in Wireless Communication Networks
Secretariat	Electric fracture: growth and branching of ionized channels (CTF.6501)
Secretariat	Dynamics of normative multiagent systems (DyNMAS)
Secretariat	Moving ionization boundaries and charge transport
Secretariat	Noise in Quantum and Classical Computation & Non-locality
Secretariat	Matrix Algebras and Semidefinite Programming Techniques for Codes
Secretariat	Processor sharing
Secretariat	Numerical algorithms in bio-informatics
Secretariat	Algorithmic statistics in bio-informatics
Secretariat	Databases for personalized ubiquitous intelligent devices
Secretariat	Network infrastructure support for convergent interactive media
Secretariat	Quality of services (QoS) differentiation mechanisms - pricing
Secretariat	Quality of service in communication networks
Secretariat	Biometrics and digital watermarking
Secretariat	Security, identification and authentication
Secretariat	Practical Approaches to Secure Computation
Secretariat	Basic Research in Informatics for Creating the Knowledge Society (BRICKS)
Secretariat	Critical percolation and excitable media
Secretariat	Photo-ID for Cetaceans using shape matching methods
Secretariat	TRECVID
Secretariat	Dynamic percolation phenomena near criticality
Secretariat	Language-parametric program restructuring
Secretariat	Geometric numerical methods for continuum mechanics
Secretariat	Asymptotic analysis of queueing systems
Secretariat	Mathematical aspects of discrete tomography
Secretariat	True-to-life neural networks
Secretariat	Mathematical statistics and probability
Secretariat	Stochastic Dynamics and Discrete Probability
Secretariat	Randomized Approximation Algorithms: Facility Location, Phylogenetic Networks, Nash Equilibria
Secretariat	Specification and analysis of embedded systems (SEN2)
Secretariat	Stochastic geometry (PNA4.3)
Secretariat	Extremes and fluid queues
Secretariat	Control and system theory (MAS2.3)
Secretariat	Modelling, analysis and simulation (MAS)
Secretariat	Formal design, tooling, and prototype implementation of a real-time distributed shared data space (CES.5009)
Secretariat	Cultural heritage in interactive multimedia environments (Token2000/CHIME)
Secretariat	I2RP: Intelligent Information Retrieval and Presentation in Public Historical Multimedia Databases
Secretariat	Real-time distributed shared data space
Secretariat	Improving the quality of embedded systems using formal design techniques
Secretariat	Monotonicity and symmetric properties of oscillatory solutions of fourth-order ordinary differential equations
Secretariat	On the numerical solution of diffusion systems with localized, gradient-driven, moving sources
Secretariat	A semantic approach to component-based software
Secretariat	Micro-CRL toolset development and applications
Secretariat	Wavelets and their applications
Secretariat	Stochastic network analysis for the design of self optimising cellular mobile communications systems (MOBILECOM)
Secretariat	Specification, testing and verification of software for technical applications (STVSTA)
Secretariat	Semi-automatic hypermedia presentation generation (Dynamo)
Secretariat	Formal methods for coordination languages (SEN3.1)
Secretariat	Exploratory research: coalgebraic models of computation (SEN3.3)
Secretariat	Multiresolution image analysis and synthesis: from axiomatics to applications
Secretariat	Scientific computing and algebraic abstractions (SAGA)
Secretariat	Software engineering (SEN)
Secretariat	Computational number theory and data security (MAS2.2)
Secretariat	Computational fluid dynamics (MAS2.1)
Secretariat	Networks and logic - optimization and programming (PNA1)