Results 161 to 170 of about 1,045,924 (344)
A possibility-free logic of descriptions
Archiv für Mathematische Logik und Grundlagenforschung, 1984 A semantical treatment for Lambert's minimal free description theory is presented, which allows for some terms not to denote an existent at any possible world. The key semantical idea is as follows: the denotation of a term ṯ at a world \b{w} may be an object \b{o} in a world \b{w}'\(\neq \underline w\), but then the denotation of ṯ at \b{w}' need not ...
openaire +2 more sources
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
Applications of Description Logics: State of the Art and Research Challenges [PDF]
, 2005 Ian Horrocks
openalex +1 more source
LOGSIM programmer's manual [PDF]
A programmer's manual is reported for a Logic Simulator (LOGSIM) computer program that is a large capacity event simulator with the capability to accurately simulate the effects of certain unknown states, rise and fall times, and floating nodes in large ...
Mitchell, C. L., Taylor, J. F.
core +1 more source
Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array
Advanced Materials, EarlyView.This study presents a hardware physical reservoir computing system using a tri‐modal memristive crossbar array. Stochastic masking, bistable nonlinear activation, and analog readout enable fully in‐memory spatiotemporal processing. Demonstrations on cellular automata, Lorenz prediction, ADHD EEG classification, and chaotic KS modeling highlight its ...
Sungho Kim +10 more
wiley +1 more source
Advanced Materials, EarlyView.The first room‐temperature, zero‐field observation of stable skyrmion–hopfion spin textures in EuS─Bi2Se3─EuS trilayers is reported. Combining Lorentz TEM imaging and micromagnetic modeling, the authors unveil how interfacial Dzyaloshinskii–Moriya interaction and geometric confinement stabilize these multidimensional topological states.
Ferhat Katmis +11 more
wiley +1 more source
Unification of Concept Terms in Description Logics
, 2001 Franz Baader, Paliath Narendran
openalex +1 more source
Soft and Strong: Elastic Conductors with Bio‐Inspired Self‐Protection
Advanced Materials, EarlyView.A general reverse‐engineering approach is demonstrated for designing functional yarns that uses woven fabric architecture as a structural framework. The fabric‐based stretchable conductive yarns combine flexibility, high elasticity, low stiffness, self‐protection, and weavability with conventional textile processes. By fine‐tuning the number of elastic
Chenglong Zhang +12 more
wiley +1 more source
A metamodel specification tool based on description logic and XML-DATA
Revista Colombiana de Computación, 2001 Interoperation of heterogeneous and autonomous information systems has traditionally been hampered by semantic differences intheir data models. Keywords: Cooperation, extensibility, metamodel, translators, description logic, xml-data.
Christophe Nicolle
doaj