Article Highlights
Updates every hour. Last Updated: 21-Oct-2026 16:16 ET (21-Oct-2026 20:16 GMT/UTC)
Policy as code: formal analysis of SELinux via semantic execution
Higher Education PressSub-headline: Zhejiang University researchers introduce K-SELinux, leveraging the K framework to automate the verification of complex security policies
- Journal
- Frontiers of Computer Science
Awakening dark knowledge: addressing capacity mismatch in distillation
Higher Education PressSub-headline: Nanjing University researchers explore dark knowledge mechanisms to tackle the teacher-student capacity gap.
- Journal
- Frontiers of Computer Science
Rice-grown chaga reveals genes behind valuable triterpenoids
Maximum Academic Press- Journal
- Panfungi
Microwave-made coal carbon captures CO₂ efficiently
Maximum Academic Press- Journal
- Sustainable Carbon Materials
Temperature tunes plastic waste upcycling
Maximum Academic Press- Journal
- Sustainable Carbon Materials
Weathered microplastics selectively capture organic matter in water
Maximum Academic Press- Journal
- Environmental and Biogeochemical Processes
Deep neural network use to help improve vision-based depth estimation in computer vision
Tsinghua University PressThree-dimensional computer vision is becoming more prevalent in everyday lives as advances in technology and its accessibility to the general population increase. This type of tech is seen in autonomous driving vehicles, augmented reality (AR), virtual reality (VR) and robotics, to name a few. However, historically, these types of technologies have been limited by their methods employed: LiDAR (light detection and ranging, a remote sensing tech used to measure distances) is limited by its cost and low-resolution to be as useful as it once was in the burgeoning field that is 3D computer vision. Researchers are looking towards something else: vision-based methods using depth foundation models.
- Journal
- Computational Visual Media