Results 121 to 130 of about 1,435,923 (372)
A proposal for the C++ standard : Bool_set, multi-valued logic [PDF]
We propose a design for multi-valued logic, for integration into the C++ standard. The main motivation for this class comes from interval arithmetic, where it can be conveniently used as return type of comparison operators.
Brönnimann, Hervé +2 more
core +2 more sources
Interpolation in many valued predicate logics using algebraic logic [PDF]
Tarek Sayed Ahmed
openalex +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
Analysis of input and output configurations for use in four-valued programmable logic arrays [PDF]
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.Proceedings of ...
Butler, Jon T., Kerkhoff, Hans G.
core
Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal
Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton +10 more
wiley +1 more source
Data Scaling by Differential Evolution for FCA over Data from LMS eLogika
The e-learning system eLogika serves for teaching logic. The system collects data about users who are logged in, e.g. time spent on a particular activity, the number of activities performed by particular students, what data is a student interested in ...
Jakub Kermaschek +2 more
doaj +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Vertical Self‐Rectifying Memristive Arrays for Page‐Wise Parallel Logic and Arithmetic Processing
This study proposes a page‐wise logic‐in‐memory architecture realized in a 3D vertical resistvie random‐access memory array of self‐rectifying memristors. By introducing intra‐ and inter‐page logic primitives, the system enables Boolean and arithmetic operations to be executed directly within the memory.
Kunhee Son +12 more
wiley +1 more source
This work introduces a novel approach for encoding and storing information in the liquid state in microdroplet arrays. These liquid‐in‐liquid prints are generated by a droplet printing system capable of dynamically setting the composition of each droplet pixel.
Maximilian Breitfeld +5 more
wiley +1 more source
A 3D‐printed BSA–PEGDA bilayer actuator performs biochemical logic, bending autonomously in acid and releasing its drug payload only when both acid and pepsin are present. This dual‐stage, enzyme‐gated mechanism enables autonomous catch‐and‐release motion and controlled gastric drug delivery, representing a programmable soft material powered by ...
Yuchen Liu +3 more
wiley +1 more source

