Results 131 to 140 of about 130,323 (314)
Description Logic Based Extended Predictive Model Markup Language EPMML [PDF]
, 2012 Xiao-Dong ZHU +4 more
openalex +1 more source
Towards Contingent World Descriptions in Description Logics
Logic and Logical Philosophy, 2019 The philosophical, logical, and terminological junctions between Description Logics (DLs) and Modal Logic (ML) are important because they can support the formal analysis of modal notions of ‘possibility’ and ‘necessity’ through the lens of DLs. This paper introduces functional contingents in order to (i) structurally and terminologically analyse ...
openaire +3 more sources
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
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
Physical Intelligence in Small‐Scale Robots and Machines
Advanced Materials, EarlyView.“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley +1 more source
Using human authored description logics ABoxes as concept models for natural language generation [PDF]
, 2009 Steven Kraines, Weisen Guo
openalex +1 more source
Advanced Materials, EarlyView.Screen gate‐based transistors are presented, enabling tunable analog sigmoid and Gaussian activations. The SA‐transistor improves MRI classification accuracy, while the GA‐transistor supports precise Gaussian kernel tuning for forecasting. Both functions are implemented in a single device, offering compact, energy‐efficient analog AI processing ...
Junhyung Cho +9 more
wiley +1 more source
Advanced Materials, EarlyView.We demonstrate successful fabrication of high‐quality α‐Sn/β‐Sn planar nanostructures with arbitrary shapes by focused laser irradiation on topological Dirac semimetal α‐Sn thin films. The irradiated regions transform into atomically smooth, superconducting β‐Sn with a critical temperature of 3.7 K.
Le Duc Anh +5 more
wiley +1 more source
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources
, 2023 Christian Alrabbaa +4 more
openalex +2 more sources