Results 121 to 130 of about 23,557 (297)
International audienceModel-Driven Engineering facilitates the design of embedded systems by promoting abstraction and enabling early verification of design correctness.
Sultan, Bastien, Apvrille, Ludovic
core +1 more source
Debugging and Testing Optimizers through Comparison Checking
, 2002 We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed by the application of optimizations.
Soffa, Mary Lou +2 more
core +1 more source
Advanced Materials, EarlyView.AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll +19 more
wiley +1 more source
Quantified bodies in the checking loop
Human Technology, 2016 Biomonitoring digital devices have become popular in physical activities and are receiving intensive focus as motivational and support vehicles for health. The aim of this article is to develop a new theoretical framework to analyze biomonitoring from the two perspectives constituting the opposite ends of the big data spectrum: individual (micro) and ...
openaire +1 more source
Loop elimination, a sound optimisation technique for PTTP related theorem proving [PDF]
, 2012 In this paper we present loop elimination, an important optimisation technique for first-order theorem proving based on Prolog technology, such as the Prolog Technology Theorem Prover or the DLog Description Logic Reasoner. Although several loop checking
Zombori Zsolt, Szeredi Péter
core
Bacteria‐Responsive Nanostructured Drug Delivery Systems for Targeted Antimicrobial Therapy
Advanced Materials, EarlyView.Bacteria‐responsive nanocarriers are designed to release antimicrobials only in the presence of infection‐specific cues. This selective activation ensures drug release precisely at the site of infection, avoiding premature or indiscriminate release, and enhancing efficacy.
Guillermo Landa +3 more
wiley +1 more source
Advanced Materials, EarlyView.Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu +3 more
wiley +1 more source
Advanced Materials, EarlyView.In this work, low bandgap (≈1.55 eV) semitransparent perovskite solar cells (ST‐PSCs) having thin (thickness < ≈100 nm) perovskite layers and transparent conductive oxide‐based rear electrodes are fabricated using vacuum‐deposition methods. Two different ST‐PSCs demonstrated a high light utilization efficiency value of 4.2 (PCE: 9.26% and AVT: 45.3 ...
Abhyuday Paliwal +9 more
wiley +1 more source
International Journal of Lightweight Materials and ManufactureIn this research, a new approach for fatigue damage monitoring of composite pipelines based on checking the stability of electrical capacitance sensor (ECS) system measurements is established. The study pipeline is made of basalt fiber-reinforced polymer
Wael A. Altabey
doaj +1 more source
Advanced Materials, EarlyView.Residual magnetization induces pronounced mechanical anisotropy in ultra‐soft magnetorheological elastomers, shaping deformation and actuation even without external magnetic fields. This study introduces a computational‐experimental framework integrating magneto‐mechanical coupling into topology optimization for designing soft magnetic actuators with ...
Carlos Perez‐Garcia +3 more
wiley +1 more source