Assuming that a formal specification is available, one can formally study the validation of a software with respect to its specification. While proof theories are widely investigated, testing theories have not been extensively studied. The idea of deriving test data sets from a specification can be found in [Rig 85], [Sou 88], but there are few other published works. The work reported in this p...

This paper exp lores th e bou ndaries of social issues o r ‘activist’ games with a case stud y on a pop ular game released in 2009 which fosters a critical type of play among the audience. We as sess t he game’s public reception to better understand how contradictory play elements led to an anxiety of ambiguity during open play. Borrowing from the “poetics of open work,” we will demonstrate how...

M. Zenkri, D. di Caprio, C. Pérez-Brokate, D. Féron, J. de Lamare, A. Chaussé, F. Ben Cheikh Larbi, F. Raouafi 1 LPC2M, IPEST, Route Sidi Bou Said, B.P:51 2075 La Marsa, Tunisie 2 Chimie ParisTech, PSL Research University, CNRS, Institut de Recherche de Chimie Paris (IRCP), Paris 3 Faculté des Sciences de Bizerte, 7021 Jarzouna, Université de Carthage, Tunisie 4 Den-Service de la Corrosion et d...

Detecting anomalies in the Brake Operating Unit (BOU) braking system of metro trains is very important for trains’ reliability and safety. However, current periodic maintenance inspection cannot detect at an early stage. In addition, constructing a stable accurate anomaly detection challenging task. Hence, this work, we propose method detecting BOU on vehicles using one-class long short-term me...

We show that the equality m1(f(x)) = m2(g(x)) for x in a neighborhood of a point a remains valid for all x provided that f and g are open holomorphic maps, f(a) = g(a) = 0 and m1, m2 are Minkowski functionals of bounded balanced domains. Moreover, a polynomial relation between f and g is obtained. Next we generalize these results to bounded quasi-balanced domains. Moreover, the main results of ...

The problem of speech modeling for generating stressed speech using a source generator framework is addressed in this paper. In general, stress in this context refers to emotional or task induced speaking conditions. Throughout this particular study, the focus will be limited to speech under angry, loud and Lombard effect (i.e., speech produced in noise) speaking conditions. Source generator th...

Road infrastructure development is one of the government's efforts to improve welfare Indonesian people, both in urban areas and remote areas. The use local materials for road pavement recommended that its can be maximized reduce dependence on originating from outside region. Poso Regency area has potential have a source material form mountain rock aggregates. purpose study was determine charac...

This note is a comment to the article « The Cu–Pb–Zn-bearing veins of Bou Skour deposit (Eastern Anti-Atlas, Morocco): structural control and tectonic evolution » by Aabi et al., published online on May 04, 2021, in Comptes Rendus Geoscience Volume 353, pages 81–99 (https://doi.org/10.5802/crgeos.54). authors’ response this has also been Géoscience 354, 2022, 125–130 (https://doi.org/10.5802/cr...

Through integration of Pb-Zn ± Cu non-sulfide mineralogy, texture, and stable isotope (C, O, S) geochemistry, the world-class Touissit- Bou Beker Jbel Dahar Mississippi Valley-type districts Moroccan Atlasic system have been investigated in order to gain insights into origin processes that contributed formation base metal mineralization. In both districts, direct replacement (“red calamine”) wa...