Computer Science
Items (Sorted by Submit Date in Descending order): 1 to 20 of 230
Issue Date | Title | Author(s) |
2024 | A Game Theoretic Lens for Robustness in Control | Ghai, Udaya Bakhru |
2024 | Lucid: A High-Level, Easy-To-Use Dataplane Programming Language | Loehr, Devon Kennedy |
2023 | Deep Learning for Automated Theorem Proving | Wang, Mingzhe |
2023 | Beyond Linear Paradigms in Online Control | Minasyan, Edgar |
2023 | QUANTUM AND QUANTUM-INSPIRED COMPUTATION FOR MIMO COMMUNICATIONS IN WIRELESS NETWORKS | Kim, Minsung |
2023 | Designing Compact Data Structures for Network Measurement and Control | Chen, Xiaoqi |
2023 | From mind to machine: neural circuits, learning algorithms, and beyond | Yang, Runzhe |
2023 | Foundationally Verified Data Plane Programming | Wang, Qinshi |
2023 | Analysis of neuronal wiring diagrams | Dorkenwald, Sven |
2023 | Optimizing Content Distribution Network Caches with Machine Learning | SONG, ZHENYU |
2023 | Probabilistic Inference When the Model Is Wrong | Cai, Diana |
2023 | Cryptography against Space-Bounded Adversaries | Guan, Jiaxin |
2023 | Explainable Mechanism Design | Thomas, Clayton |
2023 | Beyond the polynomial method: Kakeya sets over finite rings and high dimensional variants | Dhar, Manik |
2023 | Randomness and Quantumness in Space-Bounded Computation | Zhan, Wei |
2023 | The Role Of Nonparametric Inference In Computational Models Of Categorization And Analogy | Battleday, Ruairidh McLennan |
2023 | Stronger Abstractions and Performance Guarantees for Building Strongly Consistent Distributed Services | Hodsdon, Christopher Charles |
2023 | Nabu: Unlocking Better Cache Performance at Lower Cost with Expiration Time-based Flash Caching | Stavrinos, Theano |
2023 | Making Neural Network Models More Efficient | Su, Yushan |
2023 | Optimizing Data Supply and Memory Management for Graph Applications in Post-Moore Hardware-Software Systems | Manocha, Aninda |
Items (Sorted by Submit Date in Descending order): 1 to 20 of 230