Reviewerly/exHarmony huggingface dataset:
Investigating the Dark Sector of the Universe using Cosmological Observables

Although the Standard Model of particle physics has been a phenomenal success in modelling known particles and predicting new, theoretically founded particles, it is known to be incomplete. And while the Standard Model of cosmology has been a phenomenal success in modelling the evolution of the Universe, it too has open questions that remain unresolved. In this thesis, we aim to address properties of new physics models that are being developed that aim to answer these questions. In particular, we wish to focus on and examine in detail the connection between the dark sector of the Universe and the visible sector. In examining this connection, we may use cosmological observables to place strict limits on new theories that go beyond the Standard Model.In the first part of this thesis we will address the flow of energy from the visible sector to the hidden via a phenomenon known as freeze-in. Here, we explore the effects that early-time, ultraviolet energy transfer may have on the infrared, late-time evolution of a dark matter candidate. We use a simplified hidden-sector model to highlight the notion that operators that are typically considered early may have relevant late-time effects. Following this, we consider the reverse energy flow, and consider how dark-sector energy injection via decays of electromagnetic radiation may affect the products of Big Bang Nucleosynthesis. In this section, we focus on arbitrary light particle ($<$ 100 MeV) decays, and identify how direct and indirect alteration of the light element abundances can be constrained using the measured values today. Direct alteration is caused by photodissociation, while indirect effects are felt through changes in the radiation energy density.Finally, we consider a full and rich dark sector, consisting of a non-Abelian SU(3) gauge force. This new gauge field presents itself as glueballs after a confining transition. We study the effects of this confining transition, as well as the subsequent dynamic evolution of the spectrum of glueballs produced. In the final chapter, we examine how decays to Standard Model particles via higher-dimensional, non-renormalizable operators can place stringent limits on the parameter space of this gauge force.
Some results on free Euclidean self-dual codes over F2+vF2

In this paper, free Euclidean self-dual codes over the ring F2 + v F2 with v2 =v of order 4 are considered. A necessary and sufficient condition for the form of the generator matrix of a free Euclidean self-dual code is given. By using the distance preserving Gray map from F2 + v F2 to F2 x F2, the generator matrix of the binary code which corresponds the code over the ring F2 + v F2 is obtained. The codes of lengths up to 100 over the ring F2 + v F2 are found.
Push-pull Feedback Implements Hierarchical Information Retrieval Efficiently

Experimental data has revealed that in addition to feedforward connections, there exist abundant feedback connections in a neural pathway. Although the importance of feedback in neural information processing has been widely recognized in the field, the detailed mechanism of how it works remains largely unknown. Here, we investigate the role of feedback in hierarchical information retrieval. Specifically, we consider a hierarchical network storing the hierarchical categorical information of objects, and information retrieval goes from rough to fine, aided by dynamical push-pull feedback from higher to lower layers. We elucidate that the push (positive) and pull (negative) feedbacks suppress the interferences due to neural correlations between different and the same categories, respectively, and their joint effect improves retrieval performance significantly. Our model agrees with the push-pull phenomenon observed in neural data and sheds light on our understanding of the role of feedback in neural information processing.
OAuth 2.0 Client Intermediary Metadata

This specification defines a mechanism for including information aboutadditional parties involved in an OAuth transaction by adding a newsection to the OAuth 2.0 Dynamic Client Registration request, as wellas requires that authorization servers surface this information tousers during an OAuth transaction.
Voice Enabled Railway Assistant using Alexa Skills Kit for the Blind and Visually Impaired

Blind and the visually impaired have a little or no access to the advancements in technology and the world of internet. This is because of the absence of affordable solutions and products (hardware and software). Existing technology that enables the blind and the visually impaired to make use of the internet or information in any digital form highly depends on Braille displays and keyboards which are scanty and expensive. Another limitation of the existing technology is that out of all the visually impaired population, not more than 2% know how to interpret Braille. Consequently, voice-controlled systems which transmit and receive information in the form of audio have already proven their usefulness to the blind and the visually impaired. Today's real-world voice-controlled systems are becoming smarter at an increasing pace. They tend to learn and understand the end user's speech patterns over the course of time to a degree that they are even capable of building their own vocabulary. With the speedily reducing cost of electronic hardware, way more pioneering approaches are practicable to considerfor implementation in products.These products make use of algorithms that are linguistically sophisticated.The algorithms used are paired with extensive dictionaries.Hence, a new functionality providing dynamic information to the blind or the visually impaired to plan their daily commute using trains was designed using Alexa Skills Kit.The goal of this system is to build a voice assistant which is small in size and low at price to help the blind travel with a greater degree of psychological comfort and giving optimal schedules to reach the desired destination.
Strategies for developing the reading skill through effective reading practices

