Logarithm and program testing

Randomized property-based testing has gained much attention recently, but most frameworks stop short at polymorphic properties. Although Bernardy et al. have developed a theory to reduce a wide range of polymorphic properties to monomorphic ones, it relies upon ad-hoc embedding-projection pairs to massage the types into a particular form. This paper skips the embedding-projection pairs and presents a mechanical monomorphization for a general class of polymorphic functions, a step towards automatic testing for polymorphic properties. The calculation of suitable types for monomorphization turns out to be logarithm .

Sistem Informasi Peminjaman Buku di Perpustakaan SD Islam Ulil Albab Kebumen Berbasis Web

Perpustakaan pada SDI Ulil Albab merupakan salah satu perpustakaan yang masih menerapkan sistem manual pada pengelolaan datanya, sehingga dirasa memakan cukup banyak waktu dalam pengelolaan data maupun pencarian data buku serta adanya kemungkinan kesalahan pencatatan transaksi atau perhitungan denda. Atas dasar hal tersebut maka dalma penelitian ini dirancang sistem informasi perpustakaan berbasis web yang bertujuan mempermudah akses data perpustakaan dimanapun dan kapanpun. Metode perancangan sistem informasi perpustakaan pada penelitian ini menggunakan metode waterfall, dimana setiap tahapannya harus dilaksanakan secara sistematis. Bahasa pemrograman yang digunakan dalam sistem informasi perpustakaan ini adalah PHP dengan framework CodeIgniter dan database MySQL. Setelah melalui tahap analisis, desain, penulisan kode program, testing dan implementasi, sistem informasi perpustakaan siap digunakan dan diakses melalui laman sementara sdi-ulil- albab.my.id. Sistem informasi perpustakaan berbasis web yang telah dibangun dapat mengefektifkan serta mengefisiensikan proses pengelolaan data buku di perpustakaan SDI Ulil Albab Kebumen.

SISTEM MANAJEMEN SURAT BERBASIS WEB DI STMIK KOMPUTAMA MAJENANG

In the agency administration, the letter is an important means. Important information related to the agency and the secret is embodied in it . The timeliness of receipt of both outgoing and incoming mail should also be considered, therefore the management of incoming and outgoing mail must be implemented correctly. At this time, the procedure is applied to the management of incoming and outgoing mail to the Division of Administration of the STMIK Komputama Majenang from receipt, manufacture, storage, documentation, to verify the letter, all done conventionally. Documentation of incoming and outgoing mail only in the form of writing in the ledger. While on the stage of filing a letter only a hardcopy document storage. The Administration of STMIK Komputama Majenang felt the need to change the mail management method they are currently using, into a computerized and automated mail management method. With the Incoming and Outgoing Mail Management Information System, it is expected to be able to manage incoming and outgoing mail according to the specified flow, and can solve current problems. The filing of letters is done electronically, namely the storage of softcopy documents, and is equipped with reports of incoming and outgoing letters both daily and per period. In addition, this application also helps monitor the disposition of letters at the verification stage. The research methods used to solve various problems that occur are literature, observation, interviews, data and system analysis, system design, program development, program testing, program implementation. The result of this research is to produce an application that can manage incoming and outgoing mail according to the specified flow, and can solve current problems.

Program evaluation practices and the training of PhD students in STEM

Purpose Program evaluation stands as an evidence-based process that would allow institutions to document and improve the quality of graduate programs and determine how to respond to growing calls for aligning training models to economic realities. This paper aims to present the current state of evaluation in research-based doctoral programs in STEM fields. Design/methodology/approach To highlight the recent evaluative processes, the authors restricted the initial literature search to papers published in English between 2008 and 2019. As the authors were motivated by the shift at NIH, this review focuses on STEM programs, though papers on broader evaluation efforts were included as long as STEM-specific results could be identified. In total, 137 papers were included in the final review. Findings Only nine papers presented an evaluation of a full program. Instead, papers focused on evaluating individual components of a graduate program, testing small interventions or examining existing national data sets. The review did not find any documents that focused on the continual monitoring of training quality. Originality/value This review can serve as a resource, encourage transparency and provide motivation for faculty and administrators to gather and use assessment data to improve training models. By understanding how existing evaluations are conducted and implemented, administrators can apply evidence-based methodologies to ensure the highest quality training to best prepare students.

