Results 161 to 170 of about 3,682,520 (371)
Case Retrieval for Network Security Emergency Response Based on Description Logic [PDF]
, 2014 Fei Jiang +3 more
openalex +1 more source
Néel Tensor Torque in Polycrystalline Antiferromagnets
Advanced Materials, EarlyView.This work introduces a Néel tensor torque based on a rank‐two symmetric tensor capturing spin correlations in a polycrystalline antiferromagnet. It shows the Néel tensor can be shaped and reshaped through the spin‐orbit torque (SOT) technique, enabling field‐free SOT switching with a specific polarity of the adjacent ferromagnet. This discovery opens a
Chao‐Yao Yang +4 more
wiley +1 more source
Undecidability of the unification and admissibility problems for modal and description logics
, 2006 We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality.
Wolter, Frank, Zakharyaschev, Michael
core
Reasoning in Descriptions Logics Augmented with Refreshing Variables
, 2022 Théo Ducros
openalex +1 more source
Probiotic‐Based Materials as Living Therapeutics
Advanced Materials, EarlyView.Recent advances in Engineered Living Materials are highlighted, integrating synthetic biology and advanced materials, with a focus on probiotic‐based therapeutics. Probiotic Living Materials hold great potential for biosensing, infection treatment, osteogenesis, wound healing, vaginal and gastrointestinal disorders, and cancer therapy. breakthroughs in
Laura Sabio +2 more
wiley +1 more source
Algorithm FLARS and recognition of time series anomalies
Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, 2019 As a rule, algorithms of recognition of time series anomalies are based on time frequency or statistical analysis . This article is devoted to detailed formal description of new fuzzy set based algorithm FLARS (Fuzzy Logic Algorithm for Recognition of ...
A. D. Gvishiani +6 more
doaj
The primary purpose of TPG interface (TPGITF) software is to create test patterns, according to a mathematical model, for a real device. In order for the device actually to be tested or to be accurately simulated, a means is required to transform the ...
Pitts, E. R.
core +1 more source
HZO/HSO Superlattice ReFET Array Integrating Optical Sensing for Neuromorphic Vision Computing
Advanced Materials, EarlyView.A photonic ReFET array with an engineered HZO–HSO superlattice enables monolithic integration of optical sensing, nonvolatile memory, and synaptic computation. It exhibits forming‐free, >8‐bit analog states, >1010 endurance cycles, and light‐tunable conductance.
Bingjie Dang +10 more
wiley +1 more source
Advanced Materials, EarlyView.This study demonstrates a monolithic perovskite OELG device that performs all eight logic operations, including XOR and XNOR, without external bias. Enabled by trap‐engineered MAPbI3:PLL and dual photogates, it achieves reconfigurable logic and parallel decoding of amplitude–frequency signals, supporting scenario‐configured logic‐level separation for ...
Dante Ahn +13 more
wiley +1 more source
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
Advanced Materials, EarlyView.Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu +3 more
wiley +1 more source