Reviewerly/exHarmony huggingface dataset:
Formation of Moral-Aesthetic Competence of Future Specialists

The article analyzes the problems of moral and aesthetic education in the process of personal and professional development of future engineering teachers in terms of the educational process of higher education at the present stage. Constant dynamic changes in the political, economic and socio-cultural structure of society require new approaches in the system of vocational education. The article proposes to consider an engineer-teacher of a new type as a person who has humanity, an awareness of the high value of human life; spirituality, the need for knowledge of the surrounding reality, self-knowledge, the search for the meaning of life and life credo, in communication with art, in understanding the intrinsic value of their inner world; creativity, developed intellect, striving for transforming activity and possession of the sense of the new, ability for active life and creativity; pragmatism, possession of the newest technologies, skills and abilities necessary for the implementation of professional knowledge in the new economic and socio-cultural situation. The article substantiates that the main tasks of higher education at the present stage are the formation of the spiritual sphere of the student’s personality and the education of its ethical and aesthetic qualities. The development of these qualities is impossible without creating an effective training system. In this regard, the search for new approaches to the organization of educational activities in higher education is being actualized, in particular, the implementation of the educational function of education, the creation of favorable conditions for professional, personal, cultural, creative self-development and self-education, assistance in the development of a competitive personality of a future specialist . The article analyzes the current trends in the development of society, describes the contradictory attitude towards high aesthetic and moral ideals, as evidenced by the decline in the prestige of education and public culture; consumer attitude to artistic values, which affected the quality of print, television programs, the dominance of "mass culture" on the one hand and on the other - the creation of real conditions for the aesthetic education of people in a sovereign, independent state: an appeal to national sources, to the origins of folk culture wisdom; openness of society, which makes it possible to integrate into the world community, acquaintance with world achievements in various fields, in particular, in artistic creation; freedom of thought; alternative education system, increased attention to the capable and gifted. Prospects for further research are to conduct a detailed analysis of the socio-psychological characteristics of students young people identified in this article, factors that influence the level of aesthetic and moral culture and education of future specialists.
MPKC-based Threshold Proxy Signcryption Scheme

The threshold proxy signcryption can implement signature and encryption simultaneously in one logical step, and can be used to realize the decentralized protection of the group signature key, so it is an efficient technology for network security. Currently, most of the existing threshold proxy signcryption schemes are designed based on the traditional public key cryptosystems, and their security mainly depends on the difficulty of the large integer decomposition and the discrete logarithm. However, the traditional public key cryptosystems cannot resist the quantum computer attack, which makes the existing threshold proxy signcryption schemes based on traditional public key cryptosystems insecure against quantum attacks. Motivated by these concerns, we proposed a threshold proxy signcryption scheme based on Multivariate Public Key Cryptosystem (MPKC) which is one of the quantum attack-resistent public key algorithms. Under the premise of satisfying the threshold signcryption requirements of the threshold proxy, our scheme can not only realize the flexible participation of the proxy signcrypters but also resist the quantum computing attack. Finally, based on the assumption of Multivariate Quadratic (MQ) problem and Isomorphism Polynomial (IP) problem, the proof of the confidentiality and the unforgeability of the proposed scheme under the random oracle model is given.
Collaborative filtering algorithm based on multi-factors

Recommender systems are widely used to provide e-commerce users appropriate items and have emerged in response to the problem of information overload. Collaborative filtering (CF) is one of the most successful recommender methods which recommend items to a given user based on the opinions of the similar users. However, the existing CF methods lack the consideration of factors such as time and geo-location. In this paper, we take into account many influencing factors including time and geo-location in the process of similarity computation. The simulation results on two real-world data sets show that our algorithm achieves superior performance to existing methods.
Principles for Designing Systems of Screen Icons

The basic principles of design are the essential guidelines that need to be considered at the beginning and during the stages of the Design Process.The principles related to icon systems are inferred from and defined through experience and daily practice.In this paper, we make a contribution to basic research by proposing ten principles for designing System Icons for the Graphic User Interface.These premises, applied with wise criteria and flexibility, allow to produce harmonic, consistent and effective signs for our electronic devices.
Online Learning in the Arab World: A Shifting Landscape

