Beame, Paul
- Communication Steps for Parallel Query Processing
2013/06/25 by Paul Beame, Paraschos Koutris, Beame, Paul +3 · 13 citations
Computer Science · #Advanced Database Systems and Queries #Data Management and Algorithms #Distributed systems and fault tolerance
- Symmetric Weighted First-Order Model Counting
2014/12/03 by Paul Beame, Guy Van den Broeck, Beame, Paul +5 · 3 citations
Computer Science · #Machine Learning and Algorithms #Bayesian Modeling and Causal Inference #Advanced Graph Neural Networks
- Edge Estimation with Independent Set Oracles
2017/11/20 by Beame, Paul, Har-Peled, Sariel, Ramamoorthy, Sivaramakrishnan Natarajan +2 · 2 citations
#Data Structures and Algorithms (cs.DS) #F.1.1 #F.2 #FOS: Computer and information sciences
- Element Distinctness, Frequency Moments, and Sliding Windows
2013/09/14 by Beame, Paul, Clifford, Raphael, Machmouchi, Widad · 1 citation
#Computational Complexity (cs.CC) #FOS: Computer and information sciences
- Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases
2013/09/26 by Beame, Paul, Li, Jerry, Roy, Sudeepa +1 · 1 citation
#Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #Databases (cs.DB) #FOS: Computer and information sciences
- Towards Verifying Nonlinear Integer Arithmetic
2017/05/11 by Paul Beame, Beame, Paul, Vincent Liew +1 · 1 citation
Computer Science · Engineering · #Formal Methods in Verification #Low-power high-performance VLSI design #VLSI and Analog Circuit Testing
- On the Bias of Reed-Muller Codes over Odd Prime Fields
2018/06/18 by Beame, Paul, Gharan, Shayan Oveis, Yang, Xin · 1 citation
#Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Information Theory (cs.IT)
- On Disperser/Lifting Properties of the Index and Inner-Product Functions
2022/11/30 by Paul Beame, Sajin Koroth, Beame, Paul +1 · 1 citation
Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Cryptography and Data Security #F.2.0 #FOS: Computer and information sciences