Programming Language Research Articles

A Genetic algorithm approach for improving the probabilistic inventory model with the continuous review: A practical application in the department of pharmacy

This study investigates to shed light on artificial intelligence techniques, specifically the genetic algorithm, to improving traditional solutions, as well as finding the best policy for the problem of probabilistic inventory with continuous review by finding the optimal reorder point and the optimal economic quantity to avoid the risk of stock out (shortage), reduce total costs, and reach the optimal solution with little time and effort. The research was conducted in the stores of the department of pharmacy of the Ninawa health department for the period from January 1, 2021, to January 1, 2023, on a sample of three drugs (most demanded drugs). An analysis of the demand data for the study sample was conducted using the statistical program (SPSS Statistics Version 22) to determine the type of inventory. it was found that the type of inventory is probabilistic and the demand data follows a normal distribution. Based on this foundation, the mathematical model for the study problem was built. Given the complexity of the steps and iterations of the traditional solution, the solution steps were applied using the R programming language to reach the model's solution. Additionally, the solution steps were programmed for the genetic algorithm and applied using the R programming language. The results of the genetic algorithm showed an improvement in the traditional solution results by reducing total costs. Based on the results of the genetic algorithm, the economic order quantity, safety stock, reorder period, and safety period were found. Paper type: Research Paper

Robust Ridge-MM Estimator in Restricted Additive Partially Regression Model

This paper, utilized the Restricted Partially Additive Regression Model to analyze air quality data in Baghdad governorate, with a focus on addressing multicollinearity issues among independent variables and outliers in the dependent variable. Through the implementation of classical estimators, ridge estimators, robust estimators, and the imposition of non-random constraints on the parametric parts of the model Through method of Robust Ridge-MM Estimator in Restricted Additive Partially Regression Model, the study aimed to assess the model's effectiveness in dealing with air pollution challenges during the summer season. Results obtained through the use of pre-built packages and algorithms in the R programming language indicated that integrating non-random constraints with robust estimators positively impacted the accuracy of estimating functions. Furthermore, certain variables, such as PM10 (airborne particles with an aerodynamic diameter of up to 10 micrometres), were found to have a significant impact on air quality This is through the parameter values. Non-linear effects were observed for some non-parametric variables. The study highlights the importance of understanding the effects of air pollutants on public health and emphasizes the urgent need for quick solutions to mitigate these negative effects. Paper type: Research paper.

Advanced Security Auditing Methods for Solidity-Based Smart Contracts

The development of smart contracts remains in its early stages, with significant differences in underlying programming languages and application platforms resulting in a lack of standardization. This lack of standardization increases the susceptibility to vulnerabilities and associated financial losses. To address security vulnerabilities in smart contracts on the Ethereum blockchain platform, this paper proposes a security audit method based on formal verification. The method integrates an input module, static analysis module, formal verification module, analog execution module, and report and recommendation module, which can accurately discover the security vulnerabilities and logical flaws of smart contracts through formal verification and other analysis techniques, thus realizing correctness detection. During the experiment, the method detects 8 types of common vulnerabilities in 148 smart contracts and marks 21 smart contracts with vulnerabilities. After manual review and analysis, it is found that 17 of these 21 marked smart contracts do have security vulnerabilities. The experimental results show that the proposed method can accurately detect security vulnerabilities and logic flaws in smart contracts through formal verification and other analysis techniques before smart contracts are deployed, thus significantly improving the security of smart contracts and reducing the economic losses that may be caused by code defects.

Automation of vegetable production analysis in the Russian Federation using a modern information system

The presented study is aimed at solving the problems of information support for making effective management decisions in the field of vegetable growing in Russia based on the use of technologies and tools that automate complex algorithms of statistical analysis, which expands the range of users of up-to-date, reliable and complete information on the factors that shape the volumes and efficiency of production in the vegetable growing industries. The information system proposed by the authors, developed on the basis of the PyCharm2023.1 programming environment using the Python programming language, allows the user to obtain statistical characteristics of the phenomenon under study, apply methods of correlation and regression analysis, ANOVA to identify cause-and-effect relationships, modeling processes and phenomena in order to predict their development. The web application was developed taking into account officially published information on the conditions and results of vegetable production, and its operation has been tested. At the same time, the information system has the potential for development and can be adapted to any data set.

