Concept
Prover9
Related publications (32)
Transportation-based functional ANOVA and PCA for covariance operators
Victor Panaretos, Yoav Zemel, Valentina Masarotto
We consider the problem of comparing several samples of stochastic processes with respect to their second-order structure, and describing the main modes of variation in this second order structure, if present. These tasks can be seen as an Analysis of Vari ...
Inst Mathematical Statistics-Ims2024Automated Formal Verification of Software Network Functions
Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...
EPFL2024A semantic model-based systems engineering approach for assessing the operational performance of metal forming process
Metal Forming is a basic and essential industrial process to provide materials for constructing complex products. To design an efficient metal forming process, the functional requirements and operational performance are two important aspects to be consider ...
Pergamon-Elsevier Science Ltd2024SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...
2024An Accurate Wearable Foot Clearance Estimation System: towards a real time measurement system
This work presents an accurate, robust, wearable measurement system for foot clearance estimation along with algorithms to provide a real-time estimate of foot height and orientation. Different configurations of infrared distance meter sensors were used, b ...
Institute of Electrical and Electronics Engineers2017