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 ...
IEEE

ACE: A Static Android Malware Detection Method Based on Supervised Contrastive Learning

Abstract: Smart and mobile devices are essential components of the Internet of Things (IoT) ecosystems, facilitating connectivity and automation across various domains. Due to its flexibility, the ...
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 ...
Reuters

GE Aerospace turns to robots and 'Lean' methods to tackle jet engine repair crunch

SINGAPORE, Feb 13 (Reuters) - GE Aerospace (GE.N), opens new tab technician Suresh Sinnaiyan has spent more than a decade repairing jet‑engine compressor blades by guiding them across a sanding belt ...
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 ...