Results 31 to 40 of about 30,621 (198)
Logical Methods in Computer Science, 2013 This paper is concerned with the complexity analysis of constructor term rewrite systems and its ramification in implicit computational complexity. We introduce a path order with multiset status, the polynomial path order POP*, that is applicable in two ...
Martin Avanzini, Georg Moser
doaj +1 more source
Generative Models for Crystalline Materials
Advanced Materials, EarlyView.Generative machine learning models are increasingly used in crystalline materials design. This review outlines major generative approaches and assesses their strengths and limitations. It also examines how generative models can be adapted to practical applications, discusses key experimental considerations for evaluating generated structures, and ...
Houssam Metni +15 more
wiley +1 more source
Semantics and Algorithms for Parametric Monitoring [PDF]
Logical Methods in Computer Science, 2012 Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining.
Grigore Rosu, Feng Chen
doaj +1 more source
Run-Time Recovery and Failure Analysis of Time-Triggered Traffic in Time Sensitive Networks
IEEE Access, 2021 Reliability is one of the major concerns of Time Sensitive Networking (TSN). Current systems mostly rely on static redundancy to protect functionality from permanent component failures.
Weijiang Kong, Majid Nabi, Kees Goossens
doaj +1 more source
Advanced Design for Weakly Coupled Resonators by Automatic Active Optimization
Advanced Materials Technologies, EarlyView.An Automatic Active Optimization (AAO) strategy integrates machine learning predictors and genetic algorithms in a closed‐loop workflow. By iteratively expanding its dataset with new discoveries, AAO overcomes the limits of conventional methods. This approach finds superior microstructural designs beyond the initial sample space. We demonstrate this on
Wei Yue +8 more
wiley +1 more source
Analysis of smart imaging runtime
Applied MicroscopySmart microscopy is a new imaging approach that involves rapid imaging, prediction of important subregions, then selective re-imaging. This approach has been validated in reducing imaging beam time in electron microscopy connectomics, but the speedup ...
Thomas Athey +9 more
doaj +1 more source
Impact of linear dimensionality reduction methods on the performance of anomaly detection algorithms in hyperspectral images [PDF]
Journal of Artificial Intelligence and Data Mining, 2015 Anomaly Detection (AD) has recently become an important application of hyperspectral images analysis. The goal of these algorithms is to find the objects in the image scene which are anomalous in comparison to their surrounding background.
Mohsen Zare-Baghbidi +3 more
doaj +1 more source
Advanced Materials Technologies, EarlyView.Low‐power ferroelectric capacitors, based on superlattice HfO2‐ZrO2 is reported. With proper tuning of ferro and antiferroelectricity, an imprint‐free high switchable polarization charge (2Pr of 76 µC/cm2) is obtained with 2MV/cm leading to linear analog weight update and non‐volatile retention, providing a design guideline for emerging non‐volatile ...
Xinye Li +4 more
wiley +1 more source
CutLang v2: Advances in a Runtime-Interpreted Analysis Description Language for HEP Data
Frontiers in Big Data, 2021 We will present the latest developments in CutLang, the runtime interpreter of a recently-developed analysis description language (ADL) for collider data analysis.
G. Unel +7 more
doaj +1 more source
Degradation Mechanisms in PEM Water Electrolysis: Diagnosis and Impact
Advanced Materials Technologies, EarlyView.This review provides an analysis of degradation mechanisms in proton electrolyte membrane water electrolyzers (PEMWE), focusing on all key components. It discusses diagnostic and measurement techniques for evaluating degradation, less‐studied mechanisms, and an expert survey.
Annik Bernhardt +11 more
wiley +1 more source