Verification Stage Research Articles

PERILAKU PENCARIAN INFORMASI MELALUI JURNAL ELEKTRONIK OLEH MAHASISWA PRODI ILMU PERPUSTAKAAN MENGGUNAKAN MODEL ELLIS

Information seeking behavior is a micro-level search behavior, which is shown by a person when interacting with all types of information systems. This study examines information seeking behavior through electronic journals using the Ellis model which has 8 (eight) stages of information search, namely starting, chaining, browsing, differentiating, monitoring, extracting, verification, and ending. This study also examines the constraints faced by Library Science students in searching for information through electronic journals. This study uses quantitative methods using purposive sampling technique, with a total of 57 respondents. The results showed that there was a small proportion of Library Science students who did not start, namely collecting initial information through experts, lecturers, or friends. At the chaining stage, some students do not use bibliographies of books, journals, scientific papers and also do not specify keywords before searching. At the browsing stage, a small proportion of students did not limit their search so that the information displayed did not come out of the desired topic. While the obstacles they face in searching for electronic journals are networks that often have problems, difficulty in determining keywords, limited information displayed in electronic journals, limited foreign language skills, and also advertisements that appear in electronic journals.

PERFORMANCE AND WORK MOTIVATION OF HONORARY TEACHERS IN ISOLATED VILLAGE (CASE STUDY IN MIS ULUPUS SA'ADAH HULU SUNGAI UTARA)

This research aims to describe the performance and work motivation of honorary teachers at MIS Ulupus Sa'adah, a private Islamic primary education institution located in isolated villages. This research is qualitative with a case study approach. Data were collected through interviews, observation and documentation study. Data analysis was carried out through the stages of data reduction, data display, data verification, and conclusion s . The results showed that although access to madrasah was quite difficult and the salary was not decent, the honorary teachers still showed good performance, this can be seen from; 1) discipline, 2) mastery of learning materials, 3) teaching ability, and 4) activities in teacher professional development. Their good performance is driven by the belief that teachers are a noble profession and providing useful knowledge is an investment in the afterlife whose rewards will always flow even though they have passed away. Their main goal of becoming teachers is not to get wages / salaries in the form of money, but the main thing is to get the value of merits from Allah SWT. They interpret teaching as a form of worship, not as a source of livelihood, so it must be carried out s eriously and sincerely.

Family Dynamics and the Alzheimer's Disease Experience.

Using constructivist grounded theory, this study explored how family groups respond to Alzheimer's disease in its early stages. Seven family units (N = 22) participated in a series of 26 longitudinal interviews and 14 other family caregivers took part in three focus groups at a later stage for refinement and verification of the findings. Data analysis revealed four types of family dynamics: close dynamics at the start that were maintained throughout the experience, close dynamics at the start which became conflicting, conflicting dynamics at the start which remained problematic, and conflicting dynamic at the start which became closer over time. Factors such as prior relationships and family history, motivation to care, family organization, communication, and the family vision for future shaped the development of these dynamics. This theory of family dynamics in Alzheimer's disease has the potential to inform the development of more adequate early interventions for families living with the illness.

Performa Strategis Rumah Bersalin Cuma-Cuma (RBC) Sinergi Foundation dalam Membangun Habitus Kesehatan Kaum Duafa

This study aims to describe the strategic performance of the Rumah Bersalin Cuma-Cuma (RBC) Sinergi Foundation Bandung in building a habitus of health for the d h uafa. This research is motivated by the existence of RBC-SF as a primary clinic that facilitates women of the d h uafa as members with free health and empowerment services sourced from zakat, infaq, alms, and productive waqf funds. The research method used a qualitative approach and focused on case studies, while informants were selected purposively. Data are collected in parallel through observation, interviews, and documentation. Then the data is processed through the stages of collection, reduction, visualization, verification, and conclusion. The results showed that the strategic performance of RBC-SF includes: 1) strengthening the biological capacity of mothers and children; 2) participation and delivery administration support; 3) regular education through recitation and seminars ; 4) capacity building of skills through training; and 5) legitimacy and appreciation for graduation and awareness of members to continue participating in the RBC-SF program. The strategic implications of developing habitus of health, include: 1) building social networks and entrepreneurial skills; 2) the importance of involving spiritual awareness in living life; 3) healthy living culture which is passed down genealogically; and 4) the importance of women's participation in habituating family health.

