Reviewerly/exHarmony huggingface dataset:
The Formation of Educational Programs in the Digital Environment

All the components of the university basic educational program and its formation in one system with the choice of the formation unit – academic discipline are presented at the modeling level. A model, which is a unique system for the formation of educational programs and their components, is proposed. It allows to increase the mobility of all university departments that implement educational programs during licensing, accreditation and other examinations.
Traditional and digital technologies in professional education: integration opportunities

Abstract The article considers the traditional and digital technologies taking into account vocational education modern directions of development and modernization. It has been substantiated that the integration of such technologies is an important factor in improving the quality of vocational education. The authors’ approach to such integration is proposed on the basis of complementarity or mutual reinforcement of the capabilities of traditional and digital technologies. The types of integration of such technologies are described from the standpoint of increasing their didactic productivity: addition, replacement, development, transformation. Algorithms for the integration of traditional and digital technologies in teaching a particular discipline and in the implementation of an educational program are presented. These algorithms can be used by college teachers and heads of educational programs of secondary vocational education.
Region-aware multi-resolution learning for vehicle re-identification using mask

As an instance-level recognition problem, the key to effective vehicle re-identification (Re-ID) is to carefully reason the discriminative and viewpoint-invariant features of vehicle parts at high-level and low-level semantics. However, learning part-based features requires a laborious human annotation of some factors as attributes. To address this issue, we propose a region-aware multi-resolution (RAMR) Re-ID framework that can extract features from a series of local regions without extra manual annotations. Technically, the proposed method improves the discriminative ability of the local features through parallel high-to-low resolution convolutions. We also introduce a position attention module to focus on the prominent regions that can provide effective information. Given that the vehicle Re-ID performance can be affected by background clutters, we use the image obtained through foreground segmentation to extract local features. Results show that using original and foreground images can enhance the Re-ID performance compared with using either the original or foreground images alone. In other words, the original and foreground images complement each other in the vehicle Re-ID process. Finally, we aggregate the global appearance and local features to improve the system performance. Extensive experiments on two publicly available vehicle Re-ID datasets, namely, VeRi-776 and VehicleID, are conducted to validate the effectiveness of each proposed strategy. The findings indicate that the RAMR model achieves significant improvement in comparison with other state-of-the-art methods.
People with dementia experiencing presence in mixed reality technologies

Abstract Background Mixed Reality Technologies (MRTs) spanning the physical‐virtual continuum offer possibilities for machine‐based prompting to support people with dementia. The effectiveness of MRTs requires users to experience ‘presence’ – the feeling of being there and the illusion of non‐ mediation by the technology ‐ which has not been explored in dementia. Method Participants with mild to moderate dementia aged between 63‐90 years of age played games on two MRTs: Tangram on Osmo (Augmented Virtuality) and Young Conker on Hololens (Augmented Reality) in separate sessions to explore their experience of presence and look at their responses to prompts in the games. The sessions were video‐recorded for analysis with Noldus Observer XT 14.1 to identify themes relating to presence and responses to prompts. Result Three themes relating to the experience of presence were identified: 1. Affordances and perceptual elements, 2. Degree of realism and 3. Social element. Participants responded differently to visual and verbal prompts in the games. Conclusion People with dementia experience presence in MRTs that is mediated by the clues in the visual auditory and material properties of the physical and virtual elements of the games. These findings have design implications for future development of MRTs to support people with dementia.
Task-Level Aware Scheduling of Energy-Constrained Applications on Heterogeneous Multi-Core System

Minimizing the schedule length of parallel applications, which run on a heterogeneous multi-core system and are subject to energy consumption constraints, has recently attracted much attention. The key point of this problem is the strategy to pre-allocate the energy consumption of unscheduled tasks. Previous articles used the minimum value, average value or a power consumption weight value as the pre-allocation energy consumption of tasks. However, they all ignored the different levels of tasks. The tasks in different task levels have different impact on the overall schedule length when they are allocated the same energy consumption. Considering the task levels, we designed a novel task energy consumption pre-allocation strategy that is conducive to minimizing the scheduling time and developed a novel task schedule algorithm based on it. After getting the preliminary scheduling results, we also proposed a task execution frequency re-adjustment mechanism that can re-adjust the execution frequency of tasks, to further reduce the overall schedule length. We carried out a considerable number of experiments with practical parallel application models. The results of the experiments show that our method can reach better performance compared with the existing algorithms.
FORMS AND METHODS OF RESEARCH COMPETENCE FORMATION OF A FUTURE HIGH SCHOOL TEACHER IN THE USA AT THE MASTER’S LEVEL

