Results 21 to 30 of about 186,512,308 (212)
The Complexity of Independence-Friendly Fixpoint Logic [PDF]
, 2005 . We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedding PFP, we show that its combined complexity is ExpSpace-hard, and ...
Julian Bradfield +3 more
core +1 more source
Advanced Functional Materials, EarlyView.The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Neuromorphic devices for extreme environments are interpreted through the physical states that store and process information. Radiation, temperature extremes, and vacuum can perturb vacancies, filaments, trapped charges, polarization, interfaces, and readout signals.
Taehyun Park +7 more
wiley +1 more source
On Paracomplete Versions of Jaśkowski's Discussive Logic [PDF]
Jaśkowski's discussive (discursive) logic \( \mathbf{D_2} \) is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions.
Petrukhin, Yaroslav +2 more
core +1 more source
Bistable Isochoric Chiral Metamaterials with Reprogrammable Multiaxial Responses
Advanced Functional Materials, EarlyView.An isochoric bistable rotational unit cell enables in situ modification of internal contact conditions post‐fabrication, without altering the global envelope dimensions of the surrounding architecture. By selectively switching between open and closed states, the tessellated chiral metamaterial can reprogram its volumetric response, including bulk ...
Shujia Chen +3 more
wiley +1 more source
Phonetic Possibility and Modal Logic [PDF]
, 2007 In this paper I propose a formalization, using modal logic, of the notion of possibility that phoneticians use when they judge speech sounds to be possible or impossible.
Sharlow, Mark
core
Digitally Printed Eco‐Friendly Electronic Devices
Advanced Functional Materials, EarlyView.Fabrication of electronics using eco‐friendly materials through digital printing routes is a promising strategy for improving life cycle sustainability and reducing the environmental impacts of conventional manufacturing. This review highlights state‐of‐the‐art eco‐friendly materials, green ink formulations, various resource‐efficient digital printing ...
Nitheesh M. Nair +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Bioinspired Bouligand architectures are translated into biodegradable polymer laminates with integrated sensing, revealing how structural design governs multifunctional performance. A 20° interlayer rotation optimizes strength, flexibility, and electromechanical response, while embedded nanotube networks enable real‐time damage detection and wearable ...
Piotr K. Szewczyk +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A particle‐level dual‐polymer interphase of carboxymethyl cellulose (CMC) and poly(acrylic acid) (PAA) stabilizes zinc metal powder anodes by coupling CMC‐mediated water regulation with PAA‐derived Zn2+ affinity. This synergy suppresses hydrogen evolution, corrosion, and byproduct accumulation while preserving electrode‐level electrical contact ...
Yunah Ahn +7 more
wiley +1 more source
Justification logic for constructive modal logic [PDF]
, 2021 We provide a treatment of the intuitionistic ◊ modality in the style of justification logic. We introduce a new type of terms, called satisfiers, that justify consistency, obtain justification analogs for the constructive modal logics CK, CD, CT, and CS4,
Marin, Sonia +2 more
core +1 more source