AUDIT OF CALCULATIONS WHEN USING COMPENSATION OPERATIONS

In a difficult economic situation, with an unfavorable influence of external or internal factors, organizations can use compensation operations. In the course of the audit, the auditor should comprehensively consider not only the compensation transactions, but also identify the reasons for such repayment of obligations by the audited debtor or obtaining the performance of obligation by the audited creditor. Compensation transactions may indicate to the auditor a certain aspects of the audit that need special attention. However, this requires effective tools for conducting verification of these operations in the form of working document formats and descriptions of the stages of verification of compensation operations. The purpose of the study is to present an algorithm for conducting an audit of compensation transactions in the course of conducting an audit, indicating the stages and use of audit procedures, as well as to propose working documents for conducting an audit. The used research methods are the grouping and systematization of information, the method of logical generalization, comparative and factor analysis. The article presents an algorithm for checking compensation transactions, considers the tax aspect of the features of compensation accounting, and provides the format of a working document when checking compensation transactions - both in the accounting of the debtor and the creditor. The above algorithm and working documents provide a methodological basis for conducting an audit.

Переход к рассмотрению дела по правилам другого вида судопроизводства в суде вышестоящей инстанции

The article raises the question of the consequences of detecting errors in the choice of the type of legal procedures not only at the stage of trial in first instance, but also at the stages of verification of court decisions. The authors conclude that at the appeal stages the court should check whether the trial under the rules of an improper type of procedure led or could have led to the illegal and unjustified adjudication. If such circumstances are discovered, the judicial act should be canceled, and in exceptional cases, the case should be returned to the court of first instance. In other cases, the conversion to trial under the rules of other procedure may be carried out at the appeal or cassation.

Kepemimpinan Visioner Dalam Implementasi Program Full Day School Di Madrasah Ibtidaiyah

This study aims to obtain a description of the visionary leadership of the principal in the implementation of the full day school program at MI Modern Al Azhary Ajibarang. This research is a type of field research that uses a qualitative approach. The data were collected by interviewing, observing and documenting then being analyzed through the stages of data reduction, data presentation, and data verification. The results showed that there were five strategies applied in visionary leadership at MI Modern Al Azhary Ajibarang. First, to focus leadership practices on the goals of the full day school program. Second, make short-term and long-term plans for the full day school program. Third, focus on achieving the vision for a successful full day school program. Fourth, responding to various changes made by the full day school program. Fifth, respond to the needs of teachers and student guardians in the implementation of full day school.

The Social Skills of Students in the Pandemic Period (The Case Study in SMAN 1 Kedunggalar, Ngawi District, East Java, Indonesia)

The increasingly prolonged pandemic period and its unclear ending have disrupted all human activities, one of which is learning activities in school. After the physical distancing policy is implemented, student-learning activities are carried out at home. This results in a decrease in the affective skills of students. Besides, the teachers also experience limitations in monitoring students’ affective behavior. Hence, this study's goal is to determine the extent to which students' social skills during the pandemic period. The research subjects were students of Kedunggalar 1 Senior High School (SMA Negeri 1 Kedunggalar), Ngawi Regency, with 76 students as respondents who were randomly selected from various classes, majors, and gender. This research was a qualitative descriptive study. Data collection techniques used questionnaires. Data analysis in this study referred to an interactive analysis model consisting of the stages of data reduction, data presentation, and data verification. Based on the results of this research, it can be seen how the attitude of students' social skills is during the pandemic.

Teachers as Ethnographers: Narrative Study of Inquiry of Indonesian Teachers Assigned to Teach in Remote Areas

