Results 131 to 140 of about 1,138,309 (354)
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
On completeness of logic programs [PDF]
arXiv, 2014 Program correctness (in imperative and functional programming) splits in logic programming into correctness and completeness. Completeness means that a program produces all the answers required by its specification. Little work has been devoted to reasoning about completeness. This paper presents a few sufficient conditions for completeness of definite
arxiv
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming [PDF]
, 2021 Baltasar Trancón y Widemann +1 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
Enterprise process consistency expressed by a formal description of transactions
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2005 Using a progressive Information Technology for development of Software Modules for Enterprise Information Systems brings a lot of practical and theoretical problems. One of them is a verification of results achieved in Life Cycle Stages.
Milan Mišovič, Ivana Rábová
doaj +1 more source
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
Automatic generation of functional logic test programs through simulation [PDF]
, 1970 Frank B. Cole
openalex +1 more source
Adding plural arguments to Curry programs [PDF]
, 2013 Functional logic languages combine lazy (demand-driven) evaluation strategies from functional programming with non-deterministic computations from logic programming.
Hanus, Michael
core
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
Telehealth for Movement Assessment: Web Services and Model-View-Controller
IEEE AccessTelehealth and telemedicine are considered as a set of effective solutions, through which an emerging country could ensure its citizens their right for healthcare.
Francisco Javier Mejia Tascon +2 more
doaj +1 more source