This paper presents an analysis of the engagement of learners in the Arab World with Edraak, a regional online learning platform, between 2015 and 2018. Our analysis investigates the changes in demographic characteristics of registration and engagement with online courses across the 4-year period. We also investigate correlations at the country level between engagement with online learning on Edraak and several human and technology development indices of the countries. The results show gradual but substantial shifts in demographic characteristics of engagement over the 4 year period, including noticeable drops in average registrant age and a shrinkage of the gender gaps in registration. The correlations of registration and engagement with human and technology development indices show that gender gaps in 2015 were positively correlated with the Arab countries’ gender inequality indices (GII), and that the shrinkage in gender gaps over the 4 years is negatively correlated with the GII. Our results also show that penetration of online learning is negatively correlated with the countries’ Information and Communication Technology (ICT) indices, but positively correlated with the digital skills ICT sub-index. We point out possible explanations for these correlations that could be further researched in the future to inform policy makers on how certain development conditions can promote or restrain the adoption of online learning at a national level.
Towards a Quantitative Identification of Mobile Social Media UIDPs’ Visual Features Using a Combination of Digital Image Processing and Machine Learning Techniques

User Interface Design Patterns (UIDPs) improve the interaction between users and e-applications through the use of interfaces with a suitable and intuitive navigability without restrictions on the size of the screen to show the content. Nowadays, UIDPs are frequently used in the development of new mobile apps. In fact, mobile apps are ubiquitous: in education through learning platforms; in medicine through health self-care apps and in a social dimension, of course, through social networks. Social media networks have become one of the main channels of communication and dissemination of content; however, surprisingly, UIDPs have not been deeply analyzed in the design and development process of social media apps. In this sense, we propose the use of a combination of digital image processing and machine learning techniques to both quantitatively identify the main visual features of UIDPs in social media apps and assess the goodness of those features for building highly accurate classifiers. Our results suggest that such a combination seems sensible not only for explicitly unveiling patterns shared by different users but also for constructing such kind of classifiers.
Enriching Students' Laboratory Experience: Using Software And Socratic Methods To Foster Reflective Thought In An Engineering Laboratory

We have developed SASK (Socratic ASK * ), a domain-independent and rule-based architecture for implementing Socratic dialogs to foster better learning in well defined tasks by encouraging deeper reflections by the student.We have used SASK to build the Dialysis Mentor, a program that uses Socratic questioning to improve student performance and learning in an undergraduate biomedical engineering lab.Small usability tests and a pilot run in a dialysis lab suggests that Dialysis Mentor and SASK systems in general can improve the value of pre-defined learn-bydoing task experiences.We are now working on improving our SASK Mentors 1 and building authoring tools for them.
Multimapping Abstractions and Hierarchical Heuristic Search

In this paper we introduce a broadly applicable method, called multimapping abstraction, that allows multiple heuristic values for a state to be extracted from one abstract state space. The key idea is to define an abstraction to be a multimapping, i.e., a function that maps a state in the original state space to a set of states in the abstract space. We performed a large-scale experiment on several benchmark state spaces to compare the memory requirements and runtime of Hierarchical IDA* (HIDA*) using multimapping domain abstractions to HIDA* with individual domain abstractions and to HIDA* with multiple, independent domain abstractions. Our results show that multimapping domain abstractions are superior to both alternatives in terms of both memory usage and runtime.
Accelerating K-12 Interest in Computer Science Using Mobile Application-based Curriculums

Exposing students to Computer Science at an early age is critical to the continued growth and development of the Computer Science community.Once students are shown the pervasive impact of modern computing, long-term interest in Computer Science can continue to be stimulated through curriculums built around popular, age-specific topics.The advent of mobile computing through virtually every age group makes mobile application design and development an attractive topic for future K-12 Computer Science curriculums.The first part of this work details our experiences using an Android-based development platform to teach basic Computer Science principles.The second part of this work leverages that experience to propose a range of Introductory Computer Science curriculums targeted at the 9th through 12th grade age groups.Using a variety of user-experience surveys, we have found that combining mobile application development with introductory Computer Science concepts nets a great deal of positive feedback from students.As such, we provide a framework for extending this type of curriculum for future educators.
Nonlinear entanglement witnesses for four qubits in mutually unbiased bases

Entanglement witness is a Hermitian operator that is useful for detecting the genuine multipartite entanglement of mixed states. Nonlinear entanglement witnesses have the advantage of a wider detection range in the entangled region. We construct genuine entanglement witnesses for four qubits density matrices in the mutually unbiased basis. First, we find the convex feasible region with positive partial transpose states. Then, to reveal the entangled regions, we present some appropriate linear entanglement witnesses and, we find the envelope of this family of linear witnesses as a nonlinear witness. Finally, we study thermal entanglement and we show for some Hamiltonians the witnesses can detect the entanglement at all temperatures.
A Theoretical Framework for Studying Random Walk Planning

