Secure cloud-based services to support cooperative autonomous driving functions

1. Project Title/ Job position title: Secure cloud-based services to support cooperative autonomous driving functions 2. Area of knowledge: Physical Sciences, Mathematics and Engineering Panel 3. Group of disciplines: Theoretical and Applied Mathematics, Computer...

Machine learning tools for improving data quality and dependability in IoT applications

1. Project Title/ Job position title: Machine learning tools for improving data quality and dependability in IoT applications 2. Area of knowledge: Physical Sciences, Mathematics and Engineering Panel 3. Group of disciplines: Theoretical and Applied Mathematics,...

Semantic Similarity for Complex Biomedical Data Mining

1. Project Title: Semantic Similarity for Complex Biomedical Data Mining 2. Area of knowledge: Life Sciences 3. Group of disciplines: Biotechnology, Bioinformatics, Pharmaceuticals, Food Technology 4. Research project: In the last few decades, life sciences research...

Dependent session types and applications to the verification of concurrent programs

1. Project Title: Dependent session types and applications to the verification of concurrent programs 2. Area of Knowledge: Physical Sciences, Mathematics and Engineering Panel 3. Group of disciplines: Theoretical and Applied Mathematics, Computer Sciences and IT 4....

Semantic explanations of predictions using knowledge graphs

1. Project Title: Semantic explanations of predictions using knowledge graphs 2. Area of knowledge: Physical Sciences, Mathematics and Engineering Panel 3. Group of disciplines: Theoretical and Applied Mathematics, Computer Sciences and IT 4. Research project: The...