Zobrazeno 1 - 10
of 3 458
pro vyhledávání: '"Mahe, P"'
Autor:
Boitier, William, Del Pozzo, Antonella, García-Pérez, Álvaro, Gazut, Stephane, Jobic, Pierre, Lemaire, Alexis, Mahe, Erwan, Mayoue, Aurelien, Perion, Maxence, Rezende, Tuanir Franca, Singh, Deepika, Tucci-Piergiovanni, Sara
Federated Learning is a decentralized framework that enables multiple clients to collaboratively train a machine learning model under the orchestration of a central server without sharing their local data. The centrality of this framework represents
Externí odkaz:
http://arxiv.org/abs/2406.03608
This paper presents a novel adversary model specifically tailored to distributed systems, aiming to assess the security of blockchain networks. Building upon concepts such as adversarial assumptions, goals, and capabilities, our proposed adversary mo
Externí odkaz:
http://arxiv.org/abs/2403.14342
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize executions in the form of global traces, given the absence of a global
Externí odkaz:
http://arxiv.org/abs/2403.03083
Runtime Verification (RV) refers to a family of techniques in which system executions are observed and confronted to formal specifications, with the aim of identifying faults. In Offline RV, observation is done in a first step and verification in a s
Externí odkaz:
http://arxiv.org/abs/2403.03057
Autor:
Kai Guo, Qi Wang, Lin Zhang, Rui Qiao, Yujia Huo, Lipeng Jing, Xiaowan Wang, Zixuan Song, Siyu Li, Jinming Zhang, Yanfang Yang, Jinli Mahe, Zhengran Liu
Publikováno v:
Cardiovascular Diabetology, Vol 23, Iss 1, Pp 1-14 (2024)
Abstract Background Insulin resistance is linked to an increased risk of frailty, yet the comprehensive relationship between the triglyceride glucose-body mass index (TyG-BMI), which reflects weight, and frailty, remains unclear. This relationship is
Externí odkaz:
https://doaj.org/article/5a04c3f07c0f49a3a262476e38c29581
Non-deterministic Finite Automata (NFA) represent regular languages concisely, increasing their appeal for applications such as word recognition. This paper proposes a new approach to generate NFA from an interaction language such as UML Sequence Dia
Externí odkaz:
http://arxiv.org/abs/2306.02983
Autor:
Mahe Rukh, Md Shahriar Rahman, K M Nazmus Sakib, Shawon Chowdhury Pantha, Sadia Hasan, Mahe Jabeen, Md Shaninoor Islam
Publikováno v:
Carbon Capture Science & Technology, Vol 12, Iss , Pp 100217- (2024)
Recently, clathrate hydrate-based CO2 separation is considered as one of the most attractive processes for reducing CO2 emissions because of its effective energy utilization, environmental friendliness, and economic viability. The ionic semi-clathrat
Externí odkaz:
https://doaj.org/article/f488553e378d4d79b6eef1d3522ec69e
Autor:
Marta C. Nunes, Edward Thommes, Holger Fröhlich, Antoine Flahault, Julien Arino, Marc Baguelin, Matthew Biggerstaff, Gaston Bizel-Bizellot, Rebecca Borchering, Giacomo Cacciapaglia, Simon Cauchemez, Alex Barbier--Chebbah, Carsten Claussen, Christine Choirat, Monica Cojocaru, Catherine Commaille-Chapus, Chitin Hon, Jude Kong, Nicolas Lambert, Katharina B. Lauer, Thorsten Lehr, Cédric Mahe, Vincent Marechal, Adel Mebarki, Seyed Moghadas, Rene Niehus, Lulla Opatowski, Francesco Parino, Gery Pruvost, Andreas Schuppert, Rodolphe Thiébaut, Andrea Thomas-Bachli, Cecile Viboud, Jianhong Wu, Pascal Crépey, Laurent Coudeville
Publikováno v:
Infectious Disease Modelling, Vol 9, Iss 2, Pp 501-518 (2024)
In July 2023, the Center of Excellence in Respiratory Pathogens organized a two-day workshop on infectious diseases modelling and the lessons learnt from the Covid-19 pandemic. This report summarizes the rich discussions that occurred during the work
Externí odkaz:
https://doaj.org/article/394af13192574e7db6e0839ecd721b80
Autor:
Auwal Muhammad Abdullahi, Yahuza Gimba Muhammed, Muhammad Mahe Mukhtar, Jamila Sani, Muhammad Alhassan Wudil, Nasiru Abdullahi
Publikováno v:
Advances in Medical, Pharmaceutical and Dental Research, Vol 4, Iss 1, Pp 53-62 (2024)
Type two diabetes is associated with adiponectin, which possesses characteristics that makes it sensitive to insulin. The study’s aim was to identify the association of Rs266729 polymorphism in patients attending Murtala Muhammad Specialist Hospita
Externí odkaz:
https://doaj.org/article/c66b42c9615c4667b4867ee81ba025b8
Interactions are formal models describing asynchronous communications within a Distributed System (DS). They can be drawn in the fashion of sequence diagrams and executed thanks to an operational semantics akin to that of process algebras. Executions
Externí odkaz:
http://arxiv.org/abs/2212.09324