Results 101 to 110 of about 6,500,790 (324)
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
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
, 2006 In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to measure the ``similarity'' between two predicate definitions.
Serebrenik, A., Vanhoof, W.
openaire +4 more sources
Advanced Healthcare Materials, EarlyView.Membrane fusion‐inspired nanomaterials offer transformative potential in diagnostics by mimicking natural fusion processes to achieve highly sensitive and specific detection of disease biomarkers. This review highlights recent advancements in nanomaterial functionalization strategies, signal amplification systems, and stimuli‐responsive fusion designs,
Sojeong Lee +9 more
wiley +1 more source
Catalytic DNA Strand Displacement Cascades Applied to Logic Programming
IEEE Access, 2019 The field of DNA computing is devoted to the creation of devices capable of processing information signals encoded on biological substrates. These signals are intended to propagate in cascades of biochemical reactions in which they naturally undergo a ...
Nelson E. Ordonez-Guillen +1 more
doaj +1 more source
Conducting Polymer Coatings for Bioelectronic Arthroscopy Probes
Advanced Healthcare Materials, EarlyView.Schematic of a poly(3,4‐ethylenedioxythiophene, PEDOT)‐coated arthroscopy probe, featuring a semi‐spherical probe with 38 microelectrodes, used to measure streaming potential generated during cartilage indentation in the knee. The inset includes a scanning electron microscopy (SEM) image of the porous PEDOT layer deposited on a nickel‐phosphorus coated
Sara Ebrahimi +6 more
wiley +1 more source
Automatic generation of functional logic test programs through simulation [PDF]
, 1970 Frank B. Cole
openalex +1 more source
Seeing inside the Body Using Wearable Sensing and Imaging Technologies
Advanced Healthcare Materials, EarlyView.This review explores wearable technologies for noninvasive internal health monitoring. It categorizes approaches into indirect sensing (e.g., bioelectrical and biochemical signals) and direct imaging (e.g., wearable ultrasound and EIT), highlighting multimodal integration and system‐level innovation toward personalized, continuous healthcare.
Sumin Kim +3 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