Reviewerly/exHarmony huggingface dataset:
A Result Based Experimental Analysis of Rwandan Financial Progress as a Result of OAG Audit with Reference from 2014 to 2018

The study intends to be a result based experimental analysis of Rwandan financial progress as a result of office of auditor general (OAG)'s audit with Reference from 2014 to 2018.The objective of the study was to analyze the financial effectiveness of Rwanda as result of status of OAG audit recommendations.The Research Methodology used was both qualitative and quantitative methods to achieve the research objective, the secondary data were collected and then analyzed through Spreadsheet and SPSS 20 tools.The result of the analysis noted that boards and government business enterprises (GBEs) in general have been predominantly getting adverse opinion in the last 3 years.However, there was a notable improvement for Rwanda development board (RDB), Rwanda biomedical center (RBC) and Rwanda transport development agency (RTDA).Regarding to unnecessary or unlawful expenditures, and whether there was embezzlement or squandering of public funds, there has been 68% decline in the Article 166 type of expenditure from Frw 17.6 billion (2016) to Frw 5.68 billion (2018).The biggest decline has been under "Unsupported expenditure" which has declined by 92% from Frw 6.9bln (2016) to Frw 0.6 billion (2018).Therefore, this is indicative of an improvement in public financial management (PFM) systems and controls when it comes to recording and accounting for expenditure.
Applications of Texture Features

Texture is a vital visual and the emergent feature for image content explanation. The utilization of object texture is one of the utmost challenging problems in forming effective content-based image retrieval [1].
Robotic customer service acceptance in the hotel environment: What are hotel guests’ perspectives on robotic customer service experiences?

In response to the increasing introduction of robotic service within the hospitality industry, and as a response to the dearth of academic research into this area, the study proposed in this paper aims to shed some light on customer perceptions of robotic service provision. The study's expected outcome is to develop a conceptual framework that can be used to further explore hotel guest to service robot interactions in the future. The introduction of robots into social service positions within hospitality is arguably reaching an accelerated pace where, within a couple of years, they will become commonplace. However, this can happen in a manner that is resisted by guests and seen as an effort to save costs over improve service. Alternatively, technological social agents can enable customers to not only welcome change but experience a sense of improved service overall. The study proposed in this paper aims to help facilitate the latter of these options in an age of digital disruption.
아로마테라피를 활용한 청소년의 건강 효과 연구 : 여고생의 생리통을 중심으로

This study examined the perception of menstrual pain and dysmenorrhea through aromatherapy as a post - school program for high school girls. The after-school program proceeded for 2 hours per week for 10 weeks, of which aromatherapy was performed for 1 hour per body part. Thereafter, the participant...
Interconnecting lexical resources and word alignment: How do learners get on with particle verbs?

In this paper, we present a prototype for an online exercise aimed at learners of English and Swedish that serves multiple purposes. The exercise allows learners of the aforementioned languages to train their knowledge of particle verbs receiving clues from the exercise application. The user themselves decide which clue to receive and pay in virtual currency for each, which provides us with valuable information about the utility of the clues that we provide as well as the learners willingness to trade virtual currency versus accuracy of their choice. As resources, we use list with annotated levels from the proficiency scale defined by the Common European Framework of Reference (CEFR) and a multilingual corpus with syntactic dependency relations and word annotation for all language pairs. From the latter resource, we extract translation equivalents for particle verb construction together with a list of parallel corpus examples that can be used as clues in the exercise.
LibGuides: New Faculty At FLITE and KCAD Library: FLITE Library

Welcome! This guide is designed to help new faculty at Ferris and KCAD find their way around.
Image Transformation Method to Refine Handwritten Characters Using Generative Adversarial Networks

It is easier for hand-written characters to convey the individuality of the writer than characters printed by a printer or the like. Even when digitization progresses, it is used when you want to communicate important information with your own thought to the other party. For this reason, knowledge, experience, and technology are important to write well-written characters. In this paper, we propose an image processing method that corrects handwritten characters that contain imperfections in local shapes such as balance of character, 'tome', 'hane', 'harai', etc. To well-balanced character form. Specifically, using a Generative Adversarial Network (GAN), simultaneously learn a generator that generates a beautiful character image from a poorly written character image and a discriminator that identifies a poorly written character image and a well-written character image.
Prolog Coding Guidelines: Status and Tool Support.

The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes no exception. However, establishing coding guidelines is fraught with obstacles: Finding common ground on kind and selection of rules is matter of debate; once found, adhering to or enforcing rules is complicated as well, not least because of Prolog's flexible syntax without keywords. In this paper, we evaluate the status of coding guidelines in the Prolog community and discuss to what extent they can be automatically verified. We implemented a linter for Prolog and applied it to several packages to get a hold on the current state of the community.
Applying Quantum Hardware to non-Scientific Problems: Grover's Algorithm and Rule-based Algorithmic Music Composition.

