Science & Mathematics

Software process modeling has attracted much research effort in Software Engineering. However, there is little work reported for the verification of process models. In fact, the verification is often either performed by hand or it is left to the enacting mechanism to detect inconsistencies during execution. Since process models are becoming more and more powerful and complex, their verification is also becoming increasingly difficult and critical. Our proposition is that in the same way as we need process modeling to facilitate software manufacturing, we need special tools to help verify the consistency of software process models. This paper presents part of our research and our experience in designing and prototyping such a tool for the verification of software process models in the ALF project (Esprit No.1520). The tool helps verify the partial consistency of process models by statically detecting various inconsistencies. This prototype uses techniques developed in different fields such as compilation, constraint solving and logic. To our knowledge, this is the first tool of its kind designed for the static checking for process models.

Étude qualitative menée auprès de médecins généralistes de la CPTS Centre-Vendée visant à recueillir leurs attentes et inquiétudes concernant les protocoles “Pollakiurie” et “Odynophagie” impliquant les pharmaciens, tout en identifiant des pistes pour renforcer la sécurité des patients et favoriser une meilleure coordination interprofessionnelle.

We established a conditional site–specific recombination system based on dimerizable Cre– mediated recombination in the apicomplexan parasite Toxoplasma gondii. Using a novel single vector strategy that allows ligand-dependent, efficient removal of a gene of interest, we generated three knockouts of apicomplexan genes considered essential for host-cell invasion. Our findings uncover the existence of an alternative invasion pathway in apicomplexan parasites.

This paper presents a first-order approximation for solving the unsteady Stokes problem using the pressure-correction Goda scheme in the Reduced Order Model (ROM) context. The study begins by formulating a semidiscrete in time approximation of the Stokes problem, followed by the introduction of the Goda time-splitting scheme, employing the first-order Euler approximation for time discretization. A brief overview of the Finite Element (FE) space approximation is also provided. The Proper Orthogonal Decomposition (POD) method is then used to construct a Galerkin projection-based ROM for the Goda equations. An interesting point of the present contribution lies in the choice of inner products used to construct reduced bases for predicted velocities, divergence-free velocities, and pressure. These choices lead to explicit calculations for deriving velocity and pressure solutions within the reduced model. Stability analysis and error estimates for the proposed ROM are derived. Finally, numerical examples are presented to validate the theoretical results, demonstrating the effectiveness and accuracy of the proposed approach also for the simulation of the parametrized incompressible Navier-Stokes equations.

Pas de Résumé disponible

L'abandon dans le cadre de l'apprentissage au sein des MOOC est le talon d'Achille de cette forme d'enseignement. L'accompagnement de l'apprenant dans un dispositif de MOOC est faible essentiellement pour des raisons de coût. De fait, les concepteurs de MOOC font le pari de l'autorégulation de l'apprentissage qui est l'un des piliers de l'autoformation. Cette compétence d'autorégulation est souvent absente chez beaucoup d'apprenants les amenant ainsi à l'abandon de leur formation. C'est pourquoi nous nous intéressons à l'accompagnement de l'apprenant dans les MOOC à travers un compagnon virtuel métacognitif basé sur un système de notifications métacognitives et un modèle d'apprenant ouvert (Open Learner Model). Cela devrait permettre d'améliorer la qualité des apprentissages mais également de lutter contre l'attrition.

Issu d’un travail de thèse soutenu en 2019, cet article explore les modes de collaboration qui ont caractérisé la consultation de 2008 sur le Grand Paris et à l’Atelier international du Grand Paris (AIGP). La place donnée aux architectes qui étaient mandataires des groupements donne lieu à une investigation spécifique sur la manière dont cette position dominante impose des formes de travail à un groupe élargi de professionnels. Il s’agit, par l’examen des relations qui se déploient entre l’architecte mandataire et ses différents partenaires, d’identifier des schémas conventionnels intégrés aux organisations des agences et qui se transposent à l’occasion d’autres types de collaborations.

