archive

Introduction to languages, machines and logic : computable languages, abstract machines and formal logic

Ask the publishers to restore access to 500,000+ books. An icon used to represent a menu that can be toggled by interacting with this icon. A line drawing of the Internet Archive headquarters building ...
GitHub

automated-theorem-provers

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
archive

Advanced mathematics : precalculus with discrete mathematics and data analysis

Can You Chip In? We’re celebrating our 1 trillionth archived web page. If you find our library useful, learn how you can help us fundraise! Can You Chip In? We’re celebrating our 1 trillionth archived ...
IEEE

Combining Fuzzy Logic and Discrete Wavelet Transform for Accurate Fault and Inrush Current Classification in High Voltage Capacitor Banks

Abstract: The high voltage capacitor bank is a critical component in substations, essential for maintaining power quality and system stability. However, these banks are susceptible to faults and ...
IEEE

Application of CVS and VRS method for correlation of logic CMOS wear out to discrete device degradation based on ring oscillator circuits

Abstract: Device level reliability margins are reducing for advanced MG/HK technology nodes, hence it is essential to comprehend product level reliability margin using CMOS circuits like ring ...