Program Verification, Certified Compilation, Type Safety, Mobile Code
Code rant: The Configuration Complexity Clock
mikehadlow.blogspot.com·3d
A Graph Neural Network Approach for Mapping the Conceptual Structure and Inter-Branch Connectivity of Physics
arxiv.org·14h
G-UBS: Towards Robust Understanding of Implicit Feedback via Group-Aware User Behavior Simulation
arxiv.org·14h
Loading...Loading more...