Reviewerly/exHarmony huggingface dataset:
SISTEM INFORMASI PENJUALAN BARANG BERBASIS WEB PADA TOKO SINAR HARAPAN MAKASSAR

Sinar Harapan store which is engaged in construction materials has regular customers who are outside the area, so a sales information system is needed to help customers buy and receive product information from the store. This web-based information system can help shop customers shop online without having to visit the store in person. The purpose of this research is to design and implement a web-based merchandise sales system at the Sinar Harapan Makassar store. Data obtained through field research, library research and interviews. The system design uses PHP as a programming language and MySQL as the database storage. The information system for selling goods is based on the Sinar Harapan Makassar Store based on the results of the implementation test with the user acceptance test getting an average weight of 36 with a percentage of 90% so this application is very suitable for use
Local Explanation Methods for Isolation Forest: Explainable Outlier Detection in Anti-Money Laundering

Machine learning methods like outlier detection are becoming increasingly more popular as tools in the fight against money laundering. In this thesis, we analyse the Isolation Forest outlier detection algorithm in detail and introduce a new local explanation method for Isolation Forest, the MI-Local-DIFFI (Multiple Indicator Local-DIFFI) method. The method uses the structure of the isolation trees and the traversal of individual outliers down the trees to determine an importance weight for each of the features. These weights are then combined into feature importance scores that are used to explain why a specific outlier is identified as such. In anti-money laundering (AML), such explanations are very valuable when determining whether an outlying customer is suspicious or not. MI-Local-DIFFI is based on a global explanation method called DIFFI and while we were conducting our research, another local version, Local-DIFFI, was also introduced. In the thesis, we use a synthetic data set to compare the performance of four different explanation methods including our MI-Local-DIFFI, Local-DIFFI and the state-of-the-art TreeSHAP method. Our MI-Local-DIFFI shows excellent results in terms of performance and runtime. Furthermore, we use a data set from Triodos bank to apply the explainable outlier detection methodology consisting of the combination of Isolation Forest and MI-Local-DIFFI. This resulted in interesting findings like the revealing of data quality issues in the current system and references to EDRs and SARs. However, after further inspection, no SARs were filed but some customers were put to higher risk classes. This procedure will be performed on a monthly basis with the goal of continuing to improve the AML processes of the bank.
New compression schemes for natural number sequences

Elias and Fano independently proposed a quasi-succinct representation for monotonic integer sequences. When the standard deviation is high, one may use the well known Elias Cγ or Cδ codes, or Fibonacci codes, instead of the Unary code of the original Elias–Fano method. In case the integers are similar, not necessarily forming a monotonic sequence, we propose to apply the Haar transform as a preprocessing stage to convert the input into a more compressible form. Experimental results support the additional savings achieved by using our method.
Toward a Thermodynamics of Meaning.

As language models such as GPT-3 become increasingly successful at generating realistic text, questions about what purely text-based modeling can learn about the world have become more urgent. Is text purely syntactic, as skeptics argue? Or does it in fact contain some semantic information that a sufficiently sophisticated language model could use to learn about the world without any additional inputs? This paper describes a new model that suggests some qualified answers to those questions. By theorizing the relationship between text and the world it describes as an equilibrium relationship between a thermodynamic system and a much larger reservoir, this paper argues that even very simple language models do learn structural facts about the world, while also proposing relatively precise limits on the nature and extent of those facts. This perspective promises not only to answer questions about what language models actually learn, but also to explain the consistent and surprising success of cooccurrence prediction as a meaning-making strategy in AI.
LibGuides: Student Resources: Campus Resources

Welcome to the University Libraries! We have many services and resources to help you succeed.
Alat Deteksi Jatuh Berbiaya Murah Dengan Tracking Position Untuk Pasien Vertigo dan Sinkop

In this study we propose a low-cost portable device to monitor the vertigo and syncope patients whether normal, dizziness or falls. The purpose of this study is design and manufactures a device using an accelerometer sensor to determining the condition of patients who are at risk of vertigo and syncope. The patient's condition is detected by accelerometer which read the values of the x, y and z axes to determine condition normal, dizzy, or fall. This device also uses a real time clock to remind the patient to take medication three times a day. The device outputs are LCD Oled, Voice, and SMS notification. If the patient condition is falls an SMS notification will be sent, the dizzy condition vertigo patient will press the panic button first and then an SMS notification will be sent. The results of tests carried out on the equipment can send SMS and phone calls at an angle of (50o - 70o) = Y (40o - 20o) = X, in a fainting state and falling. The test results of the navigation module prove that the GPS module can determine the exact location by moving the GPS module reading position to a small test point with an average of 2.97 meters.
Guides: Design and Drafting Technology: Getting Started

