Results 141 to 150 of about 6,452,641 (347)
Every logic program has a natural stratification and an iterated least fixed point model [PDF]
, 1989 Teodor C. Przymusiński
openalex +1 more source
Wearable Electrohydraulic Actuation For Salient Full‐Fingertip Haptic Feedback
Advanced Materials Technologies, EarlyView.This study introduces a wearable soft robotic system that combines a flat and conformable electrohydraulic pump, a mechanically transparent channel, and an ultra‐thin fingertip chamber to provide salient haptic feedback that imitates natural touch experiences.
Yitian Shao +4 more
wiley +1 more source
Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems
ComputersToday, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism ...
Salwa Saad +4 more
doaj +1 more source
Deriving sorting algorithms via abductive logic program transformation [PDF]
arXiv, 2018 Logic program transformation by the unfold/fold method ad- vocates the writing of correct logic programs via the application of some rules to a naive program. This work focuses on how to overcome subgoal- introduction difficulties in synthesizing efficient sorting algorithms from an naive sorting algorithm, through logic program transformation and ...
arxiv
Programming of optical array logic 2: Numerical data processing based on pattern logic [PDF]
, 1988 Jun Tanida +2 more
openalex +1 more source
Direct‐Write Printing of Multicolor Electroluminescent Films for Stretchable Display
Advanced Materials Technologies, EarlyView.This work presents a mask‐free, fully printable alternating‐current electroluminescent (PACE) film using a direct‐write printing strategy. The multicolor PACE film, available in blue, green, and orange, reaches a thickness of ≈150 µm and achieves 180 cd m⁻2 at 6 V µm⁻¹.
Tianhao Yu +4 more
wiley +1 more source
An Unfolding-Based Semantics for Logic Programming with Aggregates [PDF]
arXiv, 2006 The paper presents two equivalent definitions of answer sets for logic programs with aggregates. These definitions build on the notion of unfolding of aggregates, and they are aimed at creating methodologies to translate logic programs with aggregates to normal logic programs or positive programs, whose answer set semantics can be used to defined the ...
arxiv
Advanced Materials Technologies, EarlyView.This study showcases the first‐ever demonstration of ovonic threshold switching (OTS) and resistive switching (RS) in ZnTe thin films fabricated via a fast, cost‐effective electrodeposition method. By controlling the deposition potential, ZnTe film is tuned to demonstrate OTS or RS behaviors, enabling the implementation of one‐selector‐one‐resistor ...
Ayoub H. Jaafar +8 more
wiley +1 more source
A note on the Declarative reading(s) of Logic Programming [PDF]
arXiv, 2000 This paper analyses the declarative readings of logic programming. Logic programming - and negation as failure - has no unique declarative reading. One common view is that logic programming is a logic for default reasoning, a sub-formalism of default logic or autoepistemic logic. In this view, negation as failure is a modal operator.
arxiv
Advanced Optical Materials, EarlyView.Photochromic compounds are versatile ingredients for the development of Chemical AI. When they are embedded in a tight microenvironment, they become Markov blankets. They are also valuable for processing Boolean and Fuzzy logic. They contribute to neuromorphic engineering in wetware based on opto‐chemical signals exchanged with oscillatory chemical ...
Pier Luigi Gentili
wiley +1 more source