Reviewerly/exHarmony huggingface dataset:
La variació lectal del català en l’era de la societat xarxa

Until now, the dynamics of language change is going to understand the dissociation internal/external. The internal dimension understood as a balance between the formal systems of a language. The external data looked incorporate socioeconomic, political and cultural factors as explanatory of historical interpretation. Both, however, have different logics. Today, the study of sociological and communicational complexity requires conceptual and methodological tools appropriate to the technological changes being experienced in the network.In the history of Catalan has also tended to produce overall performances that forms the side of the community of speakers or the physical space, reproducing the dichotomy internal/external peer to which were added as oral/written, unity/diversity, center/periphery, urban/rural or standard/varieties. Do all these notions preserve the effectiveness explanatory? Can account properly transversal changes affecting called precisely or not digital natives? Rather than outline any alternative hypothesis, our goal is to point out the need to produce a type of historical interpretation more refined, versatile and persuasive, based on the dense nuanced description of the data available and incorporates the paradoxical effects of any discursive approach to verbal objects.
Design and implementation of a Context-Aware Health Service Platform (CAHS)

&lt;p&gt;Computers are no match to humans in deducing situational information from their environment and in using it in their interactions. The advent of the context-aware applications seems to offer a way out to the computer that is not context-sensitive. The context aware applications can adapt their behaviors according to the perceived context or situation, without explicit user intervention, thereby providing human-centric services. To simplify the complexity of developing applications, context aware framework, which introduces context awareness into the environment where the applications are executed, is highlighted to provide a homogeneous interface involving generic context management and adaptation solutions. This papier has focused on the design of Context-Aware Health Services (CAHS) platform, which provide a health applications framework embedded on mobile devices. Our proposed platform is capabilities for context manager and adaptations according to context changes. It is designed to base on the SOA principles for achieving a flexible and dynamic architecture.&lt;/p&gt;
A Graph-based approach for text query expansion using pseudo relevance feedback and association rules mining

Pseudo-relevance feedback is a query expansion approach whose terms are selected from a set of top ranked retrieved documents in response to the original query. However, the selected terms will not be related to the query if the top retrieved documents are irrelevant. As a result, retrieval performance for the expanded query is not improved, compared to the original one. This paper suggests the use of documents selected using Pseudo Relevance Feedback for generating association rules. Thus, an algorithm based on dominance relations is applied. Then the strong correlations between query and other terms are detected, and an oriented and weighted graph called Pseudo-Graph Feedback is constructed. This graph serves for expanding original queries by terms related semantically and selected by the user. The results of the experiments on Text Retrieval Conference (TREC) collection are very significant, and best results are achieved by the proposed approach compared to both the baseline system and an existing technique.
Correlation of Students’ Vocabulary Mastery and Reading Comprehension at the Second grade of SMP Negeri 1 Kolaka

The aim of this research was to find out the correlation between the students’ vocabulary mastery and the students’ reading comprehension at the second Grade of SMPN 1Kolaka. The population of this research was all the second grade students of SMP Negeri 1 Kolaka which consist of 206 students. The sample of this research is 26 students, it is class VIII B. The instruments in this research were two kinds of test, they were vocabulary test and reading comprehension test, each test consisted of 20 multiple choice. All the data gained in this research was analyzed by using the formulation of Pearson Product Moment Correlation Coefficient. According to the result of the analysis and statistical calculate, it found that rxy was 0.705 and rt was 0.404 with the degree of freedom (df=N-nr) was 24. By comparing the values of rxy and rt, the result was rxy was bigger than rt, in other words rcount was higher than r table. It means that there was correlation between students’ vocabulary mastery and reading comprehension and coefficient correlation was high, in this case the alternative hypothesis is accepted.Based on the finding from this research, it could be concluded that vocabulary mastery helps the students to comprehend the text. To solve the problem in comprehending the text in which students should have sufficient vocabulary that can help them in doing their in reading test.
Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking

Compositional stochastic model checking in the assume-guarantee style is a theoretically feasible way to alleviate the state explosion problem. The key for assume-guarantee reasoning is how to generate assumption. A main automated approach for assume-guarantee are based on learning assumptions. However, L*-based learning assumptions for stochastic systems produces many intermediate results which need to be recorded. To overcome this, we propose a novel learning technique based on genetic algorithm for compositional stochastic model checking of Markov decision process, which is a randomized algorithm essentially. There are no intermediate results need to be recorded in the genetic algorithm-based learning algorithm, except the encoding of the problem domain and the training set. It can reduce the space complexity largely with respect to derivation algorithms. We implement a prototype tool for it and report encouraging results.
The Study of Using Introduction Themselves and Their Families Conversations in Teaching Speaking of 3rd Class Students of Elementary School