This research paper mainly focuses on developing the reading skills of the third year students at the Computer University, Kalay, Burma. As reading is the most common skill, effective uses of practice reading strategies engage learners resulting in competence in fluency and meaningful depiction of literary texts. The knowledge of reading in a foreign language is important for the students to take the responsibilities for their own learning and to use the acquired reading strategies to tackle the various kinds of texts both inside and outside the class. In this paper, some various effective techniques are mentioned to improve the students’ abilities of reading. The important factors of the reading skills are showed to improve students’ reading speed and to catch the general meaning of the massage. Through needs analysis survey, needs, lacks, wants and attitudes of various students and teachers can be found out. It is hoped that this paper can give some insights into the difficulties faced by students and teachers who have no idea how to train students to be efficient and flexible readers and help the students make good use of their reading skill and how to handle it in the most effective way throughout their studies.
DETEKSI GEJALA VIRUS ZIKA MENGGUNAKAN CERTAINTY FACTOR DAN NAIVE BAYES BERBASIS ANDROID

Zika's disease or zika fever is a zika virus, the zika virus is spread by infected Aedes mosquitoes, this mosquito becomes infected after bites the sufferer who has the virus. Zika's disease worse when exposed to pregnant women, because women infected with this virus will automatically pass it to the baby in the womb, and can cause death if the baby survives will experience the baby aka birth with a smaller head than it should be. To help the problems faced by experts or medical personnel in diagnosing Zika's disease in these patients, where the activity is seen from the symptoms suffered by the patient. By using Certainty Factor and Naive Bayes based Android is expected to assist medical personnel or experts in calculating the diagnosis of the patient and the expert can know whether the patient must have zika disease or vice versa. Keywords: Virus Zika, Certainty Factor, Naive Bayes , Android.
PROTOTYPE REMINDER PENGGANTIAN OLI PADA MOBIL BERBASIS INTERNET OF THINGS

Most drivers who carry oil on their vehicles on average always exceed the maximumkilometer limit for oil changes. This is because the customer does not know when and at whatdistance the customer must return to the workshop to replace the oil, causing the engineperformance of the vehicle to decrease. Customs In making prototype oil change reminder onthis car will later use technology in the form of NodeMCU for the board, rotary encoder as asensor to find out the distance that has been traveled, and if it has reached the maximumkilometer distance that has been taken then the application will send notifications sent to thedriver as Car oil change reminder. system development methods used are Prototype, andsystem design with UML diagrams consisting of use cases
A Computationally Assisted Reconstruction of an Ontological Argument in Spinoza’s The Ethics

Abstract The comments accompanying Proposition (Prop.) 11 (“God ... necessarily exists”) in Part I of Spinoza’s The Ethics contain sketches of what appear to be at least three more or less distinct ontological arguments. The first of these is problematic even on its own terms. More is true: even the proposition “God exists” (GE), a consequence of Prop. 11, cannot be derived from the definitions and axioms of Part I (the “DAPI”) of The Ethics ; thus, Prop. 11 cannot be derived from the DAPI, either. To prove these claims, I use an automated deduction system (ADS) to show that Prop. 11 is independent of the DAPI. I then augment the DAPI with some auxiliary assumptions I believe Spinoza would accept and that sustain an automated derivation of (GE). The results illustrate how an ADS can facilitate the analysis of arguments and yield an apparently novel argument cast in the style of Spinoza.
IMPLEMENTASI PENETAPAN PAJAK KENDARAAN BERMOTOR UBAH BENTUK PADA SAMSAT KABUPATEN TIMOR TENGAH SELATAN

The problem in doing the majoring in SAMSAT of sub-province of Timor Tengah Selatan can be solved by using information system. In a month SAMSAT of sub-province of Timor Tengah have served 3.131 taxpayer, that means for a day SAMSAT of sub-province of Timor Tengah served approximately reach 150 taxpayer and total vehicles in registration is 39.492 vehicles. The system that is developed to maintain vehicles data, types of vehicle data, vehicles brands data, dumps data, vehicles price data, registration data, and to count vehicles tax determining rightly dan quickly and can gain the report of all registration data, specific report of the vehicles, specific report of vehicles tax determining and receipt tax payments of vehicles transform. This system capable to answered the hypothesis H0 about contentment of service with satisfaction level more than 70% viz 78%.
Research on the Reform Method of the Teaching and Examination for Erya Online General Course under the Background of “iGeneration”

