Algorithms for Cartographic Visualization (2012) [pdf]
2021-07-15
An Automated Driving System for the Highway (2019) [pdf]
2021-07-15
Artificial Intelligence at EU Borders [pdf]
2021-07-15
Programmers’ Affinity to Languages [pdf]
2021-07-15
U.S. Surgeon General's Misinformation Advisory [pdf]
2021-07-15
The Bitcoin Trading Ecosystem and the Emerging Institutional Infrastructure [pdf]
2021-07-15
A Tutorial on Verifying LinkedList Using Key [pdf]
2021-07-15
Olympic Host City Operational Requirements [pdf]
2021-07-15
Undocumented x86 instructions to control the CPU at the microarchitecture level [pdf]
2021-07-15
An Approach to Teaching to Write Safe and Correct Imperative Programs in C* [pdf]
2021-07-15