Results 51 to 60 of about 49,541 (265)

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

A High-Level LTL Synthesis Format: TLSF v1.1 [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and ...
Swen Jacobs, Felix Klein, Sebastian Schirmer   +2 more
doaj   +1 more source

Synthesis of reversible logic circuits [PDF]

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2003
Reversible or information-lossless circuits have applications in digital signal processing, communication, computer graphics, and cryptography. They are also a fundamental requirement in the emerging field of quantum computation. We investigate the synthesis of reversible circuits that employ a minimum number of gates and contain no redundant input ...
Vivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes   +3 more
openaire   +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

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

Real-Time Model-Checking: Parameters everywhere [PDF]

Logical Methods in Computer Science, 2007
In this paper, we study the model-checking and parameter synthesis problems of the logic TCTL over discrete-timed automata where parameters are allowed both in the model (timed automaton) and in the property (temporal formula). Our results are as follows.
Veronique Bruyere, Jean-Francois Raskin
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

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

Directed Acyclic Graph-Based Datapath Synthesis Using Graph Isomorphism and Gate Reconfiguration

Chips
Datapath synthesis is a crucial step in synthesis flow and aims at globally minimizing an area by identifying shareable logic structures. This paper introduces a novel Directed Acyclic Graph (DAG)-based datapath synthesis method based on graph ...
Liuting Shang, Sheng Lu, Yichen Zhang, Sungyong Jung, Chenyun Pan   +4 more
doaj   +1 more source

Binary decision diagram‐based synthesis technique for improved mapping of Boolean functions inside memristive crossbar‐slices

IET Computers & Digital Techniques, 2021
Memristors are two‐terminal nano‐electronic devices that make it possible to design non‐volatile memory and logic circuits with high integration density.
Anindita Chakraborty, Vivek Maurya, Sneha Prasad, Suryansh Gupta, Rajat Subhra Chakraborty, Hafizur Rahaman   +5 more
doaj   +1 more source