Of all novel computing methods, quantum computation (QC) is currently the most likely to move from the realm of the unconventional into the conventional. As a result some initial work has been done on applications of QC outside of science: for example music. The small amount of arts research done in hardware or with actual physical systems has not utilized any of the advantages of quantum computation (QC): the main advantage being the potential speed increase of quantum algorithms. This paper introduces a way of utilizing Grover's algorithm - which has been shown to provide a quadratic speed-up over its classical equivalent - in algorithmic rule-based music composition. The system introduced - qgMuse - is simple but scalable. Example melodies are composed using qgMuse using the ibmqx4 quantum hardware. The paper concludes with discussion on how such an approach can grow with the improvement of quantum computer hardware and software.
IS TOURISM INDUSTRY READY FOR CRYPTO CURRENCY: A CASE OF ESKIŞEHIR

Every day our world is becoming more and more digital and the technologies are developed with incredible speed. One of a result of these developments is crypto currency. Crypto currency is a currency that uses cryptography at its core (the science of encryption). Nowadays all the crypto currencies that are represented on the market were first introduced in 2008 by a person or a group of people named Satoshi Nakamoto. Since the crypto currency is a new financial instrument, the possibility of using crypto currency is getting debate in the tourism industry. The purpose of this work is to understand whether the tourist industry is ready for crypto currency and whether it will be able to accept the crypto currency as a new payment method. In this article, deep interview method is employed in order to reveal tourism managers attitudes and perceptions towards crypto currency usage in tourism. The implementation was accomplished within the scope of the 8 hotel and 2 tourist agencies in Eskisehir, Turkey. The data were collected through face-to-face interviews during the period May, 2018. Findings show that the tourism industry refused to be ready to introduce crypto currency as a method of payment for tourist services.
Language Learning Strategy used by Senior High School Students and its Influence on their Achievement

The aims of the study are to investigate the Language Learning Strategy  (LLS) used by Senior High School students and analyze the influence of the LLS on their English achievement. The research had been done in two Senior High School in Purworejo. There were 117 participants in the study.  Strategy Inventory and Language Learning (SILL) questionnaire and documentation were used to collect the data. The data were analyzed using descriptive and inferential analysis. To test the hypothesis,  correlation product moment and linear regression were applied. The result of the study shows that metacognitive strategy is the most frequently used by the students. It is followed by compensation, cognitive, memory, social and effective strategy. The second finding shows that there is a positive and significant correlation between the use of LLS and English achievement as the r-value is 0.562 with the sig. 0.000. The regression test shows that LLS contributes 31.5% to the achievement while 68.5% was contributed by other factors. The implication of the study is it is important to develop teaching models which provide students the opportunity to practice the LLS during the learning process.  The English teachers can also use Strategy-based Instruction for teaching LLS which is integrated into the learning tasks.
De bronconstructies van Belgisch Nederlands (t) schijnt: een repliek

Abstract This is a brief reply to the article by Vliegen in this issue. We argue that, while Vliegen’s suggestion of a link between naar het schijnt and (’t) schijnt is certainly plausible, this need not rule out a scenario in which the emerging use of (’t) schijnt as a particle has also taken its root in (specific uses of) the matrix clause construction het schijnt dat. In modern construction-based approaches to language change, it is accepted that newly developing constructions may have multiple sources. In this perspective, the ‘matrix clause hypothesis’ and the ‘paratactic hypothesis’ are not mutually exclusive.
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP.

It is common for search and optimization problems to have alternative equivalent encodings in ASP. Typically none of them is uniformly better than others when evaluated on broad classes of problem instances. We claim that one can improve the solving ability of ASP by using machine learning techniques to select encodings likely to perform well on a given instance. We substantiate this claim by studying the hamiltonian cycle problem. We propose several equivalent encodings of the problem and several classes of hard instances. We build models to predict the behavior of each encoding, and then show that selecting encodings for a given instance using the learned performance predictors leads to significant performance gains.
ORE POTENTIAL OF THE ARAMINLAMPI MASSIF. THE QUESTION OF EXTENDING THE KOTALAHTI NICKEL BELT TO THE LAKE LADOGA AREA (PRILADOZHYE)

