Defensa y seguridad

In vivo feasibility study of humanoid robots in surgery

- Recent advances in actuation, control and learning have rapidly pushed humanoid robots from a distant vision towards near-term real-world deployment. Healthcare is a particularly pressing domain, in...

zk-ScalHard: Scalable and Hardware-Rooted Privacy-Preserving Authentication for Secure OTA Updates in Zonal SDVs

- The automotive industry is transitioning to Zonal-oriented Architectures (ZoA) for Software-Defined Vehicles (SDVs), enabling frequent over-the-air (OTA) updates for 100+ Electronic Control Units...

Monitoring Vulnerabilities in Next-Generation Automotive Operating Systems

- Software-defined vehicles (SDVs) are revolutionizing transportation by integrating complex, interconnected hardware, and software systems. This evolution introduces significant security challenges....

Quality-Aware Personalized AI Service Provisioning in UAV-Assisted 6G Networks

- In sixth-generation (6G) artificial intelligence (AI) services, two quality dimensions should be jointly addressed: conventional quality (e.g., latency) and Quality of AI Services (QoAIS; output...

The Documentation and Traceability Burden of the Indian EV Transition

- The electric vehicle transition in India is usually told through batteries, cost and charging. Less visibly, it is a story about documentation. Electrification layers a new and fast growing burden of...

A Decomposition-Based Framework for Joint Optimization and Spatial Packaging of Interconnected Systems with Physical Interactions

- This paper presents an approach and application of optimization of spatial packaging of interconnected systems with physical interactions (SPI2) in three-dimensional component placement problems. To...

Designing Computerized Gait Analysis for Pediatric Care: Clinician Perspectives on Sensing, Workflow, and Care Environments

- Computerized gait analysis (CGA) serves as an essential diagnostic tool for evaluating neuromuscular, musculoskeletal, and neurological disorders in children, from cerebral palsy to muscular...

Reward-Density Heuristic for Dynamic Multi-Vehicle Routing: Performance and Computational Efficiency

- The Vehicle Routing Problem (VRP) and its variants represent some of the most practically consequential optimization challenges in modern logistics and urban mobility. In this study, we address a...

Automating Quality Assessment with NLP of LLM-Generated Defeaters

- High-integrity systems, such as autonomous vehicle fleets and large-scale energy infrastructures, rely on structured assurance cases to justify safety claims. To remain valid under evolving...

ArtisanCAD: An Industrial-Level CAD Agent with Expert-Grounded Knowledge Distillation

- Computer-aided design (CAD) for industrial components requires long-horizon procedural modeling, robust feature dependencies, editable parametric geometry, and production-grade B-Rep execution....

Bridging Stakeholder and Product Requirements: An Empirical Study of Requirement Engineering in the Automotive Industry

- The automotive industry's shift toward software-driven systems has increased system complexity and raised the importance of effective requirement intake and refinement for correctness,...

Fault Detection and Explainable Classification in Automotive HIL Validation via Denoising Autoencoders and In-Context Large Language Models

- Validating automotive software systems produces large multivariate test recordings that are still examined through effort-intensive manual review and rule-based evaluation, which detects faults...

Congestion Games with Heterogeneous Valuations: An Optimal Transport Approach

- In emerging urban mobility and logistics applications, such as advanced air mobility, electric vehicle charging, and shared service systems, agents with heterogeneous valuations choose among multiple...

From Mobile Data to Business Insights: An End-to-End Analytics Framework for Large-Scale Urban Mobility Analysis and Decision Support

- Real time location data derived from mobile applications is a powerful tool for addressing various urban challenges, including tourism planning, parking management, bus route optimization, and...

An Onsager Variational Scheme for Pressure-Driven Tumor Growth and Hele-Shaw Limits

- Pressure-driven tumor growth models describe the coupling between cell proliferation and mechanical pressure and naturally lead to moving free boundary problems. Their numerical approximation is...

Schedulable Job-Level Dependencies for Cause-Effect Chains via Graph Neural Networks

- Modern automotive software architectures comprise large sets of mixed-criticality functions executing on shared multi-core platforms with strict real-time and end-to-end timing requirements....

Glare Mitigation using a Differentiable Unified Glare Rating

- Recent research in differentiable light transport extends the utility of computer graphics algorithms beyond traditional image generation, offering powerful tools for physical inverse design. In...

Efficient Perception in Automotive Detection and Tracking Using Neuromorphic Computing

- Deep learning algorithms are notorious for their high carbon footprint and computational demands that limit their deployment on edge devices and raise concerns about their long-term sustainability....

Compliance Evidence in the Automotive Supply Chain: A Systematisation of the Quality-Document Spine and a Taxonomy of Documentation Failure Modes

- The automotive industry runs on a dense, standardised chain of supplier-quality and certification evidence: production part approval packages, initial sample reports, material certificates,...

An Investigation of the AUTOSAR Adaptive Platform from an Industry Perspective

- The reliance on software as a distinguishing factor in the automotive industry is increasing. With a combined reliance on vendor-supplied software and cost-effective implementation, the AUTOSAR...

Search-based Testing of Vision Language Models for In-Car Scene Understanding

- In the automotive domain, in-car scene understanding (ISU) enables the detection of safety-critical events, such as driver distraction, and supports drivers or passengers by analyzing the in-car...