Reviewerly/exHarmony huggingface dataset:
Location-Based End-to-End Speech Recognition with Multiple Language Models

End-to-End deep learning approaches for Automatic Speech Recognition (ASR) has been a new trend. In those approaches, starting active in many areas, language model can be considered as an important and effective method for semantic error correction. Many existing systems use one language model. In this paper, however, multiple language models (LMs) are applied into decoding. One LM is used for selecting appropriate answers and others, considering both context and grammar, for further decision. Experiment on a general location-based dataset show the effectiveness of our method.
An Improved AES Algorithm for Enhancing Security in Cloud Environment

Abstract With the advancement in technology, the data has multiplied tremendously and so has the need for ensuring the security of the data. With increase in data, the need for more efficient software and even increased and powerful hardware has also prospered. Cloud computing has enabled access to important and critical information as and when required. It works on pay as one use concept. Cloud environment has its wings spread to both public and private networks. The security issue of the data on cloud environment has deepened in recent years. The research paper focuses on discussing the working of cryptography AES algorithm. AES has been effectively ruling the security aspect of cloud computing ever since it came into existence. The paper elaborates the development of flexible AES algorithm which encrypts and decrypts the data effectively and efficiently on different scales, i.e., the encryption/decryption takes place irrespective of the number of bits involved in plain text (input text). The research work emphasizes on the application of cryptography for secure transfer of critical data under cloud computing. Keywords: AES, Cipher text, cloud computing, cloud security, cryptography, decryption, encryption, plain text Cite this Article Navroop Kaur, Kanwalvir Singh Dhindsa. An Improved AES Algorithm for Enhancing Security in Cloud Environment. Journal of Computer Technology & Applications. 2019; 10(1): 10–16p.
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving

This paper reports on the Hybrid Systems Theorem Proving (HSTP) category in the ARCH-COMP Friendly Competition 2019. The most important characteristic features of the HSTP category remain as in the previous edition [MST+18]: i) The flexibility of programming languages as structuring principles for hybrid systems, ii) The unambiguity and precision of program semantics, and iii) The mathematical rigor of logical reason- ing principles. The HSTP category especially features many nonlinear and parametric continuous and hybrid systems. Owing to the nature of theorem proving, HSTP again accommodates three modes: A) Automatic in which the entire verification is performed fully automatically without any additional input beyond the original hybrid system and its safety specification. H) Hints in which select proof hints are provided as part of the input problem specification, allowing users to communicate specific advice about the system such as loop invariants. S) Scripted in which a significant part of the verification is done with dedicated proof scripts or problem-specific proof tactics. This threefold split makes it possible to better identify the sources of scalability and efficiency bottlenecks in hybrid systems theorem proving. The existence of all three categories also makes it easier for new tools with a different focus to participate in the competition, wherever they focus on in the spectrum from fast proof checking all the way to full automation. The types of benchmarks considered and experimental findings are described in this paper as well.
FORMATION OF PRESCHOOL EDUCATIONAL INSTITUTIONS AND THEIR MECHANISMS OF MODELLING.

In article questions of development of national system preschool and vocational training are considered. Last years on strengthening of its legal base complex measures have been taken for development of vocational training, modernization and modernization of educational process, a number of system measures for support of target youth in achievement by them the considerable international both Republican's Olympic Games and competitions has been undertaken. Considering prospects of development of economy and priority problems, of modern technics and technological tendencies introducing modern information-communication technologies on high requirement and related specialties on work preparation of the qualified personnel possessing practical skills and knowing not less two languages. Considering real requirement, offers of the enterprises giving work, coordination of activity of professional colleges on radical improvement of quality of preparation of necessary experts. Formations and even more strengthening of modern material base of professional colleges equipped with school desks based highly effective the education-lab ware, computer technics and innovative technologies, to acceptance of the decree realization of measures of its effective utilization perfection of system of continuous formation and preparation of qualified personnel, is considered attention from the state on questions of an openness of educational services and quality.As a result of national independence, the state is fast becoming a state-of-the-art policy-based approach to completing a full-fledged government policy.
Designing E-Voting As An ‘Apparatus’ For Combating Election Rigging: A Nigerian Model

This is a proposed Nigerian model of e-voting.The lessons learnt and huge successes recorded from countries that have practiced e-voting system such as Belgium, Brazil, Canada, Estonia, France Germany, India, Ireland, Netherlands, Norway, Switzerland, United Kingdom and the United States of America beaconed hope for adopting E-voting system as capable of proffering solution to electoral rigging in emerging Nigerian democracy.This paper concludes that while electronic voting is not a magic wand, it is the surest way yet for Nigeria to join the league of countries that have wiped out electoral fraud, which is the worst form of corruption.Concurrently, it is also the best way to hand over for the incoming regimes.
Procedural Generation of Initial States of Sokoban

