Results 171 to 180 of about 3,682,520 (371)
Novel Logic and Memory Synthesis Algorithm for Memristive Hardware Description Language (Hdl)
Patrick W. C. Ho +2 more
openalex +1 more source
Manipulating Individual Topological Solitons and Bisolitons in an Electronic System
While localized topological modes in quantum materials promise loss‐less delivery of classical and quantum information, manipulating them individually has been challenging. This work succeeded in manipulating topological solitons formed along atomic wires on silicon surfaces with high reproducibility in various ways, including translating, transforming
Taehwan Im +2 more
wiley +1 more source
Physical Intelligence in Small‐Scale Robots and Machines
“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
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
Franz Baader, Andreas Ecke
openalex +2 more sources
Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Norbert Manthey +2 more
openalex +1 more source
Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array
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
ALC_ALC: A context description logic [PDF]
We develop a novel description logic (DL) for representing\ud and reasoning with contextual knowledge. Our approach descends from\ud McCarthy’s tradition of treating contexts as formal objects over which\ud one can quantify and express first-order properties. As a foundation we\ud consider several common product-like combinations of DLs with multimodal\
Klarman, S., Gutierrez-Basulto, V.
openaire +1 more source
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
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog [PDF]
Shqiponja Ahmetaj +2 more
openalex +1 more source
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

