Results 131 to 140 of about 471,293 (319)
Program Logic Foundations: Putting the Logic Back into Program Logic
Journal of MultiDisciplinary Evaluation, 2020 Background: Program logic is one of the most used tools by the public policy evaluator. There is, however, little explanation in the evaluation literature about the logical foundations of program logic or discussion of how it may be determined if a program is logical.
openaire +2 more sources
DNA‑Directed Assembly of Photonic Nanomaterials for Diagnostic and Therapeutic Applications
Advanced Materials, EarlyView.DNA‐directed assembly offers a powerful strategy for constructing structured photonic nanomaterials with precise spatial control. This review provides a comprehensive overview of recent advancements in DNA‐assembled photonic nanomaterials for diagnostics and therapeutics, highlighting key design principles, functionalization strategies, and optical ...
Longjiang Ding +5 more
wiley +1 more source
Connectivity between Abstraction Layers in Declarative ADT-Based Problem-Solving Processes
Informatics in Education, 2009 For over a decade, a declarative approach to problem solving based on the use of abstract data types (ADTs) has been taught to high-school students as part of the logic programming instructional unit.
Bruria HABERMAN, Zahava SCHERZ
doaj +1 more source
A new approach to on-line, run-time program logic and error debugging using hardware implementation [PDF]
, 1970 Robert S. Enabit
openalex +1 more source
The Journal of Logic Programming, 1987 The most familiar approach to negation in logic programming is the closed data base (CDB) approach by K. Clark. It does not satisfy the author since it disagrees with most PROLOG interpreters even in some simple cases. A new semantics is proposed here which is a truncation of \textit{M. Fitting}'s [ibid.
openaire +2 more sources
Unperceivable Designs of Wearable Electronics
Advanced Materials, EarlyView.Unperceivable wearable technologies seamlessly integrate into everyone's daily life, for healthcare and Internet‐of‐Things applications. By remaining completely unnoticed both visually and tactilely, by the user and others, they ensure medical privacy and allow natural social interactions.
Yijun Liu +2 more
wiley +1 more source
Implementation of smart room system based PLC and block diagram function programming
Journal Geuthee of Engineering and EnergyTechnological developments have brought a revolution in the smart home concept, with smart rooms becoming the main focus to increase comfort, efficiency and security.
Santi Triwijaya +4 more
doaj +1 more source
Making control and data flow in logic programs explicit [PDF]
, 1984 Gert Smolka
openalex +1 more source
Advanced Materials, EarlyView.The coexistence of ferromagnetic and antiferromagnetic orders in van der Waals magnet above room temperature, inducing an intrinsic exchange bias and canted perpendicular magnetism is discovered. Such non‐trivial intrinsic magnetic order enables the realization of energy‐efficient and magnetic field‐free spin‐orbit torque memory devices.
Bing Zhao +8 more
wiley +1 more source
A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems
Foundations of Management, 2014 The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in ...
Sitek Pawel, Wikarek Jaroslaw
doaj +1 more source