An open source software-defined GNSS receiver
Proof of correctness of the Marching Cubes algorithm in Coq.
JBernstein: Exploration techniques for non-linear constraint checking
Moving target detection in 2D using Kalman Filter
A CBLS Engine in SCALA, NOW part of OscaR