Design and Drafting uses scholarly sources from journals as well as trade publications and technical guides. If you have questions, please contact Rob Hallis.
Побудова та збереження у графовій базі Neo4j абстрактного семантичного графа вихідних кодів PHP-додатків

Static code analysis is a very important stage in the development and implementation of software, and it needs to be used to obtain a better code. The most complicated in static analysis is the analysis of source code, and further analysis. Analysis of the source code can be done multiple times and expand the set of necessary grammar. The main goal was and remains to provide a solution to reduce the time needed for a global reassessment of static analysis at code level after a change.The main problem when using static code analysis is to build an abstract semantic graph, because each software solution is provided with a separate data warehouse. The proposed solution proposes to use as a database repository using graphs. Thus, the storage mechanisms of the created abstract semantic graph have been simplified, which in turn, in addition to increasing the clarity of the information we store, provides convenient ways to further work with the stored information.The developed solution can transform a rather large source repository into a graphic representation and maintain it later. It is found that the approach is suitable for carrying out code compliance checks and for performing static analysis tests on a graphic representation. This approach also uses advanced file-level detailing, accelerating static analysis. Based on my measurements, the frameworks are fast enough to help their users quickly change the repository of codes.This article confirms the thesis about the possibility of storing an abstract semantic graph in a graph database, and after refinement, if it contains sufficient transformations and requests for language processing, can become a complete transport for communication between various static analysis tools that usually perform one of two the functions of verification either for quality or for vulnerability, thereby making a unified creation of an abstract semantic graph.As an improvement it is necessary to consider the possibility of incremental analysis – the analysis of changes in the code, in order to minimize resource costs for a rather resource intensive operation of the structure of the abstract semantic graph.Manuscript received 09.06.2020
Trajectory Planning for Lunar Crater Exploration Based on Particle Swarm Optimization

A novel onboard trajectory planning methodology is proposed for lunar crater exploration. For the first time the flight trajectory is divided in to 5 phases: the vertical rise, the single axis rotation, the unpowered gliding, the approach and the vertical descent. According to different characters in these phases, transfer conditions and control modes are designed. Then a new method for state updating is developed in analytical and numerical ways. After that, 3 optimization parameters and 2 optimization objects are chosen. Considering the constraints, the reference trajectory is finally generated by the particle swarm optimization. Different from other planning, the guidance law is introduced during the unpowered gliding and the approach phase to improve optimization efficiency. Numerical simulations show that the methodology proposed is good real-time and the planned trajectory can meet all the requirements, which can improve the autonomous survivability of the explorer and is suitable for the lunar crater exploration.
Agile Contracts Implementation for Industrial Companies Purchasing Embedded Systems

The continuous advances and prevalence of embedded systems, being systems consisting of both hardware and software put together, provides a great challenge for industrial companies. Due to the incr ...
F1TENTH: An Open-source Evaluation Environment for Continuous Control and Reinforcement Learning.

The deployment and evaluation of learning algorithms on autonomous vehicles (AV) is expensive, slow, and potentially unsafe. This paper details the F1TENTH autonomous racing platform, an open-source evaluation framework for training, testing, and evaluating autonomous systems. With 1/10th-scale low-cost hardware and multiple virtual environments, F1TENTH enables safe and rapid experimentation of AV algorithms even in laboratory research settings. We present three benchmark tasks and baselines in the set- ting of autonomous racing, demonstrating the flexibility and features of our evaluation environment.
PENILAIAN RISIKO KELAUTAN DI KAPAL TUG BOAT DENGAN METODE HIRADC UNTUK AREA OPERASI CONOCOPHILLIPS GRISIK (2015-2018)

Tugboats are one type of ship that has a high level of maneuverability. This is very suitable for water activities both at the port and offshore (Kantharia, 2020). This study uses the HIRADC (Hazard Identification Risk Assessment and Determining Control) method that identifies hazards that can occur in routine or non-routine activities on tugs (Petro Suban) in 2015-2018 period , assessing the frequency of occurrence of hazards and their impacts followed by controlling and reduce the value of risk to the point acceptable to the company, the source of research data obtained from risk assessment activities based on the scope of work of the ship such as personal transfer, fuel transfer process and the process of assisting tankers when lifting oil. Research shows that there is the potential for fire and explosion hazards, navigational hazards, collision hazards, dangers of oil spills and people falling into the sea. The potential hazards that have been identified are classified in the high risk classification
LibGuides: Getting to Know Thoreau: Further Research/Next Steps