Procedural generation of initial states of state-space search problems have applications in human and machine learning as well as in the evaluation of planning systems. In this paper we deal with the task of generating hard and solvable initial states of Sokoban puzzles. We propose hardness metrics based on pattern database heuristics and the use of novelty to improve the exploration of search methods in the task of generating initial states. We then present a system called Beta that uses our hardness metrics and novelty to generate initial states. Experiments show that Beta is able to generate initial states that are harder to solve by a specialized solver than those designed by human experts.
Determining Solvability in the Birds of a Feather Card Game

Birds of a Feather is a single-player card game in which cards are arranged in a grid. The player attempts to combine stacks of cards under certain rules, with the goal being to combine all cards into a single stack. This paper highlights several approaches for efficiently classifying whether a randomlychosen state has a single-stack solution. These approaches use graph theory and machine learning concepts to prune a state’s search space, resulting in significant reductions in runtime relative to a baseline search.
Culture and Identity in Selected New Media Artworks in Malaysia 1993-2007

Contextual analysis studies based on cultural and identity aspects of fine art practice are still limited in Malaysia, especially concerning new media art, although new media as an artistic tool was introduced as early as the 1990s. Since the seminal exhibition on E-art was in 1997, since then systematic examination of new media artworks and their role in the Malaysian art history has only been limitedly done. The early approaches of new media art were varied, yet the subject matter, as discussed in this paper, was still mostly informed by the general proclivities of Malaysia artists at that time. Thus, it can be seen that despite the new technology used and explored, the subject matter of these works is still aligned with similar concerns and contents as can be found in contemporaneous works using traditional media. Thus, as this paper demonstrates, the themes of cultural identity and culture related issues and concerns still persisted as the main subject matter of early Malaysian new media artworks, as can be seen in the oeuvres of Hasnul Jamal Saidon, Liew Kungyu, Niranjan Rajah, Yee I-Lann and T.C. Liew.
The Effect of Reasoning Skills on Writing of Explanation Text Assessed from the Social Economic Status of Parents in Class VIII, SMP Negeri 2 Raya, Simalungun District, Indonesia

Writing explanation text skills means the ability of students to express ideas, feelings, and experiences to others in writing a language that is good or contextual and true about social, natural and cultural phenomena. In relation to learning to write explanation texts, reasoning skills and socio-economic status of parents need to be considered. This study is aims to know the reasoning skills on writing explanation text skills reviewed by social economic status of parents of VIIIth grade students in junior high school 2 Raya, Simalungun District. This study is conducted by using Ex Post Facto approach. This study shows that there is a significant difference between explanation text writing skills of students who have high reasoning skills and those with low reasoning skills. It means that explanation text writing skills of students who have high reasoning skills are better results than explanation text writing skills of students who have low reasoning skills. The average score of writing skills produced by students having higher reasoning skills is higher than the explanation text writing skills of students who have low reasoning skills, that is 78.8&gt; 73.2. Thus, in explanation text writing learning, students who have high reasoning skills are better results than students who have low reasoning skills.
Neural Discourse Segmentation

Identifying discourse structures and coherence relations in a piece of text is a fundamental task in natural language processing. The first step of this process is segmenting sentences into clause-like units called elementary discourse units (EDUs). Traditional solutions to discourse segmentation heavily rely on carefully designed features. In this demonstration, we present SegBot, a system to split a given piece of text into sequence of EDUs by using an end-to-end neural segmentation model. Our model does not require hand-crafted features or external knowledge except word embeddings, yet it outperforms state-of-the-art solutions to discourse segmentation.
Survey on Nanotechnology

