UC Berkeley — CS Research

Computer science research from UC Berkeley, including distributed systems, security, machine learning, and theory.

Sample of the collection (25 of 6,681 items)

• Staging at the Curb: Evaluating the impacts of shared automated vehicle fleet operations under curb usage restrictions Korea National University of Transportation Shared automated vehicle (SAV) ridehailing services are now operating in several metropolitan regions in the United States. While…
• An Extensible and Verifiable Language for Query Rewrite Rules University of California, Berkeley Logical query plan rewriting transforms a relational database query into an equivalent but more efficient form and is crucial to the…
• Decarbonizing China’s private passenger vehicles: A dynamic material flow assessment of metal demands and embodied emissions Chongqing University The continuous growth of China’s private passenger vehicle fleet has intensified material demand and embodied carbon emissions,…
• Efficient ML Model Updates for Deeply Embedded Microcontrollers University of California, Berkeley Frequent updates to machine learning (ML) models are essential for maintaining accuracy in dynamic environments. However, updating…
• Learning Control Policies to Provably Satisfy Hard Affine Constraints for Black-Box Hybrid Dynamical Systems University of California, Berkeley Ensuring safety for black-box hybrid dynamical systems presents significant challenges due to their instantaneous state jumps and…
• Optimizing district energy systems by integrating Borehole Thermal Energy Storage Using a Mixed-Integer Linear Programming g-function framework with a Multi-Timescale Rolling Horizon method University of California, Berkeley Shallow geothermal has gained increasing attention in recent years; however, a reliable framework for its accurate incorporation into…
• A Tiered Classification Framework for Detecting and Diagnosing Man-in-the-Middle Attacks in Smart Grid Protocols Centre National de la Recherche Scientifique The increasing reliance on smart grid communication systems has significantly raised the demand for robust cybersecurity measures to…
• Advancing a Coordinated Strategy for Decision-Relevant Climate Data Products for the United States Lawrence Livermore National Laboratory Abstract Climate adaptation practitioners, planners, and policymakers rely on historical reconstructions and future projections of…
• The 2025 thermionic converters roadmap Istituto di Studi sul Mediterraneo Antico Abstract Thermionic technologies are based on electron emission from a material occurring at high temperatures, following the physical…
• Vibration–based nondestructive state classification of Li-ion batteries Worcester Polytechnic Institute As the demand for green energy continues to increase, Li-ion battery (LIB) remains the dominant choice for electric vehicles and…
• Improving Care for Older Adults with Multiple Needs: The Value of Complexity Science Intermountain Healthcare This paper describes how two complementary theories from complexity science can guide the successful design and implementation of…
• High Probability Complexity Bounds of Trust-Region Stochastic Sequential Quadratic Programming with Heavy-Tailed Noise University of California, Berkeley Abstract In this paper, we consider nonlinear optimization problems with a stochastic objective and deterministic equality constraints.…
• Science and Technology for Augmenting Reading (STAR) University of Illinois Urbana-Champaign The landscape of technology for consuming information is changing rapidly. One mode of information consumption, reading, stands to see…
• A11y-CUA Dataset: Characterizing the Accessibility Gap in Computer Use Agents University of California, Berkeley Computer Use Agents (CUAs) operate interfaces by pointing, clicking, and typing—mirroring interactions of sighted users (SUs) who can…
• Reflections Towards an Ecology of Internet Connectivity: Three Speculative Scenarios Involving Foot Pedals Georgia Institute of Technology HCI’s dominant assumptions of always-on and relatively ubiquitous internet connectivity often overlook other potential configurations of…
• Programming By Scaffolded Demonstration with Perpend University of California, Berkeley Output-centric programming paradigms such as Direct Manipulation Programming, Programming By Demonstration, and Programming By Example…
• Learning Inside the Chip: A Design-Science Approach to Developing MR Lab and an AI Agent for Conceptual, Procedural, and Spatial Understanding in Microelectronics Education University of California, Berkeley Mixed reality (MR) and AI-powered pedagogical agents have been increasingly explored in STEM labs context as a means of providing…
• OceanTACO: A Multi-Sensor Global Ocean Sea Surface State Dataset Munich Center for Quantum Science and Technology Abstract. We present OceanTACO, a harmonised global collection of sea surface state datasets designed to support reproducible Earth…
• An International Laboratory Comparison Study on Approximating the Enthalpy of Adsorption via the Clausius‐Clapeyron Approach National Laboratory of the Rockies Materials-based gas capture and storage is an increasingly important area of research. Robust and accurate determination of material…
• Demonstrating the reliability of randomized measurement and verification for switchable control retrofits using a large open-source dataset University of California, Berkeley Conventional measurement and verification (M&V) methods for estimating energy savings rely on comparing pre- and post-retrofit…
• Learning Neural Network Controllers with Certified Robust Performance via Adversarial Training University of California, Berkeley Neural network (NN) controllers achieve strong empirical performance on nonlinear dynamical systems, yet deploying them in…
• Rethinking Atomic Decomposition for LLM Judges: A Prompt-Controlled Study of Reference-Grounded QA Evaluation University of California, Berkeley Atomic decomposition -- breaking a candidate answer into claims before verifying each against a reference -- is a widely adopted design…
• Performance Evaluation Metrics for Velocity Models Used for Numerical Simulations of Ground Motions for Seismic Hazard Applications GFZ Helmholtz Centre for Geosciences Abstract The exponential growth in numerical capabilities for 3D, regional-scale physics-based simulations is driving their adoption in…
• Achieving Functionality Targets for Seismically Isolated Steel Buildings Using Gaussian Process Modeling University of California, Berkeley As seismic design paradigms shift toward functional recovery, there is a need for efficient methods to achieve desired decision…
• The AWAKEN wind farm benchmark, Part 2: Modeling results National Laboratory of the Rockies Abstract. Accurately modeling wind farm performance in complex atmospheric flows remains a challenge. This paper presents the modeling…

Query this set from any AI agent

Agents: a markdown version of this page is at https://publicmcp.org/library/berkeley.md.