Reviewerly/exHarmony huggingface dataset:
Assessment methods on serious games

Digital games have conquered a growing space in the lives of children, adolescents and adults. In this perspective, the use of this resource has shown to be an important strategy that facilitates the learning process. This research is a literature review on the use of serious games in teaching, which shows the characteristics of these games, the benefits and possible harms that this resource can produce, in addition to the possible methods of evaluating the effectiveness of this resource in teaching. The results point out that serious games have significant potential as a tool for instruction. However, their effectiveness in terms of learning outcomes is still poorly studied, mainly due to the complexity involved in evaluating intangible measures.
On (2n/3 – 1)-Resilient (n, 2)-Functions

A {00, 01, 10, 11}-valued function on the vertices of the n-cube is called a t-resilient (n, 2)-function if it has the same number of 00s, 01s, 10s and 11s among the vertices of every subcube of dimension t. The Friedman and Fon-Der-Flaass bounds on the correlation immunity order say that such a function must satisfy t ≤ 2n/3 - 1; moreover, the (2n/3 – 1)-resilient (n, 2)-functions correspond to the equitable partitions of the n-cube with the quotient matrix [[0, r, r, r], [r, 0, r, r], [r, r, 0, r], [r, r, r, 0]], r = n/3. We suggest constructions of such functions and corresponding par titions, show connections with Latin hypercubes and binary 1-perfect codes, characterize the non-full-rank and the reducible functions from the considered class, and discuss the possibility to make a complete characterization of the class.
Collections revisited from the perspective of historical testimonies

This paper presents the results of an ontological analysis of collective entities, as an essential step towards the definition of a rich semantic model underlying ontology-driven applications in the historical and cultural heritage domains. The major contributions of our proposal are the following: (a) An explicit distinction of contingent and necessary features, that led us to formalise our ontology by means of modal logics. (b) A description of collective entities from a diachronic perspective (thus including singletons and empty collections). (c) An analysis of the inferences enabled by the characterisation of collective entities and by the inclusion relationships. (d) A representation of the inclusion relationships that does not imply existential dependence. (e) A distinction between emerging and created collective entities. In this paper, we present an in-depth ontological analysis of these aspects and provide a sound formalisation for it.
The micromaser in a dissipative cross-cavity

Get PDF Email Share Share with Facebook Tweet This Post on reddit Share with LinkedIn Add to CiteULike Add to Mendeley Add to BibSonomy Get Citation Copy Citation Text J. C. García-Melgarejo, N. Lozano-Crisóstomo, A. G. Esmeralda, A. Domínguez-Pachecano, and J. J. Sanchez-Mondragón, "The micromaser in a dissipative cross-cavity," in Frontiers in Optics + Laser Science APS/DLS, OSA Technical Digest (Optica Publishing Group, 2019), paper JW4A.109. Export Citation BibTex Endnote (RIS) HTML Plain Text Citation alert Save article
A data model-independent approach to big research data integration

The paper addresses the data integration problem in the context of the scientific domain. The main characteristics of the big research data that make the traditional approach of data integration unfeasible are presented. Two new emerging practices, i.e. an exploratory approach to data seeking and an empiricist epistemological approach to knowledge creation, are discussed. Based on these considerations, we present a new paradigm of data integration and an application ontology that supports it. The ontology is based on five types of events and every event is extensionally modelled as an input/output operation on the involved data entity. The strong point of the ontology and of the whole approach to data integration is that no assumption is made on the data models in which the databases or the views are expressed. This provides a level of generality that successfully deals with the heterogeneity of the domain.
Multi Level SLA Violation Based Resource Allocation in Cloud using Kernel Fuzzy C Means with Aid of EABC

In our proposed work we are considering four types of agent such as monitoring agent, coordinator agent, user agent and violation agent. Initially, user agent wants to generate the resource in cloud based on the SLA properties and coordinator agent is verifying the request type and SLA properties. The violation of the SLA is a major aspect of cloud computing and the violation leads to the reduction of customer satisfaction level and further affects the cloud provider leading to penalty. Initially the available resources are grouped by kernel fuzzy C means clustering algorithm (KFCM). Then monitoring agent report the resource list to the coordinator agent. Based on the resource list, the coordinator agent allocates the optimal resource with the help of enhanced artificial bee colony algorithm. The performance of the proposed work is evaluated by profit, penalty, cost, execution time and successful execution rate.
OWA-based Summarization of Data using iPad-drawn Concepts

