Results 1 to 10 of about 193,599 (260)
UML-B and Event-B: an integration of languages and tools [PDF]
, 2008 UML-B is a graphical front end for Event-B. It adds support for class-oriented modelling but retains the Event-B concept of a closed system characterized by families of spontaneous events.
Butler, Michael, Snook, Colin
core +2 more sources
A probabilistic extension of UML statecharts: specification and verification [PDF]
, 2002 This paper is the extended technical report that corresponds to a published paper [14]. This paper introduces means to specify system randomness within UML statecharts, and to verify probabilistic temporal properties over such enhanced statecharts which ...
Hermanns, Holger +2 more
core +32 more sources
Applied Mechanics, 2023 The aim of this study is to develop a new method to predict the effective elastic and thermal behavior of heterogeneous materials using Convolutional Neural Networks CNN.
Hamdi Béji +2 more
doaj +1 more source
Horizonte de la Ciencia, 2021 El objetivo fue describir la traducción y la adaptación cultural del examen mental de Carlos Alberto Seguín para el idioma quechua. El proceso de adaptación cultural siguió las etapas de traducción, retrotraducción, comité de jueces y prueba piloto.
Nayeli Bernardina Lozano Condor +4 more
doaj +1 more source
Applied Sciences, 2023 The aim of this study is to establish a new method for predicting the effective elastic and thermal behavior of heterogeneous materials through mathematical curve fitting.
Hamdi Beji +4 more
doaj +1 more source
Design guidelines for human–robot interaction with assistive robot manipulation systems
Paladyn, 2021 The design of user interfaces (UIs) for assistive robot systems can be improved through the use of a set of design guidelines presented in this article.
Wilkinson Alexander +10 more
doaj +1 more source
JISA (Jurnal Informatika dan Sains), 2021 The development of information technology, which is followed by a higher level of competition in the foam product industry, encouraging companies to manage their company's resources properly and to plan effective, systematic and mature activities within ...
Henny Yulianti, Gatot Tri Pranoto
doaj +1 more source
PROTECTION ET GESTION DE L’ENVIRONNEMENT SCOLAIRE DANS LES ÉCOLES DU POOL DE LEMBA (KINSHASA) DE 2019 À 2020 [PDF]
Cahiers Africains des Droits de l’Homme et de la Démocratie ainsi que du Développement Durable, 2023 La qualité de l’environnement dans laquelle évolue l’homme est l’un des paramètres déterminants tant pour son épanouissement que pour un meilleur rendement des activités qu’il exerce dans son milieu. La constitution congolaise protège par ailleurs cette
Christine KOPI MALENDA
doaj
Android-Based Claim System for Electricity Network Customers of PLN Padang Branch
Intensif: Jurnal Ilmiah Penelitian Teknologi dan Penerapan Sistem Informasi, 2022 The Padang branch of the State Electricity Company (PLN) is a BUMN responsible for the electricity aspect. Complaints about various electricity problems are difficult for customers, so it is necessary to have a system that can be used as a place for ...
Apriade Voutama +2 more
doaj +1 more source
PRISE EN CHARGE EDUCATIVE DES ENFANTS SOLDATS DEMOBILISES DANS LES ECOLES DE LA SOUS-DIVISION URBAINE DE L’EPSP KINDU I (PROVINCE DU MANIEMA) DE 2019 A 2020 [PDF]
Cahiers Africains des Droits de l’Homme et de la Démocratie ainsi que du Développement Durable, 2023 La question de la prise en charge éducative des enfants soldats démobilisés nous a préoccupée dans cette étude. A bien considérer les choses, nous nous trouvons face au défi de donner accès à l'école à tous les enfants de notre pays, sans distinction de ...
Christine KOPI MALENDA
doaj