Nanotechnology is a field where scientific knowledge and ideas emanating from the sub-atomic, atomic and molecular levels are applied in the manufacture of new and smart materials. Nanotechnology makes use of the novel properties exhibited by materials in the nanoscale. Nanocrystalline materials have microscopic grain sizes of up to 100 nm with remarkably distinct optical, electrical, chemical, mechanical properties different from those of bulk materials. Nanoparticles can be used to develop materials with unique properties since the number of atoms on the surface of a particle in the nanoscale is comparable to that inside the particle.&nbsp; Hence in order to meet the advanced technological demands in the areas such as electronics, catalysis, ceramics, magnetic data storage, structural components etc., it is important to make use of materials in the nanometer scale. Nanotechnology is a rapidly growing field of science which encompasses researchers and scientists from the areas of biology, chemistry, engineering, materials science, and physics. This technology provides the basis for research and manufacture of materials in the 21st century.&nbsp; In addition, this interdisciplinary technology will provide a strong platform for the growth of the pharmaceutical industry, medical diagnosis, materials industry and the overall economy of the country which will eventually enhance the creation of job opportunities, food security, good health and affordable housing in line with the government’s “big four” agenda. It promises improved efficiency in ICT equipment used in computing, data storage (chips) and communications (fiber optics).&nbsp; It can be used to develop renewable energy sources such as solar cells and panels. It can also be utilized to synthesize filters that can be used to get rid of pollutants; contaminants, harmful salts and viruses in water and sewerage systems and for the diagnosis and treatment of diseases including cancer and to restore damaged human organs or tissues using engineered tissue.
Predicting Unsolvable Deals in the Birds of a Feather Solitaire Game

In this paper, we analyze Birds of a Feather (BoaF), a solitaire game played with 16 cards. While the large majority of deals are solvable, the set of unsolvable deals share certain characteristics that can be determined from the adjacency matrix of the corresponding “compatibility graph”. We create a binary decision tree based on just three variables to predict whether a given deal is solvable. Our predictive model, tested on 30,000 random deals, correctly classifies over 99.9% of our data.
IMPLEMENTATION OF LINEAR CONGRUENT METHOD (LCM) ALGORITHM AS A TRAFFICER FOR FAHMIL QUR’AN

Fahmil Qur'an is one of the branches of the Musabaqah Tilawatil Qur'an (MTQ) race. In the Fahmil Quran race, the participants will be given a package of questions - questions that will be tested by the participants' ability to work together when answering questions given by the jury. And the package of questions that are available is printed poorly, allowing the jury to misrepresent the participants. To avoid repetition in giving questions to participants, a system will be built that is able to randomize the questions automatically. Randomizing the question uses a linear congruent method algorithm. In this research there is a system flowchart and manual calculation of the linear congruent method algorithm.
Auto-stereoskopik 3BTV için Öznel Deneyim Kalitesi Modellerinin

Measuring Quality of Experience (QoE) of stereoscopic 3D video is a hot research topic. Subjective models are considered as the most reliable and facilitate development of objective models. However, to collect user opinion scores takes long time. Therefore, new subjective assessment models should be proposed providing not only time-efficiency but also good accuracy and reliability. In this study, two novel subjective QoE models are proposed as alternative to the conventional Double Stimulus Continuous Quality Scale method. Also, a fair comparison method is proposed to evaluate performances of the three subjective methods using the same stimuli prepared with the most recent multi-view video codec on an auto-stereoscopic 3DTV. Correlations are calculated using two objective QoE measures using depth maps and structural similarities. The results demonstrate that the performances of the proposed models are comparable to each other and both models are superior to the conventional method.
Fault Tolerant Controller Using Interval Type-2 TSK Logic Control Systems: Application to Three Interconnected Conical Tank System.

Type-2 fuzzy logic systems have recently been utilized in many control process due to their ability to model uncertainties. This paper proposes an inference mechanism for an interval type-2 Takagi-Sugeno-Kang fuzzy logic control system (IT2 TSK FLCS) when antecedents are type-2 fuzzy sets and consequent are crisp. This paper focus on fault-tolerant control application for the three inter-connected conical tank system with following cases: (1) Servo control without fault, and, (2) Regulatory control with the actuator, system component faults, and process disturbances. In both the cases, IAE and ISE are calculated. The methods presented in this paper facilitating the design of fault-tolerant controller design using IT2 TSK FLCs with significantly improved performance over type-1 FLCs approaches.
The Emotional Situation of Netizens in Public Health Emergencies Based on Microblog and Its Comparative Analysis

[Purpose/Meaning] Under the new media environment, strengthening the emotional management of microblog netizens in public health emergencies has become an important issue. This paper takes the "natural disaster" public health event "H7N9" and the "man-made disaster" public health event "Changsheng Biological Vaccine" as examples to analyze and compare the netizens' emotional evolution characteristics and laws with different public health emergencies, to provide a strategic reference for government and others to respond to public health emergencies. [Method/Process]Expand and perfect DUTIR by PMI method. Crawl public opinion of two events by Python. Do fine-grained emotion calculation based on the dictionary and draw emotion curve, then compare and analyze the characteristics and laws of emotional development. [Results/Conclusions] Through comparative analysis, we can see there are similarities and differences between the characteristics and laws of the emotional evolution of netizens in different public health emergencies. Relevant departments should know their generality and particularity well to effectively control and guide netizens' emotions.
Adaptive Modeling for Risk-Aware Decision Making