The reform process of the teaching and examination for Erya online general education course during the last 7-years at Tianjin Polytechnic University is introduced in detail, and the effect is evaluated by data analysis. Furthermore, the prospect of network teaching is proposed based on the learning characteristics of “iGeneration” students.
A Multitouch Drawing Application with Occlusion-Free Interaction Strategies

Increasing number of desktop applications are becoming available on smartphones and tablets today with multitouch capabilities, allowing the users’ fingers to perform sophisticated or fine-grained interactivities. However, finger occlusion and imprecision continue to limit the performance of multitouch interactions. Quite a few studies proposed the ways to address this issue, and some of them are now used in commonly encountered situations such as text editing. Many occlusion-avoiding techniques used today focus on initial target acquisition step of touch interaction (e.g. accurately selecting an item or touching a desired starting point in drawing a line), having possible consequences to any further intended action (e.g. dragging the selected item to a different location or drawing a line on the canvas). In order to better understand the influence of finger occlusion-free techniques on other parts of the overall interactions, in this paper we report a full-fledged sketch app that incorporates combinations of basic target acquisition features. As the app is a full-featured, end-to-end tablet prototype, such usability issues can be more readily revealed and discussed in the context of realistic drawing situations.
Deep Covariance Estimation Hashing for Image Retrieval

Recently, combination of advanced convolutional neural networks and efficient hashing, deep hashing have achieved impressive performance for image retrieval. However, state-of-the-art deep hashing methods mainly focus on constructing hash function, loss function and training strategies to preserve semantic similarity. For the fundamental image characteristics, they depend heavily on the first-order convolutional feature statistics, failing to take their global structure into consideration. To address this problem, we present a deep covariance estimation hashing (DCEH) method with robust covariance form to improve hash code quality. The core of DCEH involves covariance pooling as deep hashing representation performing global pairwise feature interactions. Due to convolutional features are usually high dimension and small sample size, we estimate robust covariance with matrix power normalization and then insert it into deep hashing paradigm in an end-to-end learning manner. Extensive experiments on three benchmarks show that the proposed DCEH outperforms its counterparts and achieves superior performance.
Stimulating Efl (English As Foreign Language)Students’ Writing Skill By Using Social Media

This study was concerned to stimulate EFL (English As foreign language) students’ ability for writing English especially descriptive sentences in social media. The growth of Social Media with various platforms like Instagram, Facebook, LinkedIn, Youtube and many others have interested the youngers or teenagers to take part in those platforms. The youngers, teenagers, students love posting pictures, photos, sharing information even learning and studying some lessons can be done  from the social media like Ruang Guru, English Today Medan, gurukumrd and many others account which share knowledge in fun way. Students love posting good pictures with simple caption in Bahasa Indonesia sometimes commonly used by Indonesian students. As we know that social media one of the fastest way to learn something. Nowadays, people can get benefit information until education from the media like Facebook, Insatgram, Twitter and many others. Those social media can stimulate the students to learn English because the information comes from around the world. People can do communication faster by the scoial media nad mostly the international language used in social media is English. Social media trend and lifestyle among the teenagers should be a good opportunity for the English trainers to stimulate EFL students to learn Englis, especially for writing descriptive sentence. Descriptive sentence is commonly used to describe a post, interesting picture, photo to be more  and understoodable by the readers, not only in Indonesia but also the readers from around the world. Good English caption will ease the people around the world to comprehend the meaning of caption. The method of writing English descriptive sentences can be trained by teaching it in the level of secondary schools where the teenagers are the most active social media audiences based on the research in 2018 especially the instagram users are 53 million with the percentage of 49 percent female users, 51 percent male users. Based on the research, rather than wasting time to use social media with no purpose, educating the social media users especially the teenagers are needed to be taken, the role of English teachers to stimulate the students about writing English descriptive sentences will accomodate the ability of Indonesian students to enhance English writing skill through social media. Keywords : Stimulating EFL Students, writing skill, social media
Sobre la ontología de la lógica modal. La reforma metafísica de Kripke. Breve manual de semántica

Resumen: Se analizan los supuestos ontologicos de la logica modal de Saul Kripke.Se dan respuestas a las preguntas: ?Que son las modalidades? ?Cual es el problema semantico que afronto Kripke? ?Como lo resolvio? ?Como un cambio de logicareforma los analisis ontologicos? Este trabajo tambien tiene el proposito de ser unaintroduccion a la semantica de la logica modal proposicional de Kripke.  Abstract: The ontological assumptions of the modal logic of Saul Kripke are analyzed. Answers to the questions are given: What are the modalities? What is thesemantic problem that Kripke faced? How was it resolved? How a substitution oflogic reforms the ontological analyzes? This paper is also intended to be anintroduction to the semantics of Kripke's propositional modal logic.  Keywords: Modal Logic, Ontology, Kripke Frames.
SECURING DATA INTEGRITY AND AUTHENTICATION SERVICE INFRASTRUCTURE FOR SERVICE CLOUDS

