Abstract: The three-direction magnetization intensities of a source can be obtained by the magnetization vector inversion (MVI) of magnetic data, and therefore, MVI can be well applied to a magnetic ...

Abstract: Petri nets (PNs) are graphical and mathematical tools used to model a variety of discrete event systems and analyze their properties. Reachability is their fundamental property that is ...

This course emphasizes mathematical definitions, logical inference, and proof techniques. Topics include propositional logic, first-order logic, inference rules and satisfiability, proof methods, sets ...

Departamento de Matem atica and Centro de Matem atica e Aplica c~oes Faculdade de Ci^encias e Tecnologia, Universidade Nova de Lisboa Quinta da Torre, 2829-516 Caparica, Portugal. A friendship graph ...