Abstract: This paper proposes a novel FIR filter implementation structure, which utilizes the conjugate reciprocal symmetry of the zeros of linear phase FIR filters to cascade decompose high-order FIR ...
Formal verification of algorithms and data structures using Rocq and Lean4. This is a learning project following Software Foundations and Sedgewick's Algorithms, applying formal proof techniques to ...
A systems engineering project modelling how one flight delay at Hamad International Airport (DOH) propagates through Qatar Airways' hub network — with real flight data and a precision-grade ops UI.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results