Results 141 to 150 of about 93,434 (314)
Mutadelic: mutation analysis using description logic inferencing capabilities. [PDF]
Holford ME, Krauthammer M.
europepmc +1 more source
Parallelizing Description Logic Reasoning [PDF]
Description Logic has become one of the primary knowledge representation and reasoning methodologies during the last twenty years. A lot of areas are benefiting from description logic based technologies.
Kejia Wu, Wu, Kejia
core
Light Switchable Ionic Conductivity of Arylazopyrazole Modified Polysiloxanes
We present a polysiloxane functionalized with a novel arylazopyrazole dye that undergoes reversible photoisomerization. Upon lithium bis(trifluoromethanesulfonyl)imide addition and UV irradiation, the polymer exhibits a shift in tan(d) toward higher frequencies and enhanced ionic conductivity.
Malte S. Beccard +7 more
wiley +1 more source
Description Logic Programs: Combining Logic Programs with Description Logic
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection.
Stefan Decker +7 more
core
Hf–Zr–O‐based morphotropic phase boundary (MPB) thin films often suffer from limited endurance and poor uniformity due to intrinsic phase instability. This work proposes a nanolaminate architecture that spatially separates competing phases, stabilizes phase formation, and suppresses wake‐up‐induced degradation.
Hojung Jang, Hyunsang Hwang
wiley +1 more source
Recent Advances of Slip Sensors for Smart Robotics
This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
In this paper, we devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism of interest. Using this framework we study verification and
DE GIACOMO, Giuseppe +3 more
core
Milled polycrystalline NMC811 cathode (MPC NMC) with smaller secondary particle and higher surface area had 1) greater cathode tortuosity, 2) reduced surface Ni on the cycled MPC cathodes consistent with surface reconstruction, and 3) increased Ni deposition from cathode‐anode crosstalk, manifesting in lower functional capacity and higher impedance ...
Edelmy J. Marin Bernardez +22 more
wiley +1 more source
Algorithm FLARS and recognition of time series anomalies
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
Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites
Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang +9 more
wiley +1 more source

