Recent work has unveiled a theory for reasoning about the decisions made by binary classifiers: classifier describes Boolean function, and reasons behind an instance being classified as positive are prime-implicants of function that satisfied instance. One drawback these works is they do not explicitly treat scenarios where underlying data known to be constrained, e.g., certain combinations fea...

We establish existence of stochastic financial equilibria on filtered spaces more general than the ones generated by finite-dimensional Brownian motions. These equilibria are expressed in real terms and span complete markets or markets with withdrawal constraints. We deal with random endowment density streams which admit jumps and general time-dependent utility functions on which only regularit...

Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of solution symmetries, and two different types of symmetry-breaking constraints to eliminate these symmetries at the modelling level. We discuss some preliminary computational results.

Unit quaternion is an ideal parameterization for joint rotations. However, due to the complexity of the geometry of S group, it’s hard to specify meaningful joint constraints with unit quaternion. In this paper, we have proposed an effective and accurate method to specify the rotation limits for joints parameterized with the unit quaternion. Joint constrains constructed with our method are adeq...

banks are one of the most important financial sectors in order to the economic development of each country. certainly, efficiency scores and ranks of banks are significant and effective aspects towards future planning. sometimes the performance of banks must be measured in the presence of undesirable and vague factors. for these reasons in the current paper a procedure based on data envelopment...

This paper is concerned with some feasibility issues in mathematical programs with equilibrium constraints (MPECs) where additional joint constraints are present that must be satis ed by the state and design variables of the problems. We introduce su cient conditions that guarantee the feasibility of these MPECs. It turns out that these conditions also guarantee the feasibility of the quadratic...

one of the main factors of premature deterioration of concrete structures is the corrosion of reinforcements. chloride penetration of concrete is one of the main reasons of this phenomenon. therefore, to have durable structure, it is necessary to have concretes with low permeability.there are various methods to evaluate permeability of concrete. finding a relationship between them can be useful...