Reviewerly/exHarmony huggingface dataset:
MANIFESTATIONS OF PSYCHOLOGICAL DEFENSES OF CREATIVE PERSONALITY OF TECHNICAL SPECIALIZATION STUDENTS

The article describes the problem of effective use of psychological defense mechanisms as a method of solving intrapersonal conflicts of creative personalities of technical specialization students. An analysis of theoretical approaches to understanding the concept of psychological defense mechanisms and their role in the structure of personality is presented. Much attention is given to the comparison of the interpretation of the functions of defense mechanisms in terms of humanistic and psychoanalytic approaches. The dynamics of the development of psychological mechanisms is considered, which, in terms of the creatological approach, is based on three stages: the existence of defense mechanisms; transition from defensive to socialization mechanisms; transformation in the mechanisms of creativity. Furthermore, the article describes the positive aspects and methods of using defense mechanisms for eliminating frustration situations by creative personalities by understanding, structuring and dynamizing unconscious components of the system of psychological defenses. The article describes the results of empirical research of the level of personal creativity and creative thinking of technical specialization students, it included primary diagnosis of the level of personal creativity O. Tunick and diagnosis of creative thinking E. Torrances (modification A. Voronin) respectively, after which a secondary diagnosis of the defense mechanisms of students with a high level of creativity was organized and based on the method of Plutchik-Kellerman-Conte. It is concluded that there is a presence in technical specialization students with a high level of creativity of a certain combination of dominant psychological defense mechanisms, such as: denial, compensation, displacement and intellectualization. The article presents the analysis of individual defense mechanisms (denial, compensation, displacement and intellectualization) of technical specialization creative students from the point of view of psychological substantiation of their effectiveness and conclusion of the prevailing constructive nature of the mechanisms was made
MakeCode Extended Features

In this chapter you will learn some extended features of MakeCode that allow you to manage extensions (packages) and pare them with your micro:bit for One-Click download using WebUSB.
Millennials’ Reading Predicaments: How Are They Treated?

The deteriorating performance of Filipino students in the national and international English proficiency tests for the last decades has become a major challenge to Philippine education. One major cause attributed to this problem was the students’ poor reading comprehension that even at tertiary level they cannot read effectively and understand fully the reading materials assigned to them. Millennials being depicted as interested in games and social networking apps more than reading, as entirely digitally focused call much attention to educators and policy makers to explore on such issues and upgrade reading as the groundwork for all study skills and avenue for good study habits.A total of 699 freshman students who belonged to general education courses were randomly taken as sample. A qualitative-quantitative research design was utilized in the study that involved reading comprehension test, survey questionnaire on the reading problems and difficulties met by students and teachers and crosschecking interviews with school administrators and program heads regarding the other factors in reading comprehension.The great majority of the respondents’ reading comprehension was found at the instructional level in literal taxonomy while the others’ were categorically described at frustration level in interpretive and applied taxonomies. They were considered limited users according to the IELTS Band Score. Drawn upon interviews with college reading teachers and a combination of individual and focused-group discussion, this study shed light on the significant influence of reading instruction, classroom-based interventions and students’ participation in reading instruction.
THE FUNCTIONS OF ILLOCUTIONARY SPEECH ACTS USED BY TEACHERS IN THE CLASSROOM INTERACTIONS

This research aims to describe the functions of illocutionary speech acts used by teachers in learning interactions in class. The research method used in this study is qualitative descriptive. The data collection techniques in this study are observing and taking notes. The source of data in this study is teachers’ speech acts in learning interactions at State Vocational High School (SMK Negeri) 1 Klaten. The data used is the teachers’ oral speech on Mathematics, Science, History, and Accounting subjects in thelearning interactions at SMK Negeri 1 Klaten which has one conception or main idea. According to the results of the study, there are five functions of illocutionary speech acts used by the teacher in the learning interactionsin the class. The five functions include assertive functions in the form of stating and complaining; directive function in the form of commanding and advising; expressive function in the form of greeting and praising; commissive function in the form of promising and offering something; declarative function in the form of giving a name. Of the five functions, directive function is used most frequently, in which the teachers giving more commands.
Accelerating Deconvolution on Unmodified CNN Accelerators for Generative Adversarial Networks -- A Software Approach