Random walks are a relatively new component used in several state of the art satisficing planners. Empirical results have been mixed: while the approach clearly outperforms more systematic search methods such as weighted A* on many planning domains, it fails in many others. So far, the explanations for these empirical results have been somewhat ad hoc. This paper proposes a formal framework for comparing the performance of random walk and systematic search methods. Fair homogenous graphs are proposed as a graph class that represents characteristics of the state space of prototypical planning domains, and is simple enough to allow a theoretical analysis of the performance of both random walk and systematic search algorithms. This gives well-founded insights into the relative strength and weaknesses of these approaches. The close relation of the models to some well-known planning domains is shown through simplified but semi-realistic planning domains that fulfill the constraints of the models. One main result is that in contrast to systematic search methods, for which the branching factor plays a decisive role, the performance of random walk methods is determined to a large degree by the Regress Factor, the ratio between the probabilities of progressing towards and regressing away from a goal with an action. The performance of random walk and systematic search methods can be compared by considering both branching and regress factors of a state space.
A coinductive approach to proof search through typed lambda-calculi

In reductive proof search, proofs are naturally generalized by solutions, comprising all (possibly infinite) structures generated by locally correct, bottom-up application of inference rules. We propose a rather natural extension of the Curry-Howard paradigm of representation, from proofs to solutions: to represent solutions by (possibly infinite) terms of the coinductive variant of the typed lambda-calculus that represents proofs. We take this as a starting point for a new, comprehensive approach to proof search; our case study is proof search in the sequent calculus LJT for intuitionistic implication logic. A second, finitary representation is proposed, comprising a syntax of lambda-terms extended with a formal greatest fixed point, and a type system that can be seen as a logic of coinductive proofs. In the finitary system, fixed-point variables enjoy a relaxed form of binding that allows the detection of cycles through the type system. Formal sums are used in both representations to express alternatives in the search process, so that not only individual solutions but actually solution spaces are expressed. Moreover, formal sums are used in the coinductive syntax to define “decontraction” (contraction bottom-up)—an operation whose theory we initiate in this paper. A semantics is defined assigning a coinductive lambda-term to each finitary term, making use of decontraction as a semantical match to the relaxed form of binding of fixed-point variables present in the finitary system. The main result is the existence of an equivalent finitary representation for any full solution space expressed coinductively. This result is the main ingredient in the proof that our logic of coinductive proofs is sound and complete with respect to the coinductive semantics. These results are the foundation for an original approach to proof search, where the search builds the finitary representation of the full solution space, and the a posteriori analysis typically consisting in applying a syntax-directed procedure or function. The paper illustrates the potential of the methodology to the study of proof search and inhabitation problems in the simply-typed lambda-calculus, reviewing results detailed elsewhere, and including new results that obtain extensive generalizations of the so-called monatomic theorem.
Investigation of Factors Affecting the Efficiency of Carbon Dioxide Removal in a Single Perforated Sieve Tray Column

An experimental work was carried out for the recovery of carbon dioxide in monoethanolamine solution (MEA) using pilot plant of perforated sieve tray column. The effect of MEA concentration, carbon dioxide ratio in the gas phase, liquid flow rate, gas flow rate and CO2 loading in the absorption solution was investigated. The results show that the efficiency of recovery increased by increasing the concentration of MEA and better removal efficiency can be achieved by increasing the liquid flow rate and the contact time between CO2 and the absorbent and that can be happened by decreasing the air flow rate.
Impact of Genetic Algorithms Operators on Association Rules Extraction

The first goal of this paper is to study the impact of Genetic Algorithms (GA’s) components such as encoding, different crossover and replacement strategies on the number and quality of extracted association rules. Moreover, we propose a strategy to manage the population. The later is organized in sub-populations where each one encloses same size rules. Each sub-population can be seen as a population on which a GA is applied. Hence, we propose two GAs, a sequential one and a parallel one. All tests are conducted on two types of benchmarks: synthetic and real ones of different sizes.
Finding Sensitive Accounts on Twitter: An Automated Approach Based on Follower Anonymity

We explore the feasibility of automatically finding accounts that publish sensitive content on Twitter, by examining the percentage of anonymous and identifiable followers the accounts have. We first designed a machine learning classifier to automatically determine if a Twitter account is anonymous or identifiable. We then classified an account as potentially sensitive based on the percentages of anonymous and identifiable followers the account has. We applied our approach to approximately 100,000 accounts with 404 million active followers. The approach uncovered accounts that were sensitive for a diverse number of reasons.
Empirical Discovery of Power-Law Distribution in MapReduce Scalability

