Reviewerly/exHarmony huggingface dataset:
LEARNING STRATEGY OF VIRTUAL EXTERNAL CONTEXT LANDSCAPE IN EDUCATIONAL PRAGMATICS (STRATEGI PEMBELAJARAN LANSKAP KONTEKS EKSTERNAL VIRTUAL DALAM PRAGMATIK EDUKASIONAL)

The purpose of this study is to develop virtual external context landscape learning strategy in the educational pragmatics course so that the improvement of the quality of educational pragmatics learning in the Master program of the Indonesian language education in response to covid-19 pandemic can be done. This research is included in the type of development research with modifications as necessary in accordance with the target achievements of this development research. The steps of research on the development of a virtual external context landscape learning strategy are as follows: (1) data collection and analysis for a preliminary product of development study, (2) product development planning, (3) product draft development, (4) testing early stage field trials, (5) revision of field trial results, (6) second stage field trials, (7) product improvement of field test results, (8) final stage field testing, (9) final product improvement, and (10) ) dissemination and implementation. This research is theoretically useful in terms of developing pragmatic linguistics, especially educational pragmatics, and is practically useful in terms of improving the educational pragmatic learning model in the master program in response to Covid-19 pandemic.Keywords: Learning Model, Context Landscape, Educational PragmaticsAbstrakTujuan penelitian ini adalah untuk mengembangkan strategi pembelajaran lanskap konteks eksternal virtual dalam mata kuliah Pragmatik Edukasional sehingga peningkatan kualitas pembelajaran Pragmatik Edukasional di program magister pendidikan bahasa Indonesia dalam rangka menyikapi pandemi covid-19 dapat dilakukan. Penelitian ini termasuk dalam jenis penelitian pengembangan dengan modifikasi seperlunya sesuai dengan target capaian penelitian pengembangan ini. Langkah-langkah dalam penelitian pengembangan strategi pembelajaran lanskap konteks eksternal virtual tersebut secara lengkap disampaikan sebagai berikut: (1) pengumpulan dan analisis data untuk studi pendahuluan pengembangan produk, (2) perencanaan pengembangan produk, (3) pengembangan draf produk, (4) uji coba lapangan tahap awal, (5) revisi hasil uji coba lapangan, (6) uji coba lapangan tahap kedua, (7) penyempurnaan produk hasil uji lapangan, (8) uji lapangan tahap akhir, (9) penyempurnaan produk akhir, dan (10) diseminasi dan implementasi. Penelitian ini bermanfaat secara teoretis dalam hal pengembangan ilmu bahasa pragmatik khususnya pragmatik edukasional, dan secara praktis bermanfaat dalam kaitan dengan perbaikan model pembelajaran pragmatik edukasional di program magister dalam rangka menyikapi pandemi Covid-19.Kata Kunci: Model Pembelajaran, Lanskap Konteks, Pragmatik Edukasional
Decision Trees Implementation in Monitoring of Elderly Persons Based on the Depth Sensors Data

The chapter presents application of the Decision Tree (DT) to the fall detection of elderly people monitored by the infrared depth sensors. The decision making system works on data acquired by sensors, recording movement of the person, and raising the alarm if his/her behaviour suggests that the accident took place. From the measurement, various data morphological features are extracted, further processed by the DT. The classifier was adjusted to the presented problem, including the weighting of the distinguished categories. Various configurations of the DT were implemented, showing its usefulness not only to solve the presented task, but also revealing some disadvantages, compared to other methods.
Blockchain Technology for Rural Property Registration

The registration of private property in Colombia has been managed with manual processes, which have generated poor control, difficult processes, inadequate storage of information physically and locally, which have caused legal insecurity in rural property, in addition to the fact that during the violence period millions of hectares were illegally occupied by small farmers, Added to this, the lack of registration culture, the numerous procedures that must be carried out by each entiagency in charge of the titling process have allowed the generation of disorder in the rural land ownership regime, together with the absence of an updated rural cadastre. The following article proposes the use of Blockchain technologies as a possible solution to property registration troubles and to provide control to the real estate transaction process in the country.
LibGuides: Toolbox for Authors: Writing and Sharing Your Research: Bibliographic References & Citations

