-
1
-
2
Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms
Published 2024-12-01Subjects: Get full text
Article -
3
-
4
Developing the data management component of an academic discipline program for an educational management information system
Published 2023-02-01Subjects: “…educational process, data management, digitalization, educational environment, information systems to support the educational process, educational programs and standards, academic discipline program…”
Get full text
Article -
5
Requirement patterns in deductive verification of poST Programs
Published 2024-03-01Subjects: Get full text
Article -
6
Model checking programs in process-oriented IEC 61131-3 Structured Text
Published 2024-03-01Subjects: Get full text
Article -
7
THE IMPORTANCE OF MUNICIPAL PROGRAMS IN THE BUDGET PROCESS
Published 2017-10-01“…The development and introduction into the budget process of programs designed for all levels of the Russian budget system made it possible to draw up the budget as a policy document defining targets and results to be achieved in the execution of the financial plan of the government. …”
Get full text
Article -
8
El uso de Chat GPT en la enseñanza de las Ciencias Sociales
Published 2024-12-01“…Globally, teachers face the challenge of integrating tools like chatbots, specifically ChatGPT, into the teaching-learning process. These programs, capable of generating quick and accurate responses, provide a significant advantage for students by saving time in the search and analysis of information. …”
Get full text
Article -
9
The Implementation of Drug Abuse Rehabilitation to Prevent Relapse: A Systematic Literature Review
Published 2024-01-01“…The results showed that the successful implementation of drug rehabilitation programs is influenced by various factors, including intrinsic motivation, social support, and fulfillment of psychological needs during the rehabilitation process. Rehabilitation programs can shift clients’ perspectives, enabling a better understanding of life’s values and meaning. …”
Get full text
Article -
10
Utilising resistance feedback for software implementation in healthcare
Published 2024-03-01“…Among the main problems, the article discusses the following things: creating open and transparent communication channels for shareholders; joint problem-solving sessions with all stakeholders; an iterative approach to implementing IT projects in healthcare facilities, which allows reviewing, adjusting, and agreeing on solutions at each iteration; involving shareholders in decision-making at the early stages of the software implementation process; comprehensive programs to improve shareholder competencies; targeting opinion leaders who are supporters of changes in the organisation; maintaining continuous feedback, etc.…”
Get full text
Article -
11
-
12
Komunikasi dan Pembangunan Partisipatif
Published 2006-12-01“…Through the new development principles, hopefully, members of village might actively participate in development process. The program called Community Action Plan (CAP) based on community participation releases document such as Mid-term Development Plan on the level of village. …”
Get full text
Article -
13
Correlation between drug resistance and basic indicators of homeostasis at development of side effects at the patients treated under program DOTS-Plus
Published 2012-12-01“…Received data were subjected to statistical processing at program Statistica 6.0 for Windows.…”
Get full text
Article -
14
-
15
THE MANAGEMENT TOOLS USED IN THE DECISION-MAKING PROCESS
Published 2017-05-01“…The specificity of the different management tools and their diversification have represented the starting point for taking into consideration the process decision program chart and the activity network diagram. …”
Get full text
Article -
16
An integrated AHP-GP-GA approach for public project portfolio selection problem
Published 2025-10-01“…The study presents integrated models of the Analytic Hierarchy Process, Goal Programming, and Genetic Algorithm (AHP-GP-GA) by removing the bias of each model for Public PPSP and building a relationship between the developed models.The AHP method was utilized to establish project selection criteria, allocate relative priority values to stakeholders, and calculate the overall weighting of project alternatives. …”
Get full text
Article -
17
Expression of a cell death marker (clusterin) in muscle target fibers
Published 1993-09-01“…Clusterin, a protein probably related to the process of programmed cell death (apoptosis), was specifically very highly expressed in target fibers. …”
Get full text
Article -
18
Profiling the Nutritional, Phytochemical, and Functional Properties of Mung Bean Varieties
Published 2025-02-01Get full text
Article -
19
SURFACE CAST IRON STRENGTHENING USING COMBINED LASER AND ULTRASONIC PROCESSING
Published 2013-04-01“…The paper provides an analysis of ultrasonic surface plastic deformation and subsequent laser thermal strengthening of gray cast iron parts in the regime of hardening from a solid state with the purpose to obtain strengthened surface layers of bigger depth and less roughness of the processed surface. Program complex ANSYS 11.0 has been used for calculation of temperature fields induced by laser exposure. …”
Get full text
Article -
20
Protocol for genetic dissection of class switch recombination using genome-editing tools
Published 2025-06-01“…Summary: Antibody class switch recombination is achieved through programmed DNA damage, and the processing of programmed DNA lesions requires the coordinated action of many DNA metabolic factors. …”
Get full text
Article