Results 91 to 100 of about 82,622 (268)

Linear Logic on Petri Nets

BRICS Report Series, 1994
This article shows how individual Petri nets form models of Girard's intuitionistic linear logic. It explores questions of expressiveness and completeness of linear logic with respect to this interpretation. An aim is to use Petri nets to give an understanding of linear logic and give some appraisal of the value of linear logic as a specification logic
Engberg, Uffe Henrik, Winskel, Glynn
openaire   +4 more sources

Electrode and Microstructure Dependence of Oxygen Diffusion in Ferroelectric Hafnium Zirconium Oxide Thin Films

Advanced Functional Materials, EarlyView.
Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg, Thomas W. Pfeifer, Chuanzhen Zhou, Yong Kyu Choi, Duk‐Hyun Choe, Patrick E. Hopkins, Jon F. Ihlefeld   +6 more
wiley   +1 more source

Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies

Advanced Functional Materials, EarlyView.
The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley   +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

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

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

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

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

Hierarchical MXene‐Derived NTP/C Nanohybrids for Cryogenic Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
A hierarchical MXene‐derived NaTi2(PO4)3/C nanohybrid enables efficient sodium‐ion storage down to −40°C by integrating fast ion–electron transport pathways with an ether‐based electrolyte. The system promotes dominant pseudocapacitive behavior and forms a robust inorganic‐rich SEI, collectively mitigating kinetic and interfacial limitations, thereby ...
M. Sai Bhargava Reddy, Mohammad Zaid, Sayan Das, Sooryadas Sudhakaran, Shampa Aich, Vilas G. Pol   +5 more
wiley   +1 more source

Nanobody‐Conjugated Theranostic Prodrug Targeting αvβ3 Integrin Enables Precision Cancer Therapy With Real‐Time Imaging

Advanced Healthcare Materials, EarlyView.
The image shows a schematic form a nanobody‐conjugated theranostic prodrug (NBD) platform targeting tumor‐associated αvβ3 integrin. The NBD system integrates selective nanobody‐mediated tumor recognition, glutathione‐responsive disulfide cleavage for doxorubicin release, and aza‐BODIPY‐based near‐infrared fluorescence for real‐time imaging.
Sanu Karan, Hyunseung Lee, Rema Naskar, Mi Young Cho, Hye Sun Park, Eun Hee Han, Soumyadip Hore, Sun Hee Cho, Truc Ngoc Kim Lam, Taewoong Son, Tae Jung Park, Inkyu Hwang, Jonathan L. Sessler, Kwan Soo Hong   +13 more
wiley   +1 more source