Many algorithms that are originally designed without explicitly considering incentive properties later combined with simple pricing rules and used as mechanisms. A key question is therefore to understand which algorithms, or, more generally, algorithm design principles, when payment such pay your bid, yield mechanisms a small price of anarchy. Our main result concerns based on the relax-and-rou...

Dynamically adaptive systems (DAS) must cope with changing system and environmental conditions that may not have been fully understood or anticipated during development time. RELAX is a fuzzy logic-based specification language for making DAS requirements more tolerable to unanticipated environmental conditions. This paper presents AutoRELAX, an approach that generates RELAXed goal models that a...

In this paper, a simple but effective method for compensation of the quadrature error in MEMS vibratory gyroscope is provided. The proposed method does not require any change in the sensor structure, or additional circuit in the feedback path. The mathematical relations of the proposed feedback readout system were analyzed and the proposed solution assures good rejection capabilities. Based on ...

Hemoglobin is a tetrameric oxygen transport protein in animal bodies. However, there is a paucity of information regarding differences between alpha and beta subunits of hemoglobin in terms of oxygen affinity. The sequential model of Koshland, Nemthy and Filmer (KNF model) has attributed similar affinities to both alpha and beta subunits. The main purpose of the present study is to construct a ...

This paper considers the capacitated multi-level lot-sizing problem with setup times, a class of difficult problems often faced in practical production planning settings. In the literature, relax-and-fix is a technique commonly applied to solve this problem due to the fact that setup decisions in later periods of the planning horizon are sensitive to setup decisions in the early periods but not...

We analyze the relaxation of fronts propagating into unstable states. While “pushed” fronts relax exponentially like fronts propagating into a metastable state, “pulled” or “linear marginal stability” fronts relax algebraically. As a result, for thin fronts of this type, the standard moving boundary approximation fails. The leading relaxation terms for velocity and shape are of order 1yt and 1y...