Telecomunicaciones, información y comunicación

SoK: Security Below the OS -- A Security Analysis of UEFI

- The Unified Extensible Firmware Interface (UEFI) is a linchpin of modern computing systems, governing secure system initialization and booting. This paper is urgently needed because of the surge in...

Automated Galerkin time stepping in Irksome

- As the study of temporal and spatial discretization schemes continues to advance, recent work has focused on the use of Galerkin-in-time discretization schemes that enable broader...

NOVA: A Verification-Aware Agent Harness for Architecture Evolution in Industrial Recommender Systems

- Industrial advertising recommender models are continuously improved through architecture evolution. Upgrades such as RankMixer, TokenMixer-Large, and MixFormer show that better structures remain a...

Graph Neural Networks Applications Across Domains: All Insights You Need

- Graph neural networks have moved from a niche representation-learning technique to the default model class wherever data carry relational structure. The interesting question is no longer whether...

RobOralScan: Learning Active Intraoral Scanning for Robotic Dental Reconstruction

- Intraoral scanning is widely used for digital optical impressions in prosthodontic, implant, and orthodontic treatment, but full-arch and long-span scanning remain labor-intensive tasks with limited...

Fortress and Gatekeeper: Theorizing Transitive Trust in Third-Party Cybersecurity Risk Governance

- Third-party vendors, such as analytics platforms, cloud services, identity providers, and software suppliers, are increasingly embedded in digital service delivery. While these arrangements enable...

Socratic agents for autonomous scientific discovery in high-dimensional physical systems

- The automation of scientific discovery has reached an inflection point. While AI systems now operate instruments, optimize parameters and generate hypotheses, most remain procedural: they execute...

auto-psych: Automating the science of mind using agent-driven theory discovery and experimentation

- AI-based scientific automation is increasingly possible by using agents to generate hypotheses, design experiments, and analyze data. Data collection is a major bottleneck in this pipeline, however....

Mapping the recent landscape of anomaly detection beyond cybersecurity and finance: a Web of Science bibliometric and topic-modelling review

A welding penetration prediction model for laser welding process based on self-supervised learning using physics-informed neural networks

- The laser welding full-penetration is of critical importance, as it constitutes one of the fundamental factors in achieving defect-free welded joints. Accurate prediction of the penetration state is...

Do (Not) Tell Me About My Insecurities: Assessing the Status Quo of Coordinated Vulnerability Disclosure in Germany Amid New EU Cybersecurity Regulations

- In our increasingly interconnected world, good IT security practices are necessary to prevent vulnerabilities and data breaches. Providing security contacts, e.g., via Coordinated Vulnerability...

LLM-Based Discovery of Latent Requirements from Stakeholder Conversations: Preliminary Results from Industry

- Stakeholder interviews are an important source of information for requirements elicitation, yet many relevant requirements remain implicit in such conversations. Stakeholders frequently describe...

Probabilistic Agents in Deterministic Audits: Evaluating Multi-Agent Systems for Automated Audits Based on the German IT-Grundschutz

- The NIS-2 Directive mandates robust Risk Management from thousands of small and medium enterprises. To ensure compliance, companies rely on established standards such as the German IT-Grundschutz...

Croc: Training the Next Generation Chip Designers on Domain-Specific End-to-End Open Source Silicon

- The demand for domain-specific systems-on-chip (SoCs) in artificial intelligence, robotics, and automotive systems is increasing the need for engineers with hands-on expertise on very-large-scale...

CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes

- Manual formal analysis of cryptographic schemes is labor-intensive and requires substantial expertise. While model-checking tools (e.g., Scyther and Tamarin) and computational-security tools (e.g.,...

The impact of artificial intelligence on enterprise software user roles

- Artificial Intelligence (AI) is rapidly reshaping the nature of work in software development, transforming user roles, workflows, and collaboration patterns across enterprise platforms. This...

How Do Developers Maintain and Evolve Their Agents' Instructions? An Empirical Study

- Context. Autonomous coding agents are increasingly used in software development, shifting parts of the engineering process to AI assistance. While this automation brings clear benefits, it introduces...

An Integrated Hardware-Software Design for Low-Data Spatial Defect Detection in Robotic Visual Inspection with Hybrid Optoelectronic Neural Networks

- To address data overload and inefficient shape-level annotation in robotic visual inspection, this paper proposes a hardware-software integrated optoelectronic architecture. A non-imaging, low-data...

A Hybrid CNN-LSTM Intrusion Detection Framework for Cybersecurity in Smart Renewable Energy Grids

- The accelerated digitalization of renewable energy smart grids through IoT sensors, AMI, and SCADA systems has significantly expanded the attack surface for sophisticated cyberattacks, FDI attacks...

Towards Scalable Multi-Task Reinforcement Learning with Large Decision Models

- Recent progress in large-scale sequence modeling has shown that a single model can learn useful representations across highly diverse data distributions. Inspired by these advances, we investigate...

Type Checking Project Haystack Grids using JSON Schema and Pydantic

- Ontologies enable scalable energy services in buildings by supporting interoperability and automation. Project Haystack is a building ontology that is widely adopted due to its flexible, tag-based...