Defensa y seguridad

GERD: Geometric event response data generation

- Event-based vision sensors offer high temporal resolution, high dynamic range, and low power consumption, yet event-based vision models lag behind conventional frame-based vision methods. We argue...

LongE2V: Long-Horizon Event-based Video Reconstruction, Prediction, and Frame Interpolation with Video Diffusion Models

- Recovering high-quality video from sparse event streams is a challenging task. Regression methods often blur textures, while existing generative models struggle with long-term stability. We propose...

Sculptable Mesh Structures for Room-Scale Form-Finding

- It can be hard to design a physical structure entirely within the confines of a computer monitor. To better capture the interplay between real-world objects and a designer's work-in-progress,...

ESBMC-Arduino: Closing the Deployment Gap for Formal Verification of Open-Hardware PLCs

- OpenPLC, Arduino OPTA, CONTROLLINO, and Industrial Shields M-Duino bring IEC 61131-3 to low-cost microcontrollers used in real automation and industrial control system (ICS) security research....

Predicting Viticulture Potential through an Ensemble of U-Net and a Geospatial Foundation Model

- Determining agricultural potential is fundamental to sustainable land management and agricultural planning. Remote sensing data is increasingly valuable as an avenue for agricultural potential due to...

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis

- A Ladder Logic Bomb (LLB) is malicious control logic in a Programmable Logic Controller (PLC) program that lies dormant until a trigger activates a payload to manipulate actuators, forge sensor...

Deep Reinforcement Learning-Empowered Wireless Sensor Networking for 6G Closed-Loop Controls

- Robots are increasingly deployed in remote or hazardous areas for mission-critical control tasks. Due to their limited individual capabilities, they have to rely on other field sensors to obtain the...

Generalization Theory for Through-the-Wall Radar Human Activity Recognition

- Through-the-wall radar (TWR) human activity recognition (HAR) is important for non-line-of-sight indoor sensing, security monitoring, and emergency rescue. However, structured distribution shifts...

Cost of Sensing in Optimal Control: Basic Formulations, Examples, and Applications

- Incorporating a notion of cost of sensing, or sensing-cost, within the optimal control framework is beneficial in controlling systems where the duration of sensing, and/or the cost of sensors...

MORES: Mobile Reasoning-as-a-Service via Distributed LLM Inference-Time Scaling

- Inference-time scaling has emerged as an effective approach for enhancing the capabilities of Large Language Models (LLMs), addressing the growing demand for stronger reasoning without increasing...

EVIS: A Physics-Grounded Event Camera Plugin for NVIDIA Isaac Sim

- Event cameras offer microsecond temporal resolution, low latency, and high dynamic range, making them attractive for robotics. However, labeled event-camera data for a specific robot and scene is...

Model-Based Detection of Anomalous Events in Submarine Cables Using Distributed Deformation Sensing and Kalman Filtering

- Submarine power and telecommunication cables constitute critical global infrastructure, yet they remain vulnerable to mechanical damage caused by maritime activities and intentional tampering....

Multi-type Sensor Placement for PDE-based Bayesian Inverse Problems

- We address optimal placement of multi-type sensors for Bayesian inverse problems governed by partial differential equations (PDEs). The proposed framework allows for sensors with different accuracies...

LOGOS: Language-guided Oriented Object Detection in Aerial Scenes

- Object detection in geospatial scenes, such as satellite and aerial imagery, poses significant challenges due to the varying orientations and densities of objects, as well as the complex backgrounds...

D-CLIPSE: Distributed Consensus-based Localization with Passive Listening on Shared State Exchange

- Multi-robot localization that is accurate and consistent is imperative for downstream tasks such as planning and control. Centralized filtering approaches optimally fuse all available sensor...

Beyond Thermal Imaging: Inferring Thermophysical Properties from Time-Resolved Thermal Observations

- Inferring latent physical properties from sensory observations is a fundamental challenge in machine perception. Among available sensing modalities, thermal imaging is particularly promising because...

3D Reconstruction of deciduous Trees using low-cost UAV- and Crane-based Photogrammetry for Monitoring Shoot Elongation across entire Canopies

- Tree growth determines how much CO2 is sequestered from the atmosphere and temporarily stored in woody biomass. At the same time tree growth is affected by increasing temperatures, more frequent...

Monocular Vision Based Control Framework for Grasping

- Grasping in unstructured environments requires handling objects with widely different mechanical properties, from soft and deformable items to rigid everyday objects. Most existing approaches address...

Physics-Guided Biomechanical Gait Adaptation for Humanoid Locomotion on Extreme Sloped Terrains

- Model-free reinforcement learning has enabled impressive humanoid locomotion; however, control on steep slopes remains largely unexplored. Unlike flat or discrete terrains, sloped terrains impose a...

Idiobionics: The Unification of Privacy and Intelligent Robotic Prostheses

- The human body is at the center of a growing family of technologies designed to tightly and persistently couple biological and digital systems. Robotic prostheses are a representative example of this...

ScopeJudge: Cost-Aware Pre-Execution Gating for Offensive Security Agents

- As LLM agents take on offensive security work, a single out-of-scope tool call can breach a client's engagement boundary, disrupt production, or void a bug-bounty finding. Unlike a fixed safety...