Analysis of large amounts of data requires considerable efforts in order to extract a useful information or build a model of phenomena represented by the data. On multiple occasions data processing activities can be simpler if some understanding of data is obtained. Further, such activities could be even abandoned when a good insight into data is gained. In this paper, we propose and describe a user-friendly approach for examining datasets via their summarization. It is accomplished using questions equipped with linguistic terms representing imprecise yet easy to grasp concepts by humans. Changes in definitions of the terms done by a user result in different answers and allow to learn more about the data. The approach involves an iPad application that provides a means for an easy way to enter definitions of linguistic terms representing user’s perception of imprecise concepts.
Iodine: Verifying Constant-Time Execution of Hardware

To be secure, cryptographic algorithms crucially rely on the underlying hardware to avoid inadvertent leakage of secrets through timing side channels. Unfortunately, such timing channels are ubiquitous in modern hardware, due to its labyrinthine fast-paths and optimizations. A promising way to avoid timing vulnerabilities is to devise --- and verify --- conditions under which a hardware design is free of timing variability, i.e., executes in constant-time. In this paper, we present Iodine: a clock precise, constant-time approach to eliminating timing side channels in hardware. Iodine succeeds in verifying various open source hardware designs in seconds and with little developer effort. Iodine also discovered two constant-time violations: one in a floating-point unit and another one in an RSA encryption module.
An Interview with Martin Jung, Head of Software Engineering Consulting at Development Group Basys GmbH and Professor at Friedrich-Alexander-Universität Erlangen Nürnberg (FAU)

In 2012, Martin Jung founded Develop Groups Consulting Branch, with the intent of bringing professional software engineering know-how as a product to the market. Develop Group, a southern-Germany b...
The Effects of University students’ psychological independence and career beliefs on their career preparation behavior : Focusing on the mediating effects of career decision-making autonomy

본 연구에서는 대학생이 지각하는 심리적 독립과 진로신념이 진로준비행동에 미치는 영향에서 진로결정자기효능감의 매개효과를 살펴보고자 하였다. 본 연구의 대상은 3, 4학년 대학생들의 중심으로 하여 설문조사를 실시하고 결과를 분석하고자 하였다. 본 연구의 자료는 SPSS 22.0 프로그램을 이용하여 연구대상자의 일반적 특성, 측정도구의 신뢰도, 상관관계 분석 및 다중회귀분석, 3단계회귀분석, sobel test를 실시하였다. 본 연구결과는 첫째, 대학생이 지각하는 심리적 독립 수준이 높을수록 진로준비행동 수준이 높음을 알 수 있다. 둘째, 대학생이 지각하는 진로신념 높을수록 진로준비행동 수준을 높게 지각하고 있는 것으로 나타났다. 셋째, 대학생이 지각하는 심리적 독립과 진로신념이 진로준비행동에 미치는 영향에서 진로결정자기효능감의 부분 매개효과가 검증되었고, sobel test 결과에서도 매개효과의 유의성이 검증되었다.The purpose of this study is to examine if career decision-making autonomy has mediating effects in correlation between university students’psychological independence and career beliefs on their career preparation behavior in Kyunggi. PASW 22.0 was employed to conduct frequency, percentage, and reliability analysis. For each of the study questions, correlation analysis, multiple regression analysis, stepwise regression analysis, and sobel test were done. The findings of this study are as follows. First, psychological independence perceived by university students is found to have effects on their career preparation behavior. Second, career beliefs perceived by university students is found to have effects on their career preparation behavior. Lastly, in correlation between psychological behavior, career beliefs perceived by university students and their career preparation, career decision-making autonomy has mediating effects, and so does it in correlation between.
Research of Restoration Technique of Cigarette 32-bit Security Code in Strong Interference Environment