The Araminlampi massif is part of the Kaalamo clinopyroxenite-gabbro-norite-diorite complex dated at 1888.3 ± 5.2 Ma. This age is older than the ore-bearing intrusive units in the Kotalahti belt (1875–1885 Ma). Geodynamic reconstructions show that the Kotalahti belt is not traced into the Kaalamo intrusion area in the Russian territory, but it seems to extend only to the south of the Meieri thrust zone. The predominant petrotypes of Kaalamo rocks are diorite, gabbrodiorite and the less common metaclinopyroxenite; the Kotalahti intrusive units are dominated by peridotite, harzburgite, wehrlite, lherzolite, websterite, norite and gabbronorite. The distribution spectra of rare-earth elements and the Ce/Yb and Th/Yb ratios of Araminlampi rocks are similar to those of the ore-free massif differentiates in the Kotalahti belt. Olivin in Kaalamo ultramafics contains more iron (58–70 % forsterite) than Kotalahti (63–85 % forsterite; 78–85 % in ore-bearing rocks). The major ore minerals in the Kotalahti deposits are pyrrhotite, pentlandite and chalcopyrite, and the major ore mineral in the Araminlampi massif is pyrrhotite. In this structurally differentiated massif (olivine clinopyroxenite, clinopyroxenite and gabbro) pyrrhotite dissemination with minor quantities of other sulphides (chalcopyrite, pyrite, pentlandite, etc.) forms a ~ 10 m thick ore horizon with 0.1–0.2 % Cu, 0.03–0.1 % Ni, ΣPGM, 0.2–0.5 g/t Au and 70–90 g/t Sc in the olivine pyroxenite-pyroxenite transition zone. The 20–30 cm thick quartz veins cross-cutting the metapyroxenites near the ore horizon display abundant silver-bismuth mineralization (Ag – up to 550 g/t, Au – 0.2 g/t and Bi – 0.1 %). Palladium bismuthotellurids that predominate in the PGM-mineral association of the ore horizon were crystallized at a temperature (&lt; 500 °C) below a typical sulphide solidus, and part of merenskyite phases under subsolidus conditions (~ 700 °С). All the rocks of the massif are highly amphibolized and cut by pegmatite veins. Primary minerals, such as diopside, olivine, chrome-spinels and bytownite, occur only as relics. Olivine, together with serpentinization, is altered to amphibole-magnetite symplectites. The Araminlampi ore occurrence displays signs of both late- and post-magmatic genesis, and the formation of molybdenite, scheelite, sphalerite, uraninite and uranothorianite, together with palladium bismuthotellurids at the final mineral formation stage suggests the involvement of fluids associated with the granites and pegmatites that cross-cut the massif.
Uncertainty About Evidence.

We develop a logical framework for reasoning about knowledge and evidence in which the agent may be uncertain about how to interpret their evidence. Rather than representing an evidential state as a fixed subset of the state space, our models allow the set of possible worlds that a piece of evidence corresponds to to vary from one possible world to another, and therefore itself be the subject of uncertainty. Such structures can be viewed as (epistemically motivated) generalizations of topological spaces. In this context, there arises a natural distinction between what is actually entailed by the evidence and what the agent knows is entailed by the evidence -- with the latter, in general, being much weaker. We provide a sound and complete axiomatization of the corresponding bi-modal logic of knowledge and evidence entailment, and investigate some natural extensions of this core system, including the addition of a belief modality and its interaction with evidence interpretation and entailment, and the addition of a knowability modality interpreted via a (generalized) interior operator.
SOCIALIZATION OF PRIMARY SCHOOL PUPIL IN THE PROCESS OF CHOREOGRAPHY TEACHING

sOcIalIZatIOn Of PrIMary schOOl PuPIl In the PrOcess Of chOreOgraPhy teachIng summary.The article deals with choreography implementation in modern Ukrainian primary education as an important component of the physical, spiritual and artistic development of the child.It also stresses its influence on the child's physical health and further successful socialization.Socialization of primary school pupils by methods of choreographic art means teaching children to use the elements of choreographic art in live situations in order to feel comfortable, to act confidently and appropriately.The choreographic culture as a social factor of creative activity and development of pupil's personality is investigated in the article.The ways of solution the contradictions between the requirements of the modern development of choreography and the traditional system of methods which ensure the formation of socialized personality are determined.The author gives theoretical and methodological foundations for choreographic work arrangement with primary school-children.Choreographic work tasks and contents are offered.The methodological requirements to choreography classes, specifics of a choreographer's work on dance repertoire selection and techniques of dance staging are analyzed.The article also names the competences of schoolchildren in choreography (such as their knowledge, skills, and basic abilities).It is investigated that the process of mastering the choreographic culture of a schoolchildren requires such features in the work of choreographer as: harmonic unity of a specific character of the language of dancing image, interpretation of the content and form on the basis of the principles of education and upbringing.The article enlightens the importance of popularization of Ukrainian national choreography in the work of children choreography collectives.There are determined the pedagogical conditions, tasks and content of forming of social consciousness of primary school children.It is proved the effectiveness of practically tested traditional and innovative methods of involving children into the Ukrainian dancing culture.
cogdog I have pinged folks in the ...

