We use Quarto to generate all outputs. @book{Nguyen2025TLBoAlg, author = {Duc-Tam Nguyen}, title = {The Little Book of algorithms}, year = {2025}, url = {https ...

PDF Diff Viewer, a side-by-side, visual highlight, sync-scroll, PDF comparer, written in Python. Open source, mostly powered by PyMuPDF and Tkinter. Optional support for git diff, for a better ...

Abstract: The quality of modern software relies heavily on the effective use of static code analysis tools. To improve their usefulness, these tools should be evaluated using a framework that ...

Abstract: In recent years, Low Earth Orbit (LEO) satellite signals of opportunity (SOPs) positioning technology has emerged a significant alternative to the Global Navigation Satellite System (GNSS), ...