Welcome! This LibGuide is intended to be an introduction for elementary, middle school & high school students who are interested in learning about Henry David Thoreau: His life, his works, and his legacy.
Izzivi in dileme osmišljene uporabe IKT pri pouku

Challenges and dilemmas of the conceptualized ICT use in teaching. The goal of the PIKT.UM project was to equip (future) teachers with skills and knowledge of flexible teaching approaches that involve meaningful use of ICT. By critically assessing the choice and use of both, didactical approaches and ICT tools, we wanted to enable the increase in educational use of modern technology. A monograph serves the similar goal as the project, namely to provide a list of skills and knowledge that a teacher should have regarding the meaningful conceptual use of ICTs. The added value of the contributions in monograph is an interweaving of a mechanistic approach to ICT through tools and a didactic approach through innovative forms of learning and teaching. Experts from all fields, from art to science, offer theoretical framework, research based findings and practical lessons for introducing ICT into school practice. The main message of the entire monograph is that the technology can be a powerful teaching tool, which should be treated with care and in accordance with the goals of education.
LibGuides: Modern Chinese History Survey Courses: Home

This is a LibGuide intended to support undergraduates at American Institutions currently enrolled in a survey course in Modern Chinese history.
Reservoir Computing Based on Semiconductor Lasers Using Parallel Double Optical Feedback Structure

A structure of parallel double optical feedback for semiconductor lasers-based reservoir computing is proposed to reduce the masked input data, speed up the data processing and lower the memory length requirement for the arbitrary waveform generator. The simulation results of three benchmark tasks and memory capacity verify the improvement effects.
CONFERENCE TIME IN THE LIBRARY AND INFORMATION SCIENCES. PART 2: ANALYSIS OF PUBLICATION ACTIVITY AND CITATION

Objective. The second part “Conference time in the library and information sciences” of the study is aimed at conducting a bibliometric analysis of the publication activity and citation of the authors presenting their papers at international conferences indexed in Scopus and/or Web of Science (CC). Methods. Bibliometric analysis of publications that are Conference proceeding (“proceedings paper” and/or “conference paper”) was carried out using the Scopus and Web of Science (CC) citation databases. Using a comparative analysis, the obtained data, covering the “conference paper”/“proceedings paper” publication type for all years of their reflection in each of the databases, as well as in chronological frames from 2016 to 01.06.2020 were studied. Results. Analysis of the publication activity of LIS university (academic) researchers shows that Scopus (n=4561) contains more documents than WoS database (n=4145). The growth of Open Access (OA) documents in both databases is significant since 2000. But the period 2016-01.06.2020 demonstrates a slight dominance of the number of OA publications in Scopus (n=192) compared to WoS (n=185). Distribution data by authors, universities, countries, knowledge areas were also obtained. Citation analysis shows poor results on both bases, which may be due to the focus of conferences on rapidly changing topics. Conclusions. Showing the relatively low LIS coverage in university research, as well as low citation rates, this paper demonstrates that LIS researchers/practitioners need to create more quality publications to be recognized as an important area. The author hopes that this work will generate great research interest in the field of LIS and understanding the great value of Conference proceeding as a publication containing original/primary research results.
Intelligent Systems Based on Ontology Representation Transformations

The growing complexity of information systems requires offloading knowledge-based decision making to software. The common approach is to encode formalized domain knowledge in form of ontology. However, this approach has many inherent flaws, such as subjectivity of ontology design, difficulties to formalize different perspectives and points of view for the same domain, complexity and large size of ontologies. This problem can be resolved by using multiple networked ontologies. The ultimate criterion for successful ontology design is provided by the effectiveness and efficiency of resolving real life problems using ontology. On the other hand, the efficiency of ontology usage depends also on language used to formulate ontology. Each language is geared towards the specific application area and has limitations which make it a poor choice for problems in another area. Therefore, the versatile knowledge based system should be able change knowledge representation form on task by task basis. The structure and functions of such a system are described. For the central repository of knowledge it is proposed to use a language, based on multisort algebras. In order to represent language transformations this algebraic language is enhanced by adding mappings domain. As an example, the mapping between RDF schema and algebraic language is provided.
Library Guides: Interlibrary Loan: Home

This guide will explain what Interlibrary loan (ILL) is and how you can use ILL to request materials not owned by Purdue Libraries
Perancangan Sistem Informasi Akuntansi Aset Tetap Dengan Metode Garis Lurus Sebagai Perhitungan Penyusutan Aset Tetap