Speaking skills in English is a very important skill in general communication. This skill is needed even since school age children. SD Negeri Jombor 03 Bendosari Sukoharjo is located in Jombor sub-district, Bendosari sub-district, Sukoharjo regency, which has students with relatively low English speaking ability. This is evidenced from the document a student's grade is relatively lace that obtained by the researchers through observation.The purpose of this study is to provide convenience for students of SD Negeri Jombor 03 Bendosari Sukoharjo to improve their speaking skills, especially to introduce themselves and their families. The method used by researchers is practice individually, in pairs, and in groups. This method provides an opportunity for students to be more active and expressive to express ideas, and bring up peer tutors to reduce the tension or pressure that obtained indirectly in a foreign language learning. In addition to the planned method, researchers also made use of LCD media and letter cards along with plastic boards to help students more easily absorb the material. This media was contributed quite a lot.The students feel happy, enthusiastic and more expressive in accepting the material provided.The researchers obtained the data by field observations, then the researchers made other instruments such as questionaire sheets, pretests and evaluations. The results of this study are quite significant. The students was increased by 30.66% than of the results of the pretest and posttest. This method is expected to be carried out elsewhere so that the benefits can be felt in the wider community.
On Exploration and Practice of Application-Oriented Talent Cultivation System of English Related Majors in Local Normal Universities in China

Recently, many local normal universities have been carrying out transformation and development project. Leshan Normal University, a local normal university, is prone to change traditional talents cultivation mode. By taking LSNU as an example, this paper attempts to make an exploration on constructing application-oriented talents training system through reconstructing application-oriented talents cultivation system, constructing application-oriented course system, enhancing practice education and training double-qualified teachers.
Standardizing the Evaluation of Digital Managers for Better Interactive Experiences

As Artificial Intelligence (AI) technologies become increasingly integrated with society (e.g., in the form of digital assistants, games, or self-driving cars), it becomes increasingly important to understand how they can ensure that people’s experiences meet certain desirable criteria. In Experience Management, researchers and professionals seek to create automated systems called “experience managers”, which work to improve people’s experiences in designer-specified ways. Unfortunately, the evaluation and comparison of experience managers is currently impaired by the lack of both a common platform to evaluate them and a common language to describe experience management tasks. Experience in other fields such as General Game Playing and AI Planning has shown that having a common platform can stimulate and accelerate research progress. The goal of this project is thus to develop a platform for evaluating and comparing arbitrary experience managers on a wide variety of tasks, to accelerate the essential progress of Experience Management research. We plan to do this by studying existing experience managers, developing a common platform that can support them, and promoting the platform to the research community as a tool for their research. Throughout our work, we will draw lessons from the field of General Game Playing, hoping to reuse some of its existing infrastructure and stimulate new exchanges of ideas between the two fields of research.
MADRASA FINANCING MANAGEMENT

This study aims to determine the financing management at Madrasah Aliyah Al-Mansyuriyah Cianjur. The research method used is descriptive-qualitative research. This method seeks to describe the state and interpret objects according to what is in the field. Data collection through participant observation, interviews and documentation. Data analysis uses data unicitation, data categorization and data interpretation. To test the validity of the data, this research was conducted by checking the data on the extension of participation, perseverance of observation, and triangulation. The results of this study indicate that: 1) Madrasa financing sources come from the leadership of the foundation, Madarasah Operational Assistance (BOM), School Operational Assistance (BOS) both from the central government and regional government, student cooperatives, Infaq, Waqf, Zakat, Sodaqoh and Grants, 2) Planning (Budgeting) for madrasah financing begins by first making the Madrasah Activity and Budget Plan (RKAM), the source of the budget developed in the Madrasah RKAM Aliyah Al-Manshuriyah Cianjur include routine budget funds, development and maintenance budgets, education support funds, funding funds society, 3) Madrasah financing recording and bookkeeping is marked by the presence of an income control book, cash book / financial bookkeeping, and SPJ completed with valid evidence, 4) Auditing includes, evaluation, evaluation, accountability and conformity checks achieved. Reporting at Madrasah Aliyah Al-Mansyuriyah is conveyed to the guardians of students, principals, teachers, school committees, foundations and to the government in this case represented by supervisors.
Criminal Spot Detection

