Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Static learning"”.
-
Static Learning for Problems in VLSI Test and Verification
Static learning in the form of logic implications captures Boolean relationships between various gates in a circuit. In the past, logic implications have been applied in several areas of electronic design automation (EDA) including: test-pattern-generation, logic and fault simulation, fault …
-
Fast Static Learning and Inductive Reasoning with Applications to ATPG Problems
… various nodes in the circuit, as captured by static and inductive invariants, have shown to have a positive impact on a wide range of EDA applications. Techniques such as boolean constraint propagation for static learning and assume-then-verify approach to reason about inductive invariants …
-
An empirical investigation to examine the usability issues of using adaptive, adaptable, and mixed-initiative approaches in in-teractive systems
… of work. The increasing demand for online learning is becoming more important, both individually and academically. This thesis introduces and describes an empirical study to investigate and compare how vocabulary can be learned by using different interactive approaches; specifically, a …
-
Injury risk and performance: Towards a better understanding of the complexities and intricacies of load monitoring within an elite football club
… this thesis integrates insights from machine learning. Building upon existing research, we explore how machine learning techniques contribute to the refinement of load monitoring strategies in soccer, offering a promising avenue for enhancing injury prevention protocols. By bridging the gap …