Fixed assets are tangible assets that are owned for use in the production or supply of goods or services, for rent to other parties, or for administrative purposes and are expected to be used for more than one period. Due to its high value, relatively long use and being the company's main tool to generate revenue, investment in fixed assets (Capital Budgeting) must be carefully calculated. In addition, depreciation or depreciation is the allocation of the cost of a fixed asset which is the effect of the decline in the value of the fixed asset. The reason why many companies apply the straight line method of depreciation (Straight Line Method) is because there are relatively stable maintenance and repair costs in each period, and the costs are not affected by productivity or are not affected by deviations. Therefore, the assets owned must continue to be managed properly so that companies and individuals can benefit from the existence of these assets, especially fixed assets. But this is not the case with KSP Mandiri Sejahtera Semarang where fixed assets have not been well managed. This results in inconsistencies and calculation errors, incomplete data, which results in inappropriate decision making and the value of the company's fixed assets has not been recorded properly and accurately. With a new structured management system where the calculation and reporting of depreciation of fixed assets using the straight-line depreciation method helps the calculation of depreciation of fixed assets owned by the company, besides that it also provides information about the detailed condition of each fixed asset owned by the company so that it helps the company manage its fixed assets , as well as helping to present accurate and accurate reports for the benefit of the company's internal financial reports and taxation.
Design and Development of a Search Portal for Private Higher Education Institutions in Malaysia

The number of candidates sitting for the Sijil Pelajaran Malaysia and Sijil Tinggi Pelajaran Malaysia has been around the 400,000 and 40,000 marks for the last 3 years. Although more than 50% of these candidates are eligible to pursue higher education at Higher Education Institutions (HEIs) in Malaysia once the exam results are announced, only a fraction is offered place to study. The issue of HEI dropouts are serious and several government agencies have organized special initiatives to ensure more eligible candidates are accepted into HEIs. Looking from the computing perspective, applications to public HEIs is carried out through the UPU Online portal. However, there is no similar system for searching private HEIs. In order to support the government’s initiative and to minimize dropout rates to HEIs, MyIPTS, a search portal for private HEIs in Malaysia was developed. MyIPTS would facilitate HEI search by name and program offered. Results, detailing HEI name, location, program name, education level, accreditation status and link to the HEI's official website are presented. MyIPTS database is populated with details of all HEIs registered with the MOE, details of academic programs offered by individual HEIs, , and list of accredited academic programs for individual HEIs, obtained from the MQA. A traditional rapid prototyping approach for system development was adopted in the design and development of MyIPTS. Development tools used Android Studio and Adobe Dreamweaver for interface design; and php and HTML as scripting languages, and MySQL as the database. The portal was tested by a group of 60 users to confirm its functionality and ease of use. Responses were quantified using a 5-point Likert scale from 1 (Strongly Disagree) to 5 (Highly Agree). Initial results are encouraging with average scores of 4.7 and 4.8 were recorded for functionality and ease of use were respectively.
Shrinkage under Random Projections, and Cubic Formula Lower Bounds for $\mathbf{AC}^0$.

Hastad showed that any De Morgan formula (composed of AND, OR and NOT gates) shrinks by a factor of $O(p^{2})$ under a random restriction that leaves each variable alive independently with probability $p$ [SICOMP, 1998]. Using this result, he gave an $\widetilde{\Omega}(n^{3})$ formula size lower bound for the Andreev function, which, up to lower order improvements, remains the state-of-the-art lower bound for any explicit function. In this work, we extend the shrinkage result of Hastad to hold under a far wider family of random restrictions and their generalization -- random projections. Based on our shrinkage results, we obtain an $\widetilde{\Omega}(n^{3})$ formula size lower bound for an explicit function computed in $\mathbf{AC}^0$. This improves upon the best known formula size lower bounds for $\mathbf{AC}^0$, that were only quadratic prior to our work. In addition, we prove that the KRW conjecture [Karchmer et al., Computational Complexity 5(3/4), 1995] holds for inner functions for which the unweighted quantum adversary bound is tight. In particular, this holds for inner functions with a tight Khrapchenko bound. Our random projections are tailor-made to the function's structure so that the function maintains structure even under projection -- using such projections is necessary, as standard random restrictions simplify $\mathbf{AC}^0$ circuits. In contrast, we show that any De Morgan formula shrinks by a quadratic factor under our random projections, allowing us to prove the cubic lower bound. Our proof techniques build on the proof of Hastad for the simpler case of balanced formulas. This allows for a significantly simpler proof at the cost of slightly worse parameters. As such, when specialized to the case of $p$-random restrictions, our proof can be used as an exposition of Hastad's result.