Organisation

Center for Mathematics and Computer Science

Pagina-navigatie:

Main
Current research (25)
Completed research (76)

Current research

(the most recent research is at the top)
Collaboration	Compliance-driven models, languages, and architectures for services (COMPAS)
Collaboration	Hamiltonian-based numerical methods for forced-dissipative climate prediction
Collaboration	Towards Intelligent Environments (SRA Ambient Intelligence)
Secretariat	Generalised colouring for random graph models
Secretariat	Dijkstra's Impact on Design and Verification of Systems and Programs
Secretariat	Domain-Specific Languages: A Big Future for Small Programs
Secretariat	Thermostat closures for inviscid fluids
Secretariat	GrammarLab: Foundations of a Grammar Laboratory
Secretariat	Self-interacting walks, growth processes and renormalization
Secretariat	Numerical Simulations of Rotary Kilns
Secretariat	Pilot Simulation Turbulent Thermo-Hydraulics
Secretariat	Reconstructing the interactions between cells and extracellular matrix during angiogenesis
Secretariat	Reducing complexity in phylogenetic networks
Secretariat	Behavioural Differential Equations
Secretariat	Computational Capacity Planning in Electricity Networks
Secretariat	Quantitative electron tomography by simultaneous parameter estimation and reconstruction
Secretariat	Quantum Cryptography Beyond Key Distribution
Secretariat	High-throughput simulations of the metabolism of the human gut microbiota
Secretariat	Next Generation Auditing: Data-Assurance as a service
Secretariat	Influence of a new stochastic convection parameterization on cloud-climate feedbacks
Secretariat	Microbial ecosystems and multiple environment stoichiometric analyses
Secretariat	Matroid Structure - for Efficiency
Secretariat	Sudden changes in accidental networks
Secretariat	Scientific Computing for Nonlinear PDEs