Results 121 to 130 of about 7,040,431 (319)
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
Weight prioritized slicing based on constraint logic programming for fault localization. [PDF]
PLoS One, 2020 Ren S, Zhou W, Zhou H, Xia L.
europepmc +1 more source
Metalevel programming in robotics: Some issues [PDF]
Computing in robotics has two important requirements: efficiency and flexibility. Algorithms for robot actions are implemented usually in procedural languages such as VAL and AL.
Kumarn, A., Parameswaran, N.
core +1 more source
Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs [PDF]
, 2012 Pablo Chico de Guzmán
openalex +1 more source
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
AIMS MathematicsWithin the swiftly evolving domain of neural networks, the discrete Hopfield-SAT model, endowed with logical rules and the ability to achieve global minima of SAT problems, has emerged as a novel prototype for SAT solvers, capturing significant ...
Caicai Feng +3 more
doaj +1 more source
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. [PDF]
Kunstliche Intell (Oldenbourg), 2020 van Bremen T, Dries A, Jung JC.
europepmc +1 more source
Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs [PDF]
, 2023 Jorge Fandinno, Vladimir Lifschitz
openalex +1 more source
Alkali Ion‐Incorporated HfO2 Dielectrics for Reconfigurable Neuromorphic Computing
Advanced Functional Materials, EarlyView.This work presents an indium gallium zinc oxide (IGZO) transistor with an alkali cation‐integrated hafnium dioxide (HfO2) dielectric exhibiting synaptic behavior via ion retention. The solution‐based film fabrication strategy overcomes the limitations of atomic layer deposition (ALD) and precursor coating, enabling the control of synaptic retention ...
Seung Yeon Ki +7 more
wiley +1 more source