Type-migrating C-to-Rust translation using a large language model

Rust, a modern system programming language, introduces new types that prevent memory bugs and data races. This makes translating legacy system programs from C to Rust a promising approach to enhance their reliability. Since manual code translation is time-consuming, it is desirable to automate the translation. To yield satisfactory results, the translator should have the ability to perform type migration, i.e., removing C types and introducing Rust types in the code. In this work, we aim to automatically port an entire C program to Rust by translating each C function to a Rust function with a signature containing proper Rust types through type migration. This goal is challenging because (1) type migration cannot be achieved through syntactic mappings between type names, and (2) after type migration, function bodies should be correctly restructured based on the precise understanding of the functions’ behavior. To address these difficulties, we leverage large language models (LLMs), which possess knowledge of program semantics and programming idioms. However, naïvely instructing LLMs to translate each function produces unsatisfactory Rust code, containing unmigrated or improperly migrated types and a huge number of type errors. To resolve these issues, we propose three techniques: (1) generating candidate signatures, (2) providing translated callees’ signatures to LLMs, and (3) iteratively fixing type errors using compiler feedback. Our evaluation shows that the proposed approach yields a 63.5% increase in migrated types and a 71.5% decrease in type errors compared to the baseline (the naïve LLM-based translation) with modest performance overhead.

Android Based Sports Infrastructure E-Booking Application at Provincial Youth and Sports Office Using Waterfall Method

Booking is an agreement process in the form of ordering goods or services. The Youth and Sports Service (DISPORASU) is a government agency under the auspices of the Governor of North Sumatra. DISPORASU provides sports infrastructure that can be used by the general public by rental method. In the rental process, DISPORASU still applies the direct rental method, by coming to the DISPORASU office in Medan City, so this results in a large number of tenants piling up at the same time. Therefore, a system is needed that helps tenants in carrying out the infrastructure rental process. The concept is an Android-based Sports Infrastructure E-Booking application. This application was built and designed using the waterfall model and UML (Unified Modeling Language) with several diagrams, namely Use Case Diagrams, Activity Diagrams and Class Diagrams. The programming language used is Dart, Flutter Framework and Firebase as the database. By building this sports infrastructure E-Booking application, it is hoped that it can help improve performance in future business processes and become a reference for employees/staff in this agency itself.

Integration of Circular Economy and Urban Metabolism for a Resilient Waste-Based Sustainable Urban Environment

An unsustainable rate of resource production and consumption is evident in urban environments. The absence of innovative approaches in conjunction with the exponential urbanization and expansion of the global population will inevitably result in substantial environmental consequences. There are two emerging alternatives: circular economy (CE) and urban metabolism (UM). The integration of these principles into novel methodology casts doubt on the linear model of contemporary economic and urban systems, which includes extraction, production, utilization, and disposal. In the development of a distinctive urban framework known as circular urban metabolism, the current study has illustrated the application of these principles. We design this study to motivate urban planners and decision-makers to investigate, develop, and supervise ecologically sustainable cities. Scholars from a variety of academic disciplines, intrigued by the intricacies of urban planning, design, and administration, can foster interdisciplinary collaboration in the circular urban metabolism (CUM) region. To address the research question, we implemented a bibliometric analysis, which involved the examination of 627 pertinent research papers, utilizing the R (R 3.6.0+) statistical programming language. The results emphasize the fundamental characteristics and significance of CUM in the management of refuse. In addition, the findings underscore the importance of creating a novel framework that incorporates the principles of urban political ecology, CUM, sustainability, and the novel dimension of waste metabolism. It is the goal of this framework to emphasize the significance of recycling in the informal sector as a waste management strategy in low- and medium-income countries (LMICs).

