| | Towards a Trustworthy Semantics-Based Language Framework via Proof Generation (handle.net) |
| 1 point by matt_d on May 5, 2021 | past |
|
| | Hupp-Yeats Electric: a car of French design and the latest fashion (1910) (handle.net) |
| 1 point by robin_reala on Sept 27, 2020 | past |
|
| | Software Profiling via Electromagnetic Side-Channel Signal (handle.net) |
| 1 point by matt_d on May 25, 2020 | past |
|
| | Design & Implementation of a Verified File System with End-to-End Data Integrity (handle.net) |
| 2 points by matt_d on May 3, 2020 | past |
|
| | Beyond Debug Information: Improving Program Reconstruction in LLDB w/C++ Modules (handle.net) |
| 3 points by matt_d on Dec 26, 2019 | past |
|
| | Efficient Compilation of a Verification-friendly Programming Language (handle.net) |
| 12 points by matt_d on March 29, 2019 | past |
|
| | NASA technical writing style manual [pdf] (1990) (handle.net) |
| 3 points by yagyu on July 31, 2017 | past |
|
| | Top considerations for creating bioinformatics software documentation (handle.net) |
| 2 points by michaelhoffman on Nov 17, 2016 | past |
|
| | On the Mathematical Foundations of Theoretical Statistics (handle.net) |
| 3 points by RA_Fisher on March 15, 2016 | past |
|
| | A review of photography of the earth from sounding rockets and satellites (1964) (handle.net) |
| 1 point by trisomy21 on Feb 19, 2016 | past |
|
| | Pattern-Based Vulnerability Discovery (handle.net) |
| 2 points by v4n4d1s on Nov 10, 2015 | past |
|
| | The Art of the Propagator (handle.net) |
| 1 point by kruhft on Oct 14, 2015 | past |
|
| | Habitability Study Shuttle Orbiter (Loewy, 1973) (handle.net) |
| 1 point by brudgers on March 20, 2015 | past |
|
| | Of feral cats and pet cats (handle.net) |
| 3 points by Eduardo3rd on Sept 17, 2012 | past |
|
| | Basic Operation of Michigan Terminal System [1969] (handle.net) |
| 1 point by andrewthornton on July 31, 2012 | past |
|
| | Unique and persistent identifiers for Internet resources (handle.net) |
| 1 point by setori88 on Dec 2, 2010 | past |
|
| | Claude Shannon and the making of information theory (2003) (handle.net) |
| 1 point by TriinT on Aug 16, 2009 | past |
|
