On reliability, safety, and readability of programming languages on the example of Ada language by A. V. Leont’ev

“…These suggestions are mainly related to the reliability and safety of simple, typical structures and statements in programming: typification, compile-time elaborations of variables, status of variables, high-level statements, etc. …”
Get full text

TXM-Pal: a companion software for advanced data processing in spectroscopic X-ray microscopy by Sugeun Jo, Sangwoo Kim, Jun Lim

“…It utilizes X-ray absorption near-edge structure (XANES) for the chemically sensitive mapping of specific elements, making it particularly effective for studying heterogeneous systems. …”
Get full text

Assessing the effects of engineered oyster reefs on shoreline change using drones by Megan E. Geesin, Georgette L. Tso, Hannah Sirianni, Siddharth Narayan, Siddharth Narayan, Chris J. Baillie, Praveen D. Malali, Brandon J. Puckett, Justin T. Ridge, Rachel K. Gittman, Rachel K. Gittman

Get full text

Impact of corporate social responsibility of integrated petroleum engineering enterprises on the performance of their activities by S. V. Frolova

“…The assessment carried out in the integrated structures of oil engineering enterprises can further form the basis for the formed program of measures to involve employees in innovative activity and increase the level of motivation and establishment of CSR policy in the integrated company.…”
Get full text

Self-regulated learning in higher education: strategies adopted by computer programming students when supported by the SimProgramming approach by Daniela Pedrosa, José Cravino, Leonel Morgado, Carlos Barreira

“…Abstract The goal of the SimProgramming approach is to help students overcome their learning difficulties in the transition from entry-level to advanced computer programming, developing an appropriate set of learning strategies. …”
Get full text

GENETIC PROGRAMMING METHOD FOR CONTROL SYSTEMS IDENTIFICATION by Askhat I. Diveyev, Elena A. Sofronova

“…A problem of structural-parametric control systems identification is considered. …”
Get full text

Feasibility of the Hemomindful Program: a mindfulness-based program performed during hemodialysis by Angélica Nickel Adamoli, Bruno Nunes Razzera, Raphaele Nonnenmacher Colferai, Maitê Freitas Ranheiri, Wagner de Lara Machado, Ana Maria Pandolfo Feoli, Ana Regina Noto, Margareth da Silva Oliveira

“…The qualitative analysis indicated satisfaction with the perceived changes (greater awareness in daily activities, less reactivity, management of pain and discomfort) and the structure of the program. Conclusion: The Hemomindful Program showed positive indicators of feasibility, with good retention, acceptability and safety.…”
Get full text

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages by Y. P. Korablin

“…In this case, the program structure containing symbolic notation of operators and expressions remains unchanged while maintaining their execution sequence. …”
Get full text

Solving a Global-Mixed Integer Signomial Geometric Fractional Programming Problem by J. Shirin Nejad, M. Saraj

“…In this paper, first, we convert fractional signomial programming into a nonfractional problem so that it maintains its geometric structure. …”
Get full text

Analysis Mortality in Patients with HIV-infection on Example of a Region with a High Prevalence of Infection by V. Ya. Rosenberg, Yu. K. Plotnikova, E. E. Voronin

Get full text

Integer programming for optimal yaw control of wind farms by F. Bestehorn, F. Bestehorn, F. Bürgel, C. Kirches, S. Stiller, A. M. Tillmann, A. M. Tillmann

“…We propose a mathematical approach that covers the farm by patterns based on a smaller, precomputable so-called upstream section, in the form of integer programming for faster globally optimal farm-level yaw control (under some mild assumptions, such as discretized yaw offsets, chosen size of the upstream section, and homogeneous layout structure). …”
Get full text

The Juice HACCP Program: An Overview by Renee M. Goodrich, Keith R. Schneider, M. E. Parish

“…Thus, HACCP provides a structure for assessing risks or what could go wrong, and for putting the controls in place to minimize such risks. …”
Get full text

The Juice HACCP Program: An Overview by Renee M. Goodrich, Keith R. Schneider, M. E. Parish

“…Thus, HACCP provides a structure for assessing risks or what could go wrong, and for putting the controls in place to minimize such risks. …”
Get full text

PROBLEMS OF POSTGRADUATE TRAINING ORGANIZATION ON THE BASIS OF THE FEDERAL STATE EDUCATIONAL STANDARDS OF THE THIRD LEVEL OF HIGHER EDUCATION by Vasiliy S. Senashenko

Subjects: Get full text

Proof complexity of positive branching programs by Anupam Das, Avgerinos Delkos

“…We investigate the proof complexity of systems based on positive branching programs, i.e. non-deterministic branching programs (NBPs) where, for any 0-transition between two nodes, there is also a 1-transition. …”
Get full text

EDUCATIONAL AND METHODICAL COMPLEX OF CHAIR IN CHEMISTRY by Nikolay F. Stas

“…The purpose and the conceptual basis of a complex in the general and inorganic chemistry are offered. The structure and the contents of the educational complex in chemistry developed at Tomsk Polytechnic University are described, its role in educational process is shown.…”
Get full text

Strain Programming of Oxygen Octahedral Symmetry in Perovskite Oxide Thin Films by Yunkyu Park, Seoung‐Hun Kang, Jeongkeun Song, Sang Woon Hwang, Shan Lin, Jong Mok Ok, Fazhi Yang, Hwangsun Kim, Andrew R. Lupini, Mina Yoon, Sangmoon Yoon, Hua Zhou, Ho Nyung Lee

Get full text

Barriers and Facilitators to Initial and Ongoing Implementation of Community-Based Exercise Programs for Persons with Physical Disabilities: Qualitative Perspectives of Program Pro... by Kristiann E. Man, Olivia Varkul, Lauren Konikoff, Natasha Bruno, Marlee Konikoff, Yetnayet Sisay Yehuala, Amy E. Latimer-Cheung, Jennifer R. Tomasone

“…Fifteen eligible CBEPs were identified, of which nine program providers expressed interest in participating in semi-structured interviews. …”
Get full text

A dynamic programming algorithm for generating chemical isomers based on frequency vectors by Ryota Ido, Naveed Ahmed Azam, Jianshen Zhu, Hiroshi Nagamochi, Tatsuya Akutsu

“…We call two chemical graphs chemical isomers of each other if they have the same feature vector and share a common prescribed structure. Our proposed algorithm produces a compact representation of all chemical isomers of a given chemical graph. …”
Get full text