OPTIMIZING ROYALTY PAYMENTS FOR MAXIMUM ECONOMIC BENEFIT: A CASE STUDY UTILIZING MODIFIED SHOOTING AND DISCRETIZATION METHODS

This research delves into the application of the modified shooting method for the numerical resolution of non-standard optimal control (OC) problems. More precisely, it concentrates on scenarios where the final state value component remains unknown and unconstrained, leading to a non-zero final shadow value or costate variable. Moreover, the objective function involved a piecewise royalty function, which poses a challenge due to its lack of differentiability within a specific time interval. Consequently, the novel modified shooting method was employed to ascertain the elusive final state value. The model’s differentiability is maintained throughout by adopting a continuous hyperbolic tangent (tanh) approximation. In addition, the construction of the Sufahani-Ahmad-Newton-Golden-Royalty Algorithm (SANGRA) and Sufahani-Ahmad-Powell-Golden-Royalty Algorithm (SAPGRA) was accomplished using the C++ programming language to formulate the problem. The outcomes of these algorithms, satisfying the criteria for optimality, were juxtaposed with non-linear programming (NLP) techniques such as Euler and Runge-Kutta, aside from Trapezoidal and Hermite-Simpson approximations. This groundbreaking discovery carries extensive practical implications as it propels the field forward and ensures the application of contemporary problem-solving methodologies. Moreover, the study underscores the significance of fundamental theory in effectively tackling current economic challenges.

Design Of a Web-Based School Operational Assistance (Bos) Management Information System at SMA Negeri 1 Nggaha Ori Angu

The management of School Operational Assistance (BOS) funds is an annual obligation for educational institutions. The Treasurer is responsible for this activity, which is overseen by the Principal. However, at SMA Negeri 1 Nggaha Ori Angu, the School Operational Assistance (BOS) fund management system is still conducted using a physical ledger. This process has encountered several challenges, including the difficulty in calculating the total funds managed and the lack of efficiency in managing the School Operational Assistance (BOS) funds. The process of utilising the ledger currently results in the unnecessary expenditure of time and effort, in addition to a considerable risk of errors and inaccuracies in the recorded data. In light of the challenges encountered in the management of School Operational Assistance (BOS) funds at SMA Negeri 1 Nggaha Ori Angu, this research aims to develop an Information System for the Management of School Operational Assistance Funds (BOS) using the Rapid Application Development (RAD) method. The web development in this research will employ the Hypertext Preprocessor (PHP) programming language with the CodeIgniter framework, which implements the Model-View-Control (MVC) concept. This technology has the potential to optimize and enhance the quality of School Operational Assistance (BOS) fund management at SMA Negeri 1 Nggaha Ori Angu.

Web-Based Congregation Data Management Information System at Sumba Christian Church Kanjonga Bakul

The rapid development of technology in the current era of globalization has provided many benefits in progress in various social aspects. Every action we take today is closely related to the use of technology, especially in the field of computerization and the internet. Data Management of the Sumba Christian Church (SCC) / Gereja Kristen Sumba (GKS) Kanjonga Bakul Congregation is one of the activities that must be carried out by the church every year, this activity is carried out by BPMJ officers or administrators and monitored by pastors. However, in GKS Kanjonga basket, the system for GKS Jamaat Data Management is still carried out by each congregation assembly to collect data conventionally by collecting photocopies of Family Cards and collecting data directly at each congregation house to recap back to the physical ledger. This process experienced various obstacles, including the difficulty in recapitulating the entire data managed, as well as the lack of efficiency in managing the data of the GKS Congregation. This conventional process leads to a waste of time and effort that should not be happening today, as well as a high risk of errors and inaccuracies in the recorded data. From the problem of data management of the GKS congregation in Kanjonga Bakul, this research will develop an Information System for the Management of Data of the Sumba Christian Church using the Rapid Application Development (RAD) method. The web development in this study will use the Hypertext Preprocessor (PHP) programming language with the CodeIgniter framework that implements the Model-View-Control (MVC) concept. This technology can optimize and improve the quality of data management of GKS congregations in Kanjonga Bakul.

