Results 151 to 160 of about 1,138,309 (354)
IEEE Open Journal of the Industrial Electronics SocietyThe design of safety-critical cyber–physical systems requires a rigorous check of their operation logic, as well as an analysis of their overall instrumentation and control (I&C) architectures.
Polina Ovsiannikova +5 more
doaj +1 more source
Composing Programs in a Rewriting Logic for Declarative Programming [PDF]
arXiv, 2002 Constructor-Based Conditional Rewriting Logic is a general framework for integrating first-order functional and logic programming which gives an algebraic semantics for non-deterministic functional-logic programs. In the context of this formalism, we introduce a simple notion of program module as an open program which can be extended together with ...
arxiv
Narrowing-driven partial evaluation of functional logic programs [PDF]
, 1996 Marı́a Alpuente +2 more
openalex +1 more source
Advanced Science, EarlyView.Based on a well‐established in vitro directed differentiation model and an integrated analysis of high‐density cell lineage trees (CLTs) and single‐cell transcriptomes, it is demonstrated that many subclones are formed by sub‐CLTs resembling each other in terms of both cell type compositions and topological structures.
Xiaoyu Zhang +14 more
wiley +1 more source
Specialization of inductively sequential functional logic programs [PDF]
, 1999 Marı́a Alpuente +3 more
openalex +1 more source
From Lab to Life: Self‐Powered Sweat Sensors and Their Future in Personal Health Monitoring
Advanced Science, EarlyView.This review focuses on recent advances in self‐powered sweat sensors in personal health monitoring, including sweat sensors, energy harvesters, energy management, and their applications. It analyzes the difficulties and challenges in the research field of self‐powered sweat sensors and looks into the future direction of self‐powered sweat sensors from ...
Nan Gao +3 more
wiley +1 more source
Advances in Symbiotic Bioabsorbable Devices
Advanced Science, EarlyView.This review focuses on recent advances in bioabsorbable devices. This review concludes innovation at the material, device, and system levels, the significant advances toward biomedical applications. This review discusses and highlights the challenges and trends in symbiotic bioresorbable electronics, and provides a new direction for the development of ...
Chang Zhu +3 more
wiley +1 more source
AUTOMATIC WAGON LOADING CONTROL SYSTEM USING INDUSTRY 4.0 TECHNOLOGIES
Автоматизация технологических и бизнес-процессовPurpose: the development of a system for automatic control of car loading, which will be able to combine separate nodes into one common system to ensure greater control and reliability of the process.
Danilo Mashianov +4 more
doaj +1 more source
Progress and Perspectives in 2D Piezoelectric Materials for Piezotronics and Piezo‐Phototronics
Advanced Science, EarlyView.This review examines advancements in 2D materials, focusing on their applications in piezotronics and piezo‐phototronics. It discusses key materials like TMDs, h‐BN, and phosphorene, highlighting their unique mechanical, electronic, and optical properties.
Fengyi Pang +6 more
wiley +1 more source
Monadic logic programs and functional complexity
Theoretical Computer Science, 1997 AbstractProblems related to the complexity and to the decidability of several languages weaker than Prolog are studied in this paper. In particular, monadic logic programs, that is, programs containing only monadic functions and monadic predicates, are considered in detail.The functional complexity of a monadic logic program is the language of all ...
openaire +2 more sources