Double implementation in a market for indivisible goods with a price constraint

I consider the problem of assigning agents to objects where each agent must pay the price of the object he gets and prices must sum to a given number. The objective is to select an assignment-price pair that is envy-free with respect to the true preferences. I prove that the proposed mechanism will implement both in Nash and strong Nash the set of envy-free allocations. The distinguishing feature of the mechanism is that it treats the announced preferences as the true ones and selects an envy-free allocation with respect to the announced preferences.

Differential epipolar constraint in mobile robot egomotion estimation

The estimation of camera egomotion is a well established problem in computer vision. Many approaches have been proposed based on both the discrete and the differential epipolar constraint. The discrete case is mainly used in self-calibrated stereoscopic systems, whereas the differential case deals with a unique moving camera. The article surveys several methods for mobile robot egomotion estimation covering more than 0.5 million samples using synthetic data. Results from real data are also given

Constraint algorithm for k-presymplectic Hamiltonian systems. Application to singular field theories

The k-symplectic formulation of field theories is especially simple, since only tangent and cotangent bundles are needed in its description. Its defining elements show a close relationship with those in the symplectic formulation of mechanics. It will be shown that this relationship also stands in the presymplectic case. In a natural way,one can mimick the presymplectic constraint algorithm to obtain a constraint algorithmthat can be applied to k-presymplectic field theory, and more particularly to the Lagrangian and Hamiltonian formulations offield theories defined by a singular Lagrangian, as well as to the unified Lagrangian-Hamiltonian formalism (Skinner--Rusk formalism) for k-presymplectic field theory. Two examples of application of the algorithm are also analyzed.

Constraint satisfaction techniques under uncertain conditions for fault diagnosis in nonlinear dynamic systems

The speed of fault isolation is crucial for the design and reconfiguration of fault tolerant control (FTC). In this paper the fault isolation problem is stated as a constraint satisfaction problem (CSP) and solved using constraint propagation techniques. The proposed method is based on constraint satisfaction techniques and uncertainty space refining of interval parameters. In comparison with other approaches based on adaptive observers, the major advantage of the presented method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements and model errors and without the monotonicity assumption. In order to illustrate the proposed approach, a case study of a nonlinear dynamic system is presented

Comparison of Work Scheduling Using Constraint Programming or Auctions

Business processes designers take into account the resources that the processes would need, but, due to the variable cost of certain parameters (like energy) or other circumstances, this scheduling must be done when business process enactment. In this report we formalize the energy aware resource cost, including time and usage dependent rates. We also present a constraint programming approach and an auction-based approach to solve the mentioned problem including a comparison of them and a comparison of the proposed algorithms for solving them

Bit loading for MIMO with statistical channel information at the transmitter and ZF receivers

For single-user MIMO communication with uncoded and coded QAM signals, we propose bit and power loading schemes that rely only on channel distribution information at the transmitter. To that end, we develop the relationship between the average bit error probability at the output of a ZF linear receiver and the bit rates and powers allocated at the transmitter. This relationship, and the fact that a ZF receiver decouples the MIMO parallel channels, allow leveraging bit loading algorithms already existing in the literature. We solve dual bit rate maximization and power minimization problems and present performance resultsthat illustrate the gains of the proposed scheme with respect toa non-optimized transmission.

Gauge-invariant actions from constraint Hamiltonian dynamics

Dirac's constraint Hamiltonian formalism is used to construct a gauge-invariant action for the massive spin-one and -two fields.

Complications of guided surgery and immediate loading in oral implantology: a report of 12 cases

Objectives: The growing interest in minimally invasive surgery, together with the possibility of fitting prostheses with immediate function, have led to the development of software capable of planning and manufacturing a surgical guide and prosthesis that can be placed upon conclusion of the implant surgery step. The present study evaluates the surgical and prosthetic complications of implant treatment with the guided surgery technique, together with patient comfort during and after treatment. Patients and methods: A retrospective observational study was made of 19 patients with partially or totally edentulous upper and/or lower maxillae, involving the placement of a total of 122 implants. All cases were planned and operated upon with the guided surgery technique. Results: A total of 122 implants were placed in 14 males and 5 females. The intraoperative surgical complications comprised a lack of primary stability, while the postoperative complications consisted of infections and a lack of implant osteointegration. Ten implants failed. The prosthetic complications in turn comprised loosening of the provisional prosthesis screws, prosthesis tooth fracture, and a lack of passive fit of the immediate prosthesis. The degree of patient satisfaction was evaluated using a verbal scale. Conclusions: Implant restoration with the guided surgery technique and immediate functional loading is a predictable procedure, provided patient selection and the surgical technique are adequate, affording lesser postoperative morbidity and increased patient satisfaction thanks to the immediate restoration of esthetics and function

Variable-stiffness composite panels: Defect tolerance under in-plane tensile loading

Automated Fiber Placement is being extensively used in the production of major composite components for the aircraft industry. This technology enables the production of tow-steered panels, which have been proven to greatly improve the structural efficiency of composites by means of in-plane stiffness variation and load redistribution. However, traditional straight-fiber architectures are still preferred. One of the reasons behind this is related to the uncertainties, as a result of process-induced defects, in the mechanical performance of the laminates. This experimental work investigates the effect of the fiber angle discontinuities between different tow courses in a ply on the un-notched and open-hole tensile strength of the laminate. The influence of several manufacturing parameters are studied in detail. The results reveal that 'ply staggering' and '0% gap coverage' is an effective combination in reducing the influence of defects in these laminates

Estimating the effects of fiscal policy under the budget constraint

I reconsider the short-term effects of fiscal policy when both government spending and taxes are allowed to respond to the level of public debt. I embed the long-term government budget constraint in a VAR, and apply this common trends model to US quarterly data. The results overturn some widely held beliefs on fiscal policy effects. The main finding is that expansionary fiscal policy has contractionary effects on output and inflation. Ricardian effects may dominate when fiscal expansions are expected to be adjusted by future tax rises or spending cuts. The evidence supports RBC models with distortionary taxation. We can discard some alternative interpretations that are based on monetary policy reactions or supply-side effects.