The 32-bit security code provides guarantee for ensuring quality of cigarette and maintaining market circulation order. The 32-bit security code is printed on the surface of outer packing of whole cigarette, and it may be disturbed by printing method, printing position and package background, which will make the 32-bit security code be identified hardly. The improved adaptive TV(total variation) denoising model and restoration algorithm are provided in this paper, which can realize the restoration of 32-bit security code in strong interference environment. The performance of this algorithm is analyzed and evaluated by experiments, and it can prove that the indexes of this algorithm are better than other existing ones.
An exact correspondence between the quantum Fisher information and the Bures metric.

The quantum information and the Bures metric are equivalent to each other, except at points where the rank of the density matrix changes. Here we show that by slightly modifying the definition of the Bures metric, the quantum information will be fully equivalent to the Bures metric without exception.
Fast mining algorithm for multi-level association rule data under temporal constraints

Redundant interference occurs between frames of multi-level association rule data under temporal constraints, which brings poor clustering and anti-interference performance to data mining. In order to improve the multi-level association rule data mining ability, this paper proposes a fast mining algorithm for multi-level association rule data based on temporal constraints. It constructs a fitting state model of multi-level association data distribution, and uses the reorganisation method of multi-level association rules to re-arrange data structure and extract the average mutual information feature; it constructs detection statistics to conduct multi-level linear programming design for association rules data, and uses the autocorrelation detection method to conduct de-interference processing and the fuzzy directional clustering method to conduct fuzzy clustering processing for multi-level association rule data, to realise fast mining of multi-level association rule data under temporal constraints. The simulation results show that compared with traditional methods, the proposed method reduces the execution time of multi-level association rule data mining by 12.77%, and the mining accuracy is improved by 23.34%. High mining accuracy and strong anti-interference ability make the data mining efficiency improved.
Transforming Supply Chain Network And Logistics Using Blockchain - A Survey

The supply chain is the fastest growing sector of business technology. As it grows day by day, the difficulty of handling vast amount of transaction records thus increases. To effectively manage the supply chain, the participants in the system need to record the price, quantity, location, date, and other pertinent details. In addition to that the asymmetric information transfer in the production process, limitations of the quality monitoring, losses from the counterfeit market and the self-interests of supply chain participants are the major challenges affecting the supply chain management system. Even a small change in the production process can have an enormous smash on the financial growth, trust of the supply chain system. This survey aims to study how blockchain technology helps supply chain networks to overcome these challenges. This survey discusses the current status of blockchain technology and its potential benefits. This survey also discusses various implementations on blockchain-based supply chain networks and how those implementation frameworks solve the challenges in the traditional supply chain system.
Image integrity verification via reversible predictive hiding and elliptic curve Diffie-Hellman

This paper presents a medical image integrity verification algorithm which will be able to detect any changes made in the pixel value or the size of a medical image. At the same time, it also provides a secure way of transmitting images over the public domain. This algorithm can not only ensure integrity of the medical image, but also checks if the sender of the image is authentic, making it useful for archiving medical images and remote medical diagnosis. This algorithm essentially has three modules: hashing, data embedding and image encryption. Initially, hash signatures are extracted from the image and are embedded inside the medical image. In the embedding phase, the image is divided into blocks of uneven size. In the raster scanning order, the blocks are embedded with multiple pixels depending on its smoothness. At the receiver end, the signatures are extracted and it can be used to verify the integrity of the medical images. The effectiveness of the embedding algorithm is verified in terms of peak signal to noise ratio, structural similarity index metrics, correlation coefficient. L2 norm is used for verifying the integrity of the images.
Activity Interaction Detection by Using Causal Discovery With Order Estimation

Interaction detection is a fundamental task in video activity analysis. Activities contain group structure and temporal order information, which makes interactions complex. In this paper, a novel framework is proposed to explore the global and local activity interactions by using Granger causality discovery in multivariate time series. Based on the inherent properties of time series dependent structures related to variable time orders, an order selection algorithm considering group information is proposed. Experiments on the real world video surveillance dataset show that the activity network constructed by the proposed method is hierarchical, including global and local dependence structure.
Effect of credit supply constraint on labour productivity in Sub-Saharan Africa

