A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
Sign Up to like & getrecommendations! Published in 2017 at "Mathematics in Computer Science"
DOI: 10.1007/s11786-017-0319-z
Abstract: Effective quantifier elimination procedures for first-order theories provide a powerful tool for generically solving a wide range of problems based on logical specifications. In contrast to general first-order provers, quantifier elimination procedures are based on… read more here.
Keywords: decision; quantifier elimination; survey methods; methods real ... See more keywords
Respirometric In Situ Methods for Real-Time Monitoring of Corrosion Rates: Part II. Immersion
Sign Up to like & getrecommendations! Published in 2021 at "Journal of The Electrochemical Society"
DOI: 10.1149/1945-7111/abdb4a
Abstract: With the aim to open a new window into corrosion processes this paper presents respirometric methods for real-time in situ monitoring of corrosion rates under immersion conditions. With these techniques, sensitive, non-destructive corrosion rate measurements… read more here.
Keywords: corrosion rates; real time; methods real; corrosion ... See more keywords