A Modal Logic for Termgraph Rewriting
, 2010 We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles.
Balbiani, Ph., Echahed, R., Herzig, A.
core +3 more sources
High‐Performance Air‐Stable Polymer Monolayer Transistors for Monolithic 3D CMOS logics
Advanced Materials, EarlyView.A fibrillar polymer monolayer with a self‐confinement effect is demonstrated, in which aligned chains parallel the nanofiber axis. Employing a top‐gate CYTOP dielectric, this monolayer transistor achieves high mobility (7.12 cm2 V−1 s−1) and exceptional stability over 1260 days in air.
Miao Cheng +13 more
wiley +1 more source
Ferroelectrics Hybrids: Harnessing Multifunctionality of 2D Semiconductors in the Post‐Moore Era
Advanced Materials, EarlyView.In this Review, the state of art of ferroelectric hybrid systems—combining ferroelectrics, 2D semiconductors, and molecular switches is presented—as next‐generation platforms for high‐density, multifunctional electronics. By discussing 2D FeFET applications, nanoscale material downscaling, M3D integration, and emerging ferroelectrics, it highlights ...
Haixin Qiu +3 more
wiley +1 more source
A Characterization of Non-Iterative Normal Modal Logics [PDF]
, 2021 Adrian Soncodi
openalex +1 more source
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source
High‐κ Perovskite‐Like Ternary Niobium Oxide Dielectrics for 2D Electronics
Advanced Materials, EarlyView.High‐κ dielectrics are vital for scaled electronics. Here, a family of 2D high‐κ perovskite‐like ternary niobium oxides is synthesized via a molten salt‐assisted method. Their integration into FETs and logic gates reveals superior switching characteristics, providing a fresh material platform and new insights for the advancement of high‐performance 2D ...
Biao Zhang +10 more
wiley +1 more source
Materials and System Design for Self‐Decision Bioelectronic Systems
Advanced Materials, EarlyView.This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source
Combinatorial Screening for Europium Induced Defect Engineering in Titania Anodic Memristors
Advanced Materials Interfaces, EarlyView.A Ti‐Eu thin‐film combinatorial libary (3‐17 at.% Eu) was fabricated by co‐sputtering and anodisation. Systematic screening revealed forming‐free memristors with analog switching, with compositions between 7‐17 at.% Eu showing improved endurance and multilevel resistive states.
Elena Atanasova +5 more
wiley +1 more source
Hypersequent calculi for non-normal modal and deontic logics:\n Countermodels and optimal complexity [PDF]
, 2020 Tiziano Dalmonte +3 more
openalex +1 more source
Almost structural completeness; an algebraic approach [PDF]
, 2014 A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can
M. Stronkowski, Michał, Wojciech Dzik
core