<p style="text-align:justify">The research explores the narrative inquiry of Indonesian teachers who are assigned to teach in remote areas. The research was conducted from 2019 until 2020. The teachers, in this case, are considered ethnographers because they try to recognize and enter remote island areas that have not been recognized. During this time, in the education context, narrative inquiry is more focused on teacher identity, teaching, curriculum, assessment, and counseling. In terms of narrative inquiry, the teacher as an ethnographer is very interesting to be studied, because it can provide ethnographic insight into the teacher’s perspective. The research used qualitative methods supported by ethnographic studies and involved 21 participants. Data analysis techniques used were the stages of identification, classification, reduction, and verification. The interview used was unstructured. The results show that the teacher as an ethnographer learned the local language in the early stage. The second stage is understanding the cultural situation of the local community. The third stage is the contribution of the teacher to the local community in the education context.</p>

Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform

The use of hardware caches became essential in modern embedded systems to address the speed gap between processor and memory. In such systems, cache-related preemption delay (CRPD) may represent a significant proportion of task execution time. Addressing this delay in scheduling simulation of these systems stays an open and under-examined problem. Assumptions are often made to simplify the computation model used in simulation and capture the worst-case effect. Nevertheless, they can introduce situations in which scheduling simulation is considered not only pessimistic but also non-sustainable. In this article, we discuss the problem and propose a less pessimistic CRPD computation model that allows sustainable scheduling simulation regarding the capacity parameter. With the proposed model, a system that is schedulable with simulated worst-case execution times remains so when these parameters are reduced. These results improve the applicability of scheduling simulation in the early verification stage for systems with caches. Experiments conducted with our CRPD computation model show a 5% to 12% improvement of schedulability task set coverage and a 30% to 50% reduction of preemption cost with regard to existing CRPD computation models. An integration in a scheduling simulator and a performance evaluation are also realized for the proposed model.

Verification of the code to calculate duct flow affected by external magnetic field

In this paper, the authors present the results of software verification for solving magnetohydrodynamic problem in duct exposed to constant magnetic fields. The proposed approach uses the following open source software: OpenFOAM for solving problems of continuum mechanics using the finite volume method, Elmer for solving magnetic field distribution based on the finite element method, and EOF-library for data exchange between these two programs. The verification results were demonstrated by fluid flow in a square duct exposed to constant uniform spanwise magnetic field. The research was carried out with a laminar fluid flow, which makes it similar to the Hartmann's problem. The existing experience of calculating such problems, their verification and application were discussed. The paper provides a brief mathematical description of the proposed solution and basic procedures for implementing the code proposed by the authors. At the first stage of verification, the comparison of fluid velocity distribution results at Hartmann’s numbers equal to 1, 10, 20 and 50 was demonstrated. These results were obtained by means of proposed software, an analytical solution, and a test problem provided by OpenFOAM developers for two-dimensional case. At the second stage of software verification, sufficient convergence of the results was shown for fluid velocity distribution in the three-dimensional case of the Hartmann’s problem compared with the OpenFOAM test problem data and the results obtained by Comsol Multiphisics and ANSYS. As a result, distributions of the fluid flow velocity between Hartmann’s walls were obtained for various study cases: a two-dimensional problem, a three-dimensional problem with electrically insulated walls, and a three-dimensional problem with walls having infinite electrical conductivity. The last stage of the study corresponds to assessing of software performance in comparison with the built-in OpenFOAM solver and commercial software Comsol Multiphysics and ANSYS. It was found that the proposed approach takes more time to calculate these problems than the built-in OpenFOAM solver, but less than Comsol. However, the problem formulation in EOF-library allows solving problems with complex geometry, which is not available in the built-in OpenFOAM solver. In conclusion, analysis of computation performance with parallelization was carried out. It showed significant reducing of computation time with the help of EOF-library in comparison with the commercial software Comsol and ANSYS .

УДОСКОНАЛЕННЯ МЕТОДИКИ АУДИТУ ПРИБУТКУ

