-
a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how
-
primary school students' historical reasoning in non-formal settings. Interactive Learning Environments. Hageneuer, S. (2020). Communicating Past in the Digital Age. International Conference on Digital
-
observations. Formally, this means that the output is multivariate (from 10 to 600 groups) and that the input has up to four dimensions (latitude, longitude, depth, time) for each variable (and there are over a
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions