Results 111 to 120 of about 751,168 (306)

Consequence and complexity in infinite-valued logic: a survey [PDF]

, 2002
In general, every logic L comes equipped with a syntax, a semantics, and an algorithmic procedure. In some cases, formulae up to equivalence form an interesting class of algebraic structures.
V. Marra, D. Mundici
core   +1 more source

Books Received

Informal Logic, 2022
Informal Logic
doaj   +1 more source

Pull‐and‐Push Nanotherapeutic Hydrogels: Scavenging Inflammatory Triggers While Driving Tissue Regeneration in Burn Wounds

Advanced Functional Materials, EarlyView.
A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim, Seong‐Jin Shin, Sak Lee, Nandin Mandakhbayar, Ji‐Hye Kang, Da‐Young Kong, Seong‐Doo Hong, Ueon Sang Shin, Hae‐Won Kim, Jung‐Hwan Lee   +9 more
wiley   +1 more source

Perceived benefits and constraints of artificial intelligence integration in teachers’ college libraries: a TAM-based study

Frontiers in Artificial Intelligence
The Fourth Industrial Revolution (4IR) has accelerated the adoption of Artificial Intelligence (AI) across knowledge intensive sectors, yet its integration in Library and Information Services (LIS) within resource constrained educational environments ...
Inos Chibidi, Logic Magwa
doaj   +1 more source

Spectrally Selective Bipolar Self‐Powered Opto‐Synaptic Responses in Tandem 2D van Der Waals Ferroelectric Heterojunctions

Advanced Functional Materials, EarlyView.
Tandem 2D vdW ferroelectric heterojunctions enable spectrally selective, self‐powered bipolar opto‐synaptic responses for retinal ON/OFF bipolar cell emulation and wavelength‐programmable logic operations. This work establishes vdW ferroelectric heterojunctions as a compelling materials platform for energy‐efficient, adaptive, and human‐like artificial
Rajiv Kumar Pandey, Chang Yong Park, Cheolhwa Jang, Taeho Kang, Sungjoo Lee   +4 more
wiley   +1 more source

Logic colloquium '73 : proceedings / [PDF]

, 1975
Includes bibliographical references.Electronic reproduction.Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1.
Logic Colloquium(1973 :Bristol), Rose, Harvey Ernest., Shepherdson, J. C.   +2 more
core  

Embedded Ferroelectric Nanoclusters Can Drive Polarization Reversal in a Non‐Ferroelectric Polar Film via the Proximity Effect

Advanced Functional Materials, EarlyView.
Ferroelectric nanoclusters create local internal fields in a normally non‐switchable polar film because of polarization mismatch at their interfaces. That field opposes polarization in the regions with larger polarization and reinforces polarization in the regions with smaller polarization.
Anna N. Morozovska, Eugene A. Eliseev, Sergei V. Kalinin, Long‐Qing Chen, Dean R. Evans, Venkatraman Gopalan   +5 more
wiley   +1 more source

A Bioinspired Sensory‐CAPode With Dual Functionality: Logic Gate and Real‐Time Biosensing

Advanced Functional Materials, EarlyView.
An electrochemical capacitor diode (CAPode) redefines the frontier of iontronics by seamlessly unifying logic computing and biosensing within a single biocompatible platform. Inspired by nature's own ion‐channel circuitry, this elegant ionic system transforms complex chemical signals into precise electrical responses, paving the way for next‐generation
Hanfeng Zhou, Tianle Zheng, Haolin Jin, Xiongjun Zhou, Jiang Qu, Bilal Riaz, Ahmed Bahrawy, Jiajie Chen, Przemyslaw Galek, Julia Grothe, Stefan Kaskel   +10 more
wiley   +1 more source

Modal fixpoint logic: some model theoretic questions [PDF]

, 2010
This thesis is a study into some model-theoretic aspects of the modal µ-calculus, the extension of modal logic with least and greatest fixpoint operators. We explore these aspects through a fine-structure approach to the µ-calculus.
Fontaine, G.M.M.
core  

An In Situ Oxidation Strategy for Ti3C2@TiO2 Heterojunction: Narrow‐Band Photodetection and Trace Chromium Ion Determination

Advanced Functional Materials, EarlyView.
A Ti3C2@TiO2 heterostructure has been successfully fabricated by an in situ oxidation approach. The as‐fabricated Ti3C2@TiO2‐based photodetector exhibits narrow‐spectrum response with excellent stability. It also realizes sensitive Cr(VI) detection in a large concentration range of 10−12–10−6 M with an ultra‐low detection limit of 7.6 × 10−12 M ...
Jiahui Hou, Jiale Ai, Mingqi He, Yang Wu, Lingniu Yang, Yingjie Yuan, Xuanhao Lao, Artem V. Kuklin, Liang Chen, Hans Ågren, Lingfeng Gao, Youju Huang   +11 more
wiley   +1 more source