Looking for tips and resources for writing? Explore these suggestions from the WBG Library staff. (Where noted, licensed resources and Intranet pages are available for WBG or IMF staff only. Some suggestions may require additional licensing) Learn how to manage large sets of bibliographic references and create bibliographies easily
Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts

Smart contracts are protocols that can automatically execute a transaction including an electronic contract when a condition is satisfied without a trusted third party. In a representative use-case, a smart contract is executed when multiple parties fairly trade on a blockchain asset. On blockchain systems, a smart contract can be regarded as a system participant, responding to the information received, receiving and storing values, and sending information and values outwards. Also, a smart contract can temporarily keep assets, and always perform operations in accordance with prior rules. Many cryptocurrencies have implemented smart contracts. At POST2018, Atzei et al. give formulations of seven fair exchange protocols using smart contract on Bitcoin: oracle, escrow, intermediated payment, timed commitment, micropayment channels, fair lotteries, and contingent payment. However, they only give an informal discussion on security. In this paper, we verify the fairness of their seven protocols by using the formal verification tool ProVerif. As a result, we show that five protocols (the oracle, intermediated payment, timed commitment, micropayment channels and fair lotteries protocols) satisfy fairness, which were not proved formally. Also, we re-find known attacks to break fairness of two protocols (the escrow and contingent payment protocols). For the escrow protocol, we formalize the two-party scheme and the three-party scheme with an arbitrator, and show that the two-party scheme does not satisfy fairness as Atzei et al. showed. For the contingent payment protocol, we formalize the protocol with the non-interactive zero-knowledge proof (NIZK), and re-find the attack shown by Campanelli et al. at CCS 2017. Also, we show that a countermeasure with subversion NIZK against the attack works properly while it is not formally proved.
COVID-19 Pandemic and School Closure: Learning Loss in Mathematics in Primary Education

Italy was the first Western country hit by Covid-19 in February 2020, responding with a tight lockdown and full school closure until the end of the school year. This paper estimates the effect of the pandemic and school closure on the math skills of primary school pupils in Italy. We compare the learning achievements of two cohorts of pupils, the pre-Covid and the Covid cohort. For both cohorts, we match scores on the national standardised assessment in grade 2 with scores on a standardised test delivered by the researchers at the end of grade 3. The pandemic had a large negative impact on the pupils’ performance in mathematics (-0.19 standard deviations). Among children of low-educated parents, the learning loss was larger for the best-performing ones (up to -0.51 s.d.) and for girls (-0.29 s.d.).
ANALYSIS OF LINEAMENT MAP OF PART OF MARU SCHIST BELT, NORTHWEST, NIGERIA AND ITS IMPLICATION FOR MINERAL EXPLORATION

Lineament are extended mappable linear or curvilinear feature of a surface which can be utilized in mineral, oil, gas, and underground water studies. They are obvious in satellite images, aerial images or aerial photographs. The aim of this study is to analyse an automatically generated lineament from part of the Maru schist belt using a combination of Digital Elevation Model (DEM) data and Aeromagnetic data. The area of study is within the Maru schist belt in Zamfara State. A shaded relief map was produced from the two data sources and the lineament was extracted automatically from them. The extracted lineament was combined to obtain a final lineament map of the area. Trends such as N-S, NW–SE, ENE–WSW and NW–SE, with very little E-W were all present. The areas of very high, high, moderate and low population of lineaments was delineated. Regions with very high lineament intersections and lineament concentration, covers an area of 153.6 km2 and accounts for 16.1% of the study area, these regions are known to harbour gold and iron ores from literature reviews. These target regions are located at the Northern and South part of the study area. Also, the gold artisan miners have dominated these same regions and they have only started from exposed vein of gold mineralization. With this rather fast and easier approach of obtaining such a map, it could be used as a start point for planning a more detailed geophysical or geological survey
PERANCANG BUKU POP-UP BERBAGAI MACAM BENDA, HEWAN, DAN TANAMAN MENGGUNAKAN SOFTWARE GRAFIS SEBAGAI MEDIA PENUNJANG PEMBELAJARAN PADA SEKOLAH DASAR DI KABUPATEN KUNINGAN

