Justin Hsu
- Advances and Open Problems in Federated Learning
2020/12/02 by Peter Kairouz, H. Brendan McMahan, Brendan Avent +56 · 193 citations
Computer Science · #Cryptography and Data Security #Mobile Crowdsensing and Crowdsourcing #Privacy-Preserving Technologies in Data
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 3 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Dual Query: Practical Private Query Release for High Dimensional Data
2014/02/06 by Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu +2 · 1 voice · 1 citation
#cs.DS #cs.CR #cs.DB #cs.LG
- A Bunched Logic for Conditional Independence
2020/08/20 by Jialu Bao, Bao, Jialu, Simon Docherty +5 · 1 citation
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies
- A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
2021/01/30 by Li Zhou, Gilles Barthe, Zhou, Li +7 · 2 citations
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications