Results 191 to 200 of about 6,452,641 (347)
Embedding boolean expressions into logic programming
Wolfram Büttner, Helmut Simonis
openalex +1 more source
Constraint satisfaction using constraint logic programming [PDF]
Pascal Van Hentenryck+2 more
openalex +1 more source
The self‐powered optoelectronic memristor based on ZnO/WOx heterojunction is developed, exhibiting the visual adaptation functions of desensitization and Weber's law. A bioinspired visual adaptive neuron is constructed, capable of converting light stimuli into dynamic spike trains.
Yankun Cheng+8 more
wiley +1 more source
Programmable Metamaterials with Perforated Shell Group Supporting Versatile Information Processing
This study proposes a novel mechanical metamaterial with high‐density memory based on multi‐stable perforated shells to realize multi‐layer information encoding, storage, decoding, and reading. The metamaterial can perform more application‐oriented tasks to process information, such as encryption and dynamic behavior regulation, which hopefully enables
Xiaoyuan Ma+3 more
wiley +1 more source
GOLOG: A Logic Programming Language for Dynamic Domains
H. Levesque+4 more
semanticscholar +1 more source
Imaging‐Guided Microscale Photothermal Stereolithography Bioprinting
This work establishes imaging‐guided microscale photothermal stereolithography bioprinting, achieving microscale photothermal aqueous printing for the first time. Key innovations include novel imaging‐guided stereolithography, unique NIR‐II photothermal initiator, and new bioink with viscosity modifier.
Jingyu Sun+9 more
wiley +1 more source
Compositional analysis of modular logic programs [PDF]
Michael Codish+2 more
openalex +1 more source
Rotation‐Based Snap‐Fit Mechanical Metamaterials
This article introduces a rotational snap‐fit structure composed of a circular cantilever beam snap‐fit and a circular groove. It demonstrates multistability during the rotation process. This innovative design has potential applications in various fields, such as mechanical metamaterials, shape deformation, and robotic grippers, showcasing its ...
Rui Xu+6 more
wiley +1 more source