On Tseitin Formulas, Read-Once Branching Programs and Treewidth
Sign Up to like & getrecommendations! Published in 2021 at "Theory of Computing Systems"
DOI: 10.1007/s00224-020-10007-8
Abstract: We show that any nondeterministic read-once branching program that decides a satisfiable Tseitin formula based on an n × n grid graph has size at least 2 Ω( n ) . Then using the Excluded… read more here.
Keywords: read branching; tseitin formula; size; formula based ... See more keywords
Nonlinear methods for evaluating and online predicting the lifetime of fuel cells
Sign Up to like & getrecommendations! Published in 2019 at "Applied Energy"
DOI: 10.1016/j.apenergy.2019.113730
Abstract: Abstract Lifetime evaluation and prediction is a key topic for proton exchange membrane (PEM) fuel cells, which can contribute to prolong the durability and accelerate the commercialization of fuel cells. In this paper, a linear… read more here.
Keywords: fuel; cell; lifetime fuel; fuel cells ... See more keywords
A mineral formula-based calibration method for major and trace element determination of mica without applying an internal element by LA-ICP-MS
Sign Up to like & getrecommendations! Published in 2023 at "Journal of Analytical Atomic Spectrometry"
DOI: 10.1039/d3ja00026e
Abstract: An internal standard as ablation yield is required to calibrate raw data by laser ablation-inductively coupled plasma-mass spectrometry (LA-ICP-MS) technology. In this study, we established a new calibration method based... read more here.
Keywords: calibration method; mineral formula; formula based; element ... See more keywords
Wideband Sherman–Morrison–Woodbury Formula-Based Algorithm for Electromagnetic Scattering Problems
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Antennas and Propagation"
DOI: 10.1109/tap.2023.3263627
Abstract: In this communication, a wideband Sherman–Morrison–Woodbury formula-based algorithm (WSMWA) is proposed to efficiently compute the wideband and wide-angle electromagnetic scattering problems. In the proposed algorithm, the standard adaptive cross approximation (ACA) decomposition is only performed… read more here.
Keywords: formula based; morrison woodbury; woodbury formula; sherman morrison ... See more keywords