Abstract Machine-learned systems are in widespread use for making decisions about humans, and it is important that they fair , i.e., not biased against individuals based on sensitive attributes. We present runtime verification of algorithmic fairness whose models unknown, but assumed to have a Markov chain structure. introduce specification language can model many common properties, such as dem...

In this paper, we consider the one-bit feedback scheduler with a threshold in a wireless network. Due to its feedback reduction structure, the one-bit feedback scheduler has been studied as one of good candidates implementable in a practical wireless network, and it is important to determine the threshold value of the one-bit feedback scheduler. To solve this problem, network throughput and/or ...

The use of skin fairness products that frequently contain toxic ingredients is associated with significant adverse health side effects. Due to the high prevalence of use in Asian and African countries, skin fairness product use is recognized as a growing public health concern. The multi-million-dollar skin fairness product industry has also been criticized for perpetuating racism and social ine...

We consider the problem of whether a Neural Network (NN) model satisfies global individual fairness. Individual Fairness (defined in (Dwork et al. 2012)) suggests that similar individuals with respect to certain task are be treated similarly by decision model. In this work, we have two main objectives. The first is construct verifier which checks fairness property holds for given NN classificat...

The accuracy of driving test systems is very important. Aiming at the content and characteristics subject II examination items, we studied distance measurement items methods field system, in system. results show that method this paper can realize accurate judgment providing technical support for detection ensure fairness justice test.

We develop a set of five axioms for fairness measures in resource allocation: the axiom of continuity, of homogeneity, of saturation, of partition, and of starvation. We prove that there is a unique family of fairness measures satisfying the axioms, which is constructed and then shown to include Atkinson’s index, αfairness, Jain’s index, entropy, and other “decomposable” global measures of fair...

As flows of traffic traverse a network, they share with other flows a variety of resources such as links, buffers and router CPUs in their path. Fairness is an intuitively desirable property in the allocation of resources in a network shared among flows of traffic from different users. While fairness in bandwidth allocation over a shared link has been extensively studied, overall end-to-end fai...

Our objective is to use information on the vehicles approaching an intersection to control the traffic signal. Recent work in this area has used this information to minimize the average delay of vehicles controlled by the signal. We demonstrate that, when there are significant differences in the volume of traffic approaching from different directions, the average delay of the vehicles in the lo...

Objectives: Discussions of fairness in criminal justice risk assessments typically lack conceptual precision. Rhetoric too often substitutes for careful analysis. In this paper, we seek to clarify the tradeoffs between different kinds of fairness and between fairness and accuracy. Methods: We draw on the existing literatures in criminology, computer science and statistics to provide an integrat...

This paper gives a new definition of general weighted (GW) fairness and shows how this can achieve various fairness definitions, such as those mentioned in the ATM Forum TM 4.0 specifications. The GW fairness can be achieved by calculating the ExcessFairshare (weighted fairshare of the left over bandwidth) for each VC. We show how a switch algorithm can be modified to support the GW fairness by...