Modern perspectives in proof theory (2023)
🦀Rust
Flag this post
SoK: Systematizing a Decade of Architectural RowHammer Defenses Through the Lens of Streaming Algorithms
arxiv.org·3h
🦀Rust
Flag this post
Confidentiality in a Card-Based Protocol Under Repeated Biased Shuffles
arxiv.org·1d
🦀Rust
Flag this post
A fault-tolerant neutral-atom architecture for universal quantum computation
nature.com·15h
🦀Rust
Flag this post
Explorations of RDMA in LLM Systems
🦀Rust
Flag this post
Learning Time-Varying Graph Signals via Koopman
arxiv.org·3h
🦀Rust
Flag this post
Model Counting for Dependency Quantified Boolean Formulas
arxiv.org·3h
🦀Rust
Flag this post
CAMP-HiVe: Cyclic Pair Merging based Efficient DNN Pruning with Hessian-Vector Approximation for Resource-Constrained Systems
arxiv.org·3h
🍳cooking
Flag this post
An introduction to computer algebra (2018)
🦀Rust
Flag this post
The Complete Guide to AI-Powered Search: From Basics to Self-Learning Systems
pub.towardsai.net·1d
🦀Rust
Flag this post
Deep Learning for Molecules and Materials
🦀Rust
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·1d
🦀Rust
Flag this post
Loading...Loading more...