American higher education is charactetrised by flexibility, differentiation and individualization, the use of a wide range of innovative technologies and programmes, the ability to quickly adapt to the requirements of practice. This significantly affects the quality and efficiency of training of higher education teachers and ensuring their competitiveness in the labor market. The purpose of the article is to study the forms and methods of formation of research competence of future high school teachers in the USA. Research methods used: analysis, synthesis, generalization, scientific interpretation of pedagogical facts and phenomena, study of documents. The research competence of a future high school teacher is an integral quality of personality that reflects the unity of theoretical and practical readiness of a teacher for scientific research work aimed at transforming pedagogical practice and provides the ability to independently, responsibly, proactively solve research problems in the professional activity. Components of research competence are: professional research competence, competence of scientific communication, educational competence. Professional research competence characterizes the formation of professional knowledge of scientific researches, as well as the level of formation of research skills and abilities. The competence of scientific communication enables effective communication of researchers in their professional activity, forms the ability to establish and maintain contacts in the scientific circles. Educational competence is aimed at forming in teachers-researchers the ability to effectively manage their activities, the ability to optimally and competently regulate its content, scope etc. The formation of research competence of a future high school teacher takes place during the professional training through the use of certain forms and methods: lectures and seminars based on the model of «learning as research», practice, individual, group and independent work, consultations, implementation of scientific research, projects, case study, portfolio, cognitive workshop, simulation, self-assessment maps, reflective analysis, etc.
Intermediate Certification Of The Specialty «Rhythmic Gymnastics» Students

Improving the quality of higher education is a determining condition for ensuring the competitiveness of graduates on the market and is one of the priority goals of research in the field of education. Such a sport as rhythmic gymnastics, covers a large part of the population among girls 3-16 years old, and has great potential for solving problems in the field of sports and recreation. In this connection, it is necessary to have personnel with the appropriate qualifications for an extensively developing and varied modern labor market.The article discusses the application of testing in higher education to assess professional competence of future rhythmic gymnastics coaches. Competency-based approach to learning provides a diagnostic package for interim certification of students of specialization “gymnastics” for assessing the level of knowledge in accordance with the requirements of the professional standard “Coach”. Based on the analyses of test blocks of various kinds, the existing gaps in the students' theoretical preparedness are revealed. The quality of the formed competencies depends on the ability to plan the content of classes It depends on the basic principles of the theory and methodology of physical culture, the correct dosage of the load, physical and psychological characteristics of students specializing in “rhythmic gymnastics”. The advantage of the proposed method demonstrates the need for new, integrated test systems.
Application of Additive Technologies in Improving Instrumental Equipment of Space Simulators.

The paper considers: additive technologies and their practical application in solving problems of operation, testing and modernization of space simu-lators in the framework of digital transformation policy of the Russian space industry; software and hardware and the experimental setups; prac-tical recommendations and suggestions for using the advantages of 3D modeling and FDM 3D printing technologies for prototyping products ap-plied in simulator construction and operation of technical means for train-ing cosmonauts.
Система обходу навчальних перешкод безпілотним повітряним судном

The problem of creating a system for simulating the flight of an unmanned aircraft or remotely piloted aircraft system between buildings is solved, which uses multi-mode flight control by dividing the trajectory of the unmanned aircraft into several sections. The boundaries of each section are presented in the form of additional intermediate points of the route. The developed system is used to visualize the flight of an unmanned aircraft. The problem statement for the system of bypassing polygonal obstacles is formulated. The simulation of the training flight trajectory of a remotely piloted aircraft system or unmanned aircraft between two specified destinations with the avoidance of obstacles of different sizes is considered, taking into account that the number of movements in real time should be minimized. An algorithm for controlling the flight of an unmanned aircraft along a given trajectory from one point to another has been developed. It is proposed to divide the given trajectory into several smaller parts and determine the boundaries of these newly created parts in the form of coordinates of destinations. An algorithm and a block diagram of the algorithm for bypassing obstacles of different sizes have been developed. Simulations are performed and experimental results are given. The proposed method is designed to implement movement on a given trajectory with a given speed and power required to transmit information. The simulation results show the effectiveness of the algorithm for modeling the flight path, its re-planning when detecting obstacles of various shapes.
The Local Approach to Programming Language Theory

