Results 171 to 180 of about 480,099 (340)
Set abstraction in functional and logic programming [PDF]
, 1989 Frank S. K. Silbermann, Bharat Jayaraman
openalex +1 more source
Detachable and Reusable: Reinforced π‐Ion Film for Modular Synaptic Reservoir Computing
Advanced Materials, EarlyView.This study presents a reinforced π‐ion film for organic electrochemical transistors (OECTs), addressing the rapid degradation of organic semiconductor layers. By introducing a mesh support and utilizing a scalable solvent exchange method, the π‐ion film enhances detachability and stability.
Gyu Won Woo +8 more
wiley +1 more source
Probiotic‐Based Materials as Living Therapeutics
Advanced Materials, EarlyView.Recent advances in Engineered Living Materials are highlighted, integrating synthetic biology and advanced materials, with a focus on probiotic‐based therapeutics. Probiotic Living Materials hold great potential for biosensing, infection treatment, osteogenesis, wound healing, vaginal and gastrointestinal disorders, and cancer therapy. breakthroughs in
Laura Sabio +2 more
wiley +1 more source
Advanced Materials, EarlyView.A photo‐patternable solid‐state electrolyte based on 𝜄‐carrageenan (𝜄‐CGN) and poly(ethylene glycol) diacrylate (PEGDA) is developed to enable high‐performance complementary OECT circuits. The successful demonstration of fully implanted devices for vagus nerve stimulation in mice highlights solid‐state 𝜄‐CGN‐based electrolytes as a promising platform ...
Miao Xiong +14 more
wiley +1 more source
A Roadmap for Plasma‐Enabled Electrocatalysis in Urea Production
Advanced Materials, EarlyView.A modular plasma—electrochemical platform enables fully electrified urea synthesis from air and CO2 under ambient conditions. This Review integrates plasma oxidation, C─N coupling electrolysis, mechanistic insights, and techno‐economic metrics into a roadmap for scalable, distributed, and renewable fertilizer production.
Jingwen Huang +6 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
Embedding boolean expressions into logic programming
, 1987 Wolfram Büttner, Helmut Simonis
openalex +1 more source
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
Advanced Materials, EarlyView.Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu +3 more
wiley +1 more source
Propositional dynamic logic with recursive programs [PDF]
, 1988 Tinko Tinchev, Dimiter Vakarelov
openalex +1 more source
Artificial Intelligence‐Driven Nanoarchitectonics for Smart Targeted Drug Delivery
Advanced Materials, EarlyView.This perspective introduces an artificial intelligence (AI)‐driven nanoarchitectonics framework for targeted drug delivery, combining database‐guided nanocarrier design, machine learning (ML)‐assisted surface engineering with a designed targeting system, and in silico modeling for dynamic optimization.
Hayeon Bae +6 more
wiley +1 more source