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 & Context (language use). 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.

Certification of Automated Termination Proofs

Abstract: Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools which make use of (intricate) decision procedures. But while some proof assistants can checkthe soundness of a proof, they lack automation. Regarding automated tools, one still has to be satisfied with their answers Yes / No / Do not know , the validity of which can be subject to question, in particular because of the increasing size and complexity of these tools. In the context of rewriting techniques, we aim at bridging the gap between proof assistants that yield formal guarantees of reliability and highly automated tools one has to trust. We present an approach making use of both shallow and deep embeddings. We illustrate this approach with a prototype based on the CiME rewriting toolbox, which can discover involved termination proofs that can be certified by the Coq proof assistant, using the Coccinelle library for rewriting.

A nonlinear model of opinion formation on the sphere

Abstract: In this paper we present a model for opinion dynamics on the $d$-dimensional sphere based on classical consensus algorithms. The choice of the model is motivated by the analysis of the comprehensive literature on the subject, both from the mathematical and the sociological point of views. The resulting dynamics is highly nonlinear and therefore presents a rich structure. Equilibria and asymptotic behavior are then analysed and sufficient condition for consensus are established. Finally we address global stabilization and controllability.

Molecular farming on rescue of pharma industry for next generations.

Abstract: Recombinant proteins expressed in plants have been emerged as a novel branch of the biopharmaceutical industry, offering practical and safety advantages over traditional approaches. Cultivable in various platforms (i.e. open field, greenhouses or bioreactors), plants hold great potential to produce different types of therapeutic proteins with reduced risks of contamination with human and animal pathogens. To maximize the yield and quality of plant-made pharmaceuticals, crucial factors should be taken into account, including host plants, expression cassettes, subcellular localization, post-translational modifications, and protein extraction and purification methods. DNA technology and genetic transformation methods have also contributed to great parts with substantial improvements. To play their proper function and stability, proteins require multiple post-translational modifications such as glycosylation. Intensive glycoengineering research has been performed to reduce the immunogenicity of recombinant proteins produced in plants. Important strategies have also been developed to minimize the proteolysis effects and enhance protein accumulation. With growing human population and new epidemic threats, the need for new medications will be paramount so that the traditional pharmaceutical industry will not be alone to answer medication demands for upcoming generations. Here, we review several aspects of plant molecular pharming and outline some important challenges that hamper these ambitious biotechnological developments.