Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by Dmitry A. Kondratyev

“…Cloud parallel programming system (CPPS) is also developed in IIS SB RAS. …”
Get full text

On the double-deck transportation of large-tonnage containers: start of work, suspension of the program, measures for its prolongation by Yu. M. Lazarenko, D. N. Arshintsev, V. V. Semerkhanov, E. A. Mitina, E. V. Kapuskina

“…The article provides the features of the structure of the well platform, the layout of containers in it, the types of tests carried out and data on the experimental transportation of the platform loaded with containers in two decks. …”
Get full text

Effects of fascia-oriented training program on joint position sense, force sense and postural control of dancers by Dimitris Chatzopoulos, Amalia Drakou, Rodoula Gouliamperi, Styliani Douka, Elisavet Konstantinidou

“…The intervention lasted 6 weeks (3 sessions per week, 90 min session). The lesson structure of the intervention group was the same as that of the control group, except for the fascia-oriented training program (15 min per session). …”
Get full text

The effect of nursing shared governance educational program on nurse managers' knowledge for sustainable nursing excellence and empowerment. by Sally Mohammed Farghaly Abdelaliem, Khalid Al-Mugheed, Majdi M Alzoubi, Islam Al-Oweidat, Ghada Mohamed Hamouda

Get full text

Antimicrobial stewardship programs in a network of Canadian acute care hospitals: a cross-sectional survey by Erin McGill, Andrew Neitzel, Jessica J Bartoszko, Maureen Buchanan-Chell, Jennifer Grant, Jenine Leal, Stephanie Smith, Reena Titoria, Olivia Varsaneux, Charles Frenette

“…Design: The survey explored the following items related to ASP programs: 1) program structure and leadership, 2) human, technical and financial resources allocated, 3) inventory of interventions carried and implemented, 4) tracking antimicrobial use; and 5) educational and promotional components. …”
Get full text

Harmonization of community health worker programs for HIV: A four-country qualitative study in Southern Africa. by Jan-Walter De Neve, Henri Garrison-Desany, Kathryn G Andrews, Nour Sharara, Chantelle Boudreaux, Roopan Gill, Pascal Geldsetzer, Maria Vaikath, Till Bärnighausen, Thomas J Bossert

“…Key facilitators to harmonization included (i) a large existing national CHW program and recognition of nongovernmental CHW programs, (ii) use of common incentives and training processes for CHWs, (iii) existence of an organizational structure dedicated to community health initiatives, and (iv) involvement of community leaders in decision-making. …”
Get full text

What components should an ethics and compliance program consist of to help organizations remain ethical and compliant in times of crisis and beyond? by A. Skalska

“…Ethics and compliance programs help organizations behave ethically and in compliance with all rules in a structured and comprehensive way. …”
Get full text

Green and Reliable Freight Routing Problem in the Road-Rail Intermodal Transportation Network with Uncertain Parameters: A Fuzzy Goal Programming Approach by Yan Sun

“…In this study, the author focuses on modeling and optimizing a freight routing problem in a road-rail intermodal transportation network that combines the hub-and-spoke and point-to-point structures. The operations of road transportation are time flexible, while rail transportation has fixed departure times. …”
Get full text

Transport Infrastructure as a Basis for NATO Mobility in Europe: Key Directions and Formats for Development by T. Kh. Meloyan

“…Particular attention is paid to the projects of the Three Seas Initiative (Via Carpatia, Via Baltica, Rail-2-Sea), initiatives within the Trans-European Transport Network (TEN-T) and the Permanent Structured Cooperation (PESCO) programs. Based on the provisions of securitization theory, the author demonstrates mechanisms through which civilian projects acquire military significance, forming dual-use infrastructure. …”
Get full text

Pharmacotherapy in Mental Disorders: Critical Reconsideration by M. M. Reshetnikov

Get full text

Integrative in Silico modeling for mTOR inhibition: From ridge classifiers to descriptor-free deep neural networks by Seyed Alireza Khanghahi, Hadi Kamkar, Seyedehsamaneh Shojaeilangari, Abdollah Allahverdi, Parviz Abdolmaleki

Get full text

Enhancing Emergency Cognitive Ability in College Students Under Emergencies: A Study of Influencing Factors and Hierarchical Relationships by Lei Chen, Hongxia Li

“…The interpretive structural modeling (ISM) method categorized these factors into three levels: direct, key, and root factors. …”
Get full text

Exploring the influence of media and social factors on altruistic behavior using the general learning model and norm activation theory by Chi-Horng Liao

Get full text

THE SHOELACE ALGORITHM IN ENGINEERING: PYTHON APPLICATIONS FOR AREA AND INERTIAL ANALYSIS by Pankaj Dumka, Dhananjay R. Mishra

“…This article explores the method's extension to calculate the centroids and moments of inertia of plane shapes, which is essential for structural and mechanical analysis. By executing these calculations in Python programming, the study shows the method's practicality and flexibility for modern engineering tasks. …”
Get full text

Strategic Human Resource Development for Emerging Technologies: A Scoping Review in ICT, Robotics, Data Science, and CPS by Leonard Chukwualuka Nnadi, Dake Ding, Ebubechukwu Delight Godwin-Ojukwu, Yutaka Watanobe, Keitaro Naruse

Get full text

USING MULTIPLE SHIFTS TO APPLY CCPM PRINCIPLES IN CONSTRUCTION by Ehab Elhosary, Adel Eldesouky, Mohamed Hakam

Get full text

Optimal Allocation of Resources in an Open Economic System with Cobb–Douglas Production and Trade Balances by Kamshat Tussupova, Zainelkhriet Murzabekov

Get full text

Analysis of ICT education in Azerbaijan: current state, foreign experience, problems and prospects by F. T. Agayev, G. A. Mammadova, R. T. Melikova

Get full text

School Transition to the State-Social Management System Based on the Project Approach Application by N. V. Nemova

Get full text

Optimization of food compositions according to the ideal protein profile by S. V. Zverev, V. I. Karpov, M. A. Nikitina

Get full text