WHOLE BRAIN RADIOTHERAPY FOR INTRACRANIAL METASTATIC DISEASE IN NON-SMALL CELL LUNG CANCER: THE WESSEX EXPERIENCE

Abstract AIMS The QUARTZ trial (2016) reported that corticosteroid therapy was non-inferior to whole brain radiotherapy(WBRT) for non-small cell lung cancer (NSCLC) with regards overall survival(OS). This is a single centre experience of WBRT for NSCLC in the post-QUARTZ era and in the context of the changes in clinical practice over the past 8 years. METHOD Single centre retrospective observational study. Patients included with NSCLC treated with WBRT for radiologically confirmed intracranial (IC) metastatic disease January 2018 to December 2022. OS, baseline tumour/patient characteristics and lines of treatment were recorded from medical records. Data compiled using Excel and statistical analysis using the R language for statistical programming. RESULTS 62 patients were included, median age 64 (37 -82). 29(46.8%) were Performance status 0-1. 50(80.6%) received 20Gy in 5 fractions, 12(19.4%) received 30Gy in 10 fractions. PDL1 >50% in 14(22.6%), EGFR mutation positive in 10(16.1%), 0(0%) ALK/ROS mutations. 9(14.5%) had received prior radiotherapy(RT) for IC disease (SRS:8, partial brain VMAT:1). 20(32.3%) had IC disease at presentation. Median OS 68 days (95%CI:58-111;range12-777) in keeping with QUARTZ results (median OS 65 days, 95%CI:50- 78). Univariate analyses demonstrated: subsequent systemic therapy (p=0.0022), receiving immunotherapy (p=0.002) and baseline performance status (p=0.0017) associated with improved OS. PDL1 >50%, EGFR mutation positive, RT dose, prior systemic therapy, histological subtype, presence of a targetable mutation, first or subsequent IC treatment did not predict survival. The chi-squared test was used to compare differences in the groups with OS>100days(n=22) and OS<100days(n=40). Systemic therapy after WBRT(p=0.0011) and immunotherapy treatment(p=0.0092) were significant differences between the cohorts and associated with improved survival. CONCLUSION This data supports conclusions of QUARTZ study and it remains difficult to define a role for WBRT in the management of IC disease in NSCLC. There is a cohort who have better OS, though we believe this may be related to systemic therapy (particularly immunotherapy) exposure.

Super Encryption Feal Algorithm and Base64 Algorithm Image File Security

In the rapidly advancing digital era, image file security has become a critical issue, especially with the increasing risks of data breaches and attacks on digital files. This study aims to enhance the security of image files by implementing a combination of two cryptographic algorithms: Fast Data Encipherment Algorithm- 4 (FEAL-4) and Base64. FEAL-4 is a symmetric encryption algorithm known for its high speed and processing efficiency, while Base64 is used for encoding binary data into ASCII format to ensure safer transmission. This research develops a super encryption system that integrates these two algorithms to protect the integrity and confidentiality of image files, particularly for BMP, JPEG, and PNG formats. The implementation was carried out using the Visual Basic programming language. The results of the study show that the combination of FEAL-4 and Base64 algorithms significantly enhances the security of image files, with a high success rate in the encryption and decryption processes.

The Application of Fuzzy Time Series Method for Web-Based Prediction of Household Chemical Product Sales Stock

The seasonal and trend factors of the market demand greatly influence the sales of household chemical products. Therefore, PT. XYZ company requires an accurate sales prediction system to optimize production and inventory. This research aims to develop a web-based sales prediction system for household chemical products using fuzzy time series method. This method considers the factors that influence sales and generates a prediction model that can assist the company in decision-making. This method allows the use of uncertain and unstructured variables in the prediction. The research collected historical sales data of household chemical products from January to December 2023 through interviews, observations, and literature studies. The system was designed using a structured approach and PHP programming language. The Fuzzy Time Series method was used for decision-making. The accuracy of the Fuzzy Time Series method for sales data from January to December 2020 was calculated through program simulation and manual methods, resulting in an accuracy rate of 13.71%. The application provides information on the sales of each product, with the hope that users can reduce the accumulation of stock every month.

