ANALYZING NON-MARKOVIAN SYSTEMS BY USING A STOCHASTIC PROCESS CALCULUS AND A PROBABILISTIC MODEL CHECKER


Sleeping sickness in travelers - do they really sleep?

The number of imported Human African Trypanosomiasis (HAT) cases in non-endemic countries has increased over the last years.The objective of this analysis is to describe the clinical presentation of HAT in Caucasian travelers.Literature was screened (MEDLINE, Pubmed) using the terms "Human African Trypanosomiasis", "travelers" and "expatriates"; al

read more


Identification and Prioritization of Solutions for Handling of Administrative Violations Time Reduction among Medical Universities Staff and Their Subsidiary Organizations

Background: Administrative violations of employees at their workplace create a conflict between individual and organizational goals.Due to the long process of handling these violations, this study aimed to identify and present some suitable solutions in order to reduce delay in the health sector.Materials and Methods: This study was carried out at

read more

Innovational forms of scientific old-printed editions catalogues preparation on the example of the Poetry in Ukrainian Old-Printed Editions project

The article is devoted to the presentation of complex bibliological and literary research, aimed at the scientific bibliography register, introduction into scientific use and exploration of Ukrainian poetry, printed within old-printed editions of the late 16th through the 18th centuries.The catalogues of Cyrillic old-printed editions featured more

read more