research
∙
07/19/2022
Urdu Speech and Text Based Sentiment Analyzer
Discovering what other people think has always been a key aspect of our ...
share
research
∙
04/29/2020
A Formally Verified HOL4 Algebra for Event Trees
Event Tree (ET) analysis is widely used as a forward deductive safety an...
research
∙
09/08/2018
Accelerating Viterbi Algorithm using Custom Instruction Approach
In recent years, the decoding algorithms in communication networks are b...
research
∙
07/24/2018
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4
Dynamic Fault Trees (DFTs) is a widely used failure modeling technique t...
research
∙
12/07/2017