Model ReductionExplores model reduction techniques for satellite positioning systems and stochastic sensor calibration using the GMWM method.
Propositional ResolutionExplores completeness in propositional logic, resolution on clauses, conjunctive form, unit resolution, SAT solvers, and proof generation.
Fault Simulation in VLSI TestingExplores fault simulation in VLSI testing, covering fault coverage, fault models, algorithms, types of simulators, deductive simulation, and fault propagation rules.
