This article proposes novel off-line test generation techniques from non-deterministic timed automata with inputs and outputs (TAIOs) in the formal framework of the tioco conformance theory. In this context, a first problem is the determinization of TAIOs, which is necessary to foresee next enabled actions after an observable trace, but is in general impossible because not all timed automata ar...

Introduction. According to WHO data for 2020, colorectal cancer occupies first (highest) position (excluding non-melanoma skin cancer) in the top ranking list of most frequent cancers Russian Federation. Colorectal screening plays a pivotal role early diagnosis and treatment. The best positive threshold values hemoglobin concentration quantitative fecal immunochemical test (FIT) are postulated ...

The Break-Off method is the most recent development in in-place concrete strength testing. In this method, the force required to break-off an in-place concrete cylinder 2.17 in. (55 mm) in diameter and 2-2/4 in. (70 mm) long, is related to the compressive strength of the concrete from a predetermined calibration curve developed for this concrete mix. The reliability of the BreakOff method to te...

the present study was designed to develop a preliminatory cognitive screeting test battery for differentiating brain damaged patients, from psychiatric patients and normal subjects.based on previous researches, the items scales, administraion and scoring instructions for the test battery were prepared. the test included the following scales: attention, memory, construction ability, receptive la...