AbstractLack of supporting media in the learning process in a school or other department, can affect the success or failure of the learning process. Media in the learning process actually it is sufficient, such as book, tutorial poster, and props privided by teacher. But still needed innovation so the learning process more interesting. In 7th theme book for class 1 elementary school is about things, animals, and plants around us, the childrens must can recognize all things, animals, and plants around us. So, with this pop-up book, the childrens have fun to reading book. With this book , teachers and students still have the problems to reach the purpose of learning.With improving book to Pop-up book, students will be interesting in learning and understand the material. Pop-up book is very usefull for childrens, because make the childrens easy to umderstand what the teachers said. And then, with the pop-up book the childrens can improve their creativity and imajination with the different interface. Pop-up book, have much more picture design than text. So with this pop-up book, students will be interesting to read because the visual of this book.With this pop-up book the teacher be facilitated in the learning process, and the students will interest to learning using this book, so the purpose of the learning can be achieved.Keywords: Book, Pop-up, Education, Things, Animals, Plants
A Study on the Program Management Direction of Megaproject for Saemangeum Development in Korea

The Megaproject “Saemangeum Development(SD)” is a national program of South Korea to build a “Global Treasure Saemangeum” that will emerge as the economic hub of Northeast Asia, encompassing the economy, business and tourism. SD is to include the world's longest seawall (33.9km) connecting Gunsan-Buan to create reclaimed land (291㎢) and a lake (118㎢), and to develop 3.3㎢ of Gogunsan-gun island and 4.9㎢ of a new port.SD is also a program involving various stakeholders such as central administrative agencies (Ministry of Agriculture and Forestry, Ministry of Environment, Ministry of Land, Infrastructure and Transport), local governments (Jeollabuk-do, Gunsan-city, Buan-gun, etc.), Saemangeum Development Corporation, local public institutions and private project implementers. The Saemangeum Development and Investment Agency (SDIA) is in charge of the entire project for successful completion. SDIA needs advanced Saemangeum program management(it is called “K-SPM”) to address complex issues such as lack of clear scope and timing of termination, high dependence on private investment, frequent policy changes, and confrontation among many stakeholders.In this study, it is to introduce the establishment of procedures, time and cost management, efforts for megaproject developing a program management information system, and the direction of K-SPM development.
THE ROLE OF SOCIAL AND HUMANITARIAN DISCIPLINES IN THE PROFESSIONAL DEVELOPMENT OF STUDENTS

The report substantiates the relevance of studying social and humanitarian disciplines at a university in modern socio-cultural conditions of the increasing role of upbringing students and the increasing requirements for their level of personal and professional development. Based on the study of scientific, philosophical and pedagogical literature, as well as personal experience of teaching at the university, the author puts forward a number of practical recommendations for increasing the effectiveness of social and humanitarian disciplines in modern conditions.
A Bayesian evaluation framework for subjectively annotated visual recognition tasks

An interesting development in automatic visual recognition has been the emergence of tasks where it is not possible to assign objective labels to images, yet still feasible to collect annotations that reflect human judgements about them. Machine learning-based predictors for these tasks rely on supervised training that models the behavior of the annotators, i.e., what would the average person’s judgement be for an image? A key open question for this type of work, especially for applications where inconsistency with human behavior can lead to ethical lapses, is how to evaluate the epistemic uncertainty of trained predictors, i.e., the uncertainty that comes from the predictor’s model. We propose a Bayesian framework for evaluating black box predictors in this regime, agnostic to the predictor’s internal structure. The framework specifies how to estimate the epistemic uncertainty that comes from the predictor with respect to human labels by approximating a conditional distribution and producing a credible interval for the predictions and their measures of performance. The framework is successfully applied to four image classification tasks that use subjective human judgements: facial beauty assessment, social attribute assignment, apparent age estimation, and ambiguous scene labeling.
KOMPARASI ALGORITMA LOGISTIC REGRESSION DAN NAIVE BAYES UNTUK MENYELEKSI MELAMAR PEKERJAAN PERUSAHAAN BESAR BAGI ALUMNI SMK

