IEEE

DBN-YOLO: A Dynamic Sparse Deformable Instance Segmentation Method for Sonar Images

Abstract: Underwater sonar image instance segmentation is a crucial component for tasks such as marine resource exploration, underwater communication and navigation, and marine environmental ...
Microsoft

AI as tradecraft: How threat actors operationalize AI

Threat actors are operationalizing AI to scale and sustain malicious activity, accelerating tradecraft and increasing risk for defenders, as illustrated by recent activity from North Korean groups ...
IEEE

A Static Modeling Method Considering Friction for the Shape Prediction or Force Sensing of Concentric Cable-Driven Manipulators

Abstract: Owing to the flexibility and redundancy, concentric cable-driven manipulators are widely used in confined space applications. However, it is challenging to establish shape prediction or ...
GitHub

Experiment in generating unit tests and mocks for code containing static method calls

Open this folder in VS Code Click "Reopen in Container" when prompted (or use Command Palette: "Dev Containers: Reopen in Container") Wait for container to build and install dependencies ...
Semiconductor Engineering

Information Flow Verification Framework Integrating Static and Formal Verification Methods At The Pre-Silicon Stage (U. of Florida)

“Modern system-on-chips (SoCs) are becoming prone to numerous security vulnerabilities due to their ever-growing complexity and size. Therefore, a comprehensive security verification framework is ...