Our work deals with the important problem of globally characterizing truthful mechanisms where players have multi-parameter, additive valuations, like scheduling unrelated machines or additive combinatorial auctions. Very few mechanisms are known for these settings and the question is: Can we prove that no other truthful mechanisms exist? We characterize truthful mechanisms for n players and 2 ...

We establish a convergence property for pseudo-bounded forward orbits of strongly monotone skew-product semiflows with invariant phase-translation group actions. The results are then applied to obtain global convergence of certain chemical reaction networks whose induced systems in reaction coordinates are monotone, as well as the dynamics of certain reaction-diffusion systems, in time-recurren...

In this paper we use the theory of monotone operators to generalize the linear shell model presented in (Blouza and Le Dret, 1999) to a class of physically nonlinear models. We present a family of nonlinear constitutive equations, for which we prove the existence and uniqueness of the solution of the presented nonlinear model, as well as the convergence of the Galerkin method. We also present t...

This paper stresses the role of co-coercivity and related notions in the convergence of iterative schemes for solving monotone, but not necessarily strongly or even strictly monotone variational inequalities. The analysis will be conducted within the conceptual framework of the \auxiliary problem principle".

In this paper we generalise a useful result due to J. Mierczyński which states that for a strictly cooperative system on the positive orthant, with increasing first integral, all bounded orbits are convergent. Moreover any equilibrium attracts its entire level set, and there can be no more than one equilibrium on any level set. Here, more general state spaces and more general orderings are cons...

We provide the operations of matrix addition, multiplication, transposition, and matrix comparisons as executable functions over ordered semirings. Moreover, it is proven that strongly normalizing (monotone) orders can be lifted to strongly normalizing (monotone) orders over matrices. We further show that the standard semirings over the naturals, integers, and rationals, as well as the arctic s...

We prove cocompleteness of the category of CASL signatures , of monotone signatures, of strongly regular signatures and of strongly locally ltered signatures. This shows that using these signature categories is compatible with a pushout or colimit based module system.

The subject of this paper is Modal μ-Calculus, an extension of Modal Logic with operators for least and greatest fixpoints of monotone functions on sets. This logic, introduced by Kozen in [17], is a powerful formalism capable of expressing inductive as well as coinductive concepts and beyond (e.g. safety, liveness, fairness, termination, etc.) and is widely used in the area of verification of ...