Regular population monotonic allocation schemes

The paper introduces a refinement of the notion of population monotonic allocation scheme, called regular population monotonic allocation scheme (regularpmas). This refinement is based on economic situations in which players may have to select new partners from a set of potential players and in which there exist certain capacity constraints. A sufficient condition for the existence of a regularpmas is given. For the class of games with regularpmas, we prove that the core coincides with the Davis and Maschler and the Mas-Colell bargaining sets.     

Monitoring the packet gap of real-time packet traffic

Real-time packet traffic is characterized by a strict deadline on the end-to-end time delay and an upper bound on the information loss. Due to the high correlation among consecutive packets, the individual packet loss does not well characterize the performance of real-time packet sessions. An additional measure of packet loss is necessary to adequately assess the quality of each real-time connection. The additional measure considered here is the average number of consecutively lost packets, also called the average packet gap. We derive a closed form for the average packet gap for the multiclassG/G/m/B queueing system in equilibrium and show that it only depends on the loss behavior of two consecutive packets. This result considerably simplifies the monitoring process of real-time packet traffic sessions. If the packet loss process is markovian, the consecutive packet loss has a geometric distribution.     

Exact Max-SAT solvers for over-constrained problems

We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of individual clauses, and that allows one to declare each block either as hard (i.e., must be satisfied by any solution) or soft (i.e., can be violated by some solution). We then present two Max-SAT solvers that find a truth assignment that satisfies all the hard blocks of clauses and the maximum number of soft blocks of clauses. Our solvers are branch and bound algorithms equipped with original lazy data structures, powerful inference techniques, good quality lower bounds, and original variable selection heuristics. Finally, we report an experimental investigation on a representative sample of instances (random 2-SAT, Max-CSP, graph coloring, pigeon hole and quasigroup completion) which provides experimental evidence that our approach is very competitive compared with the state-of-the-art approaches developed in the CSP and SAT communities. Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal.     

Asymptotic stability of semigroups associated with linear weak dissipative systems with memory

We study the asymptotic behavior of the solutions of a class of linear dissipative integral differential equations. We show in the abstract setting a necessary and sufficient condition to get an exponential decay of the solution. In the case of the lack of exponential decay, we find the polynomial rate of decay of the solution. Some examples are given.     

Polynomial Stability to Three-Dimensional Magnetoelastic Waves

In this work we show that the energy associated to the linear three-dimensional magneto-elastic system decays polynomially to zero as time goes to infinity, provided the initial data is smooth enough.     

N,N‐dimethylaminopyridine as initiator in the copolymerization of diglycidylether of bisphenol A with six‐membered cyclic carbonates

N,N‐Dimethylaminopyridine (DMAP) was used as initiator to cure mixtures of diglycidylether of bisphenol A (DGEBA) and 1,3‐dioxan‐2‐one (TMC) or 5,5‐dimethyl‐1,3‐dioxan‐2‐one (DMTMC). The curing was studied by differential scanning calorimetry (DSC) and Fourier transform infrared in the attenuated‐total‐reflection mode (FTIR/ATR). FTIR/ATR was used to monitor the competitive reactive processes and to quantify the evolution of the groups involved in the curing. We observed the formation of five‐membered cyclic carbonates and anionic carbonate groups that remain unreacted at the chain ends. The formation of these groups was explained by the attack of the anionic propagation species on the methylene carbon of the carbonate group, which leads to an alkyl‐oxygen rupture. By performing the cure in the thermobalance we could evaluate the loss of CO₂ produced in the samples containing carbonates. The kinetics were studied by DSC and analyzed with isoconversional procedures. The addition of carbonates slows down the curing rate. Thermogravimetric analysis (TGA) and dynamic mechanical thermal analysis (DMTA) experiments were used to evaluate the properties of the materials obtained. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 2873–2882, 2006     

On the permanence of the null character of Maxwell fields

A critical review of known results about the permanence conditions for the null character of the solutions to the (vacuum) Maxwell equations, is presented. Concomitants of the electromagnetic field and the metric tensor are constructed, which give the principal directions of the field in covariant form. The known permanence conditions are generalized in order to includeall the (local) null fields; the above concomitants allow these conditions to be explicitly formulated in terms of the electromagnetic field.Supported in part by Conselleria de Cultura, Educació i Ciència de la Generalitat Valenciana.