Generative Adversarial Networks (GANs) are the emerging machine learning technology that can learn to automatically create labeled datasets in massive application domains such as speech, image, video and texts. A GAN typically includes a generative model that is taught to generate any distribution of data, and a discriminator trained to distinguish the synthetic data from real-world data. Both convolutional and deconvolutional layers are the major source of performance overhead for GANs and directly impacts the efficiency of GAN-based systems. There are many prior works investigating specialized hardware architectures that can accelerate convolution and deconvolution simultaneously, but they entail intensive hardware modifications to the existing CNN accelerators or processors that focus on convolution acceleration. In contrast, this work proposes a novel deconvolution layer implementation with a software approach and enables fast and efficient generative network inference on the legacy Convolutional Neural Networks (CNNs) accelerators. Our proposed method reorganizes the computation of deconvolutional layer and allows the CNN accelerators to treat it as the standard convolutional layer after we split the original deconvolutional filters into multiple small filters. The proposed data flow is implemented on representative CNN accelerators including dot-production array and regular 2D PE array architectures. Compared to the prior baseline acceleration scheme, the implemented acceleration scheme achieves 2.4X - 4.3X performance speedup and reduces the energy consumption by 27.7% - 54.5% on a set of realistic benchmarks.
Pembelajaran Ikatan Molekul Dalam Pelajaran Kimia Menggunakan Augmented Reality

Merging two atoms that have valence electrons around them can be described but it is not an easy thing for high school students in the Natural Sciences (IPA) class. This study analyzes the effectiveness of Android-based Augmented Reality (SMARt) System Molecules technology on understanding molecular bonding material in chemistry lessons. The SMARt technology is able to provide a better understanding of molecular bonding material because there are 3D animation of elements and molecules with valence electrons surrounding it. The post test average value for the control class was 68.57 without using SMARt technology while the experimental class average value was 79.71 after using SMARt.
Penggunaan TOGAF ADM 9.1 Pada Perancangan Enterprise Architecture Fungsi Layanan Beasiswa Universitas Kristen Maranatha

In Indonesia, which poverty rates reaching 9.82% in March 2018, education cost is a barrier for sections of societies with low household income. So that the availability of scholarships is a solution. Based on this, Maranatha Christian University provides tuition assistance in the form of scholarships for students with several categories, which are managed by Student Welfare Sector, under the supervision of the Directorate of Student Affairs. The problem in managing the scholarship is that there is no adequate system.&#x0D; The goal is this research is to design a business strategy and information system strategy to achieve harmony based on present and future needs. TOGAF Framework, the enterprise architecture method is chosen to provide an effective and efficient solution from the business architecture phase, information system architecture phase, and technology architecture phase. The result of this research is in the form of TOGAF ADM artifact, as the blueprint architecture and IT development recommendations that are expected to be a guide in the development of scholarship services at Maranatha Christian University.
Automatic Abstraction and Refinement for Simulations with Adaptive Level of Detail

Optimizing the level of detail of an interactive simulation involves maximizing its perceived scope while minimizing the computational resources that are required to maintain it. Using varying levels of detail is common in computer graphics, but the challenges of doing so in simulations remain substantially less explored. The interactive simulations of video games often govern the behaviour of intelligent agents in the environment, and such behaviours can take substantial computational resources to maintain. As the ambitions of designers and players demand larger and more complex simulations, new strategies are needed to disassociate the perceived scope of a simulation with its computational needs. To this end, we propose a way to automatically adjust between different levels of detail in an interactive, narrative planning context, while simultaneously identifying and visualizing the elements that can currently be perceived.
Analysis of effect of perceived cybercrime risk on mobile app payments

The evolution of e-commerce has reformed the way in which business is done. However, security issues pertaining to online transactions have posed limitations to its expansion. The present study uses technology acceptance models coupled with cyber criminology to expose the factors responsible for deviation of risk-averse customers from having frequent access to online transactions. Data is collected for tier-1 cities in India owing to higher rate of diffusion of mobile application-based payments. Structural equation modelling is used to test the hypothesis. It is found that perceived risk of cybercrime adversely affects the usage of apps for transacting online. Cybercrime risk inversely impacts the confidence of users and thus their tendency of using mobile apps for payments. Strong correlation is also found between victims of cybercrime and their frequency of usage before and after the crime. There is thus a need to address these issues to enable online merchants to retain their customers.
Relevance of power saving at mining farms

