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
Improved Parameter Robust Feedforward Formula-Based Flux-Weakening Method for Surface-Mounted Permanent Magnet Synchronous Motor
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Transportation Electrification"
DOI: 10.1109/tte.2024.3437647
Abstract: To improve the parameter robustness of the feedforward formula-based flux-weakening (FBFW) method, a parameter robust FBFW method based on current prediction error (FBFW-CPE) is proposed in this article. The CPE is employed to extract the… read more here.
Keywords: method; parameter; flux weakening; formula based ... See more keywords
Abstract P446: Prediction of Cardiovascular Events by Algorithm- and Formula-based Pulse Wave Velocity: An Analysis of CARTaGENE
Sign Up to like & getrecommendations! Published in 2024 at "Hypertension"
DOI: 10.1161/hyp.81.suppl_1.p446
Abstract: Background: Carotid-femoral pulse wave velocity (PWV) is a well-known marker of arterial stiffness and a cardiovascular risk factor. Novel estimations of PWV have been developed, but their ability to improve cardiovascular prediction made by clinical… read more here.
Keywords: risk; prediction; formula based; cardiovascular events ... See more keywords