This paper investigates the effect of credit supply constraint of risk on labour productivity in 33 Sub-Saharan Africa (SSA) countries spanning 1990-2013. It estimates the long run effect of credit supply constraints on labour productivity using the pooled mean group (PMG) estimator. The results revealed that a reduction in both actual and expected risk premiums increased labour productivity in SSA. The findings suggest that in order to relax the credit supply constraints with the intent to improving labour productivity, domestic interest rate should account for changes in foreign interest rate to enhance the needed capital inflows.
Collective opinion in argumentative dialogues: from common knowledge to consensus

This paper presents a model of dialogue to support the common-knowledge formation in a group of agents which is based on the exchange of arguments supporting or rejecting an issue under discussion and other arguments during the dialogue. In the model, the agents play two roles: argumentative and mediator. Argumentative agents are responsible for building arguments that are based on their belief base using formulas representing facts and rules, while the mediator agent is responsible for conducting and synchronizing the dialogue. Our model proposes the calculation of the group consensus level on each formula of the arguments, and the acceptance of the formulas (formulas are consented) when they are supported by the majority in the group. A practical example explains how the proposal model can be implemented in a real scenario.
User identification by keystroke dynamics using improved binary particle swarm optimisation

As a kind of behavioural characteristic, keystroke features are crucial to the accuracy of user identification system using shallow machine learning algorithms. Filter and wrapper feature selection algorithms are the two most important methods. The information gain and particle swarm optimisation algorithm represent the two feature optimisation methods, respectively. In this paper, new hybrid binary particle swarm optimisation methods combined with information gain theory are proposed in association with opposite-based learning and distributed techniques. The converted information gain values act as weight coefficients to adaptively adjust the flight speed of particles. The support vector machine (SVM) algorithm is applied to evaluate the performance of feature optimisation in terms of user identification accuracy and feature reduction rate. Experimental results of three public keystroke datasets show that the proposed optimisation methods achieve better classification accuracy with fewer features than four existing optimisation methods.
The Causal Relationship Between Physical Self-Concept, Class Satisfaction, and Continuous Participation of Female College Students Enrolled in General Physical Education Classes Through the Path Analysis

This study was intended to analyzed a relationship between physical self-concept, class satisfaction, and continuous participation of female college students enrolled in general physical education classes through the path analysis. To this end, this study conducted a survey on 227 female college students in Seoul, Chungcheongbuk-do, and Gangwon-do. enrolled in general physical education classes, and produced the following research results using total 315 copies of data excluding 25 unfaithful data on the actual analysis. First, it was identified that subfactors of physical self-concept(sports competence, attractive figure, physical strength) of female college students enrolled in general physical education classes as attractive figure and physical strength make a significant effect on class satisfaction. Secondly, it was identified that physical self-concept(sports competence, attractive figure, physical condition) of female college students enrolled in general physical education classes does not make effect on continuous participation, Thirdly, it was identified that class satisfaction does not make a significant effect on continuous participation Based on the results above, it can be considered that studies on the physical self-concept perceived by students participating in general physical education classes can increase class satisfaction and has an academic significance in providing basic data for continuous participation in college general physical education activities.
Analysis of Factors Affecting Employment of Graduates with Teacher Training Institutions