Introduction: mining has recently aroused substantial interest inRussia due to the rise in crypto-currency rates. Therefore, new coins are harder to obtain, and mining equipment turns more expensive. Computation capacities are provided by mining farms, and the number of their computation modules reaches 20 units, if operated by natural persons, and 300 – 5,000 units, if operated by major computation centres. One of the factors restraining the development of industrialscale mining, consists in high power consumption rates demonstrated by major computation centres. Therefore, the problem of high-quality power supply to mining farms gains relevance both in terms of the efficient use of electric power sources and in terms of the protection of expensive machines. Methods: the co-authors have analyzed power saving problems that accompany the incorporation of industrial mining farms, substantiated the need to design and develop the unique equipment, connectable to mining farms because the circulation of the reactive component of electric power between the source of alternate current and the accumulator causes losses of energy in the wires of the electric circuit. The overloading of the circuit by the reactive current causes the need to improve the capacity of the energy source, reduces the circuit voltage and makes it fluctuate. The co-authors have performed an overview of air and liquid-based cooling systems applied to mining farms. They also describe the principle of the cooling system involving submersion, which has a strong potential as a constituent component of major mining farms. Findings and discussion: the co-authors have formulated their idea aimed at the improvement of the performance of mining farms. They present a power saving system centered around the reactive capacity compensation, filtration of upper harmonics and compensation of voltage tilts. Conclusion: the co-authors have formulated the objectives of research in the area of power efficiency and capacity improvement at mining farms.
A Neural Attention Model for Adaptive Learning of Social Friends' Preferences

Social-based recommendation systems exploit the selections of friends to combat the data sparsity on user preferences, and improve the recommendation accuracy of the collaborative filtering strategy. The main challenge is to capture and weigh friends' preferences, as in practice they do necessarily match. In this paper, we propose a Neural Attention mechanism for Social collaborative filtering, namely NAS. We design a neural architecture, to carefully compute the non-linearity in friends' preferences by taking into account the social latent effects of friends on user behavior. In addition, we introduce a social behavioral attention mechanism to adaptively weigh the influence of friends on user preferences and consequently generate accurate recommendations. Our experiments on publicly available datasets demonstrate the effectiveness of the proposed NAS model over other state-of-the-art methods. Furthermore, we study the effect of the proposed social behavioral attention mechanism and show that it is a key factor to our model's performance.
Research of the application of the new cryptographic algorithms

In countries where national cryptographic data protection algorithms are adopted, there is necessary to use these algorithms for cryptographic data protection. This article discusses the method of applying new cipher algorithms to encrypt Microsoft Office documents. The method of implementing document encryption in Microsoft Word 2016, which allows the protection of information from unauthorized access, is offered on the example of the cipher algorithm O'zDSt1105:2009 and the first hash algorithm O'zDSt1106:2009. This method allows applying the encryption other documents of the Microsoft Office products. A method is proposed to apply new cipher algorithms and hashing algorithms through the design and implementing of the next generation cryptographic provider, which provides an opportunity to improve the relative crypto stability of encrypted Microsoft Office documents using the O'zDSt1105:2009 cipher algorithm and the O'zDSt1106:2009 hashing algorithm.
Siła wyrazu pozycyjnego operatora R: studium przypadku z logiki modalnej i modalnej filozofii

Theories of modal notions belong to subjects of permanent study for logicians as well as all philosophers. We describe some fundamental ideas concerning kinds of modal expressions. Then we deliver a concise introduction to basic concepts of modal logic with connectives M of possibility and L of necessity. We describe typical normal modal logic as sets of theorems as well as by means of relational semantics. In the focal points we present some important outcomes in the field of positional logic containing the operator R, with special emphasis on systems MR and MRQ. We show how relational semantics of typical modal logic may be reconstructed within positional logic MRQ with one binary predicate, and therefore normal modal logics turn out to be algebraically proper parts of positional logic or theories based on it. Some philosophical questions and insights are being raised on the ground of those formal research.
The Last Man Standing Technique for Proof-of-Location in IoT Infrastructures at Network Edge

This paper is divided in two parts. The first part is the story of a failure, where an attempt to generate verifiable Proof-of-Location from WiFi scan results has failed, even when scan results were compared with a small time shift within the same trace. In the second part, this paper proposes to conduct Proof-of-Location transactions in a peer-to-peer fashion. Each peer is assisted by the cloud side which plays the role of both the real-time mediator and public transaction ledger. This paper proposes the Last Man Standing (LMS) procedure which is both a means for ensuring a fair transaction and a natural way to close it. Each transaction results in a coin which can be either shared among transaction participants or owned individually by LMS. Analysis using real mobility traces from various types of urban locations shows that the proposal is valid and will ensure that all the locations within the city will gradually be claimed via the proposed type of transactions while providing independently verifiable proofs for each location. The distant goal of this paper is a next generation Location-Based Service (LBS) which takes the form of a location-based resource economy where each location is a coin compatible with traditional blockchain operations.
RADIO-WAVES REFLECTION AT REMOTE SENSING OF UNDERLYING COVERS