The need for a unified model theory for program semantics arises from the variety and the apparent non-equivalence of the models that have been proposed so far: continuous lattice, complete ordered magma, complete partial order, type structure over a domain, “collection d’algorithmes”, etc. Bundle theory is based upon the fundamental notion of convergence. This notion is present in all the aforementioned structures. Threshold functions intervene in the study of continuous function spaces over continuous lattices, and of semantic domains with data types as objects. Sagittal bundles and regular functors occur in and are used for computing fixed points for certain regular functors, and their approxi mations as limits or colimits of diagrams. Functors occur in recursive domain equations that occur naturally in program semantics.
Skipping the q in Group Signatures

The notion of group signatures was introduced to allow group members to sign anonymously on behalf of a group. A group manager allows a user to join a group, and another will be able to open a signature to revoke its anonymity. Several schemes have already been proposed to fulfil these properties, however very few of them are proven in the standard model. Of those proven in the standard model, most schemes rely on a so-called q-assumptions. The underlying idea of a q-assumptions is that to prove the security of the scheme, we are given a challenge long enough to allow the simulator to answer queries. Another common solution is to rely on an interactive hypothesis. We provide one of the first schemes proven in the standard model, requiring a constant-size non-interactive hypothesis. We then compare its efficiency to existing schemes, and show that this trade-off is acceptable as most schemes with better efficiency rely on either an interactive or a q-hypothesis. The exception to this is the recent independent work Libert, Peters and Yung (CRYPTO 2015), who presented an efficient group signature scheme in the standard model relying on standard assumptions.
SuperFront: From Low-resolution to High-resolution Frontal Face Synthesis

Advances in face rotation, along with other face-based generative tasks, are more frequent as we advance further in topics of deep learning. Even as impressive milestones are achieved in synthesizing faces, the importance of preserving identity is needed in practice and should not be overlooked. Also, the difficulty should not be more for data with obscured faces, heavier poses, and lower quality. Existing methods tend to focus on samples with variation in pose, but with the assumption data is high in quality. We propose a generative adversarial network (GAN) -based model to generate high-quality, identity preserving frontal faces from one or multiple low-resolution (LR) faces with extreme poses. Specifically, we propose SuperFront-GAN (SF-GAN) to synthesize a high-resolution (HR), frontal face from one-to-many LR faces with various poses and with the identity-preserved. We integrate a super-resolution (SR) side-view module into SF-GAN to preserve identity information and fine details of the side-views in HR space, which helps model reconstruct high-frequency information of faces (i.e., periocular, nose, and mouth regions). Moreover, SF-GAN accepts multiple LR faces as input, and improves each added sample. We squeeze additional gain in performance with an orthogonal constraint in the generator to penalize redundant latent representations and, hence, diversify the learned features space. Quantitative and qualitative results demonstrate the superiority of SF-GAN over others.
Android Based Instant Messaging Tool Using Firebase as Backend

In today’s world, communication is very important and keeping this communication in real time is important as our lives become faster. Internet communication is becoming more and more important these days. Online communication allows users to communicate with other people in a fast and easy way. Keeping this in mind, the communication app should be able to transfer files and messages instantly without or with little delay, depending on the broadcast field. For such a system to work there must be a database that will update in real time to store all the data transferred.Google Firebase is a service that provides real-time data server, as well as many other features and Firebase enables us to develop applications that are easy to connect to. In this paper, we propose a system that will be able to send text and text-based files such as photos, audio, video, text online between two users on the network in real time.We use the Android and Google Firebase operating system to manage contact back functionality, highlighting various features of the application and service.
Unsupervised Video Anomaly Detection Based on Sparse Reconstruction

[Objective] Video surveillance technology is more and more used in all kinds of scenes, and a large number of surveillance videos are produced every day. In the video, most of the data are normal events, however people focus on only a few abnormal events, how to find individual abnormal events in the massive video is the focus of current research. [Methods] Firstly, the dense optical flow of video is obtained, and the information of optical flow is transformed into the histogram feature of optical flow. Secondly, the space-time cube of video is constructed by using the space-time correlation of video. Finally, sparse representation method is used to model the whole process. [Result] The part in the video with too much reconstruction error is considered as abnormal event. Experiments on the UCSD dataset show that proposed method can effectively detect the abnormal events in the video. [Conclusion] In this paper, a video anomaly event feature and an anomaly detection model are proposed, which provide support for further research.
“Library Environment and Space” is New Academic Discipline at the East-Siberian State Institute of Culture

