Linear ?-minimax estimators for a bounded normal mean have been explored by Vidakovic and DasGupta (1992). They have found that the risk of linear ?-minimax rules is close to the risk of exact ?-minimax rules. However, the linear rules are not very natural when one estimates bounded parameters. In this paper we explore some modiications of linear rules with two goals in mind: (i) addressing the...

We initiate a systematic study of linear sketching over F2. For a given Boolean function f : {0, 1} → {0, 1} a randomized F2-sketch is a distributionM over d×n matrices with elements over F2 such thatMx suffices for computing f(x) with high probability. We study a connection between F2-sketching and a two-player one-way communication game for the corresponding XOR-function. Our results show tha...

We consider the other direction: the 2-stage stochastic programming problem (or also called stochastic recourse problem). Conceptually one should think of the decision process taking place in two stages. In the first, values for the first stage variables x are chosen. In the second, upon a realisation of the random parameters, a recourse action is to be taken in case of infeasibilities. Costs a...

The last author's affiliations are listed incorrectly on the website, but are correct in the down-loadable PDF. The publisher apologizes for the error. Juraj Gregan is affiliated with: an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and sourc...

One of the better studied properties for operators in judgment aggregation is independence, which essentially dictates that the collective judgment on one issue should not depend on the individual judgments given on some other issue(s) in the same agenda. Independence is a desirable property for various reasons, but unfortunately it is too strong, as, together with mild additional conditions, i...

Alternating vector addition systems are obtained by equipping vector addition systems with states (VASS) with ‘fork’ rules, and provide a natural setting for infinite-arena games played over a VASS. Initially introduced in the study of propositional linear logic, they have more recently gathered attention in the guise of multi-dimensional energy games for quantitative verification and synthesis...