본 연구는 사범대 및 교육대 등 4년제 교원양성기관 졸업자의 취업형태를 정교사와 비(非)교사(정규직), 미취업으로 구분하고 개인변수, 학교변수, 취업준비 행동변수의 단계별 투입을 통해 대졸자의 취업에 영향을 미치는 요인과 영향력의 크기를 분석하는 데 목적이 있다. 이를 위해서 2007~2016 대졸자직업이동경로조사(GOMS) 데이터에 포함된 4년제 대학 교육계열 졸업자 9,394명을 분석하였다. 주요 분석결과는 다음과 같다. 첫째, 취업형태에 따라 대학의 시설, 지원제도, 교육과정 만족도에 유의한 차이가 있었으며, 모든 항목에서 정교사, 비교사(정규직), 미취업 순으로 평균치가 낮아지는 것을 확인할 수 있었다. 둘째, 미취업 집단을 기준으로 정교사와 비교사(정규직)에 속할 확률을 다항 로지스틱 회귀분석을 활용해 분석한 결과, 개인변수의 경우 가구소득을 제외한 모든 변수에서 정교사와 비교사(정규직)가 상반된 양상을 나타냈다. 셋째, 학교변수에서는 진로상담 및 학생 지원제도 만족도가 양 집단에 공통적으로 취업 확률을 높이는데 기여해 우선적으로 개선이 필요한 사항임을 확인할 수 있었다. 마지막으로 취업준비 행동변수의 경우 학점이 높을수록, 취업 목표 설정시기가 빠를수록 정교사가 될 가능성을 증가시켰다. 한편 비교사(정규직)를 선택하는데 있어서는 남성인 경우, 연령이 높아질수록, 학자금을 대출한 경험이 있을수록, 수도권 소재에 사립대학 졸업자일수록, 진로 및 취업준비 프로그램과 재학 중 일자리 경험이 있을수록 그 가능성이 증가하였다.The purpose of this study is to classify the employment type of graduates of four - year teacher training institutes such as teachers colleges and education colleges as full-time teachers, regular non-teachers, and unemployed, and to analyze factors affecting employment and the magnitude of influence, through the input of personal variables, school variables, and employment preparation variables. To this end, we analyzed 9,394 graduates of the 4-year college standard education curriculum included in the 2007 ~ 2016 college graduate job movement survey (GOMS) data. The main results are as follows. First, there was a significant difference in satisfaction with facilities, support system, and curriculum according to the type of employment, and the average value in all categories was lower in order of full-time teachers, regular non-teachers, and non-teachers. Second, in the multinomial logistic regression analysis of the probability of becoming a full-time and regular non-teachers comparator based on the unemployed group, the difference between full-time and regular non-teachers was found to be opposite, in all variables except for the household income. Third, in the school variables, the level of satisfaction of career counseling and student support system had a significant influence in raising employment probability in both groups. Finally, the higher the number of credits and the faster time to set the job goal, the greater the likelihood of becoming a full-time teacher. The likelihood of choosing a regular non-teacher higher in male, the aged, those with student loans, and the college graduates of the capital area.
Transparency and Complexity of Form and Meaning within Words

본고는 단어 차원에서 의미적 투명성, 의미적 복합성, 형태적 투명성, 형태적 복합성을 실제적으로 판정해 낼 수 있는 정의들을 도출해 내고자 하였다. 그 결과는 다음과 같다. 의미적 투명성은 단어 구성 요소의 의미가 형성된 단어의 의미에 그대로 승계되는 성질로서 투명/부분투명/불투명으로 나뉜다. 의미적 복합성은 어떤 한 단어가 내부적으로 형태 분석이 가능하고, 분석된 형태들이 각각 자체의 의미를 가지고 있는 성질로서 복합/단일로 나뉜다. 형태적 투명성은 단어 구성 요소의 형태가 형성된 단어에 그대로 반영되거나, 자동적인 음운론적 규칙에 의하여 변동된 채 반영되는 성질로서 투명/부분투명/불투명으로 나뉜다. 형태적 복합성은 한 단어가 공시적으로 명확하게 두 가지의 형태적 요소를 지니고 있는 성질로서 복합/단일로 나뉜다. 이러한 투명성과 복합성 판단은 언중의 공시적 언어 지식을 바탕으로 이루어진다.This paper aims to define semantic transparency, semantic complexity, morphological transparency and morphological complexity within words. Semantic transparency is categorized into three groups of transparency, partial-transparency and opacity, depending on whether or not a word inherits the meanings of its components. Semantic complexity is divided into two categories of complexity and simplicity, depending on whether or not parts of a word can be analyzed into their own meanings. Morphological transparency is categorized into three groups of transparency, partial-transparency and opacity, depending on whether or not the parts constituting a word remain the same after word formation. In addition, automatic phonological rules are needed to explain morphological transparency. Morphological complexity is divided into two categories of complexity and simplicity, depending on whether or not a word has two or more synchronic parts. Judging the transparency and complexity of a word depends on the native speakers synchronic knowledge of the language. The above four concepts could become fundamental criteria in classifying words.
Research on collaborative filtering recommendation algorithm based on social network

For users of social-based social networking services, we propose a local random walk-based friend recommendation approach by bringing together social network and tie strength. We firstly construct a weighted friend network as the basis for friend recommendation. Then, users' similarity is determined by a local random walk-based similarity measure on a weighted friend network. Experiments show that we use real social network data to evaluate the new method. The validity of the method is illustrated.