Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics by Long Pham, Jan Hoffmann

“…This article presents the first sound worst-case input generation algorithm for concurrent programs under non-monotone resource metrics like memory. …”
Get full text

Exploring pre-service mathematics teachers’ thinking for solving linear programming word problems by Al Jupri, Dian Usdiyana, Sumanang Muhtar Gozali

“…Solving word problems in linear programming presents significant challenges, not only for secondary school students but also for pre-service mathematics teachers. …”
Get full text

Informatization programs as a component of the mechanism of e-government implementation: comparative characteristics of cities by G.I. Zhekalo, A.V. Klyuchenko

“…Therefore, the main purpose of the article is to compare the characteristics of the public information program at the local level. We found out that the most important method of informing the public and ensuring communication between government and the public is the operation of official websites. …”
Get full text

A generalized behavioral-based goal programming approach for decision-making under imprecision by Mohamed Sadok Cherif

“…The body of literature on goal programming (GP) approaches in modeling preferences and the satisfaction philosophy in multi-objective programming (MOP) decision-making processes is extensive. …”
Get full text

The use of business games in the education of masters in the program “Protection of information space of economic activity” by V. A. Sizov

“…The concept of the business game defines the requirements for the specification of the rules of interaction of participants (actors) of the information and educational space in accordance with their role features, taking into account the implementation at the organizational level of the EIF (European Interoperability Framework).Results. The article presents the concept of using business games in preparing masters for the program “Protecting the Information Space of Economic Actors”, substantiates the need to use business games for specific disciplines of the program, proposes an approach to implementing business games in the educational process based on the interaction of key actors in the information and educational space built on the basis of virtualization technologies.Conclusion. …”
Get full text

The Shift Towards Balancing Programs and Performance and its Role in Improving Government Performance in Iraq by Mokhaled Fouad Shujaa, Aminaa Abdelah Halboos, Rami Abbas Hameed

“… The research aims to examine the level of familiarity and understanding of PPBS program budget and performance by financial managers, accountants and bankers working in public sector institutions, and measure the contribution of the accounting system followed by public sector institutions to successfully adopt PPBS, while highlighting the benefits that can be obtained during the adoption of PPBS in improving government performance In addition to presenting a proposed model for balancing programs and performance in Iraq, and exploring the technical challenges that can be faced when implementing the program and performance balancing system in public sector institutions. …”
Get full text

Compliance to enhanced recovery program in liver resection surgery: A retrospective cohort study by Abiya Pradhan, Anshuman Sarkar, Srimanta Haldar, Arunangshu Chakraborty, Angshuman Rudra Pal

Get full text

An Assessment of the Satisfaction of Students-Teachers with the Quality of Cultural Programs at Farhangian University in the Province of Kordestan by Bakhshali Aeini

“…The purpose of the present study is to evaluate the satisfaction of students with the quality of cultural programs. …”
Get full text

Effectiveness of Self-determination Training Program on Social Self-efficacy in Adolescents with Visual Impairment by Razieh Ghanbari Sheikh Shabani, Mohammad Ashori

“…The experimental group participated in the self-determination training program in 10 sessions of 60 minutes, while the control group did not participate in this program. …”
Get full text

Steps for Meaningful Community Partnership in Research: An Intersectional Feminist Research Program Case Study by Mona Loutfy, Wangari Tharao, Jill Koebel, V. Logan Kennedy, Angela Underhill, Notisha Massaquoi, Stephanie Smith, Mary Ndung'u, Yasmeen Persad, Claudette Cardinal, Jasmine Cotnam, Valerie Nicholson, Brenda Gagnier, Renée Masching, Carrie Martin, Mina Kazemi, Ashley Lacombe-Duncan, Carmen H. Logie, Angela Kaida

“…In this article, we critically examine the history of CBPR, specifically in the HIV field, from an intersectional feminist lens. We then present a case study of our research program: the Women and HIV Research Program, as a framework for meaningful community partnership. …”
Get full text

Structured Rehabilitation Program for Multidirectional Shoulder Instability in a Patient with Ehlers-Danlos Syndrome by Takashi Kitagawa, Nobumasa Matsui, Dai Nakaizumi

“…Patients with Ehlers-Danlos syndrome (EDS) present many musculoskeletal disorders. The purpose of this case report was to describe the effectiveness of a scapular motor control program for a patient with multidirectional severe shoulder instability due to EDS, with 6-month follow-up. …”
Get full text

Prostate Cancer Detection by Novice Micro-Ultrasound Users Enrolled in a Training Program by Hannes Cash, Sebastian Hofbauer, Neal Shore, Christian P. Pavlovich, Stephan Bulang, Martin Schostak, Erik Planken, Joris J. Jaspars, Ferdinand Luger, Laurence Klotz, Georg Salomon

“…MethodsA training program registry was assessed for the rate of clinically significant prostate cancer (csPCa, grade group ≥ 2), negative predictive value, and specificity at each stage of the program. …”
Get full text

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-programs by Dmitry A. Kondratyev, Alexei V. Promsky

“…The meta generator of the correctness conditions receives the C-kernel program and Hoare logic for the C-kernel as input. …”
Get full text

Modeling solar power plants with daily data using genetic programming and equivalent circuit by Alireza Reisi, Abbas‐Ali Zamani, Seyyed Masoud Barakati

“…In this article, a method independent of the manufacturer's data for modeling solar panels is presented. This method enables accurate modeling of pre‐installed solar power plants. …”
Get full text

Synthesis of program angular motions of the Earth remote sensing spacecraft with high spatial resolution by S. Yu. Gorchakov

Get full text

Selection of desirable characters for papaya genetic improvement programs associated with hydric and thermal stress by Taís F. Costa, Beatriz G. Lopes, Glaucia A. Faria, Otavio A. P. da S. Ribeiro, Paula Suares-Rocha, Juliana F. de Lima, Lucas M. Felizardo, Enes Furlani Junior

“…When exposed to hydric and thermal stress, the Tainung Nº 1 cultivar outperformed the Golden cultivar for the evaluation characteristics selected for use in genetic improvement programs.…”
Get full text

Software program development of a high-precision magnetometer system for human-occupied vehicles by Q. Zhang, Q. Zhang, K. Zhou, M. Deng, L. Huang, C. Li, Q. Zhang

Get full text

Optimal Biofunctionalization of Gold Nanoislands for Electrochemical Detection of Soluble Programmed Death Ligand 1 by Zahra Lotfibakalani, Borui Liu, Monalisha Ghosh Dastidar, Thành Trân‐Phú, Krishnan Murugappan, Parisa Moazzam, David R Nisbet, Antonio Tricoli

“…Soluble programmed death ligand‐1 (sPD‐L1), a pivotal immune checkpoint protein, serves as a biomarker for evaluating the efficacy of cancer therapies. …”
Get full text

Didactics of the Fundamentals of Computer Programming with a Computational Thinking Approach Based on Turtle Graphs by Jesus Insuasti, Edwin Insuasty, Alexander Baron

“… Computer programming fundamentals often present significant challenges, particularly in developing computational thinking and problem solving skills. …”
Get full text

Consequence modeling and analysis of ethanol leakage from storage tank using the ALOHA program by Sinan Doğan, Müge Ensari Özay

Get full text