research
∙
07/14/2023
Trading Off Voting Axioms for Privacy
In this paper, we investigate tradeoffs among differential privacy (DP) ...
share
research
∙
05/08/2023
First-Choice Maximality Meets Ex-ante and Ex-post Fairness
For the assignment problem where multiple indivisible items are allocate...
research
∙
01/16/2023
A separation logic for sequences in pointer programs and its decidability
Separation logic and its variants can describe various properties on poi...
research
∙
06/27/2022
Differentially Private Condorcet Voting
Designing private voting rules is an important and pressing problem for ...
research
∙
04/28/2022
Learning First-Order Rules with Differentiable Logic Program Semantics
Learning first-order logic programs (LPs) from relational facts which yi...
research
∙
09/18/2021
Favoring Eagerness for Remaining Items: Achieving Efficient and Fair Assignments
In the assignment problem, items must be assigned to agents who have uni...
research
∙
08/22/2021
StarVQA: Space-Time Attention for Video Quality Assessment
The attention mechanism is blooming in computer vision nowadays. However...
research
∙
04/25/2020
Probabilistic Serial Mechanism for Multi-Type Resource Allocation
In multi-type resource allocation (MTRA) problems, there are p ≥ 2 types...
research
∙
06/13/2019
Multi-type Resource Allocation with Partial Preferences
We propose multi-type probabilistic serial (MPS) and multi-type random p...
research
∙
04/09/2019
Reasoning about Block-based Cloud Storage Systems
Owing to the massive growth in the storage demands of big data, Cloud St...
research
∙
02/25/2019