This repository contains the artifacts of paper CertTA: Certified Robustness Made Practical for Learning-Based Traffic Analysis, which has been accepeted by USENIX Security 2025. A Zenodo repository ...

Abstract: Since in traditional multi-intersections traffic signal timing methods the iteration time of all intersections is typically the same, improvements in the traffic efficiency are difficult to ...

Abstract: This paper presents an edge-deployable, real-time adaptive traffic light control system designed for complex and undisciplined urban traffic environments. The system integrates computer ...

Yeast left over from brewing beer can be transformed into edible 'scaffolds' for cultivated meat – sometimes known as lab-grown meat – which could offer a more sustainable, cost-effective alternative ...