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
∙
01/29/2021
Sequential Mechanisms for Multi-type Resource Allocation
Several resource allocation problems involve multiple types of resources...
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
FPRAS for the Potts Model and the Number of k-colorings
In this paper, we give a sampling algorithm for the Potts model using Ma...
research
∙
10/03/2011
A Behavioral Distance for Fuzzy-Transition Systems
In contrast to the existing approaches to bisimulation for fuzzy systems...
research
∙
12/10/2010
Nondeterministic fuzzy automata
Fuzzy automata have long been accepted as a generalization of nondetermi...
research
∙
12/10/2010
Bisimulations for fuzzy transition systems
There has been a long history of using fuzzy language equivalence to com...
research
∙
10/19/2009