Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata by Xiang-Yu Zhou, Shiqi Jin, Yang Mei, Xu Sun, Xue Yang, Shengzheng Nie, Wenjun Zhang

“…These findings also hold reference value for other intelligent systems with potential hazards.…”
Get full text

Selection and Verification of the Agitator in the Regeneration Tank by Lv Wei, WANG Shu-ying, LI Gui-hui, LI Jian

Get full text

Rectify the impact of shorter red blood cell lifespan upon HbA1c detection values in T2DM patients: modeling and internal-external verification by Li Zhang, Li Zhang, Ximan Gao, Ximan Gao, Xuying Meng, Xuying Meng, Guangyang Ma, Guangyang Ma, Jing Li, Jing Li, Weilin Wang, Weilin Wang, Sisi Chen, Sisi Chen, Yongjian Ma, Pei Yu, Pei Yu, Saijun Zhou, Saijun Zhou

Get full text

Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

“…A new approach to programming and verification of PLCprograms is shown by an example. For a discrete problem we give a ST-program, its LTL-specification and an SMV-model.A purpose of the article is to describe an approach to programming PLC, which would provide a possibility of PLC-program correctness analysis by the model checking method.Under the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas. …”
Get full text

Public danger of crime: the concept and criteria of verification by N. A. Lopashenko, A. V. Golikova, E. V. Kobzeva, D. A. Kovlagina, M. M. Lapunin, K. M. Khutov

Get full text

IDENTIFICATION AND VERIFICATION OF DYNAMIC PARAMETERS FOR THE WELDING MANIPULATOR by Radka JÍROVÁ, Lubomír PEŠÍK

Get full text

Verification Makhov,s profile for slow positron in Germanium by Sabah Mahmuoud Aman Allah

Get full text

Construction and Verification of PLC LD-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

“…An approach to construction and verification of PLC LD-programs for discrete problems is proposed. …”
Get full text

Comparison of Style Features for the Authorship Verification of Literary Texts by Ksenia Vladimirovna Lagutina

“…The article compares character-level, word-level, and rhythm features for the authorship verification of literary texts of the 19th-21st centuries. …”
Get full text

Enhancing Forecast Verification in National Meteorological and Hydrological Services by Thomas C. Pagano, Elizabeth E. Ebert, Mohammadreza Khanarmuei

“…This work highlights the value of fostering a strong verification culture, supported by collaboration and knowledge sharing across the international meteorological community. …”
Get full text

Cryobiopsy in morphological verification of central lung cancer with necrosis by I. S. Mamenko, I. V. Vasilev, G. S. Belyaev, M. M. Mortada, A. O. Nefedov, T. A. Novitskaya, P. K. Yablonskiy

“…However, the diagnostic value is significantly reduced in the presence of necrosis in the tumor. …”
Get full text

IDENTIFICATION AND VERIFICATION OF HEREDITARY SPHEROCYTOSIS BY MEANS OF LABORATORY DIAGNOSIS by Yu. A. Prokhorova, E. E. Zueva, N. E. Sokolova, G. N. Salogub, V. I. Golubeva

“…In this study we have assessed diagnostic value of hematological parameters provided by the hematological analyzer Beckman Coulter Cellular Analysis System DxH800 for identifying the degree of erythropoiesis disorder in patients with hereditary spherocytosis at the stage of reticulocytes maturation. …”
Get full text

Dosimetric verification of clinical radiotherapy treatment planning system by Kolarević Goran, Jaroš Dražan, Marošević Goran, Ignjatić Dejan, Mirjanić Dragoljub

Get full text

Using SPIN for Verification of Multi-agent Data Analysis by N. O. Garanina, E. V. Bodin, E. A. Sidorova

“…The paper presents an approach to formal verification of multi-agent data analysis algorithms for ontology population. …”
Get full text

Current Situation, Problems and Solutions of Trading Typical Environmental Interest Products by Rong GUO, Yang SHI, Lijie SUN, Mingli CUI, Daoshun ZHA, Tiantian FENG

Subjects: Get full text

Preparation, characterization and activity verification of xylooligosaccharides from plantain straw by Wenming Jiang, Fang Li

Get full text

Fish-aggregating-devices are viable for ocean model currents verification by Saima Aijaz, Gary B. Brassington, Lauriane Escalle

Get full text

ARIMA MODEL VERIFICATION WITH OUTLIER FACTORS USING CONTROL CHART by Tarisa Umairah, Nurfitri Imro'ah, Nur'ainul Miftahul Huda

“…This conclusion can be drawn based on the observation that the residual value is within the predetermined control limits, thus indicating that the process is in a state of statistical control.…”
Get full text

Application of diagnostic methods in the verification of Lyme carditis (clinical case) by K.V. Myndziv, N.I. Yarema, N.Ya. Vereshchahina, V.I. Bondarchuk, U.P. Hevko, O.V. Vayda

Get full text

Hearing aid verification: Practices and perceptions of South African audiologists by Jared Moll, Zani Burger, Daneel M.P. Jacobs, Retshepisitswe P. Mothibe, De Wet Swanepoel, Faheema Mahomed-Asmail

“…Conclusion: There are several challenges faced by South African audiologists in performing verification. It may be feasible to address these barriers by raising awareness about the value of verification, offering training, and advocating for the purchase and utilisation of verification equipment. …”
Get full text