Results 231 to 240 of about 430,787 (365)
Generating Bounded Linear Temporal Logic in Systems Biology with Large Language Models [PDF]
Difei Tang, Nataša Miškov-Živanov
openalex +1 more source
Designing Memristive Materials for Artificial Dynamic Intelligence
Advanced Intelligent Discovery, EarlyView.Key characteristics required of memristors for realizing next‐generation computing, along with modeling approaches employed to analyze their underlying mechanisms. These modeling techniques span from the atomic scale to the array scale and cover temporal scales ranging from picoseconds to microseconds. Hardware architectures inspired by neural networks
Youngmin Kim, Ho Won Jang
wiley +1 more source
Intelligent Modeling of Erosion-Corrosion in Polymer Composites: Integrating Fuzzy Logic and Machine Learning. [PDF]
Polymers (Basel)Alqurashi HF +5 more
europepmc +1 more source
Testing Linear Temporal Logic Formulae on Finite Execution Traces
, 2001 Klaus Havelund, Grigore Roşu
openalex +1 more source
Deep Learning‐Assisted Design of Mechanical Metamaterials
Advanced Intelligent Discovery, EarlyView.This review examines the role of data‐driven deep learning methodologies in advancing mechanical metamaterial design, focusing on the specific methodologies, applications, challenges, and outlooks of this field. Mechanical metamaterials (MMs), characterized by their extraordinary mechanical behaviors derived from architected microstructures, have ...
Zisheng Zong +5 more
wiley +1 more source
Enhancing Neuromorphic Robustness via Recurrence Resonance: The Role of Shared Weak Attractors in Quantum Logic Networks. [PDF]
Biomimetics (Basel)Huang Y, Gunji YP.
europepmc +1 more source
Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
, 2020 Vladimir V. Rybakov
openalex +2 more sources
Non-transitive linear temporal logic and logical knowledge operations
Journal of Logic and Computation, 2016 V. Rybakov
semanticscholar +1 more source
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This article describes a multimodal fusion data acquisition and processing system about electromyography for dynamic movement recognition and bioelectrical impedance for key posture recognition. In addition, a new dynamic–static fusion algorithm strategy is designed.
Chenhao Cao +5 more
wiley +1 more source