In the article the necessity of receiving of high-quality information about the income of a subject who manages different groups of users for the acceptance of administrative decisions is considered. It is set that the audit of reflection of income indexes in accounting will allow information users to get a confidence in her authenticity. The improvement of audit income methodology will contribute in the efficiency rise during the verification with the aim of offering an independent opinion of an accountant. A conceptual model is worked out with the purpose, which represents key moments of audit of income authenticity in the different forms of accounting: the retained earnings in Balance, forming of net income in Report on financial results, rightness’s of his taxation in the Tax return and legality of the use in Report on a property asset. The indicated model serves as basis for development of the detailed program of audit of income. In the program concrete tasks are determined on all stages of verification, for which the list of methods and accountant’s procedures are selected. Moreover, information sources are selected for research of a problem and working documents. Such program must become the detailed organizationally-methodical instruction for every performer with definitions of tasks implementation. Greater part of enterprise’s income is formed from the main activity, as a difference between a net profit from realization and realized unit cost. Therefore, it is possible to set authenticity of forming of result of accountant’s basic activity after confirmation of terms of confession of profits and charges, rightness of their forming, reflection in the system of account and reports. During the test of correctness of income tax calculation, an accountant studies the object and rate of taxation, especially paying attention to enterprise’s activity terms that allow applying favorable tax treatments. The size of income depends on optimization of the tax loading that is the subject of the business entity’s personal interest. During the verification of profit-using operations constituent documents and annual protocols of founders’ gatherings are investigated in detail that allows learning the sanctioned directions of the enterprise’s income using, check exactness of the realizable withholdings and rightness of the done book-keeping records. At the same time, it is important to pay attention not only to quantitative indexes, but also to analyze quality of income, since this information will be useful for decision making of all groups of the interested users.

Comparison of temporal and spatial patterns of water quality parameters in Anzali Wetland (southwest of the Caspian Sea) using Support vector machine model

Urgent is growing to have reliable information from the country's water resources. In recent years, data mining models such as artificial neural network (ANN), gene expression programming, Bayesian network, machine algorithms, such as a support vector machine (SVM), and Random Forest have found widespread use in the field of simulation and prediction of components in aquatic ecosystems. Variables vary greatly on water quality parameters (due to nonlinear and complex relationships). Therefore, conventional methods are not eligible to solve water resource quality management problems. The aim of this study was to investigate the possibility of simulating the spatial and temporal alterations in water quality parameters during the period 1985-2014 in Anzali Wetland using a SVM model. Based on principal components analysis (PCA), the parameters EC, TDS, pH and BOD5 were selected for analysis in this study. Spearman correlation was calculated to determine the inputs of the model and the correlation coefficient(CC) between the water quality parameters. According to the results of the correlation table analysis, 8 types of structures including different inputs were used to predict the parameters with machine vector. In the next stage, 70% of the data were used to train, while the rest were used for analyzing the models. Criteria for determination coefficient (R2) and root mean square error (RMSE) were used for evaluation and model performance. The results revealed that in verification stage among different used models, the pH had the highest accuracy (0.95), while the lowest RMSE (0.20). Trend of alterations for optimal model of each parameter on a time scale, indicated an adequate estimation at most points. In general, the results exhibited the appropriate accuracy and acceptable performance of the SVM model in simulating water parameters.

Estimation of Suspended Sediment Load Using Artificial Intelligence‐Based Ensemble Model

Suspended sediment modeling is an important subject for decision‐makers at the catchment level. Accurate and reliable modeling of suspended sediment load (SSL) is important for planning, managing, and designing of water resource structures and river systems. The objective of this study was to develop artificial intelligence‐ (AI‐) based ensemble methods for modeling SSL in Katar catchment, Ethiopia. In this paper, three single AI‐based models, that is, support vector machine (SVM), adaptive neurofuzzy inference system (ANFIS), feed‐forward neural network (FFNN), and one conventional multilinear regression (MLR) modes, were used for SSL modeling. Besides, four different ensemble methods, neural network ensemble (NNE), ANFIS ensemble (AE), weighted average ensemble (WAE), and simple average ensemble (SAE), were developed by combining the outputs of the four single models to improve their predictive performance. The study used two‐year (2016‐2017) discharge and SSL data for training and verification of the applied models. Determination coefficient (DC) and root mean square error (RMSE) were used to evaluate the performances of the developed models. Based on the performance measure results, the ANFIS model provides higher efficiency than the other developed single models. Out of all developed ensemble models, the nonlinear ANFIS model combination method was found to be the most accurate method and could increase the efficiency of SVM, MLR, ANFIS, and FFNN models by 19.02%, 37%, 9.73%, and 16.3%, respectively, at the verification stage. Overall, the proposed ensemble models in general and the AI‐based ensemble in particular provide excellent performance in SSL estimation.

