Results 11 to 20 of about 187,911 (271)
ACM Transactions on Software Engineering and Methodology, 2006 The emergence of the UML as a de facto standard for object-oriented modeling has been mirrored by the success of the B method as a practically useful formal modeling technique. The two notations have much to offer each other. The UML provides an accessible visualization of models facilitating communication of ideas but lacks formal precise semantics. B,
Colin Snook, Michael Butler
exaly +3 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
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
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 +27 more sources
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
Umanistica Digitale, 2023 This paper presents the results of the modelling and analysis of the reading process within the Italian publishing house Einaudi after the Second World War, with a special focus on Natalia Ginzburg (1916-1991).
Laura Antonietti
doaj +1 more source