@cogdog I have pinged folks in the #knownchat IRC channel in the mean time I wonder if: idno-replies idno-object idno-content {display: none} will work in
How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.

In standard epistemic logic, knowing that p is the same as knowing that p is true, but it does not say anything about understanding p or knowing its meaning. In this paper, we present a conservative extension of Public Announcement Logic (PAL) in which agents have knowledge or belief about both the truth values and the meanings of propositions. We give a complete axiomatization of PAL with Boolean Definitions and discuss various examples. An agent may understand a proposition without knowing its truth value or the other way round. Moreover, multiple agents can agree on something without agreeing on its meaning and vice versa.
Building an Information Technology Professional Development Program from Scratch

The University of Maine System's Information Technology teams lack an organized approach to professional development. A coordinator position was established in 2015 to start addressing technical training needs of all staff and students. A documentation site was established. Strides were made to enhance the content available to staff; Atomic Learning (now Hoonuit) was used as a pilot program. Human Resources jumped on board and expanded that availability to the university community – all faculty, staff, and students. As this program developed, it became clear that something was needed to organize the training efforts specifically for IT staff, which often went beyond the routine GSuite and Office type training. This presentation will outline the development process and beginning stages of implementation of the program.
Efficient and secure pairing-free certificateless strong key-insulated signature scheme

Public Key Cryptosystem (PKC) is playing an important role in providing security services in many applications and hence gained a wide reorganization. The security of this cryptosystem completely relies on the user’s secret key. However, leakage of secret key makes the system insecure. To avoid the damage caused by the leakage of secret key, Key-insulation mechanism was introduced. This technique works with the help of a secure device by updating the secret key in regular time intervals. Certificateless cryptosystem alleviates the heavy certificate management problems in traditional Public Key Infrastructure and eliminates the key escrow problem in Identity based cryptosystem. To integrate the advantages of both certificateless cryptosystem and key insulation technique, certificateless key insulated cryptosystems have been introduced. Recently many certificateless key insulated signature (CLSKIS) schemes have been proposed in literature; however, majority of the CLSKIS schemes are designed in pairing based background, where heavy bilinear pairing operations are involved. This heavy pairing operation causes the schemes to be insignificant in practice. In order to reduce the computational and communication costs and to handle the secret key leakage problems in certificateless signature schemes, we propose a new strong key insulated certificateless signature scheme in pairing free environment. Efficiency analysis confirms that the proposed scheme is more efficient than the existing schemes.
Recommendations for a new undergraduate IS curriculum

This paper presents analyses on the trends of IS curriculum development that has evolved since its inception from the classical report by the AIS/ACM task force led by Heikki Topi and colleagues published in 2010. Based on an integrated synthesis of the literature, we categorize it into three theoretically-driven dimensions: (i) IS Curricula; (ii) Topic-Based IS Curricula, and (iii) IS Identity Crisis, followed by the identification of four empirically-driven contingencies: (i) Dangers of Legacy; (ii) Resource Competence; (iii) Technological Availability; and (iv) Trend Sensitivity. The paper presents IS curriculum development recommendations specifically driven by the four identified contingencies. Our findings inform how we design and re-design IS curricula worldwide. This in turn can influence the way we cross-fertilize with other disciplines forming a consolidated IS education that can offer the right competence to our future graduates, and will likely trigger more attention on information systems across the industry. (Less)
Increasing the level of teachers' readiness for pedagogical project

In the situation of pedagogical theory focus on a new personality-oriented and competence paradigm of education and upbringing, it becomes necessary to develop design activities of all subjects of educational process in a preschool educational institution. The relevance of the study is due to insufficient development of pedagogical design processes in a preschool educational institution. Therefore, the purpose of the article is to improve pedagogical design process in a preschool educational institution to increase the level of teachers' readiness for pedagogical activity.Pedagogical design in preschool educational institutions is very important due to the following socio-economic, psychological and pedagogical requirements: the development of market relations; development of design taking into account innovative processes in education; need for social protection of a person, preparing him for life in future. The authors developed a model of pedagogical design that ensures unity of administrative, pedagogical, educational activities of the subjects of educational process, thereby improving the level of management activities organization, personal and professional development of teachers and pupils. The treated results will contribute to further improvement of pedagogical design.