Computer Science
Items (Sorted by Submit Date in Descending order): 1 to 20 of 235
| Issue Date | Title | Author(s) |
| 2024 | Holistic Consistency Models for Faster Applications and Systems | Helt, Jeffrey |
| 2024 | Understanding the Role of Data in Model Decisions | Gupta, Arushi |
| 2024 | Systematic analysis of cellular and immune system responses for therapy development | Wang, Yuan |
| 2024 | Modular Control Plane Verification | Alberdingk Thijm, Timothy Robin |
| 2024 | Navigating Emerging Complexities of Modern Systems: Advancements in Automated Verification and Security Techniques | Hossain, Naorin |
| 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 |
Items (Sorted by Submit Date in Descending order): 1 to 20 of 235