The article is devoted to the theoretical justification of the training course “Library environment and space” and the experience of teaching it at the Department of library and information resources of the East Siberian State Institute of Culture (VSGIK). Interaction of library, environment and space is studied using environmental, contextual and spatial approaches. In order to clarify the system of terminology, the authors analyse publications of well-known specialists in library science considering the features of library environment and space. The authors determine the contexts of library and information activities in the library, being socio-cultural institution: physical, historical, communicative, social, ethical, etc. Contextual approach is considered from the perspective of structure of library and information activities. The article indicates the ways of organizing space and environment under the provisions of the “Model standard of public libraries”, as well as the “Concept of modernization of municipal libraries of the Russian Federation on the basis of model standard of public libraries” and “Guidelines for modernization of municipal libraries based on the model standard of public libraries”. The authors generalize the experience of the East Siberian State Institute of Culture in studying library space in the framework of scientific conferences held and educational programs implemented. The article characterizes the authorial discipline “Library environment and space” approbated at the VSGIK in 2016. The authors prove feasibility of its introduction into the Master’s curriculum, reveal goals and objectives of the course, its interconnection with other disciplines, give the fragments of the educational program. The article describes the method of applying the innovative methods of mental maps, puzzle technologies, which help through visualization of objects of study to develop associative perception, imagination, teamwork, collaboration and co-creation, which are important for organizing library environment and space in the public library. Special attention is paid to the specific features of the final lesson, the main form of which is the discussion on the topic “Model library: pros and cons”. The authors consider it justified to introduce the discipline “Library environment and space” into the Master’s educational course of study to form the competence PC-3 “Ability to create and maintain an open, psychologically comfortable library environment”.
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization

Abstracting neural networks with constraints they impose on their inputs and outputs can be very useful in the analysis of neural network classifiers and to derive optimization-based algorithms for certification of stability and robustness of feedback systems involving neural networks. In this paper, we propose a convex program, in the form of a Linear Matrix Inequality (LMI), to certify incremental quadratic constraints on the map of neural networks over a region of interest. These certificates can capture several useful properties such as (local) Lipschitz continuity, one-sided Lipschitz continuity, invertibility, and contraction. We illustrate the utility of our approach in two different settings. First, we develop a semidefinite program to compute guaranteed and sharp upper bounds on the local Lipschitz constant of neural networks and illustrate the results on random networks as well as networks trained on MNIST. Second, we consider a linear time-invariant system in feedback with an approximate model predictive controller parameterized by a neural network. We then turn the stability analysis into a semidefinite feasibility program and estimate an ellipsoidal invariant set for the closed-loop system.
Archiwizacja Webu w Europie – narodowe archiwa Sieci

WEB archiving in Europe – National WEB Archives Web archiving, that is activities aimed at collecting and preserving Web resources, has been carried out for almost 25 years. During this time, many projects have been created to fulfill that task, as well as several organizations, such as the International Internet Preservation Consortium, that support it implementation. The article presents the development of activities in this area, and then presents the conclusions of the analysis of the functioning of selected European national Web archives, based on publicly available materials concerning them. This analysis was intended to examine how the Web is currently archived in this part of the world. Three main issues were considered: gathering, describing and access to the resources of the former WWW. The first of them covers the scope of archiving, namely determining what materials are subject to it, as well as the gathering strategies used for this purpose, which shape the archival collections. The second concerns the metadata and other elements used to convey information about what was collected during that process. The last element of the analysis includes the scope of access to archival WWW resources, existing restrictions and their causes, as well as the tools used for this. During the research, the author also became interested in the software used in individual projects. The obtained results show that the model of Web archive has been developed and the activities of the analyzed initiatives in Europe are very similar.
Requirements Derivation for RoboCup Small Size League Robot

This work develops a method for deriving requirements for the goalkeeper of the robot soccer competition RoboCup Small Size League (SSL) using Monte Carlo simulation. Initially, an overview of the SSL competition is presented and related works are shown. Then, the parameters of interest are selected and the developed method is discussed. Afterwards, different models and control laws are designed to simulate the goal defense performance for different parameter values. Finally, the data generated is analyzed and a set of requirements for the mobile robot is selected. Lastly, the method utility is evaluated and possible extensions of this work are proposed.