Conservatoire national des arts et métiers

About: Conservatoire national des arts et métiers is a education organization based out in Paris, France. It is known for research contribution in the topics: Population & Orthogonal frequency-division multiplexing. The organization has 3573 authors who have published 7127 publications receiving 141430 citations. The organization is also known as: CNAM & Conservatoire des arts et métiers.

Solving the ignoring problem for partial order reduction

Abstract: Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algorithm based on this principle may ignore some interleavings by delaying the execution of some actions provided that an equivalent interleaving is explored. However, if one does not choose postponed actions carefully, some of these may be infinitely delayed. This pathological situation is commonly referred to as the ignoring problem. The prevention of this phenomenon is not mandatory if one wants to verify if the system halts but it must be resolved for more elaborate properties like, for example, safety or liveness properties. We present in this work some solutions to this problem. In order to assess the quality of our propositions, we included them in our model checker Helena. We report the result of some experiments which show that our algorithms yield better reductions than state of the art algorithms like those implemented in the Spin tool.

New determination of the fine structure constant and test of the quantum electrodynamics

Abstract: We present a new measurement of the ratio h/m Rb between the Planck constant and the mass of 87Rb atom. A new value of the fine structure constant is deduced, α−1 = 137.035 999037 (91) with a relative uncertainty of 6.6 × 10−10. Using this determination, we obtain a theoretical value of the electron anomaly a e = 0.001 159 652 181 13(84) which is in agreement with the experimental measurement of Gabrielse (a e = 0.001 159 652 180 73(28)). The comparison of these values provides the most stringent test of the QED. Moreover, the precision is large enough to verify for the first time the muonic and hadronic contributions to this anomaly.

The Music Industry in the Digital Era: Toward New Contracts

Abstract: Digital piracy, although negatively altering the recorded music market, has a positive impact on other segments of the music market, such as live music or ancillary goods, because it generates a positive externality benefiting those activities Through a 2-player strategic game between a record company and an artist, this study shows that a renegotiation of music contracts could allow the internalizing of this positive externality, while being welfare-improving for both record companies and artists This study also shows, however, that pervasive piracy is not desirable for an artist