Information System for Processing Data of Swallow's Nests at Father Jimris's Swallow House Prabumulih City

Father jimris' swallow house is a rolling business in the dragon-pineapple industry located in the village of the prabumutown. The date-processing process in the Mr. Jimris' home is still done by hand, causing employees or old employees to do work, and this research is aimed at creating an application or a swallow's nest data processing system using PHP programming languages and mysql as databases. The development method used is rads (rapid aplication development) consisting of need planning, design and application processes. The results of this study are expected to make it easier for employees to process and access data and be able to make data processing more effective and efficient

Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL

Smart contracts are computer programs designed to automate legal agreements. They are usually developed in a high-level programming language, the most popular of which is Solidity. Every day, hundreds of thousands of new contracts are deployed managing millions of dollars’ worth of transactions. As for every computer program, smart contracts may contain bugs which can be exploited. However, since smart contracts are often used to automate financial transactions, such exploits may result in huge economic losses. In general, it is estimated that since 2019, more than $5B was stolen due to vulnerabilities in smart contracts. This paper addresses the issue of smart contract vulnerabilities by introducing an executable denotational semantics for Solidity within the Isabelle/HOL interactive theorem prover. This formal semantics serves as the basis for an interactive program verification environment for Solidity smart contracts. To evaluate our semantics, we integrate grammar-based fuzzing with symbolic execution to automatically test it against the Solidity reference implementation. The paper concludes by showcasing the formal verification of Solidity programs, exemplified through the verification of a basic Solidity token.

Data Mining Predicts the Number of Scout Enthusiasts in Binjai City Using the Linear Regression Method

This study aims to predict the number of scout enthusiasts in Binjai City using a linear regression method. The data used includes the number of active scout members from the Alert, Fundraiser, and Enforcer levels during the 2018-2024 school year. The linear regression method was chosen because of its ability to predict future trends based on historical data. This research implements a linear regression algorithm through the Python programming language for the development of prediction systems. The problem in this study is that scout education in Binjai City has many impacts that can affect the number of scout enthusiasts in an educational institution. Some of the factors that can affect the quality of the teacher can be a determining factor in the interest in participating in scouting. With the existence of qualified scout teaching staff and creativity, students will be more in demand to participate in scouting.and the achievement of providing facilities provided from the School Level to the Branch Committee can also be a factor in attracting interest in participating in scouting and the support of school principals and the surrounding government can also be a determining factor in the development of scouting in the region so that activities from the school level to the international level are carried out which will be more in demand by scouting students. This finding is expected to help the Branch of the Binjai City Scout Movement in preparing and optimizing the number of scouting students in the future. This value means that the relationship between the free variable / predictor X and the bound variable / response Y is a low increase, the percentage is 93%. With the overall interest of 3191 scout members active scout members in the coming year with the number of Standby (1756 people), Fundraisers (662 people), Enforcers (773 people) So, the interest of scouts in the city of Binjai is influenced by the number of active Scout members this year.

Mediating Effects of Students’ Study Time on ICT Resource Availability, Teacher Competence and Academic Performance in Programming Languages

