Results 131 to 140 of about 480,099 (340)
Advanced Functional Materials, EarlyView.A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang +5 more
wiley +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
Advances in Stimuli‐Responsive Organic Materials and Polymers toward Intelligent CO2 Capture
Advanced Functional Materials, EarlyView.Schematic illustration of the relationship between different stimuli and stimuli‐responsive organic materials and polymers for carbon dioxide (CO2) capture. Main stimuli include redox, pH, magnetism, temperature, light, and pressure. Furthermore, multi‐responsive materials, due to their high adaptability and scalability in complex environments, are ...
Jian Zhou +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
Automatic generation of functional logic test programs through simulation [PDF]
, 1970 Frank B. Cole
openalex +1 more source
Advanced Healthcare Materials, EarlyView.This research introduces a cold plasma‐based platform for treating breast cancer bone metastases. Using a novel bioprinted 3D tumor‐stroma model, it highlights the selective antitumor effects of plasma‐generated reactive species. The platform aims to advance non‐invasive therapeutic strategies, offering potential clinical applications in controlling ...
Laura M. Bouret +4 more
wiley +1 more source
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
Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems
ComputersToday, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism ...
Salwa Saad +4 more
doaj +1 more source
Making control and data flow in logic programs explicit [PDF]
, 1984 Gert Smolka
openalex +1 more source