ANALYSIS OF THE EFFECT OF FIXED ASSETS ON THE STOCK PRICE OF THE COMPANY INDEXED LQ45 ON THE INDONESIA STOCK EXCHANGE

The purpose of this research is to examine the effect of fixed assets and the impact of these variables on stock prices. The population used are companies that are included in the LQ45 index contained in the IDX with a period of 3 years (2018-2020). The number of samples used were 15 companies and used a purposive sampling method using the SSPS (Statistical Package for Social Science) program testing program. The results of this study are fixed assets in the company have a positive effect on shares.

Generation of Realistic Navigation Paths for Web Site Testing Using RNN and GAN

For applications that have not yet been launched, a reliable way for creating online navigation logs may be crucial, enabling developers to test their products as though they were being used by real users. This might lead to faster and lower-cost program testing and enhancement, especially in terms of usability and interaction. In this work we propose a method for using deep learning approaches such as recurrent neural networks (RNN) and generative adversarial neural networks (GANN) to produce high-quality weblogs. Eventually, we can utilize the created data for automated testing and improvement of Web sites prior to their release with the aid of model-driven development tools such as IFML Editor.

Test Automation of Web Application Login Page by Using Selenium Ide in a Web Browser

Selenium stands as open-source program apparatus aimed at computerization testing. Here, selenium-IDE (Integrated Developments Environment) Testing is investigated, which could be a remarkably vital movement in Program Improvement Handle. It is to look at and alter source code. A high-quality computer program can well be achieved by producing Compelling Testing. This Paper handles a critical in addition to the crucial issue of Program Testing. Testing can well be executed both manually and automatically. This paper sets to do Mechanization Testing through "Selenium". Test cases (TC) are consequently recorded with this web testing tool whilst the analyzer is entering the information in a web application screen.

Cattle Disease Diagnosis Expert System in Bandes Village, Ainaro District

Most of the people in the Bandes village of Ainaro district work as breeders. Cows that are raised are beef cattle. One of the obstacles that exist in Bandes Village is the existence of a few veterinarians in Bandes Village. This research discusses an expert system for diagnosing diseases in cattle, which functions to help determine the disease that is being suffered by cattle, this system will display the results of the diagnosis in the form of the name of the disease, a description of the disease solution and its prevention. In this study there were 4 diseases studied and 7 symptoms. From the 4 disease data, isolation of the problem area, target decision and dependency diagram is made. After that the formation of IF – THEN rules, after the rules are made, the backward chaining process is made. So as to produce a solution to overcome disease in cattle. In program testing is done by comparing the results of the system with experts. In the trials that have been carried out, the results obtained are appropriate or the accuracy of the data and facts obtained from experts on cattle. So based on the results of tests that have been carried out on the system as much as 4 data, the accuracy value obtained is 100% accurate which shows that the expert system is functioning properly in accordance with the expert's diagnosis

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog

Introduction. The organization of branches and repetitions in the context of logical programming is considered by an example of the Prolog language. The fundamental feature of the program in a logical programming language is the fact that a computer must solve a problem by reasoning like a human. Such a program contains a description of objects and relations between them in the language of mathematical logic. At the same time, the software implementation of branching and repetition remains a challenge in the absence of special operators for the indicated constructions in the logical language. The objectives of the study are to identify the most effective ways to solve problems using branching and repetition by means of the logic programming language Prolog, as well as to demonstrate the results obtained by examples of computational problems. Materials and Methods. An analysis of the literature on the subject of the study was carried out. Methods of generalization and systematization of knowledge, of the program testing, and analysis of the program execution were used. Results. Constructions of branching and repetition organization in a Prolog program are proposed. To organize repetitions, various options for completing a recursive cycle when solving problems are given. Discussion and Conclusions. The methods of organizing branches and repetitions in the logic programming language Prolog are considered. All these methods are illustrated by examples of solving computational problems. The results obtained can be used in the further development of the recursive predicates in logical programming languages, as well as in the educational process when studying logical programming in the Prolog language. The examples of programs given in the paper provide using them as a technological basis for programming branches and repetitions in the logic programming language Prolog.