This study investigated the mediating role of students' study time in the relationships between the availability of ICT (information and communication technology) resources, teacher competence, and academic performance in programming language courses. The researchers used a sample of 287 undergraduate students and employed structural equation modeling (SEM) to analyze the hypothesized mediating effects. The findings showed that both ICT resource availability and teacher competence had positive and significant indirect effects on academic performance, which were partially mediated by the amount of time students spent studying. Specifically, the indirect effect of ICT resource availability on academic performance through study time was 0.159 (p < 0.001), and the indirect effect of teacher competence on academic performance through study time was 0.195 (p < 0.001). These results suggest that while ICT resources and teacher competence directly contribute to improved academic performance in programming languages, they also indirectly influence performance by promoting increased study time among students. The mediating role of study time highlights the importance of creating an environment that supports and encourages students to engage in self-directed learning activities, in addition to providing adequate technological resources and competent teaching. The findings have important implications for educational practitioners and policymakers, as they emphasize the need to adopt a holistic approach to enhancing student learning outcomes in programming courses by understanding the complex interplay between various factors and their indirect effects.

Analysis of Software Developers' Programming Language Preferences and Community Behavior From Big5 Personality Traits

ABSTRACTMany programming languages and technologies have appeared for the purpose of software development. When choosing a programming language, the developers' cognitive attributes, such as the Big5 personality traits (BPT), may play a role. The developers' personality traits can be reflected in their social media content (e.g., tweets, statuses, Q&A, reputation). In this article, we predict the developers' programming language preferences (i.e., the pattern of picking up a language) from their BPT derived from their content produced on social media. We randomly collected data from a total of 820 Twitter (currently X) and Stack Overflow (SO) users. Then, we collected user features (i.e., BPT, word embedding of tweets) from Twitter and programming preferences (i.e., programming tags, reputation, question, answer) from SO. We applied various machine learning (ML) and deep learning (DL) techniques to predict their programming language preferences from their BPT. We also investigated other interesting insights, such as how reputation and question‐asking/replying are associated with the users' BPT. The findings suggest that developers with high openness, conscientiousness, and extraversion are inclined to mobile applications, object‐oriented programming, and web programming, respectively. Furthermore, developers with high openness and conscientiousness traits have a high reputation in the SO community. Our ML and DL techniques classify the developers' programming language preferences using their BPT with an average accuracy of 78%.

A comparison of reserved graph grammar and edge-based graph grammar

Abstract Context-sensitive graph grammars are natural formalisms for the generation and parsing of visual programming languages. Being intuitive, rigorous, and expressive tools, they have been frequently employed in a wide range of research fields. Nevertheless, the expressive powers of the existing context-sensitive formalisms have not been investigated yet. To this end, this paper is dedicated to the comparison of expressive powers of the two prevalent graph grammar formalisms, Reserved Graph Grammar (RGG) and Edge-based Graph Grammar (EGG). By introducing a special variant of RGG as an intermediary, the relation between them concerning the expressive power is revealed that the set of graph languages of EGG is a proper subset of that of RGG. Moreover, bidirectional transformations between EGG and the variant of RGG are accordingly established, allowing them to take the advantages of each other in applications.

EVALUATION IT GOVERNANCE COMPUTER NETWORK AT CENTRAL BUREAU OF STATISTICS (BPS) MALUKU PROVINCE USING COBIT 2019 DSS01 AND DSS05 DOMAINS

This research aims to evaluate IT governance on the capability maturity level of computer networks at BPS Maluku Province using the COBIT 2019 Framework focusing on the DSS domain, namely DSS01 and DSS05. The research method uses qualitative and quantitative approaches by observing research objects, conducting interviews, and collecting data using a questionnaire distributed to the Maluku Province BPS office environment using saturation sampling techniques. The stages of this research were adapted to the COBIT 2019 framework. This research was measured using a Likert scale and utilized script apps, Google Cloud Platform, which was integrated with a web-based programming language. The results of this research show that the maturity level or capability maturity level in the DSS domain, namely the DSS01 subdomain, is 3.48 with a percentage of 69.70%. DSS05 is 3.47, with a rate of 69.47%. These two subdomains are still in the established process, level 3 with a GAP value of 2 for capability maturity level and the DSS01 domain GAP percentage of 30.30%. The DSS05 percentage is 30.53%, with a primarily achieved scale. Hopefully, this research will become a reference for improvements to several aspects that have been assessed and recommended so that computer network governance for services and activities at BPS Maluku Province becomes better.