16641 - 16660 van 22700 resultaten
- Graph drawing and Visualization | AlgorithmsResearch theme graph drawing and visualization at the Computational Geometry Group in the Department of Information and Computing Sciences Utrecht/en/research/algorithms/geometric-computing/research-themes/graph-drawing-and-visualisation
- Crowd Simulation | AlgorithmsResearch theme crowd simulation at the Computational Geometry Group in the Department of Information and Computing Sciences./en/research/algorithms/geometric-computing/research-themes/crowd-simulation
- Crowd Simulation: Grand Départ | AlgorithmsResearch theme crowd simulation (Grand Départ) at the Computational Geometry Group in the Department of Information and Computing Sciences./en/research/algorithms/geometric-computing/research-themes/crowd-simulation/grand-depart
- Crowd Simulation: Noord/Zuidlijn | AlgorithmsResearch theme crowd simulation (Noord/Zuidlijn) at the Computational Geometry Group in the Department of Information and Computing Sciences./en/research/algorithms/geometric-computing/research-themes/crowd-simulation/evacuation-studies-in-the-noordzuidlijn
- Crowd Simulation: STW Demonstarator Project | AlgorithmsResearch theme crowd simulation (STW Demonstrator) at the Computational Geometry Group in the Department of Information and Computing Sciences./en/research/algorithms/geometric-computing/research-themes/crowd-simulation/stw-demonstarator-project
- Algorithmic Modelling and Optimization | AlgorithmsResearch theme of Algorithms and Complexity/en/research/algorithms/algorithms-and-complexity/algorithmic-modelling-and-optimization
- Robust Combinatorial Optimization and Simulation | AlgorithmsResearch theme of Algorithms and Complexity/en/research/algorithms/algorithms-and-complexity/robust-combinatorial-optimization-and-simulation
- Graph and Network Algorithms | AlgorithmsResearch theme of Algorithms and Complexity/en/research/algorithms/algorithms-and-complexity/graph-and-network-algorithms
- Computational Complexity | AlgorithmsResearch theme of Algorithms and Complexity/en/research/algorithms/algorithms-and-complexity/computational-complexity
- Software Technology: Software Archive | SoftwareSoftware and Tools (archive) created by the Center of Software Technologies/en/research/software/software-technology/software-and-tools/archive
- System verification | Softwareormal verification is time consuming and requires specialist expertise/en/research/software/software-technology/research-themes/compiler-technologies-and-tools/system-verification
- Index | SoftwareThe software presented on this page has been written by members and previous members of the Software Technology Group./en/research/software/software-technology/software-and-tools/index
- Very Precise Static Analysis of Functional Languages | SoftwareResearch theme Very Precise Static Analysis of Functional Languages at Software Technology in the Department of Information and Computing Sciences Utrecht/en/research/software/software-technology/research-themes/compiler-technologies-and-tools/very-precise-static-analysis-of-functional-languages
- Programming with Dependent Types | SoftwareResearch theme Programming with Dependent Types at the Software Technology Group in the Department of Information and Computing Sciences Utrecht/en/research/software/software-technology/research-themes/compiler-technologies-and-tools/programming-with-dependent-types
- People Applied Data Science | AI & Data SciencePeople of the Applied Data Science lab./en/research/ai-data-science/natural-language-processing/applied-data-science-nlp-lab/people
- Research: Applied Data Science | AI & Data ScienceProjects of the Applied Data Science lab of the Organization and Information Group in the Department of Information and Computing Sciences Utrecht/en/research/ai-data-science/natural-language-processing/applied-data-science-nlp-lab/research
- Algorithmic Data Analysis | AI & Data ScienceHomepage of the Algorithmic Data Analysis research group (department of Information and Computing Sciences)./en/research/ai-data-science/algorithmic-data-analysis
- Software Technology for Learning and Teaching | SoftwareHomepage of the Software Technology for Learning and Teaching Group/en/research/software/software-technology-for-learning-and-teaching
- Research Themes | SoftwareProjects of the Softwaretechnology Group in the Department of Information and Computing Sciences Utrecht/en/research/software/software-technology/research-themes
- Compiler Technologies and Tools | SoftwareResearch theme Compiler Technologies and Tools at the Softwaretechnology Group in the Department of Information and Computing Sciences Utrecht/en/research/software/software-technology/research-themes/compiler-technologies-and-tools