Reviewerly/exHarmony huggingface dataset:
A Proposal for Deep Online Facial Verification using Selfies and Id document

Currently, cybersecurity has become one of the most important issues in the society, due to the growing technological evolution and use of digital platforms by organizations to connect with their users. A non-invasive biometric way of accessing an organizational platform is by verifying the presence of the user's face given by selfie photography in a database of authorized users. However, this procedure requires the prior construction of a database of authorized users, which prevents online verification of a person’s identity. A feasible way to carry out an online verification is by comparing the photos of the identity document and the person’s selfie. A system that allows this verification will improve the security of online use of a platform that prevents fraud and identity theft. In this work, we propose a deep neural network that allows verifying the identity of a person considering as inputs the photographs of an identity document and a selfie. This document presents experiments with various neural networks considering a public database of real camera photographs and identity documents. The results show that the use of a deep neural network with an ArcFace loss function configured with the database images of ID photos achieved a recognition rate of over 94%. Additionally, we test this procedure in a small validation sample of Chilean people obtaining similar rate. As future work, we propose the use of larger databases based on Chilean document data.
Metode Dempster Shafer pada Sistem Pakar Penentuan Penyakit Bayi

The baby’s immune system is still weak so it needs special attention. Parents are advised to check their baby to the health service regularly. There are along queues due to limited hours of service or doctor’s practice in serving patients. Parents need expert systems to facilitate detection and early prevention. Systems that try to adapt human knowledge to computers to solve problems in the way that experts do are called expert systems. The dempster shafer method will be used in this study as an expert system for infant disease. The way the dempster shafer works is by defining each sysptom with a density value. This study uses 23 type pf symptoms with 3 types of disease. Dengue fever can be identified based on 11 symptoms, 13 sysmptoms of malaria, and 14 symptoms of diarrhea. The results of calculation on a case study found that the Malaria (TOD02) was the strongest with a value of 0,83 or 83% obtained from the symptoms of the body shivering but sweating (SOD02), vomiting (SOD03), blood in the stool (SOD06), fever appears and disappears simultaneously (SOD16), and red eyes (SOD17) so it is believed that the baby’s disease is Malaria
Virtual Monitoring of the 3D Movement of a Mobile Object, using UNITY

This article presents the design of a real-time graphic representation system using UNITY 3D, this is a graphic engine for the development of a multiplatform video games in 2D / 3D, its potential to work in real time make it ideal for this application as a means of representation and monitoring in virtual reality, the main objective is to monitor the position and activities of one or more moving objects in a house, hospital, building, school, etc. The applications are diverse. The goal of this article as an initial stage is to obtain the monitoring of the position in real time of the activities of an object in motion in 3D, which will be sending information wirelessly to the UNITY 3D graphics engine and evaluate the relevance of using this graphic engine, considering its portability, versatility, free use and open source.
A Type-Based Approach to Divide-and-Conquer Recursion in Coq

This paper proposes a new approach to writing and verifying divide-and-conquer programs in Coq. Extending the rich line of previous work on algebraic approaches to recursion schemes, we present an algebraic approach to divide-and-conquer recursion: recursions are represented as a form of algebra, and from outer recursions, one may initiate inner recursions that can construct data upon which the outer recursions may legally recurse. Termination is enforced entirely by the typing discipline of our recursion schemes. Despite this, our approach requires little from the underlying type system, and can be implemented in System F ω plus a limited form of positive-recursive types. Our implementation of the method in Coq does not rely on structural recursion or on dependent types. The method is demonstrated on several examples, including mergesort, quicksort, Harper’s regular-expression matcher, and others. An indexed version is also derived, implementing a form of divide-and-conquer induction that can be used to reason about functions defined via our method.
Mobile Forensic Analysis of Signal Messenger Application on Android using Digital Forensic Research Workshop (DFRWS) Framework

