Results 121 to 130 of about 471,293 (319)
Paraconsistent logic programming
Theoretical Computer Science, 1987 AbstractThis paper makes two contributions. First, we give a semantics for sets of clauses of the syntactic form L0 ⇍ L1 &⋯& Ln where each Li is a literal. We call such clauses generally Horn clauses. Any such endeavour has to give a coherent, formal treatment of inconsistency (in the sense of two-valued logic).
Howard A. Blair, V. S. Subrahmanian
openaire +3 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
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
, 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
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
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 Framework for Problem Solving of Comparative Questions
IEEE Access, 2019 Comparative questions in Chinese, as a special and complex form of question answering (QA), have their own unique sentence structure, existing methods cannot solve them well.
Xuelian Li +5 more
doaj +1 more source
Machine‐Learning‐Aided Advanced Electrochemical Biosensors
Advanced Materials, EarlyView.Electrochemical biosensors are highly sensitive, portable, and versatile. Advanced nanomaterials enhance their performance, while machine learning (ML) improves data analysis, minimizes interference, and optimizes sensor design. Despite progress in both fields, their combined potential in diagnostics remains underexplored.
Andrei Bocan +9 more
wiley +1 more source
Automatic generation of functional logic test programs through simulation [PDF]
, 1970 Frank B. Cole
openalex +1 more source