Plus de 20 % des cancers sont dus à une infection virale, bactérienne ou parasitaire. En effet, le parasite Cryptosporidium parvum (C. parvum) qui est capable d’induire, chez des souris immunodéprimées, le développement d'adénocarcinomes invasifs au niveau gastro-intestinal. Cependant, la compréhension de la pathogénicité de Cryptosporidium a été limitée par l'absence d'un système de culture en continu et à long terme. Il est donc indispensable d’améliorer les systèmes de culture in vitro en mimant le plus possible les conditions de l’in vivo. J’ai participé tout d’abord à la réalisation d’une étude épidémiologique sur des patients Libanais atteints ou non de néoplasies/adénocarcinomes digestifs. Le taux d’infection à Cryptosporidium était significativement plus élevé chez les patients atteints de cancers coliques comparativement aux autres groupes de patients. Offrant ainsi de nouveaux arguments en faveur d’un lien entre l’infection à Cryptosporidium et la pathologie cancéreuse chez l’homme. Ensuite, j’ai développé un modèle de culture tridimensionnelle (3D) à partir d’un côlon murin adulte. Ce système a permis le maintien de l’infection pendant 35 jours et il a mis en évidence le développement in vitro de lésions néoplasiques 27 jours post infection. Il s’agit, de la première description d'une induction de néoplasies intraépithéliales de bas grade dans un système de culture 3D, par un parasite. Afin d’automatiser ce système, j’y ai associé un dispositif de microfluidique. Ce dernier a permis le maintien de la culture pendant 8 jours. Il s’agit de la première description d'une culture tissulaire d’intestin sur un dispositif microfluidique viable pour 8 jours.

The present study aims to numerically predict the mechanical behaviour at the meso-scale of a multiaxial textile, named tetraxial. It has warp, weft, and two diagonal yarns oriented at symmetrical angles (typically ± 45°) interlaced in the same weaving process. The flexibility of the manufacturing technique could allow for hybrid distribution of the yarn materials and, as a consequence, a wide range of mechanical behaviour. For an accurate modelling, a hyperelastic con-stitutive model of the fibrous yarns was considered to account for the peculiar nonlinear behaviour of the textile. The modelling of the tetraxial representative volume allowed predicting the mechanical response for uniaxial and biaxial tensile tests. The comparison of FE analyses with the experimental measurements highlights the accuracy of the numerical model to predict the nonlinear behaviour of the tetraxial textiles.

Le Coendou prehensilis est un porc-épic arboricole nocturne vivant dans les forêts tropicales d’Amérique du Sud et centrale dont la population captive est en voie de développement au sein de parcs zoologiques membres de l’EAZA (Association Européenne des Zoos et Aquariums). Une étude épidémiologique rétrospective auprès de seize parcs a permis l’élaboration d’un descriptif complet des conditions de vie actuelles en captivité et des pathologies observées entre 2016 et 2021. Il a été montré que certains paramètres zootechniques, comportementaux, physiologiques et alimentaires favorisent l’apparition de maladies et influent sur la survie. Les résultats obtenus montrent de grandes disparités entre les parcs et ont permis de prodiguer des conseils en matière d’élevage tout en conservant un esprit critique sur la fiabilité des résultats par manque de cas étudiés.

Nous proposons une méthode de détection et de focalisation sélective en milieu multi-cibles. Elle est dérivée de l'analyse théorique du processus de retournement temporel itératif. Un réseau de transducteurs reversibles et un ensemble de cibles sont caractérisés par une matrice de transfert [MATH], le processus de retournement temporel itératif est alors décrit par l'opérateur [MATH]. On montre que pour des cibles ponctuelles et séparées par le réseau de transducteurs, chaque vecteur propre de [MATH], de valeur propre non nulle fournit la loi de focalisation sur l'une des cibles. Ces résultats sont validés expérimentalement.

La transition démographique actuelle (accroissement du nombre de personnes ayant plus de 50 ans) est associée à des enjeux majeurs notamment celui du financement des retraites, mais elle pose également la question de la place des seniors dans l’entreprise.

Grands troupeaux dans la vallée de Kyaye.

Légende manuscrite sur le document original : "Alpes : Hautes-Alpes : Queyras : Vallée de Queyras - Saint-Véran Les maisons sont étagées de 1900m à 2050m d'altitude. C'est le plus haut village habité de l'Europe". Les plaques de verre déposées à Prodig datent de 1891 à 1954. Géolocalisation : Hypothèse de géolocalisation exacte.