IEEE

Optimizing Node Communication in Vehicle-to-Vehicle Networks: A Relay Selection Algorithm Based on Multi-Metric Consensus Parameters

Abstract: Relay selection is one of the major challenges that affect Vehicle-to-Vehicle (V2V) communications. The inability to select the most important relay nodes during transmission has been a ...
SciELO

Predictive Modeling of Surface Tension in Chemical Compounds: Uncovering Crucial Features with Machine Learning

The development of accurate predictive models for SFT would allow the optimization of compound design, which is a key factor for improving the performance of any process involving fluid systems, ...
Knoxville News Sentinel

‘The Great San Antonio Shuffle’: New Data from 3 Men Movers Shows Residents Aren’t Leaving, They’re Re-sorting the City

New analysis of local moving activity shows San Antonio residents are changing neighborhoods within the city, not leaving the metro area. SAN ANTONIO, TX, UNITED ...
IEEE

Seabed Sediment Classification Based on Multibeam Data Using a Multifeature Fusion Algorithm

Abstract: The seabed sediment serves as a critical indicator of seabed conditions, and its accurate classification is essential for rapid assessment of the seabed environment. In this article, we ...
Microsoft

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus

We introduce VeriStruct, a novel framework that extends AI-assisted automated verification from single functions to more complex data structure modules in Verus. VeriStruct employs a planner module to ...