Cybercrime is a crime committed using equipment connected to the internet. One of the cybercrimes that occured during the COVID-19 pandemic was the spread hoaxes about the COVID-19 vaccine which caused panic in society. Signal Messenger is one of the social media that has become a trending topic since the number of personal data security issues and the emergence of end-to-end encryption features. This research aims to find digital evidence on Signal Messenger application installed on the perpetrator's Android smartphone. This research uses Belkasoft, Magnet AXIOM, and MOBILedit Forensic Express tools and implements the Digital Forensics Research Workshop (DFRWS) framework in each stage of the research experiment. The research was carried out according to the case scenario with 11 predetermined parameters. Digital evidence is found from the Signal Messenger application: application information, account information, chat, pictures, videos, contacts, and stickers. The results of this research indicate that Belkasoft Evidence Center forensic tool is better, with an accuracy rate of 78.69%, while Magnet AXIOM is 26.23% and MOBILedit Forensic Express is 9.84%. The results of this research can be used as a reference for other forensic researchers/experts in handling similar crime cases on the Signal Messenger application to get better results.
TINDAKAN PRESERVASI KOLEKSI PADA PERPUSTAKAAN GOETHE-INSTITUT BANDUNG

Preservation of library materials plays an important role in maintaining media and information that can be handed down to future generations and is necessary for long-term survival. The library as an institution that stores various information and knowledge, and the community, as information consumers, requires its existence, of course, expects that the library can store and share information and knowledge as needed. This is a challenge for library managers how information in the form of books, print or digital media can last a long time and not lose information or knowledge even though it has been a long time. Based on the above, the writer tries to write about the collection preservation action at the Goethe-Institut Bandung Library. The author employs a qualitative research methodology.Using a descriptive approach and gathering data techniques are carried out through the results of web analysis and literature studies. Besides that, the writer also uses interview, observation, and observation techniques, which are compiled to become a conclusion. The purpose of this study is to determine how far the preservation measures are carried out by the Goethe-Institut Bandung Library and what is being done in processing the library to ensure that the collection is safe from various factors. In relation to the issue of preservation interests, there are three terms that must be understood in terms of scope and differences in importance between the three, namely: preservation , conservation and restoration. Preservation is closely related to collection policy and dealing with preservation on a large scale is unlikely to be successful and can be developed without a clear statement of purpose. Existing collection policies will assist in determining preservation priorities that lead to the interests of the collection itself.
ANALISIS FAKTOR-FAKTOR PENYEBAB KERUSAKAN BAHAN PUSTAKA DI UPT PERPUSTAKAAN IAIN CURUP

This study aims to find out what are the causes of damage to library materials at UPT IAIN Curup library and how to overcome the damage to library materials. This research is descriptive qualitative, which describes the facts and data collected and arranged in sentences. The data used are primary and secondary data. In addition, there are 3 data collection techniques in this study, namely: 1. observation, namely observing to collect data by looking directly at it, 2. Interviewing with specified informants 3. Documentation. Data analysis was carried out systematically, namely reducing data, presenting data and drawing conclusions. This study shows that the cause of damage to library materials at the UPT Library of IAIN Curup, the first from internal factors, namely the quality of the paper is not good. The second is from external factors, namely damage caused by insects, dust, air temperature and humidity, light, chemicals, humans. How to overcome damage to library materials at the UPT Library of IAIN Curup, One factor is caused by internal factors, taking backup books, discarding damaged pages and photocopies of the reservoir book and then repairing it and serving it again. the two external factors, namely: insects, the librarian simply gives camphor in between books and bookshelves. Dust, the librarian put a doormat at every entrance and dusted the bookshelves with sprays and covers. Temperature and humidity damage from temperature and humidity, librarians simply move bookshelves that are too close to the wall. Light, the librarian simply moves the book to a place that is not exposed to sunlight. chemistry by preparing a backup book. Human beings, librarians give sanctions to users who destroy books, reprimand, make banners about how to enter the library.
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations

Type-and-effect systems are a widely used approach to program verification, verifying the result of a computation using types, and its behavior using effects. This paper extends an effect system for verifying temporal, value-dependent properties on event sequences yielded by programs, to the delimited control operators shift0/reset0. While these delimited control operators enable useful and powerful programming techniques, they hinder reasoning about the behavior of programs because of their ability to suspend, resume, discard, and duplicate delimited continuations. This problem is more serious in effect systems for temporal properties because these systems must be capable of identifying what event sequences are yielded by captured continuations. Our key observation for achieving effective reasoning in the presence of the delimited control operators is that their use modifies answer effects, which are temporal effects of the continuations. Based on this observation, we extend an effect system for temporal verification to accommodate answer-effect modification. Allowing answer-effect modification enables easily reasoning about traces that captured continuations yield. Another novel feature of our effect system is the support for dependently typed continuations, which allows us to reason about programs more precisely. We prove soundness of the effect system for finite event sequences via type safety and that for infinite event sequences using a logical relation.
Engineering quantum secure communication systems with photonic integrated circuits