SaaS Cloud frameworks give proficient and financially savvy service facilitating foundation for SaaS service providers. The frameworks are regularly shared by different clients from an assortment of security areas, which make them obligated to different noxious assaults. Moreover, the cloud foundation ordinarily has applications that manage significant data, for example, data preparing applications. This gives chance to assailants to exploit the framework powerlessness and complete key assaults. In this paper, we present IntTest, a versatile and successful service honesty verification structure for SaaS clouds. IntTest gives a novel incorporated authentication diagram investigation conspire that can give more grounded aggressor pinpointing power than past schemes. In addition, IntTest can consequently improve result quality by supplanting awful outcomes created by noxious assailants with great outcomes delivered by kindhearted service providers. We have actualized a model of the IntTest framework and tried it on a creation cloud computing foundation utilizing IBM System S stream preparing applications. Our exploratory outcomes demonstrate that IntTest can accomplish higher assailant pinpointing precision than existing methodologies. IntTest does not require any exceptional equipment or secure piece support and forces little execution effect to the application, which makes it functional for huge scale cloud frameworks.
THE EFFECTIVENESS OF CONGKLAK TRADITIONAL GAME TO IMPROVE STUDENTS’ LEARNING MOTIVATION IN HUMAN EXCRESSION SYSTEM MATERIALS

The research aims to investigate the effectiveness of congklak game media as a learning media that can improve students learning motivation on the chapter of Human Excretion System . This research was conducted by using one group pretest-posttest design that tested on 15 students of VIII class 32 Surabaya State Junior High School . The instruments that used is a questionnaire of student motivation which distributed to students before and after learning using traditional congklak game media and student activity observation sheet which filled by observers during the learning. The results which is obtained from motivation questionnaire can be known that Gain Score on the aspects of attention and satisfaction is 0.4 with medium criteria. While on relevance and satisfaction aspect is 0,3 with medium criteria. Based on students' activity data show that from meeting 1 to 4 students' irrelevant behavior is decrease and students' relevant behavior is increase.. This showed that students are increasingly motivated to do learning. It can be concluded that the traditional game media Congklak effective to increasing student learning motivation. Keywords: learning media, congklak game, learning motivation
A NOVEL SIMILARITY APPROACH FOR ONLINE SENTIMENT TEXT

The content and context of social network websites become crucial to know what the people are interested in and what kinds of information are spread among them depending on all commissions, comments, and actions need to analyze. Consequently, it becomes important that the brands listen carefully to what is said about their online business. Additionally, it demands more challenges to know whether the conversation leads to positive or negatives so that the impact of social network opinions can be measured to apply back in the real word problems. This paper finds the similar groups of social network activities, especially comments and posts of the users who shares about the same context depending on a specific topic. For this purpose, this paper introduces how to deal with finding the similarity between the contextual text of the users in semantic ways by filling the gap of syntactic measures in text similarity. Regarding the datasets, Twitter dataset, which is a popular dataset for sentiment analysis is used Respecting to the performance results, the proposed system achieves promising results with higher accuracy rate but lower error rate for both datasets available from online.
Change Impact Analysis for Evolving Configuration Decisions in Product Line Use Case Models

Product Line Engineering is a key practice in many software development environments where systems are complex and developed for multiple customers with varying needs. At the same time, many business contexts are use case-driven where use cases are the main artifacts driving requirements elicitation and many other development activities. In such contexts, variability information is often not explicitly represented, which leads to the ad-hoc change management of development artifacts such as use cases, domain models and test cases in product families. This work is about achieving automated and effective change management in a product family within the context of use case-driven development and system testing. To this end, we present the following: (1) a modeling methodology for capturing variability information in Product Line (PL) use case and domain models, (2) an approach for automated configuration of Product Specific (PS) use case and domain models, (3) a change impact analysis approach for evolving configuration decisions in PL use case models, and (4) an approach for automated classification and prioritization of system test cases in a family of products.
Design &amp; Fabrication of Electric Tricycle for Handicapped Person

Nowadays, it is difficult for the physically disabled or handicapped person to move to their destination. Generally the handicapped person found on the wheelchair transporting with the help of another person. It is necessary to provide the mobility to disabled person without the help of another person. Various hand driven tricycle is available in market, but that require more effort for handling and driving. A motorized tricycle is designed to solve the problem by providing motor to the vehicle. The basic design will be according to the existing manually operated tricycle. The whole body looks like a complete tricycle except the fact the manual operation is replaced by an automatic operation using motors.