Verification of the Bully Election Algorithm for Distributed Systems Using TLA+ and PlusCal
Современные информационные технологии и IT-образование, 2022 This article is devoted to verification of the bully election algorithm for distributed systems with TLA+ and PlusCal. In this work, we show an overview of the basic information about distributed systems, then we show definition of election algorithms ...
Aleksey Polyakov +3 more
doaj +1 more source
Journal of Pure and Applied Microbiology, 2023 This study aims to scrutinize the phenolic secondary metabolites in the polar peel decocture of Malus domestica var Maharaji via hyphenated techniques along with the study of the antibacterial, anti-candida, and tyrosinase inhibitory potential of ...
Ashfaq Ahmad Shah +5 more
doaj +1 more source
Comparison of the lipophilicity parameters of drospirenone and lynestrenol [PDF]
Farmacja Polska, 2022 The aim of this study was the chromatographic analysis of two steroid compounds; drospirenone and lynestrenol, representing the group of pro- and gestagens, respectively, and its application to determine the lipophilicity parameters of both these ...
Agnieszka Kusztal +2 more
doaj +1 more source
The inspiratory capacity/total lung capacity ratio as a predictor of survival in an emphysematous phenotype of chronic obstructive pulmonary disease. [PDF]
, 2015 BackgroundForced expiratory volume in 1 second (FEV1) grades severity of COPD and predicts survival. We hypothesize that the inspiratory capacity/total lung capacity (IC/TLC) ratio, a sensitive measure of static lung hyperinflation, may have a ...
Balfe, David +4 more
core +1 more source
A Simplified Microgrid Model for the Validation of Islanded Control Logics
Energies, 2017 Microgrids (MGs) may represent a solution in the near future to many problems in the energy and electric world scenarios; such as pollution, high reliability, efficiency and so on.
Andrea Bonfiglio +5 more
doaj +1 more source
BMC Medical Education, 2022 Background Interprofessional education (IPE) aims to improve students’ collaborative competencies and behaviour. The effect of classroom IPE on students’ perceptions of collaboration in clinical practice, and how knowledge is possibly transferred, has ...
Carolyn Teuwen +5 more
doaj +1 more source
TLC: temporal logic of distributed components
Proc. ACM Program. Lang., 2020 Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To manage this complexity, network middleware has been traditionally built in layered stacks of components.We present a novel ...
Jeremiah Griffin +3 more
semanticscholar +1 more source
Lung volumes identify an at-risk group in persons with prolonged secondhand tobacco smoke exposure but without overt airflow obstruction. [PDF]
, 2018 IntroductionExposure to secondhand smoke (SHS) is associated with occult obstructive lung disease as evident by abnormal airflow indices representing small airway disease despite having preserved spirometry (normal forced expiratory volume in 1 s-to ...
Arjomandi, Mehrdad +9 more
core +2 more sources
Turbocompound Power Unit Modelling for a Supercapacitor-Based Series Hybrid Vehicle Application
Energies, 2020 In this paper, starting from the measurements available for a 2000 cm3 turbocharged diesel engine, an analytical model of the turbocharger is proposed and validated.
Matteo Repetto +4 more
doaj +1 more source
Isolation of new racemic sugar (D/L galacturonic acid) from leaves of Paederia foetida Linn. [PDF]
, 2011 New racemic sugars (D/L galacturonic acid) were isolate from the leaves of Paederia foetida Linn by the column chromatography.
Hans Raj Bhatt +5 more
core +2 more sources