Quantum key distribution (QKD) offers the highest possible levels of communication secrecy. Using the laws of quantum mechanics, QKD protocols allow two distant parties to establish symmetric encryption keys that can be proven information theoretically secure. In order to make this technology accessible to a wide range of sectors, it is essential to address the questions of cost, volume production and compatibility with standard Telecom/Datacom infrastructures. While over the last few years, a number of works were devoted to the demonstration of photonic integrated circuits for quantum communications, a practical solution to interface these chips in a complete system remained an elusive goal. We review our efforts in integrating the core optical functions of quantum key distribution onto quantum photonic chips and in demonstrating the first standalone photonic integrated QKD system. Our approach tackles various system integration challenges related to packaging, optoelectronic design and power consumption. The quantum hardware is assembled in pluggable interconnects that guarantee efficient thermal management and forward compatibility of a same host electronics with successive generations of chips. Autonomous operation and long-term stability are demonstrated in realistic operation conditions. Our work offers new pathways for practical implementations of QKD and its viable deployment at large scales.
UV laser-based addressing unit for trapped-ion quantum computers

Laser-based addressing units are core components for trapped-ion quantum computers, in which ions are held in defined, separate, micron-scale position fields and are brought into different qubit states via an addressing beam with an ion-specific wavelength. The spin of the valence electrons of the atomic ions represents the qubits states. An addressing action causes a stimulated Raman transition, which in turn causes a change in electron spin and thus a qubit rotation. Our unit is designed for 10 <sup>40</sup>Ca+ ions kept in a linear microchip ion trap. The hardware platform utilizes waveguides with integrated collimating micro lenses, followed by a cascaded 4f optical setup, consisting of a focusing and a beam expander unit. An aspherical lens realizes a lateral shift tolerant focus inside the trap. The addressing unit achieves minimal foci beam waists of 1.1 μm, with a minimal ion separation of 5.31 μm. The operating addressing wavelength ranges from 395 nm to 405 nm. Fault relevant ion crosstalk ratio is less than 10<sup>−4</sup>. Addressing operations can be conducted in parallel on all captured ions. The specified laser-based addressing unit provides a stable and low-error solution for qubit operations with coherence times of several seconds. Further adaptions of the waveguide structures and the implementation of micro optical lenses offer the potential of fully integrating the system into the microchip ion trap. Such a quasi-monolithic trap integration constitutes a compact, and highly scalable addressing and detection system with the ability to address as many qubit registers as the ion trap capacity allows.
Network Mechanism Establishment and Authentication Using Digital Certificate Management

The fundamental idea behind all types of data frameworks is authentication, however targeted single-side validation is thought to be weak and vulnerable, posing a security risk of single-side failure or breakdown brought on by external attacks or internal fraud. In this paper, we proposed a blockchain-based decentralized validation illustrating plan (named BlockAuth) for the edge and IoT environments to provide a safer, dependable, and solid acclimation to non-critical failure arrangement, where each edge device is viewed as a hub to construct a blockchain network. We designed a safe sign-up and verification process, and the decentralized blockchain confirmation convention encouraged blockchain agreement and brilliant agreement. We also carried out a full blockchain-based validation stage for the evaluation of practicality, security, and execution. With a considerable level of protection setup for the executives, the evaluation and examination indicate that the suggested BlockAuth plot offers a safer, dependable, and solid adaptability to internal failure decentralized new verification. The suggested BlockAuth scheme is suitable for a token-positioned secret word, testament, and Verification is anticipated for unquestionably high security requirements in the edge &amp; IoT environment.
Application of Computer Intelligent Proofreading System in English Phrase Translation

This paper studies the application of computer proofreading system in English word translation. The technology is closely related to the development of computer technology, structural theory, linguistics and other fields. With the improvement of computing power and explosive availability of multilingual information resources, from early dictionaries to regular dictionary translation combined with language knowledge, and then to statistical machine translation based on thesaurus. Machine translation technology has begun to come out of the ivory tower and provide real-time translation services for simple users. We notice that the English translation proofreading system of grammar and sentence patterns is an important problem of correct proofreading, and the intelligent proofreading system based on the improved word translation model can not solve the inconsistency problem. Through the establishment of semantic text and word combination conversion algorithm to simulate the syntactic part. Through semantic feature analysis and word combination, optimize the automatic translation algorithm, load the translation algorithm, and design the automatic translation system software based on the embedded environment. Therefore, cross compiler and multi-threaded word translation are used to design the translation system automatically. The development process of software module mainly includes system application, network translation, customer, translation organization and management, online translation interaction and other modular structures. Finally, the design system is verified. The verification results show that the system can meet the requirements of users for horizontal demarcation and improve the efficiency of demarcation.
Integrate Your Programming and Philanthropy

