Results 71 to 80 of about 615,424 (263)
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties
, 2018 We introduce a model of one-way language acceptors (a variant of a checking stack automaton) and show the following decidability properties: (1) The deterministic version has a decidable membership problem but has an undecidable emptiness problem.
Ibarra, Oscar H., McQuillan, Ian
core +1 more source
Advanced Functional Materials, EarlyView.This work explores Li‐substituted P2 layered oxides for Na‐ion batteries by crystallographic and electrochemical studies. The effect of lithium on superstructure orderings, on phase transitions during synthesis and electrochemical cycling and on the interplay of O‐ versus TM‐redox is revealed via various advanced techniques, including semi‐simultaneous
Mingfeng Xu +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
SLAM : an automated structure to layout synthesis system [PDF]
, 1989 SLAM is a structure to layout synthesis system. It incorporates parameterisable bit-sliced and glue-logic generators to produce high density layout. In this paper, we describe a sliced layout architecture and SLAM system.
Gajski, Daniel, Wu, Allen C.H.
core
Advanced Functional Materials, EarlyView.This study investigates H4TBAPy‐based metal–organic frameworks (MOFs) ‐ NU‐1000, NU‐901, SrTBAPy, and BaTBAPy ‐ for multiphoton absorption (MPA) performance. It observes topology‐dependent variations in the 2PA cross‐section, with BaTBAPy exhibiting the highest activity.
Simon N. Deger +10 more
wiley +1 more source
Memoization for Unary Logic Programming: Characterizing PTIME [PDF]
, 2015 We give a characterization of deterministic polynomial time computation based on an algebraic structure called the resolution semiring, whose elements can be understood as logic programs or sets of rewriting rules over first-order terms.
Aix Marseille Université +3 more
core
Selective Benzene Capture by Metal‐Organic Frameworks
Advanced Functional Materials, EarlyView.Metal‐organic frameworks (MOFs) hold significant potential for capturing benzene from air emissions and hydrocarbon mixtures in liquid phases. This capability stems from their precisely engineered structures, versatile chemistries, and diverse binding interactions.
Zongsu Han +4 more
wiley +1 more source
Benchmarking for high-level synthesis [PDF]
, 1992 This paper discusses issues in benchmarking for synthesis, and suggests techniques for the comparison of benchmark descriptions, the synthesis tools used, as well as the synthesized designs finally generated.
Dutt, Nikil D., Gajski, Daniel D.
core
Model uncertainty estimation of a solid oxide fuel cell using a Volterra-type model
Journal of the Franklin Institute, 2014 The dynamic nature of solid oxide fuel cells (SOFC) shows that they can be conceived as multi-input multi-output nonlinear processes. Aiming at dynamic simulation and control, this work presents a modeling study of a SOFC stack following a gray-box ...
S. Biagiola, C. Schmidt, J. Figueroa
semanticscholar +1 more source
Laser‐Induced Graphene from Waste Almond Shells
Advanced Functional Materials, EarlyView.Almond shells, an abundant agricultural by‐product, are repurposed to create a fully bioderived almond shell/chitosan composite (ASC) degradable in soil. ASC is converted into laser‐induced graphene (LIG) by laser scribing and proposed as a substrate for transient electronics.
Yulia Steksova +9 more
wiley +1 more source