Results 91 to 100 of about 696,327 (268)

Investigating Z

, 2003
In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound.
Reeves, Steve, Henson, Martin C.
core   +1 more source

3D Printing Innovations in Polymeric Porous and Patterned Architecture

Advanced Functional Materials, EarlyView.
Polymeric foams occupy a unique structural space between dense solids and open networks, where engineered void fraction governs mechanical compliance, thermal resistance, and mass transport. Additive manufacturing now enables precise spatial control over cellular architecture, unlocking designer foam structures across applications spanning crash ...
Dhanush Patil, Sri Vaishnavi Thummalapalli, Clarissa Westover, Arunachalam Ramanathan, M. Taylor Sobzcak, Roumika Patil, Qixuan Xiang, Tiantian Li, Sui Yang, Timothy E. Long, Hongyue Sun, Xianqiao Wang, Yang Liu, Kenan Song   +13 more
wiley   +1 more source

Logic, damned logic, and statistics [PDF]

Electronic Workshops in Computing, 2006
In this paper we present the results of a statistical analysis undertaken upon the performance of students within the Software Engineering Programme at Oxford. The Software Engineering Programme is aimed at part-time students, most of whom are professional software engineers.
openaire   +2 more sources

Self‐Adaptive Anhydrous Passivation Mitigates Open‐Circuit Voltage Loss in Pb‐Sn Mixed Perovskite Solar Cells

Advanced Functional Materials, EarlyView.
In this report, a self‐adaptive anhydrous passivation strategy is introduced by incorporating trimellitic anhydride (TMAH) into the perovskite precursor. In situ hydrolysis of TMAH yields trimellitic acid (TMA); ‐C═O/‐COO− groups of TMAH/TMA form a chelate with undercoordinated Pb2+/Sn2+, regulate nucleation, promote (100) orientation, passivate ...
Md. Ataur Rahman, Md. Abdul Karim, Md. Emrul Kayesh, Siliang Cao, Shamim Ahmmed, Kiyoto Matsuishi, Ashraful Islam   +6 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  

Electro‐Steric Ion Confinement in Polyelectrolyte Networks for Robust Nonvolatile Artificial Synapse

Advanced Functional Materials, EarlyView.
Polyelectrolyte stoichiometry governs ion transport and retention in electrolyte‐gated synaptic transistors. A PSS‐rich network creates electro‐steric ion confinement that suppresses ion back‐diffusion and stabilizes channel doping, enabling robust nonvolatile synaptic memory, linear weight updates, and low‐energy operation.
Donghwa Lee, Jinbo Kim, Myeongjin An, Jisoo Park, Junho Sung, Eunsung Hwang, Suhwan Seok, Seong‐Min Bak, Jeonghun Kim, Eunho Lee   +9 more
wiley   +1 more source

Games as mathematics of logic and computation

, 2019
Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism.
Yamada, Norihiro
core   +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

Trakhtenbrot Theorem and Fuzzy Logic

, 1996
Trakhtenbrot theorem is shown to be valid for the three main fuzzy logics - Lukasiewicz, Gödel and product ...
Petr Hajek, Fuzzy Logic
core  

Oxidized MoS2‐Based Multifunctional Memristive Hardware for Energy‐Efficient mmWave Signal Processing and In‐Memory Matrix Multiplication

Advanced Functional Materials, EarlyView.
Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son, Changwoo Pyo, Sungmoon Park, Yoongi Cho, Seungchan Lee, Myungsoo Kim   +5 more
wiley   +1 more source