Understanding the scalability of MapReduce applications is a challenging problem. The difficulty lies in the distributed mapping of the input big data. The distribution of data and compute resources must match with fluctuating network substrates. User-defined Map and Reduce functions over application parameters further complicate the issue. Therefore, it offers great payoff to use small datasets and limited test runs to reveal the behavior of MapReduce applications over big-data. In this paper, we analyze the scaling effects of server cluster-size over varieties of Map- and Reduce-intensive applications. In our study, we discover specific conditions which lead to the power-law conformity in representative MapReduce applications. We report four major discoveries: (1) Within a range of scaling parameters, MapReduce execution time follows the power-law distribution. (2) Power-law scalability for Map-intensive applications work well even with a small cluster size. (3) Shuffle-intensive applications exhibit power-law behavior starting from larger cluster size. (4) The scaling effects may depart from power-law distribution, if the cloud resources are heavily overprovisioned than the workload demands. The above findings enable users to use bounded test runs to allocate and configure virtual and physical resources in large-scale MapReduce applications. These results can be also applied in generating business models for providing cost-effective cloud computing services.
International Remittances and Economic Growth in Ghana: Does the Measure Of Financial Development Matter?

Empirical results of the effect of international remittances on economic growth of individual countries and groups of countries have yielded mixed results. This study is intended to add to the debate on the impact of international remittances on the aggregate output of individual countries, Ghana in this case. An earlier panel data study found a negative impact of remittance on real GDP and prompted further research on the topic for individual countries and groups of countries. The papers which followed and were able to correct for endogeneity in the models, found a mild positive impact of private unrequited remittances on economic growth. The impact of remittances on economic growth of a particular country depends on the proportion of remittances invested and consumed, the level of financial development and the quality of institutions in the country. This study used time series data from 1990 to 2014 on Ghana and found a positive impact of remittances on the growth rate of real GDP. Engel and Granger Cointegration test and Error Correction Models were used. Remittances were found to be pro-cyclical. Granger causality tests which corrects for the errors of cointegrated variables found causality running from financial development to remittances and from remittances to real GDP. Remittances have been found in other studies to benefit the Ghanaian economy by reducing poverty and sustaining the current account. This study shows a positive impact of remittances on aggregate output. Thus requiring policies to increase the flows and encourage their investment.&#x0D; Keywords: International Remittances, Economic Growth, Ghana, Financial Development.
Effectiveness Of Shared Tablet Pc Use On Facilitating Student Interactions

The objective of this study is to examine how Tablet PCs affect the interaction between students when working in pairs on in-class assignments, and to study the effects of shared Tablet PC use on learning.Prior studies have demonstrated that engaging students in the learning process through active discussion and/or problem-solving with their peers improves learning.Tablet PCs allow students to engage in learning activities while using unique digital Inking and sharing capabilities.In this pilot study, significant differences were observed between students working on paper and Tablet PCs ("Paper" and "Tablet," respectively) in terms of the frequency of observations that students were working in pairs (36% for Paper vs. 50% for Tablet) and working by themselves (43% for Paper versus 24% for Tablet).The predominant activity for both groups was talking, followed by writing, reading and listening; no significant differences were observed for frequency of these actions.Scores on relevant test questions and in-class assignments were not significantly different between the two groups, nor were significant differences observed between these groups on motivation survey constructs.Students in the Tablet group agreed more strongly with the statements, "Collaborating with a partner on problems helps me understand concepts in this class," and "I paid attention most of the time," compared to students in the Paper group.Tablet PCs effectively increased interaction between students working in pairs, and appear to promote positive interdependence for the students in this study.More long-term studies are being conducted to assess effects on learning and student attitudes over time, and to improve the inter-observer reliability statistics.
Lego Factory: An Educational Cim Environment For Assembly

This paper describes a general concept for a computer integrated manufacturing (CIM) environment intended for the design and assembly of "products" built out of Lego blocks.These "products" are conceptualized and designed within a Lego CAD System from a small set of the most commonly used Lego building blocks.Process planning and trajectory planning software is used to determine the build sequence and robot program for assembling the model directly from the 3D CAD model.The robot program is fed into a cell controller to perform the physical build of the "product".This paper also describes student projects designed to explore the feasibility of the technical concepts necessary for such a system.These include a robot gripper, a block sorting mechanism, and an assembly planning system integrated with the Lego CAD system and the physical assembly cell.