FROM A MODEL OF CONCURRENCY TO A TEST MODEL: A GRAPH TRANSFORMATION BASED APPROACH

Maximality-based Labeled Transition Systems (MLTS) is semantic model for true concurrency. In other hand Mixed Refusal Graphs  (MRG)  are models  for  formal  testing.  In  this  paper, we  propose  an  approach  to  transform  an MLTS model  to  an equivalent  MRG  model.  Since  the  input  and  output  models  are  graphs,  we  use  graph  transformation  to  perform  this transformation automatically. So, we propose  two meta-models; one for the input model and the other for the output model. Then,  based  on  these meta-models we  propose  a  graph  grammar  that  deals with  the  transformation  process.    The meta-modeling tool ATOM3 is used. Our approach is illustrated through an example

Reusable photocatalytic optical fibers for underground, deep-sea, and turbid water remediation

An approach for underground, deep, and turbid water remediation is presented based on optical fibers with a photocatalytic coating. Thus, photocatalytic TiO2 P25 nanoparticles immobilized in a poly(vinylidene difluoride) (PVDF) matrix are coated on polymeric optical fibers (POFs) and the photocatalytic performance of the system is assessed under artificial sunlight. To the best of our knowledge, poly(methyl methacrylate)-POF coated with TiO2/PVDF and the reusability of any type of POF for photocatalytic applications are not previously reported. The photocatalytic efficiency of the hybrid material in the degradation of ciprofloxacin (CIP) and its reusability are evaluated here. It is shown that 50 w/w% of TiO2 P25 achieves a degradation of 95% after 72 h under artificial sunlight and a reusability of three times leads to a loss of activity inferior to 11%. The efficient removal of ciprofloxacin and the stability of the POF coated with TiO2 P25 successfully demonstrate its suitability in the degradation of pollutants with potential application in regions with low light illumination, as in underground and deep water.Peer ReviewedPostprint (published version

Les interactions verbales dans le marché des Trois Horloges à Bab El Oued : structure et spécificités

Our work focuses on the development of commercial interactions in one of the markets Algiers, namely the Trois Horloges market in Bab El Oued. This is a descriptive study to identify the general structure of this type of interaction (opening sequence, the body of the interaction also called thematic sequence, closing sequence, participants, etc.) and the specificities of the traders’ speech of this commercial site.To reach our aim, we have based our research on four commercial interactions, recorded in this market, in which seller and the buyer enter into commercial transactions with each other.At the end of this study we noticed that these commercial interactions are of the following structure : opening sequence (containing greetings and ritualized formulas), the body of the interaction (containing the query, the response to the request, return of money) and the closing sequence which consists of the thanks and greetings announcing the separation of the participants.It has also been revealed to us that within this type of interaction, the participants in this case the traders use a specific lexicon such as : the code switching (of the intra-phrastic type) and new words thanks to lexical creativity

Le fibroélastome papillaire cardiaque (à propos de neuf cas)

LYON1-BU Santé (693882101) / SudocPARIS-BIUM (751062103) / SudocSudocFranceF

Manifestations digestives de la Périartérite noueuse, du syndrome de Churg et Strauss et de la Micropolyangéite (étude rétrospective de 21 cas)

LIMOGES-BU Médecine pharmacie (870852108) / SudocPARIS-BIUM (751062103) / SudocSudocFranceF

REMINET : A European, Multicenter, Phase II/III Randomized Double-Blind, Placebo-Controlled Study Evaluating Lanreotide As Maintenance Therapy after First-Line Treatment in Patients with Non-Resectable Duodeno-Pancreatic Neuroendocrine Tumors

International audienc