The purpose of this research is to develop an application that can provide up to-date information about the security level of a certain place that can be estimated by application users by viewing vulnerability information, developing applications that can facilitate application users in disseminating information about certain place security points, and developing applications that Can make it easy for people closest to get the latest information in the form of location of the users and can shorten the steps needed to provide information to the relatives if they feel unsafe. The benefit of this research is that the closest people can take action as quickly as possible when the user of the application is in a state of danger, increasing the security and quiet of the users of the application because of its location can be monitored by its relatives, and increase the knowledge of its users about the places around it which will Increase his self awareness. Suppose particular person saw that the crime is happening then the person can take photograph of it and upload it on our application. So, because of it police can find the location of that person where the crime is happening. Based on suchinformation police can able to reach to that location and they are able to take some actions against it.Also we are using panic mode in it which shares the location of crime spot to police and admin.Also it gives emergency auto dialing feature.
Method of Centre Manifold from Bifurcation Theory

The aim of this paper is to introduce tools from bifurcation theory is necessary in ways in our life particularly in the study of neural field equations set in the primary visual cortex. So we deal with saddle-node, trans- critical, pitchfork and Hopf. Bifurcations as an elementary bifurcation; directly related to the center manifold theory which is a canonical way to write differential equations.&#x0D; We conclude this paper with an overview of bifurcations with symmetry by solving some problems and giving Branching Lemma as the equivariant result
Correction to: Discrete analogues of continuous bivariate probability distributions

This erratum is published as vendor overlooked corrections on Table 6 and deleted two references.
Cross-Lingual Coreference: The Case of Bulgarian and English

The paper presents several common approaches towards cross-and multi-lingual coreference resolution in a search of the most effective practices to be applied within the work on Bulgarian-English manual coreference annotation of a short story.The work aims at outlining the typology of the differences in the annotated parallel texts.The results of the research prove to be comparable with the tendencies observed in similar works on other Slavic languages and show surprising differences between the types of markables and their frequency in Bulgarian and English.
Some Notes for Translating Vietnamese and English Sentences

The paper is about how to identify the attributes closely related to the two notions named Subject and Đề, the latter including the Topic and the Range Topic, as well as to find out how to translate the Vietnamese sentences the basic structure of which is the Topic-Comment structure into the English sentences the basic structure of which is the Subject-Predicate structure.The paper starts with a selected Vietnamese declarative which in its typical Topic-Comment structure with a succession of three Range Topics in the initial position in order to show the time and space in which whatever presented in the Comment occurs.The paper then presents, one after another, the two suggested translated versions in English: the former requires a Subject which doubles as Topic, which is 'you' in this case, in order to play the semantic role of "the Actor"; the latter is an inverted sentence in English, which is definitely equivalent in sense and better reflects the very Topic-Comment structure as well.Considerable attention has been paid to the distinction between the Topic and the Range Topic in the Vietnamese sentences in question.Such a distinction is crucial not only to widely perceiving what is called "meaning" but also to producing wellformed translated versions, either from English into Vietnamese or vice versa.After the theoretical points that are based basically on Functional Grammar are some notes for translating Vietnamese and English sentences.Hopefully, this contributes to drawing the attention of those who have practiced translating, and hopefully professional translators as well, to sophisticated issues in translation, both from and into the English language, which is part of the whole process of language learning.
Adding Linguistic Knowledge to NLP Tasks for Bulgarian: The Verb Paradigm Patterns

The paper reports pn a work on constructing automatically analytical paradigm of Bulgarian verbs on the bases of several existing language resources like Bulgarian inflection lexicon, Bulgarian Valency lexicons, BulTreeBank Bulgarian WordNet.The paper also discusses some possible usages of this new lexical resource containing Bulgarian verb paradigms and their English translations.This type of data can be used for machine translation, generation of pseudo corpora/language exercises, evaluation of parsers, and other tasks.
Rule Formats for Nominal Process Calculi.

The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications of NRTSs that ensure that the associated NRTS is an NTS and apply them to the operational specifications of the early and late pi-calculus. We also explore alternative specifications of the NTSs in which we allow residuals of abstraction sort, and introduce translations between the systems with and without residuals of abstraction sort. Our study stems from the Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators.
The impact of the image processing in the indexation system