Vocational High School is one of the levels of secondary education with specialization preparing graduates to be ready to work. Vocational education has varied meanings but can be seen as a red thread. There are a lot of alumni from Vocational Schools who after they graduate want jobs in large companies so they can get a fairly large salary. Large companies have several criteria in finding employees. Not all large companies can accept alumni fromSMK so easily. Large companies have several requirements in selecting or selecting employees, eg 1) have good grades in subjects, 2) skills in engineering, 3) skills in communication, and 4) in attitude must have good atitude. Therefore the Vocational School students are trained to be ready to work with good skills and good atitude. In this study, the proposed method used is the Naive Bayes Aggression and logistic regression.
Politeness Strategy Applied By The Characters In Greta Movie (2018)

Language has an important role in daily life. To have a good interaction we not only focus on how to behave with others but also how to be polite when people are getting interaction in society. This study is about politeness strategies used by the characters in Greta Movie (2018). The problem of this study: 1. What types of politeness strategies are there in the Greta movie. 2. How does the Politeness strategies described by the characters in the Greta movie.The results of the study show that the researcher found four types of politeness strategy in fifty-six data which are; first, Bald on record strategy (22 data). Second, positive politeness strategy (22 data). Third, negative politeness strategy (8 data) and the last, off-record strategy (4 data). Bald on Record and positive politeness strategy mostly used in this analysis because the characters already have a close relationship and they used that utterance to minimize the hearer's face and make them show the embarrassed and threatening face.
Analisis Penggunaan Afiks Pada Teks Eksplanasi Siswa Kelas XI SMK Negeri 1 Pedan

The objectives of this study are: (1) Identifying the Form of Language Error in the Field of Morphology in the Use of Affixes in the explanatory text of Grade XI Students of SMK Negeri 1 Pedan. (2) Describe the Form of Language Error in the Field of Morphology Using Affixes in the explanatory text of XI grade students of SMK Negeri 1 Pedan. The data in this study were written by students. The data source in this study analyzes language errors in the use of affixes in the essays of class XI students of SMK Negeri 1 Pedan. Data collection uses the note note method. The method used in analyzing data in this study uses the referential equivalent method. Data analysis carried out showed that in writing explanatory text students there were still many mistakes including affix writing which included; prefixes di-, ke-, ter-, me-, -suffix, -ku, -kan, -nya, infix -er-, its confix, ke-nya, di-kan, di-i, its the most widely used errors in affixes used in the explanatory text of class XI students of State Vocational High School 1 Pedan are found in the pre- prefixes.
The Strategic Management Process for Innovation Activities of HAYA Water, Oman

The main objective of this research is to investigate and explore the entrepreneurship and innovation in the Sultanate of Oman, taking the example of selected organisation that operates its business in the country, Haya Water, and explore the different innovation strategies which are essential for business growth and sustainability. The research study is based on the information gathered from previously published journals for the literature review and information through direct interview with employees in the company for the innovation strategy that is implemented in the company.&#x0D; The strategic management process for innovation activities that are driven by certain internal and external forces of Haya Water Oman will be explored as well in this research study. This will discuss the forces that initiate the innovation and entrepreneurship in this organisation, with the key factors for successful creation and implementation of innovation process within the organisation. It will also cover some discussions on the limitation that delay the progress and development of innovation with recommended mitigation actions to overcome these challenges.
Using Deep Generative Models for Representation Learning with Applications to AI Explainability

