Results 91 to 100 of about 2,176 (251)

Thermally Pre‐Formed Reconfigurable Resistive Random‐Access Memory Crossbar Arrays: A Dual‐Mode Platform for Robust Physically Unclonable Functions and In‐Memory Computing

Advanced Functional Materials, EarlyView.
A reconfigurable RRAM platform utilizing thermally pre‐formed filaments (TPFs) is developed to realize robust hardware security. By exploiting the thermodynamic stochasticity of TPFs, exceptionally reliable physically unclonable functions (PUFs) are achieved.
Seongbin Kwon, Taewon Lee, Dohyeong Kim, Sungmin Hwang, Sungjoon Kim   +4 more
wiley   +1 more source

The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation

BRICS Report Series, 1996
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the art<br />data structure for boolean function manipulation and there exist<br />several software packages for OBDD manipulation. OBDDs have<br />been successfully used to solve problems in e.g.
openaire   +2 more sources

Synergistic Cu‐Fe Interactions Enhance Phase Transformation Kinetics Toward High‐Performance CuFeS2‐Based All‐Solid‐State Batteries

Advanced Functional Materials, EarlyView.
CuFeS2 is found to induce the formation of intermediate phases, highlighting a strong Cu–Fe synergistic effect during conversion reactions in lithium all‐solid‐state batteries (Li‐SSBs). The integrated reaction pathway effectively suppresses phase separation and accelerates reaction kinetics, leading to enhanced electrochemical reversibility and ...
Changjiang Bai, Katherine A. Mazzio, Florian Ruske, Goutham Srinivas, Tim Bernges, Junwei Meng, Xiangping Min, Yanan Sun, Vinita Ahuja, Román Healy Corominas, Volodymyr Baran, Götz Schuck, Michael Haumann, Jürgen Janek, Wolfgang G. Zeier, Philipp Adelhelm   +15 more
wiley   +1 more source

Coupling Anodic Activity and Stability at Ni‐Based Non‐Oxide Catalysts via Coordinating Alcohol Oxidation and Oxygen Evolution

Advanced Functional Materials, EarlyView.
A cooperative and competitive interrelationship between alcohol oxidation (AOR) and water oxidation (OER) was observed on a typical anode catalyst of Ni2P. In situ Raman spectroscopy and electrochemical analyses revealed a specific complementary mechanism between them, in which OER and AOR critically contribute to the activity and stability of anodic ...
Yong Yan, Xinyu Liu, Yuguo Zhao, Hanwen Jian, Huan Zhou, Riyi Zhang, Dong Wang, Peter Schaaf, Lihua Wang, Guangsheng Guo, Xiayan Wang   +10 more
wiley   +1 more source

Shaping Matter with Acoustic Waves: From Particles to Functional Structures

Advanced Functional Materials, EarlyView.
Acoustic‐directed assembly is reviewed as a materials‐oriented strategy for organizing particles, polymers, metals, and biological systems into functional structures. The review distinguishes reversible manipulation from permanent structure formation through medium fixation, particle fixation, and in situ material generation, highlighting routes toward
Avraham Kenigsberg, Shelly Zlotnikov, Maya Fiorentino, Yuval Elias, Ornit Nagler‐Avramovitz, Hagay Shpaisman   +5 more
wiley   +1 more source

Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits [PDF]

, 1998
Many problems in computer-aided design of highly integrated circuits (CAD for VLSI) can be transformed to the task of manipulating objects over finite domains. The efficiency of these operations depends substantially on the chosen data structures. In the
Thorsten Theobald, Christoph Meinel
core  

Sustainable Electrochemical Synthesis of High‐Quality MXenes: Mechanistic Insights, Applications, Challenges, and Technological Prospects

Advanced Functional Materials, EarlyView.
Electrochemical etching provides an eco‐friendly alternative to hazardous HF methods for MXene production. This approach facilitates the selective isolation of the A‐layer from MAX phases with tunable surface terminations. Controlling voltage, electrolytes, temperature, and duration enables the optimal structural integrity. Nevertheless, existing scale
Jagdeep Singh, Madhusudhana M Devadiga, Santosh K. Tiwari, AS Dhaliwal, Gurpreet Singh Selopal   +4 more
wiley   +1 more source

Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification [PDF]

, 1995
Ordered Binary Decision Diagrams (OBDDs) have found widespread use in CAD applications such as formal verification, logic synthesis, and test generation.
Randal E. Bryant
core  

Synthesis of AgBiS2 and AgInS2 Based on Formation Energies in Sulfur‐Rich Reducing Flame

Advanced Functional Materials, EarlyView.
High‐surface‐area AgInS2 and AgBiS2 nanoparticles were synthesized via enclosed flame spray pyrolysis by tuning flame conditions and formation energies to guide phase formation. Flame parameters were tuned to suppress oxides and enable pure sulfide phase growth.
Muhammad Ali Martuza, Marco Schowalter, Andreas Rosenauer, Olga V. Kuharenko, Christian Rossner, Johannes Birkenstock, Lutz Mädler, Suman Pokhrel   +7 more
wiley   +1 more source

Planar Decision Diagrams for Multiple-Valued Functions [PDF]

, 1996
In VLSI, crossings of interconnect occupy space and cause delay. Therefore, there is significant benefit to planar circuits. We propose the use of planar multiple-valued decision diagrams for produce planar multiple-valued circuits.
Butler, Jon T., Sasao, Tsutomu
core