Special Events GaloreVolume 23, Issue 2 p. 7-7 Alumni Reunion Programs Integrate Your Programming and Philanthropy First published: 11 January 2023 https://doi.org/10.1002/speg.31925Read the full textAboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL No abstract is available for this article. Volume23, Issue2February 2023Pages 7-7 RelatedInformation
The Cultivation Path and Construction Exploration of College Students’ Cultural Confidence Based on the Information Platform

College students are the builders and successors of the socialist cause with Chinese characteristics, and they are the practitioners of cultural self-awareness, self-confidence and self-improvement. Their high degree of cultural self-confidence is of great practical significance to the inheritance and innovation of the excellent Chinese traditional culture and the enhancement of the national cultural soft power. Based on the technology of computer platform, this paper elaborates the scientific connotation and essence of cultural confidence, analyzes the current situation of college students’ cultural confidence and its influencing factors, and explores the path of cultivating college students’ cultural confidence.
Research and application of cigarette trans-regional outflow risk prediction model based on data element value discovery

Due to the particularity of tobacco as a commodity, the problem of cigarette trans-regional outflow has always been a difficult problem in the standardized management of the tobacco market supervision, mainly manifested in the lack of detection means, low identification accuracy, lagging early warning results and so on. To solve the above problems, this paper proposes a detection model TMSS (Tobacco Market Scientific Supervision), which can accurately identify the risk points related to tobacco operating by constructing an isolation forest algorithm, combining principal component analysis and grid search techniques, using multisource data fusion. This paper focuses on the working principle and algorithm design of the model TMSS. The accuracy and reliability of the TMSS are verified by selecting relevant application scenarios in Shiyan city, Hubei province. Through experimental verification, TMSS can effectively identify the risk points cause the transregional outflow phenomenon in the tobacco operation process in advance, which provides a significant breakthrough method and tool in the field of scientific supervision of tobacco market.
Preservation of the Ancient Manuscripts of the Book “Waruga Jagat” and the Book “Babad Sumedang” at the Sumedang Pangeran Foundation Library

The Pangeran Sumedang Foundation Library is one of the libraries that stores several ancient manuscripts. Ancient manuscripts are a rare type of collection that not everyone, every region, or every library has. Therefore, the existence of a collection of ancient manuscripts needs to be maintained and maintained so that they can be used as a source of information for people who need it. This study aimed to determine preventive and curative ancient manuscript preservation policies and constraints in carrying out ancient manuscript preservation activities at the Pangeran Sumedang Foundation library. While this research tries to examine the preservation of ancient manuscripts, especially the ancient manuscripts of the Waruga Jagat book and the Sumedang chronicle book. The research approach used is a qualitative approach with a case study type. Based on the results of the research, it is known that the birth of an ancient manuscript preservation policy, especially the ancient manuscript of Kita Waruga Jagat and the Sumedang Chronicle book, is because these two ancient manuscripts have very important informational and historical values regarding the founding of the Sumedang Larang Kingdom. Meanwhile, on the other hand, the manuscript is hundreds of years old and its condition has started to deteriorate, so it is necessary to carry out preservation activities. This preservation activity is carried out using prevention and repair or through a transfer of media forms. Regarding the obstacles in this preservation activity, namely budgetary constraints, limited human resources and limited facilities that support ancient manuscript preservation activities.
The Challenges in Elementary English Education of Northeast China and Solutions

This study aims to explore the challenges present in the elementary English education of Northeast China, in addition to proposing some corresponding solutions.After referring to previous researches and detailed analyses, this study discovers that these challenges mainly cover insufficient teaching staff, undesirable educational quality and shortage of educational resources.To crack these problems, some measures should be adopted, including attracting the local graduates majoring in English and English Education to return and work as teachers, implementing in-service training and further education, setting up libraries and purchasing English books, as well as introducing modern English teaching facilities.Such a solution is conducive to fundamentally raising the English teaching quality of primary and secondary schools there, thereby contributing the development of northeastern rural education in the long run.