In the process of low orbit satellite navigation search and rescue, there is significant relative motion between the satellite and the ground, resulting in substantial Doppler frequency shifts. Spread ...

lmdb++: a C++11 wrapper for LMDB This is a comprehensive C++ wrapper for the LMDB embedded database library, offering both an error-checked procedural interface and an object-oriented resource ...

This article describes the application of customized proof techniques for proving theorems related to arithmetic circuits in the Coq theorem prover and generating Verilog code from Coq. By ...

This app from NASA's ESDIS provides the capability to interactively browse over 1000 global, full-resolution satellite imagery layers on desktop and mobile devices. Many of the imagery layers are ...