Monitoring technologies are rapidly developing at present and allow to extract and use non-coordinate information about objects. Noncoordinate information is the information about the type and properties of an object under study. Remote sensing is the main method of solving monitoring problems where special positioning belongs to the radar methods, based on space-time processing of signals and, in particular, on methods of radio polarimetry. It is necessary to have information about the surface in order to solve the monitoring task. The slightest changes in the electrical and physical properties of such areas as salinity, humidity, soil composition, etc. will lead to a change in the basic electrodynamics of the surface, notably its complex dielectric permittivity. The article demonstrates the precise solutions to the problems of radio-waves reflection from a layered surface with various laws of changes of the complex permittivity  in depth. Media with exponential and quadratic laws of variation  for arbitrary angles of incidence of the radio wave on the surface are considered. Precise decision is obtained for layered media with the law of change in the complex permittivity the polynomial and linear characteristics. A similar problem for the parabolic layer is considered separately. The detailed analysis of radio waves reflection from the medium with a matching layer is carried out. The nature of the electromagnetic field inside the transition layer is studied in detail. The article is illustrated by the graphs showing the dependences of an electromagnetic wave reflection coefficient on the layered medium with linear and exponential laws of variation of the complex dielectric constant over depth.
Development of a Content Management System (CMS) for Mathematics Learning Tools Of Mathematics Pre Service Teachers

The teacher has an important role in efforts to achieve the learning objectives of the students. In an effort to achieve the learning objectives, the teacher must prepare learning plans that refer to the content standards and learning objectives in each subject. How important is a mathematical learning plan, so that prospective mathematics teachers need to be equipped with the ability to arrange learning tools during lectures. To encourage the skills of prospective teachers in compiling learning tools, one alternative is to integrate TIK. The development of Wordpress Content Management System (CMS) as a learning media is expected to be a learning resource that can be accessed by prospective mathematics teacher students without limited space and time in developing mathematics learning tools which include annual programs, semester programs, syllabus, Learning Implementation Plans (RPP), Student Worksheets (LKS), with the aim of producing a product in the form of learning media that utilizes WordPress Content Management System (CMS) with mathematical learning device content. The research method used is Research and Development (R &amp; D). The research procedure includes seven steps, namely: potential and problems, data collection, product design, design validation, design revision, product testing, and product revision. The instruments used were questionnaires, namely questionnaires for material experts, for media experts, and questionnaires used for limited testing to prospective mathematics teachers in this case students in the mathematics education department at Untirta. the results of the assessment of experts and respondents is equal to 83,8%, meaning that they have met the indicators of success of the products developed.
On First-Order Expressibility of Satisfiability in Submodels

Let $$\kappa ,\lambda $$ be regular cardinals, $$\lambda \leqslant \kappa $$, let $$\varphi $$ be a sentence of the language $$\mathcal L_{\kappa ,\lambda }$$ in a given signature, and let $$\vartheta (\varphi )$$ express the fact that $$\varphi $$ holds in a submodel, i.e., any model $$\mathfrak A$$ in the signature satisfies $$\vartheta (\varphi )$$ if and only if some submodel $$\mathfrak B$$ of $$\mathfrak A$$ satisfies $$\varphi $$. It was shown in [1] that, whenever $$\varphi $$ is in $$\mathcal L_{\kappa ,\omega }$$ in the signature having less than $$\kappa $$ functional symbols (and arbitrarily many predicate symbols), then $$\vartheta (\varphi )$$ is equivalent to a monadic existential sentence in the second-order language $$\mathcal L^{2}_{\kappa ,\omega }$$, and that for any signature having at least one binary predicate symbol there exists $$\varphi $$ in $$\mathcal L_{\omega ,\omega }$$ such that $$\vartheta (\varphi )$$ is not equivalent to any (first-order) sentence in $$\mathcal L_{\infty ,\omega }$$. Nevertheless, in certain cases $$\vartheta (\varphi )$$ are first-order expressible. In this note, we provide several (syntactical and semantical) characterizations of the case when $$\vartheta (\varphi )$$ is in $$\mathcal L_{\kappa ,\kappa }$$ and $$\kappa $$ is $$\omega $$ or a certain large cardinal.
Proposal, Tracking and Segmentation (PTS): A Cascaded Network for Video Object Segmentation

Video object segmentation (VOS) aims at pixel-level object tracking given only the annotations in the first frame. Due to the large visual variations of objects in video and the lack of training samples, it remains a difficult task despite the upsurging development of deep learning. Toward solving the VOS problem, we bring in several new insights by the proposed unified framework consisting of object proposal, tracking and segmentation components. The object proposal network transfers objectness information as generic knowledge into VOS; the tracking network identifies the target object from the proposals; and the segmentation network is performed based on the tracking results with a novel dynamic-reference based model adaptation scheme. Extensive experiments have been conducted on the DAVIS'17 dataset and the YouTube-VOS dataset, our method achieves the state-of-the-art performance on several video object segmentation benchmarks. We make the code publicly available at https://github.com/sydney0zq/PTSNet.