Design Approach in Document Management System: The Development of EZDESK Dashboard

Document Management System is a concept of planning and managing a document in various activities simultaneously, which one of common activity is publication from before the conference starts to after the conference finished. Pre-conference activities include the process of registering a conference, the admin process of verifying the registered conference, until the conference has been published. In this case, user experience (UX) orientation and paradigm was investigated through the simplified RMS (Recognize, Materialize and Scrutinize) design approach by generating the prototype with the usability criteria and aspects to comply with the user demand as the critical factors and trigger for comprehensive execution. The EzDesk application is an application designed to assist users in registering conferences and verifying conference registration documents. There are 2 actors, primarily in this module, which are chair as the conference organizer and the admin plays a role in conference verification. To verify a conference to be held, the admin must check the required documents for holding a conference. After going through the verification stage, a conference can be distributed via visualization on the main page of document management system application.

How to Raise Climate Change Awareness to Early Childhood? Perception of In-Service Teacher and Pre-Service Teacher in Indonesia

This research aims to describe in-service and preservice teachers' perspectives to promote climate change awareness in early childhood education. To engage the study, the respondents join an online interview. This study involved 187 respondents, which separated into two categories: pre-service teachers, in-service teachers, 122 and 65, respectively. This research used a qualitative method. To collect the data, this research uses a structured interview. The data analysis technique used the interactive model of Miles & Huberman with the stages of data collection, data reduction, data presentation, verification, and conclusion drawing. This research revealed no significant difference between teachers and preservice teachers in the perspective of climate change awareness in ECE. Both have diverse ways to express and think about the best thing to pursue climate change awareness in children. Participants also understand how to foster children's awareness using suitable media, learning resources, methods, indoor and outdoor play activities. Besides, participants understand how to assess the learning process to implement climate change awareness in early childhood education.

ФІНАНСОВИЙ МОНІТОРИНГ КЛІЄНТІВ ЕКОНОМІЧНИХ АГЕНТІВ НА ПІДҐРУНТІ ВЕРИФІКАЦІЙНО-ІДЕНТИФІКАЦІЙНИХ ВХІДНИХ ТА ВИХІДНИХ ДОКУМЕНТІВ

