SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

“…A SAT-based security protocol formalization analysis method named SAT-LMC is proposed.The method introduces optimized the initial state and transformational rules with “lazy” idea.The efficiency of detection is significantly improved.Moreover，by adding support for strong type flaw attack defect，the attack detection becomes more comprehensive.A security protocol analysis tool is implemented based on the method; a type flaw attack is detected for protocol Otway-Rees.For OAuth2.0 protocol，analysis shows that there is a kind of man-in-the-middle attack of the authorization code in some application scenarios.…”
Get full text

THE QUESTION OF MODERN SYSTEMATIZATION OF DENTAL CARIES IN UKRAINIAN CHILDREN by L. Khomenko, N. Bidenko

Get full text

DIAGNOSTIC ABILITIES OF THE ORAL FLUID IN ONCOLOGY by V. N. Nikolenko, S. V. Kozlov, E. V. Kochurova

Get full text

The Effect of Furazidine on the Parameters of the Leukocyte Formula of Chickens by Andrey Prisnyi, Marina Potapova, Ulyana Krut

Get full text

Hydroxyl-terminated polybutadiene liner curing process monitoring using non-collinear ultrasonic wave mixing technique by Dawei Wang, Yuxin Xie, Xinyi Gao

“…Experimental results demonstrate that the mixed-frequency signals generated within the designed structure exhibit high sensitivity to changes in the curing state of the HTPB layer. In addition, this approach effectively prevents time-domain aliasing between the mixed initial wave and primary echo. …”
Get full text

THE COMPARATIVE ANALYSIS AND RESEARCH OF METHODS OF CALCULATION OF LOSSES OF THE ELECTRIC POWER IN THE SYSTEMS OF ELECTRICAL POWER SUPPLY OF THE INDUSTRIAL ENTERPRISES by E. I. Gracheva, I. I. Ilyasov, A. N. Alimova

Get full text

Small Lesions Evaluation Based on Unsupervised Cluster Analysis of Signal-Intensity Time Courses in Dynamic Breast MRI by A. Meyer-Baese, T. Schlossbauer, O. Lange, A. Wismueller

Get full text

A pilot study of the clinical significance and outcomes of infections in the ICU caused by colistin-resistant Klebsiella pneumoniae by I. N. Sychev, O. V. Ignatenko, S. V. Yakovlev, L. V. Fedina, E. N. Burmistrova, M. P. Suvorova, T. D. Rastvorova, E. V. Strigunkova, R. Kh. Mukhamadiev

Get full text

The influence of oral antimicrobial peptide content on the quantitative microflora composition in periodontal pockets among residents of a large industrial region by I. V. Vozna, S. V. Pavlov, O. V. Voznyi

“…The aim was to study the influence of periodontal pocket microecology state on the local nonspecific resistance in steelworkers with generalized periodontitis. …”
Get full text

Safe Switching Model-Free Value Iteration for General Nonlinear Systems by Timotei Lala

“…We propose an approach called Safe Switching Model-Free Value Iteration (SSMFVI), which guarantees both stability and safety of a system in closed loop with a controller optimized with Value Iteration in a model-free manner. A state dependent switching rule is designed to alternate between the VI tuned controller and an initial known stabilizing admissible controller. …”
Get full text

Clinical characteristics and risk factors for tuberculosis during the COVID-19 pandemic: a longitudinal analysis in a trans-border Ukrainian region by E. Lesnic, L.D. Todoriko

Get full text

Patch-Based Segmentation with Spatial Consistency: Application to MS Lesions in Brain MRI by Roey Mechrez, Jacob Goldberger, Hayit Greenspan

“…The matching labels for these k patches are then combined to produce an initial segmentation map for the test case. Finally an iterative patch-based label refinement process based on the initial segmentation map is performed to ensure the spatial consistency of the detected lesions. …”
Get full text

Fault-Tolerance Distributed Control Plane for Software Defined Networks by Vasily N. Pashkov

Get full text

Diagnostic efficacy of serological and epigenetic methods of screening diagnostics of colorectal cancer by O. I. Kit, D. V. Burtsev, A. Yu. Maksimov

Get full text

AI-driven feedback system: Implementing advanced NLP and openAI for online learning by Liberius Sabinus Koe, Cecep Kustandi, Eveline Siregar

Get full text

Selective and Sensitive Dual Chromogenic Cyanide and Fluorescent Azide Probe by Yousef M. Hijji, Rajeesha Rajan, Amjad M. Shraim, Bassam Attili, Sisay Uota, Fasil Abebe

Get full text

Role and Place of PET/CT in the Assessment of Skin Melanoma Prevalence by M. V. Sorokina, A. N. Redkin, E. Yu. Ustinova, O. V. Manukovskaya

Get full text

Development of a Starter with Protective Systems for a Three-Phase Induction Motor by Hope Orovwode, Simeon Matthew, A. Felix Agbetuyi, U. Anthony Adoghe, Elizabeth Amuta

Get full text

A Fast Image Segmentation Algorithm Based on Saliency Map and Neutrosophic Set Theory by Sensen Song, Zhenhong Jia, Jie Yang, Nikola K. Kasabov

Get full text

THE PERFORMANCE OF A LONG-TERM ANTIBACTERIAL THERAPY IN CHILDREN WITH CYSTIC FIBROSIS DURING PRIMARY PLATING OF PSEUDOMONAS AERUGINOSA by О. I. Simonova, Yu. V. Gorinova, А. V. Lazareva, N. I. Burkina

Get full text