Results 121 to 130 of about 815,485 (328)
Synthesizing Functional Reactive Programs [PDF]
, 2019 Functional Reactive Programming (FRP) is a paradigm that has simplified the construction of reactive programs. There are many libraries that implement incarnations of FRP, using abstractions such as Applicative, Monads, and Arrows.
Finkbeiner, Bernd +3 more
core +1 more source
The Rise of Refractory Transition‐Metal Nitride Films for Advanced Electronics and Plasmonics
Advanced Materials Interfaces, EarlyView.Transition‐metal nitrides (TMNs) are exceptional materials with high stability, biocompatibility, and semiconductor integration, which have been extensively employed in various fields. However, the epitaxial growth of TMN films remains a challenge. The absence of high‐quality TMNs limits the understanding of their condensed matter physics and hinders ...
Jiachang Bi +3 more
wiley +1 more source
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018) [PDF]
arXiv, 2018 This volume constitutes the pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018). It is formed of those papers selected by the program committee for presentation at the workshop. After discussion at the workshop, the program committee will select a number of papers to be invited for the second round of ...
arxiv
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
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
Semantics for interactive high-order functional-logic programming [PDF]
, 1998 本研究の目的はインタラクションのある高階関数論理型の操作的、代数的、論理的、圏論的意味論を与えることである。それぞれの意味論は以下の目的のために重要であり、しかもそれぞれのそれぞれに対する正当性 ...Thesis (Ph. D. in Engineering)--University of Tsukuba, (A), no.
Hamana Makoto, 浜名 誠
core
Advanced Optical Materials, Volume 13, Issue 15, May 27, 2025.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
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