Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- SciLifeLab
- Cranfield University
- DAAD
- Technical University of Denmark
- ;
- ; Loughborough University
- ; The University of Edinburgh
- Chalmers University of Technology
- Fraunhofer-Gesellschaft
- National Research Council Canada
- University of Groningen
- ; Swansea University
- ; The University of Manchester
- ; University of Bristol
- ; University of Greenwich
- Aalborg University
- Ghent University
- Ludwig-Maximilians-Universität München •
- Nature Careers
- RPTU University of Kaiserslautern-Landau •
- University of Alaska
- University of Twente
- 12 more »
- « less
-
Field
-
the Royal Institute of Technology, Stockholm. Dahlin’s team works at the intersection between experimental and computational medicine to map blood cell development at the single-cell level. This is performed
-
for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control
-
to the development of a control theory that is inherently modular, i.e., that allows for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory
-
disruptive aircraft configurations involves combining advanced engineering practices, including computing power, sensing, AI/ML, and system-level engineering. Comprehensive verification and validation
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | 29 minutes ago
lectures which are offered by the Physics Department of RPTU within the Master of Science in Advanced Quantum Physics programme: https://physik.rptu.de/quantum-master/ The detailed programme of the lectures
-
, for example, a 4-year bachelor's degree is accepted. Previous coursework in cyber-physical systems, formal verification, computational logic, AI, or statistical methods would be beneficial but not required
-
algorithms are used that allow a computer to process large data-sets and learn patterns and behaviours, thus allowing them to respond when the same patterns are seen in new data. This include 'supervised
-
, a service that converts scientific publications into FAIR data; Implementation of nomenclatural validation rules (e.g., verification of holotypes and isotypes). Integration of Taxonomic Data Sources