This paper presents an efficient word spotting system applied to handwritten Arabic documents, where images are represented with bag-of-visual-SIFT descriptors and a sliding window approach is used to locate the regions that are most similar to the query by following the query-by-example paragon. First, a pre-processing step is used to produce a better representation of the most informative features. Secondly, a region-based framework is deployed to represent each local region by a bag-of-visual-SIFT descriptors. Afterward, some experiments are in order to demonstrate the codebook size influence on the efficiency of the system, by analyzing the curse of dimensionality curve. In the end, to measure the similarity score, a floating distance based on the descriptor’s number for each query is adopted. The experimental results prove the efficiency of the proposed processing steps in the word spotting system.
Freedom through Online Education. Are We Safe Online?

The article shed light on a problem of freedom of expression through Online Education. Nowadays, the intermediaries such as Facebook, Google, Twitter, etc. play crucial role in educating people. Their policies in addition to the governmental regulations could seriously affect the human rights. The extraterritoriality and non-state actor status of transnational companies are also problems when considering violation of human rights as legally transnational corporations cannot violate rights as non-state actors and have no obligation towards people. In addition, fake news and trolley factories became a true problem that claimed to be able to affect even elections. Moreover, they could affect the right to know and receive information which constitutes a part of the general right to freedom of expression. However, as recent examples show, social media platforms knowingly keep fake information despite the public announcement of human rights commitments. In addition, while claiming the dedication to the human rights protection, business still more interested in profit.
SISTEM INFORMASI PENCATATAN DAN LAPORAN PADA BIDAN PRAKTEK SWASTA (BPS) “FITRI ALATIF” BERBASIS DEKSTOP

The quality of healthcare needs to be improved, both in terms of BPS information system, recording system, support system and health service support system. In the Health Service administration system can be carried out process of logging for patients who visit by doing a recording that includes the activity of patients. Documents containing a visiting patient's history are called BPS. Analysis of data needs related to BPS. The software is built using the programming language MySql, Vb.Net and Cristalreport. The purpose of making this application is to know the system that runs in the process of logging the patient in the BPS "Fitri Alatif" before the design of a computerized BPS information system "Fitri Alatif", so that it can be built a Recording information systems and reports using the desktop-based prototype method of a private practice midwife and using Unified Modeling Lenguage (UML) for system modeling. Where this system can be used to facilitate the management of BPS in the recording and report of patients who visit on a considerable scale.
Motion Prediction with Artificial Neural Networks Using Wearable Strain Sensors Based on Flexible Thin Graphite Films

A human motion prediction system can be used to estimate human gestures in advance to the actual action for reducing delays in interactive system. We have already reported a method of simple and easy fabrication of strain sensors and wearable devices using pyrolytic graphite sheets (PGSs). The wearable electronics could detect various types of human motion, with high durability and fast response. In this study, we have demonstrated hand motion prediction by neural networks (NNs) using hand motion data obtained from data gloves based on PGSs. In our experiments, we measured hand motions of subjects for learning. We created 4-layered NNs to predict human hand motion in real-time. As a result, the proposed system successfully predicted hand motion in real-time. Therefore, these results suggested that human motion prediction system using NNs is able to forecast various types of human behavior using human motion data obtained from wearable devices based on PGSs.
An Study on the Direction of Future Education in the AI Era

This study discussed the direction of education in the New Frontier era. The Fourth Industrial Revolution is expected to have widespread impact across the enterprise and society. Education is no exception. In the era of the fourth industrial revolution, human beings should live by practicing lifelong education. This era will require active lifelong learning, not passive learning. Differences in motivation for learning will cause big changes in the future. Human beings must develop their own power in accordance with changing times. Eachness competency are the ability to know themselves right away, creative competency, problem-solving and critical thinking. A future society is a society that lives together. Therefore, it is a society that needs empathy competency, collaboration competency, and communication competency. These changes are already welcoming us into the future. In the era of the Fourth Industrial Revolution, we must strive to develop our own learning skills.
A Mechanized Theory of Program Refinement

We present a mechanized theory of program refinement that allows for the stepwise development of imperative programs in the Coq proof assistant. We formalize a design language with support for gradual refinement and a calculus which enforces correctness-by-construction. A notion of program design captures the hierarchy of refinement steps resulting from a development. The underlying theory follows the predicative programming paradigm where programs and specifications are both easily expressed as predicates, which fit naturally in the dependent type theory of the proof assistant.