In the last few years, the great potentiality of deep learning has been proven by cutting-edge artificial intelligence applications. Ranging from well-defined tasks like object recognition or speech translation to the more generic autonomous driving, deep learning has been proven to be an extremely powerful tool. One fundamental concept on which deep learning is implicitly built upon is representation learning: how we represent data matters in how we understand the world. In this work, we first study the concept of representation learning, the methods to perform it and its various applications. With the goal of contextualizing this framework to deep generative models, we study the most popular generative methods and make a qualitative comparison between them. In the last section, we will focus our attention on the InfoGAN approach, which imposes explicit conditions on the input representation and is based on the very-well performing Generative Adversarial Network model. Experiments are carried out with InfoGAN on increasingly complex datasets to assess its performance and limitations. We finally discuss how to use GANs in the rising popular field of AI explainability.
Automatic Extraction of English Grammar Pattern Correction Rules.

We introduce a method for generating error-correction rules for grammar pattern errors in a given annotated learner corpus. In our approach, annotated edits in the learner corpus are converted into edit rules for correcting common writing errors. The method involves automatic extraction of grammar patterns, and automatic alignment of the erroneous patterns and correct patterns. At run-time, grammar patterns are extracted from the grammatically correct sentences, and correction rules are retrieved by aligning the extracted grammar patterns with the erroneous patterns. Using the proposed method, we generate 1,499 high-quality correction rules related to 232 headwords. The method can be used to assist ESL students in avoiding grammatical errors, and aid teachers in correcting students’ essays. Additionally, the method can be used in the compilation of collocation error dictionaries and the construction of grammar error correction systems.
G.B. Itelson as a Prototype of Albert Lichtenberg. To the History of Writing the Story of Andrey Platonov’s Garbage Wind

The article analyzes the life path and tragic death of the philosopher Grigory Borisovich Itelson (1852–1926) emigrated from Russia. According to the as­sumption put forward in the article, he became the prototype of Albert Lichten­berg, the hero in the story of Andrey Platonov Garbage Wind (1933), which de­scribes the fate of a lonely German scientist, “the physicist of outer space”, who was killed by the Nazis for protesting against fascism. The article analyzes a number of coincidences between the fate of G.B. Itelson and the philosopher Lichtenberg described in the story Garbage Wind, in particular, the way of life and the circumstances of death. The author of the article finds in the text of Platonov’s story some allusions to G.B. Itelson – features of the worldview, pub­lication by the hero of the story of the book The Universe as a desolate space, burned in the square by the fascists, which is seen as a hint of the book by Felix Eberti Stars and World History. Thoughts about space, published by G.B. Itelson in 1923. The author analyzes the reason for Platonov’s appeal to the personality of Itelson, who was a personal friend of A. Einstein and the main translator of his books into Russian. Through these publications in the 1920s, A. Platonov got acquainted with the General and Special Theory of Relativity, which had a strong influence on the writer’s worldview and largely shaped the poetics of his works. The article argues for the possibility of Platonov’s acquaintance with the obitu­ary of G.B. Itelson, written by A.A. Goldenweiser and published in the Berlin Russian newspaper Ruhl, which describes in detail the life and tragic death of the philosopher at the hands of the Nazis
Improving Students' Vocabulary Mastery through Jigsaw Techniques in 21st Century

This paper investigates an effective technique that can improve fifth-grade students' vocabulary mastery. Thus some researchers agree that effective teaching techniques that can improve vocabulary mastery are Jigsaw techniques. Many researchers have researched students to the general public in different places. The researcher almost found the same problem experienced by the learners in mastery vocabulary such as pronunciation, spelling, hard to understand, and the general problem: boredom and disinterest. However, to overcome these problems, the researcher use library methods research to collect the data and investigate the effectiveness of using Jigsaw techniques. Therefore, the finding showed that using Jigsaw techniques for the learners would be a great technique to improve their vocabulary mastery.