Search
Clear all filters
DP Niels Madsen
Intelligent and Efficient Testing and Verification of Deep Neural Networks
Intelligent and Efficient Testing and Verification of Deep Neural Networks

About the Project About the Project Deep Neural Networks (DNNs) have demonstrated human-level capabilities in several challenging machine learning tasks including image classification, natural language processing and speech recognition. Despite … Read More Read More

Categories:
DP Eric Ramos
zk-Cloud Forensics: Privacy-Aware and Tamper-proof Cloud Forensics using a Public Key Trust Infrastructure
zk-Cloud Forensics: Privacy-Aware and Tamper-proof Cloud Forensics using a Public Key Trust Infrastructure

About the Project In order to detect contraband content within a cloud-based system, it is possible to sample fragments of data [1] and match them against hashed values. We can … Read More Read More

Categories:
DP Eric Ramos
Generative navigation for autonomous robots using active inference
Generative navigation for autonomous robots using active inference

About the Project Simultaneous Location And Mapping (SLAM) is a strategy that allows autonomous mobile robots to navigate their environment. Sensors on board the robot detect walls and objects and … Read More Read More

Categories:
DP Eric Ramos
Enhanced Deep Learning and Semantic-based Predictive Analytics for Reactive IoT Applications and Streaming Data
Enhanced Deep Learning and Semantic-based Predictive Analytics for Reactive IoT Applications and Streaming Data

About the Project The emergence of Internet of Things (IoT) has formed a bridge that connects most of the real-world entities with the related computer entities. Its general objectives includes: … Read More Read More

Categories:
DP Alejandro Costa
An AI-driven approach to proactive Internet Of Things (IoT) based systems
An AI-driven approach to proactive Internet Of Things (IoT) based systems

About the Project The Internet of Things (IoT) refers to the ever-growing network of physical objects such as smart devices, vehicles, buildings and other items embedded with electronics, software, sensors, … Read More Read More

Categories:
DP Peter Ortmann
Fully Funded PhD Studentship by EPSRC-funded KUber Project in SAYED Systems Group
Fully Funded PhD Studentship by EPSRC-funded KUber Project in SAYED Systems Group

About the Project A fully funded PhD scholarship is available in SAYED Systems research group ( https://sayed-sys-lab.github.io ) within the School of EECS at Queen Mary University of London, UK. … Read More Read More

Categories:
DP Isabell Baker
Methods and tools for the verification of plug-and-produce robots in distributed manufacturing systems
Methods and tools for the verification of plug-and-produce robots in distributed manufacturing systems

About the Project The competitiveness of manufacturing companies in modern markets increasingly depends on cost-effective flexible automation technologies. Reconfigurable manufacturing systems can accommodate changes to introduce new product variants, adjust … Read More Read More

Categories:
DP Sundar Choudhary
Enabling CO2 Capture and Storage Using AI
Enabling CO2 Capture and Storage Using AI

About the Project Carbon Capture and Storage (CCS) is one of the viable solutions that can effectively reduce CO 2 emissions from hard to decarbonise industries (e.g., steel, cement, power … Read More Read More

Categories:
DP Peter Ortmann
Instrumenting Cloud Systems for Scalability and Resilience
Instrumenting Cloud Systems for Scalability and Resilience

About the Project Cloud computing is essential for global connectivity. It empowers businesses, governments, and individuals to create and use cloud-based services for various everyday systems, including critical fields such … Read More Read More

Categories: