Results 131 to 140 of about 575,998 (339)
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
ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on some events that contributed to the appearance and evolution of formal logic, logic programming and Prolog programming language.
USM ADMIN
doaj
ALPprolog --- A New Logic Programming Method for Dynamic Domains [PDF]
Theory and Practice of Logic Programming, 11(4-5), 451-468, 2011, 2011 Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.
arxiv
Topology in Biological Piezoelectric Materials
Advanced Materials, EarlyView.This review summarizes the topological structures in biological piezoelectric materials, covering morphology evolution, spatial arrangement, and biomimetic strategies. These topologies modulate structure‐property relationships across multiple scales, enabling performance enhancement and multifunctional integration.
Chen Chen +7 more
wiley +1 more source
Automatic generation of functional logic test programs through simulation [PDF]
, 1970 Frank B. Cole
openalex +1 more source
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs [PDF]
, 2008 Managing uncertainty and/or vagueness is starting to play an important role in Semantic Web representation languages. Our aim is to overview basic concepts on representing uncertain and vague knowledge in current Semantic Web ontology and rule languages (and their combination).
openaire +4 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
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
Logic programming with equations
The Journal of Logic Programming, 1987 AbstractThis paper is a contribution to the amalgamation of logic programming (as embodied in PROLOG) and functional programming (as embodied in languages like SASL, KRC, HOPE, or in dialects of LISP like LISPKIT LISP or SCHEME). We investigate how equational rewriting, which we assume is an adequate model for functional programming, can be performed ...
Keitaro Yukawa, Maarten H. van Emden
openaire +2 more sources