Results 101 to 110 of about 4,913 (260)

Privacy-Preserving Runtime Verification

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
42 pages, 12 figures, 2 ...
Thomas A. Henzinger, Mahyar Karimi 0001, K. S. Thejaswini   +2 more
openaire   +2 more sources

A Compendium of Logic Gates Based on Reconfigurable Three‐Independent‐Gate Transistors Realized in FDSOI Hardware

Advanced Electronic Materials, EarlyView.
This work electrically characterizes sixteen logic gates built from three‐independent‐gate reconfigurable transistors fabricated on full‐scale 300 mm wafers using the industrial 22 nm fully depleted FDSOI process of GlobalFoundries. Static and time‐resolved measurements confirm correct operation, including a 1‐bit adder and reconfigurable AOI/OAI ...
Juan P. Martinez, Yuxuan He, Giulio Galderisi, Violetta Sessi, Niladri Bhattacharjee, Peter Baars, Kerstin Poenisch, Annekathrin Zeun, Konstantin Li, Fernando Koch, Binit Syamal, Thomas Mikolajick, Jens Trommer   +12 more
wiley   +1 more source

Unified Monitor and Controller Synthesis for Securing Complex Unmanned Aircraft Systems

Drones
Unmanned Aircraft Systems (UASs) have undergone rapid development over recent years, but have also became vulnerable to security attacks and the volatile external environment.
Dong Yang, Wei Dong, Wei Lu, Sirui Liu, Yanqi Dong   +4 more
doaj   +1 more source

A Dual‐Branch Flux‐Based Extended Memristor Model With Machine‐Learning‐Assisted Calibration

Advanced Electronic Materials, EarlyView.
Multilayer oxide memristors integrated in crossbar arrays are described through a dual‐branch, flux‐controlled compact model. A three‐stage calibration workflow combining Latin hypercube sampling, Bayesian optimization, and gradient‐based refinement extracts device parameters from experimental data.
Davide Rossetti, K. Nikiruy, A.S. Demirkol, Alon Ascoli, M. Ziegler, R. Tetzlaff, Fernando Corinto   +6 more
wiley   +1 more source

Deciphering Intricacies in Directional CO2 Conversion From Electrolysis to CO2 Batteries

Advanced Energy Materials, EarlyView.
This review will delve into the inherent connections and distinctions of CO2‐directed conversion in ECO2RR and CO2 batteries, in terms of product types, catalyst selection, catalytic mechanisms, and electrochemical performances, while proposing a benchmarking framework for the evaluation of CO2 batteries and innovative CO2 battery configurations for ...
Changfan Xu, Huaping Zhao, Lizhuang Chen, Weidong Shi, Guosheng Shao, Yong Lei   +5 more
wiley   +1 more source

Runtime verification of programs using rule-based active system [PDF]

Journal of Mahani Mathematical Research, 2012
Seyed Morteza Babamir
doaj   +1 more source

General Anticipatory Runtime Verification

AbstractRuntime verification is a technique for monitoring a system’s behavior against a formal specification. Monitors must produce verdicts that are sound with respect to the specification. Anticipation is the ability to immediately produce verdicts when the monitor can confidently predict the inevitability of the verdict.Stream runtime verification ...
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez 0001   +3 more
openaire   +1 more source

GraphRAG for engineering diagrams: ChatP&ID enables LLM interaction with P&IDs

AIChE Journal, EarlyView.
Abstract Piping and Instrumentation Diagrams (P&IDs) are central to process engineering workflows, yet extracting information from them remains a tedious and time‐consuming task. This work introduces ChatP&ID, a framework enabling natural‐language interaction with smart P&IDs through Graph Retrieval‐Augmented Generation (GraphRAG), to our knowledge ...
Achmad Anggawirya Alimin, Artur M. Schweidtmann   +1 more
wiley   +1 more source

Limitations of Foundation Models in Energy Materials Simulations: A Case Study in Polyanion Sodium Cathode Materials

Advanced Intelligent Discovery, EarlyView.
Several simulation techniques are used to explore static and dynamic behavior in polyanion sodium cathode materials. The study reveals that universal machine learning interatomic potentials (MLIPs) struggle with system‐specific chemistry, emphasizing the need for tailored datasets.
Martin Hoffmann Petersen, Chiku Parida, Jonas Busk, Jin Hyun Chang, Arghya Bhowmik, Juan Maria Garcia Lastra   +5 more
wiley   +1 more source

Toward Capacitive In‐Memory‐Computing: A Device to Systems Level Perspective on the Future of Artificial Intelligence Hardware

Advanced Intelligent Discovery, EarlyView.
Capacitive, charge‐domain compute‐in‐memory (CIM) stores weights as capacitance,eliminating DC sneak paths and IR‐drop, yielding near‐zero standbypower. In this perspective, we present a device to systems level performance analysis of most promising architectures and predict apathway for upscaling capacitive CIM for sustainable edge computing ...
Kapil Bhardwaj, Ella Paasio, Sayani Majumdar   +2 more
wiley   +1 more source