For the successful conduct of certain financial transactions, economic agents determine the requirements for incoming and outgoing documents and develop appropriate templates for documents and messages. Identifying and verifying persons are effective tools that are given a leading role and help prevent the circulation of criminal funds through the financial and economic system, reveal the sources of illicit income, and identify the beneficiaries of such illegal funds. The article develops a block diagram of incoming and outgoing documents related to identifying and verifying persons subject to financial monitoring by economic agents and provides a detailed description of each stage of verification, requirements for documents, and content. Verification of incoming documents consists of three stages. At the 1st stage, identification documents are checked; at the 2nd stage – constituent documents (charter, founding agreement, model charter, decision on creation, changes to the constituent document, corporate agreement, description of documents, ownership structure, employment agreement (contract), regulations on governing bodies, decisions on election of officials, appointment order, card with sample signatures), at the 3rd stage financial documents (balance sheet, report on financial results, transcripts of balance sheet items, declarations, income statement, certificate on the absence of arrears of payments to the budget, certificate of cash flow from the servicing bank, account statement, certificate of indebtedness, patents, licenses, permits, certificates, certificates, credit agreements, guarantee agreements, letters of credit, loans, collateral, mortgages, guarantees, agreements with suppliers and buyers, lease agreements). The block diagram of the source documents for financial monitoring consists of four tuples, the key determinants of which are notifications to the Specially Authorized Body, notifications to the Security Service of Ukraine, information to the National Bank of Ukraine, letters to the client (servicing, from conducting financial transactions, to freezing the client's assets or to freezing assets on a financial transaction frozen by an economic agent).

РОЗРОБЛЕННЯ ІНТЕРФЕЙСУ КОРИСТУВАЧА МОДУЛЯ АВТОМАТИЗОВАНОГО ВНУТРІШНЬОГО ФІНАНСОВОГО МОНІТОРИНГУ НА ПІДҐРУНТІ UML-МЕТОДОЛОГІЇ

The rapid development of object-oriented programming languages in the late twentieth century contributed to the development of unified modeling languages for graphical description of software development, system design, mapping organizational structures, and modeling business processes of the financial and economic environment. In today's conditions, such broad-profile languages are notations IDEF0, IDEF3 (Integrated Definition for Function Modeling), DFD (Data Flow Diagram), UML (Unified Modeling Language), which allow the effective definition, visualization, design, documentation of automated software modules and systems. The article develops communication models between the main users of the system and the module of automated internal financial monitoring to identify the quality of financial transactions and prevent the legalization of criminal proceeds based on UML charts. The proposed diagrams visualize all stages of verification of the financial transaction, determine the direction of the exchange of messages between the involved modules (services) of internal financial monitoring and the services of the State Financial Monitoring (National Bank of Ukraine, Security Service of Ukraine). Their logic is based on the following actions: the implementation of a financial transaction by the user through a mobile or web application or the Client-Bank system; request of the automated banking system to the financial monitoring module regarding the need for financial monitoring; start of verification by a responsible employee of the bank who communicates with the monitoring module, receives information based on the relevant verification criteria for approving or rejecting a financial transaction, or using a module containing built-in artificial intelligence, business logic and audits financial transactions; receiving inspection results, sending them to the user, responsible employees of the bank; sending letters to the authorized bodies of the state financial monitoring services for those transactions that have not been verified or have risky signs of legalization of criminal proceeds.

Grounds for the cancellation or amendment of court decisions in criminal cases on appeal

The article analyzes the legal regulation and practice of applying the grounds of appeal. The positive and negative sides of the statutory recognition of the grounds of appeal are revealed. The author comes to the conclusion that when establishing such grounds in the Criminal Procedural Code of the Russian Federation, the rules of formal logic and systematization of legislation were violated. The grounds of appeal do not form a unified system, they do not cover all possible violations that entail the delivery of unjust court decisions. As a result of the study, it can be affirmed that the absence of appeal grounds will protect the rights of the individual in criminal proceedings to the maximum extent by maximizing the extension of the subject of the appeal and verification of court decisions, and it will provide ample opportunity for the court of appeal to identify and eliminate any violations committed. In addition to this, it is necessary to increase the requirements for the reasoning of appeals, representations of professional participants in criminal procedures and the quality of the justification and motivation of decisions by courts of appeal. The absence of the grounds of appeal makes it necessary to provide a detailed answer to the arguments of the subjects of the appeal set out in the complaints, as a result of which the decision of the court of appeal becomes not only legal, reasonable, motivated and fair, but also convincing. Equally, the absence of such grounds guarantees the independence of judges and their high professionalism, as well as the demand for creative potential when reviewing court decisions. In turn, the consolidation in the criminal procedure law of various grounds for reviewing court decisions that have entered into legal force will make it possible to limit separate control and verification stages of the criminal process from each other.

A Lightweight Provably Secure Digital Short-Signature Technique Using Extended Chaotic Maps for Human-Centered IoT Systems

Internet of Things (IoT) consists of numerous smart devices for sharing sensed data through the availability of online services. Direct communication by smart devices with people to identify parameters of healthcare and send them to a central repository is crucial. There is a need to secure messages among the sender and recipient during data exchange in order to tackle the malicious attacks by human. To provide secure communication, various signature-based schemes are presented in the literature. However, smart devices require lightweight tasks by guaranteeing essential security strengths. The main difficulty in signature-based methods is more computational cost incurred for signature and verification stages involving large numbers. This article introduces a lightweight provably secure short digital signature technique for safe communication amongst smart devices in human-centered IoT (HCIoT), the security of which is closely related to an extended chaotic maps assumption in a random oracle model (ROM). Moreover, we used less comprehensive operations to accomplish processes of verification and signing, similar to human signing on legitimate documents and then check as per witness. The proposed technique provides a stronger guarantee of protection than existing signature techniques. The key advantage of the presented technique over the DSA techniques is that it takes less computation in the verification stage and signing length; it retains the degree of protection. The presented short signature takes less bandwidth for communication, storage, and computing resources.