ANALYSIS OF THE REQUIREMENTS OF INTERNATIONAL AND NATIONAL STANDARDS FOR MEASUREMENT METHODS AND METROLOGICAL EQUIPMENT by Roman Trishch, Olga Maletska, Olena Cherniak, Julija Semionova, Vladislav Jancis

Get full text

BrainTumNet: multi-task deep learning framework for brain tumor segmentation and classification using adaptive masked transformers by Cheng Lv, Xu-Jun Shu, Xu-Jun Shu, Quan Liang, Jun Qiu, Zi-Cheng Xiong, Jing bo Ye, Shang bo Li, Cheng Qing Liu, Jing Zhen Niu, Sheng-Bo Chen, Hong Rao

“…However, existing research largely focuses on single-task modeling, lacking comprehensive solutions that integrate tumor segmentation with classification diagnosis. …”
Get full text

Even Simple Processes of π-calculus are Hard for Analysis by Marat M. Abbas, Vladimir A. Zakharov

Get full text

Commissioning and Quality Assurance of Catalyst+ HD Surface-guided Radiotherapy on TrueBeam HyperArc Linear Accelerator: An Indian Experience in Precision Radiotherapy by Adhimoolam Saravana Kumar, Juergen Meyer, A. Dinesh Babu, Sekar Sankar, Esposito Marco

“…Materials and Methods: The C-RAD SGRT system was commissioned according to the guidelines of the American Association of Physicists in Medicine Task Group 147 and the European Society for Radiotherapy and Oncology–Advisory Committee for Radiation Oncology Practice report. …”
Get full text

Property-Directed Inference of Relational Invariants by Dmitry A. Mordvinov

“…., from relational verification tasks, PDR aims to infer an inductive invariant for each uninterpreted predicate. …”
Get full text

Comparisons between processing linguistic and mathematical negations from the perspective of the practice effect and working memory by Hikari Kinjo, Toshiki Saito

“…The current study examined the one-step and two-step procedure accounts from the perspective of the practice effect and working memory by comparing performance in two simple linguistic and mathematical verification tasks. Two online experiments were conducted with simple verification tasks over 10 practice sessions: a figure-equation task (e.g., ● ≠ ▲) and a figure-sentence task (e.g., ● is not ▲). …”
Get full text

Facial Kinship Recognition Through Dilated-Stacked-Unified Attention Network by Ahmed A. Dabas, Mohamed A. Ismail, Nagia M. Ghanem

“…Facial kinship verification (FKV) and facial kinship identification (FKI) are two major tasks in facial kinship recognition (FKR). …”
Get full text

Unified Monitor and Controller Synthesis for Securing Complex Unmanned Aircraft Systems by Dong Yang, Wei Dong, Wei Lu, Sirui Liu, Yanqi Dong

“…Furthermore, we design two methods based on specification generation and re-synthesis to solve the problem of task generation using metrics for reactive synthesis. …”
Get full text

Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications by Jaekwon Kim, Hyo-Sang Lim, Kwanghoon Choi

Get full text

PRALU language - the tool for verifying digital devices by D. I. Cheremisinov

“…The task of creating a testbench for functional verification is considered. …”
Get full text

An Evaluation Method for Distribution Network Operation Based on Multi-source Data Deep Fusion by Junfeng QIAO, Aihua ZHOU, Lin PENG, Yiqing WANG, Xiaofeng SHEN, Sen PAN, Pei YANG, Chenhong HUANG

“…Scientific evaluation of the distribution network’s operational level is thus an important task for power supply companies. However, the existing evaluation methods are difficult to implement and apply due to the fact that the multi-source data are hard to be fused and the evaluation indicators are poor in reflecting the actual operation status of the distribution network. …”
Get full text

To the experience in the use of tests for current control of knowledge on historical geology in MGRI by E. S. Gaponenko, L. V. Novgorodova, E. S. Lekaj, R. U. Eremenko, V. N. Komarov, A. O. Andruhovych

“…The possibilities of using test tasks of various forms for the current control of the objective assessment of students knowledge of historical geology have been clarified. …”
Get full text

FPGA-Based Particle Swarm Collaborative Target Localization Algorithm for UAV Swarms by Chuanhao Zhang, Changsheng Li, Zhipeng Chen, Haojie Li, Hang Yu

Get full text

Design of Fixed Cell-Based Programmable Logic Gate Using Quantum-Dot CA for Efficiency and Reliability of Digital Systems by Jun-Cheol Jeon

Get full text

Design for Testability of Integrated Circuits and Project Protection Difficulties by E. Ph. Pevtsov, T. A. Demenkova, A. A. Shnyakin

“…This paper considers this task from the standpoint of the analysis of the methodology of design for testability (DFT), i.e., a complex of measures that provide obtaining solutions at the design stage. …”
Get full text

Analysis of information flow security using software implementing business logic based on stored database program blocks by A. А. Timakov

“…The aim of the work is to transfer information flow control from the language level to the level of formal verification. This will enable the functions of controlling data integrity and confidentiality in software to be isolated into a separate task, which can be resolved by information security analysts.Methods. …”
Get full text

Creating a quasi-linear model of an elastic damper support of the gas turbine engine rotor by A. G. Tereshko, M. K. Leontiev

Get full text

Smart Real-time Attendance System for Nigerian Universities by Mikailu Habila, Faseki N. Francisca, Luwani Ishaya, Muhammed Kabir Ahmed, Umar A. Muhammad, Haruna P. Charles

“…It automates essential tasks like attendance percentage calculation and report generation, ensuring compliance with the National Universities Commission (NUC) 75% attendance requirement for exam eligibility. …”
Get full text

Description of The Experiment: The Effectiveness of the Use of an Interactive Pedagogical Website by a Teacher of Russian as a Foreign Language by S. V. Marchuk

“…The intended goal defined the tasks: 1) define the concept of pedagogical experiment; 2) state the essence of the subject of the experiment; 3) make a scientific description of the experiment. …”
Get full text

Pedagogical design of a digital teaching assistant in massive professional training for the digital economy by E. G. Andrianova, L. A. Demidova, P. N. Sovetov

“…The presented procedure for comprehensive assessment of a student’s solution included verification of the correctness of the result and plagiarism checks in the case of tasks created manually by the teacher; this also involved validation for compliance with coding style standards, along with metrics for assessing program complexity, etc. …”
Get full text