Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

“…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
Get full text

ESTIMATING THE EFFICIENCY OF CONTROL OVER CATERING ENTERPRISES IN NIZHNIY NOVGOROD

“…Then, about the same number of respondents indicated the processes such as medical examination of personnel and timely informing of the authorities.The factor causing the greatest concern during the control, according to the managers, is the poor hygiene of the cooks, while the less significant factor, according to respondents, is the violation of the control procedure.Most problems can be solved through the availability of a highly qualified staff, the frequency of violations will be minimized. …”
Get full text

Analisis Komunikasi Interpersonal Pustakawan Dalam Mempersiapkan Akreditasi Di Perpustakaan Pusat Universitas Islam Negeri Raden Intan Lampung by Eriq Tirta Ayatama, Ahmad Basyori, Muhamad Bisri Mustofa

“…Data analysis is conducted descriptively to provide a detailed depiction of communication dynamics, encountered obstacles, and strategies implemented by librarians during the accreditation preparation. …”
Get full text

Effect of Seed Coating and Packaging Material on Viability and Vigor of Soybean Seed in Room Temperature Storage by Olaf Ingmar, Setiyono Setiyono, Dyah Ayu Savitri, Noer Novijanto

“…The second factor was that the storage package consisted of 3 levels, which were N1= aluminum foil, N2= polyethylene plastic, and N3= plastic sack. …”
Get full text

Assessing the students’ evaluations of educational quality (SEEQ) questionnaire in Oman higher education [version 2; peer review: 1 approved, 2 approved with reservations] by Muna Al Kalbani

“…The study was conducted at Muscat College from January to March 2024.Simple randomization implemented at the course level helped to choose the participants. …”
Get full text

Evaluation of didactic units on historical thinking and active methods by Pedro Miralles-Sánchez, Jairo Rodríguez-Medina, Raquel Sánchez-Ibáñez

“…Abstract The purpose of this study is to evaluate the effects of an implementation of eight didactic units on historical thinking and active methods as part of a teacher training programme. …”
Get full text

Grid-Connected Photovoltaic System with Active Power Filtering Functionality by Joaquín Vaquero, Nimrod Vázquez, Ivan Soriano, Jeziel Vázquez

“…A photovoltaic system with added harmonic compensation and power factor correction capabilities is proposed in this paper. …”
Get full text

Resummation for lattice QCD calculation of generalized parton distributions at nonzero skewness by Jack Holligan, Huey-Wen Lin, Rui Zhang, Yong Zhao

“…In this work, we demonstrate that these logarithms are important only in the threshold limit, and derive the threshold factorization formula for the quasi-GPDs in LaMET. We then propose an approach to resum all the large logarithms based on the threshold factorization, which is implemented on a GPD model. …”
Get full text

Canvas Model Business as an Innovation of Teaching Factory Learning in the Fashion Department of 27 Public Vocational High School, Jakarta by Sintha Wahjusaputri, Somariah Fitriani, Suryadi Syarif

“…The quantitative method with in the matrices of Internal Factor Evaluation (IFE) and External Factor Evaluation (EFE). …”
Get full text

Effect of Flow Attack Angle of V-Ribs Vortex Generators in a Square Duct on Flow Structure, Heat Transfer, and Performance Improvement by Amnart Boonloi

“…In addition, the rise in the V-baffle height results in the increase in the Nusselt number and friction factor values. The computational results show that the optimum thermal enhancement factor is about 4.2 at BR=0.20 and 0.15 for the V-Downstream and V-Upstream, respectively.…”
Get full text

The concept of Buen Vivir in the context of green theory in international relations by A. A. Shinkarenko, V. X. Medina González, B. I. Nekrasov

“…The main results of the research are as follows: 1) the role and significance of the environmental factor in modern IR is increasing, while politicization of environmental problems is observed; 2) the number of studies on topics related to environmentalism in IR is increasing, with them becoming one of the dominants of not only public, but also a research discourse; 3) the concept of sustainable development did not fully comply with existing demands, which predetermined the emergence in Latin America of a separate concept of development, with an emphasis on the environmental component, being a Latin American ‘response’ to the search of a model for regulating the relationship of mankind with the environment in order to preserve it; 4) the concept of Buen Vivir was most successfully implemented in Ecuador and Bolivia as these countries are home to a significant number of Native Indians, and their worldview is closely intertwined with the key ideas of the concept.…”
Get full text

Inflation Forecasting: The Practice of Using Synthetic Procedures by E.  V.  Balatskiy, M. A. Yurevich

“…The article contains a review of inflation forecasting models, including the most popular class of models as one-factor models: random walk, direct autoregression, recursive autoregression, stochastic volatility with an unobserved component and of the integrated model of autoregression with moving average. …”
Get full text

Psychometric properties of the critical thinking disposition scale in Peruvian adolescents by Hilda Martínez-Huamán, Josué Edison Turpo-Chaparro, Carlos D. Abanto-Ramírez

“…Furthermore, it enhances intellectual autonomy and adaptability within academic contexts.ObjectivesTo assess the psychometric properties of the Critical Thinking Disposition Scale in Peruvian adolescents.MethodologyThe psychometric adaptation process was implemented to evaluate the relevance, clarity, and comprehension of the items through expert judgment and pilot testing. …”
Get full text

A Joint Optimization Model of Production Scheduling and Maintenance Based on Data Driven for a Parallel-Series Production Line by Kai Zhu

“…Finally, a case study is used to demonstrate the implementation and potential applications of the proposed model. …”
Get full text

Post-war development of ecotourism in Ukraine: domestic and international experience by I.V., V.V., D.R.

“…It is also important to cooperate with international organizations involved in ecotourism for the implementation of international standards and recommendations for the development of this industry. …”
Get full text

Increased Productivity and Quality Of Presto Food Production through Automatic Presto Machines by Sri Handajani, Bellina Yunitasari, Raden Roro Hapsari Peni Agustin Tjahyaningtijas, Agung Prijo Budijono, Susi Tri Umaroh

“…The implementation method is carried out through a participatory approach, training and mentoring, as well as discussion activities between the proposing team and partners. …”
Get full text

Clonal hematopoiesis of indeterminate potential and heart failure by E. A. Lyasnikova, L. Yu Ivanchenko, S. N. Kozlova, M. Yu. SITNIKOVA, A. A. Kostareva, E. V. Shlyakhto

“…Modern studies demonstrate that clonal hematopoiesis of indeterminate potential (CHIP) is a risk factor for the development and prognosis of heart failure (HF) of various origin. …”
Get full text

Control charts as a tool for improving the quality of laboratory analyses by Đukić Miloš, Vasiljević Sanela, Adamović Dragana, Požega Emina

“…The validity of test results represents one of the most important aspects in the implementation of the SRPS ISO/IEC 17025 standard and is a key factor in the operation of accredited laboratories. …”
Get full text

La política industrial del MAS (2006-2019): una aproximación institucional a los limitantes del cambio estructural en Bolivia by Fernando De-La-Cruz-Prego

“…Specifically, it is focused on the institutional dimension of industrial policies and on the hypothesis that institutional problems have been a determining factor in the inability of the new model to translate its policies into structural transformations of the productive economy. …”
Get full text

Supplemental Feeding as Preventive Measure for Overweight and Obesity in Children With Regard to the Concept of First 1000 Days by Irina A. Belyaeva, Leyla S. Namazova-Baranova, Tatiana V. Turti

“…The time and procedure for implementation of supplemental feeding according to the formula «nutrition under the control of the child» is discussed. …”
Get full text