This thesis aims to provide a foundation for risk-aware decision making. Decision making under uncertainty is a core capability of an autonomous agent. A cornerstone for with long-term autonomy and safety is risk-aware decision making. A risk-aware model fully accounts for a known set of risks in the environment, with respect to the problem under consideration, and the process of decision making using such a model is risk-aware decision making. Formulating risk-aware models is critical for robust reasoning under uncertainty, since the impact of using less accurate models may be catastrophic in extreme cases due to overly optimistic view of problems. I propose adaptive modeling, a framework that helps balance the trade-off between model simplicity and risk awareness, for different notions of risks, while remaining computationally tractable.
Cooperative Counselling Model with Jigsaw Technique in Improving Writing Quality of Official Letters

The cooperative counseling model with the jigsaw technique for government staffs in Mandai Subdistrict, Maros Regency aims to improve the ability and skills to apply the standard language rules in writing official letters to the fullest.The method used is a jigsaw technique in the form of simulations, lecture demonstrations, and performances.The results of this counseling are expected to be the basis of planning in the form of constructive thoughts as an alternative solution for solving problems experienced by government staffs in Mandai District, Maros Regency, especially in official letter writing.The result of this research that the achievement of the success of writing the control group is twice that of the control group.The success of the jigsaw technique achievement is implemented in the experimental group that composes the letter based on the results of group discussions without being guided by the instructor/lecturer.Thus, counseling on cooperative models through jigsaw techniques in improving the quality of official letter writing is more successful than other techniques.
Effective Experiences Collection and State Aggregation in Reinforcement Learning

In reinforcement learning systems, learning agents cluster a large number of experiences by identifying similarities in terms of domain knowledge and replace the groups with a representative prototype. Our method addresses two key challenges in reinforcement learning: the difficulty of transferring continuous state domain into the discrete state space, and the need for a good compromise between exploration and exploitation. To tackle the former challenge, the adaptive state aggregation algorithm with a decision tree helps the agent to learn the optimal policy in continuous state space. For the latter challenge, this paper proposes an adaptive state aggregation algorithm, which uses information entropy to evaluate the probability of state-action-dependent exploration and the value for <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">$\varepsilon $ </tex-math></inline-formula> is determined using the information entropy instead of manual tuning. Meanwhile, a Tabu search is used to lift the efficiency of exploration. For the planning algorithm, the time required for global exploration depends only on the metric resolution, and not on the size of the state space. The simulation experiments demonstrate the effectiveness of the proposed method, which adaptively partitions the state space into exclusive subspaces and, meanwhile, obtains a good compromise between exploration and exploitation.
IMPLEMENTATION OF DIGITAL LITERACY IN SOCIAL SCIENCES EDUCATION ELEMENTARY SCHOOL WITH WAYANG MEDIA FOR STKIP BINA INSAN MANDIRI PGSD STUDENTS

&lt;em&gt;Digital literacy referred to in the study here is the use of information technology as an alternative learning resource to support student literature in elementary school social studies courses and the use of puppet media in teaching puppet material Indonesian independence figures. The rapid development of information technology requires us to be able to use it for educational purposes. If the world of education can make good use of information technology, it is not impossible, the development of education will be better. One of the uses of information technology is the use of Digital Literacy in the learning process. This type of research is descriptive research with qualitative and quantitative approaches. From the results of the research that has been done and by looking at the discussion above, it can be seen that there is an increase and success in the application of a digital literacy culture in the scope of the STKIP Bina Insan Mandiri PGSD Study Program. The results of this study indicate that students who are able to carry out digital literacy and are accustomed to literacy have been proven from the test results and observations obtained by researchers.&lt;/em&gt;
Deep learning based Facial Anti-retention

It is inevitable that increasing private cars pose some potential dangers to the whole society in silence. Due to the negligence of parents, children are often locked in the car alone, causing some accidents. Therefore, in view of the existing problems, the system based on facial features is developed to enhance the safety of children's riding. This system is a child-safety system based on human face features, which can effectively determine the personal safety of children stranded in the vehicle after the vehicle is parked. The whole process includes three main points: facial detection, age recognition and expression recognition. The system performs face detection on four seats in the car, judges whether there are children in the car through age recognition, and determines the status of children in the car by expression recognition. And it concludes whether the children are safe according to expressions of children without human interface.