Reviewerly/exHarmony huggingface dataset:
Virtual Reality for enhanced teaching of conceptual design development

A key component of the Swansea University Year 1 Civil Engineering training is based around the exploration and development of imaginative, viable Civil Engineering conceptual solutions to problems.In industry, conventional methods for conceptual design communication, such as sketching, physical modelling or 2D CAD drawings are now being superseded by 3D and 4D (space + time) computer modelling and visualisation methods, which go hand-in-hand with the growing industry adoption of building information modelling (BIM) (National Institute of Building Sciences, 2018).This study seeks to further enhance Year 1 Civil Engineering students' understanding of and interaction with 3D conceptual design, by introducing interactive VR as part of a computer laboratory based activity within the "conceptual design" module.This study is based on the expectation that the introduction of immersive conceptual design and interaction will allow the students to more fully engage in the concept evolution stage of design.Furthermore, in comparison with the more common CAD methods, where students would look at a 2D computer screen to develop a 3D object, it is envisaged that through immersion in VR, students' spatial awareness of aspects of the conceptual design could be greatly enhanced.This study found that after developing basics skills in the 3D building information modelling software Autodesk Revit, students were capable of utilising traditional 2D building plans and elevations to develop from scratch their own detailed 3D model of an existing multi-storey building on the Swansea University Bay Campus, the Energy Safety Research Institute (ESRI) Building.The addition of VR-interactivity whilst developing the 3D model enabled students to identify anomalies otherwise not easily identifiable in their models, and also permitted students to develop much better understanding of the scale of typical structural elements such as slabs, beams and columns (for which they learn simple techniques for preliminary sizing in Year 1) in relation to other more familiar building elements, such as doors and windows, and 3D arrangement of interior structures such as staircases within the building.All the participants in the study reported that using VR enhanced their experience of the conceptual design building development exercise.
A Systematic Design Automation Method for RDA-based .NET Component with MDA

Recent Enterprise System has component driven real-time distributed architecture (RDA) and this kind of architecture should performed with satisfying strict constraints on life cycle of object and response time such as synchronization, transaction and so on. Microsoft’s .NET platform supports RDA and is able to implement services including before mentioned time restriction and security service by only specifying attribute code and maximizing advantages of OMG’s Model Driven Architecture (MDA). In this study, a method to automatically generate an extended model of essential elements in an enterprise-system-based RDA as well as the platform specific model (PSM) for Microsoft’s .NET platform are proposed. To realize these ideas, the functionalities that should be considered in enterprise system development are specified and defined in a meta-model and an extended UML profile. In addition, after defining the UML profile for .NET specification, these are developed and applied as plug-ins of the open source MDA tool, and extended models are automatically generated using this tool. Accordingly, by using the proposed specification technology, the profile and tools can easily and quickly generate a reusable extended model even without detailed coding-level information about the functionalities considered in the .NET platform and RDA.
Extraction and Multidimensional Analysis of Data from Unstructured Data Sources: A Case Study

This paper proposes an approach to detect and extract data from unstructured data source (about the subject to be studied) available online and spread by several Web pages and aggregate and store the data in a Data Warehouse properly designed for it. The Data Warehouse repository will serve as basis for the Business Intelligence and Data Mining analysis. The extracted data may be complemented with information provided by other sources in order to enrich the information to enhance the analysis and draw new and more interesting conclusions. The proposed process is then applied to a case study composed by results of athletics events realized in Portugal in the last 12 years. The files, about competition results, are available online, spread by the websites of the several athletics associations. Almost all files are published in portable document format (PDF) and each association provides files with its own different internal format. The case study also proposes an integrating mechanism between results of athletics events with their geographic location and atmospheric conditions of the events allowing to assess and analyze how the atmospheric and geographical conditions interfere in the results achieved by the athletes.
Normalization based K-means Data Analysis Algorithm

Data mining is analysis step to knowledge discovery in the database process. It is the process of extraction knowledge from large databases. Clustering is a process of partitioning a set of data (or objects) into a set of meaningful sub-classes, called clusters. Used either as a stand-alone tool to get insight into datadistribution or as a preprocessing step for other algorithms. K-means is a good clustering technique. With the proposed algorithm, normalization of data prior to clustering. Then a efficient algorithm used for clustering which is better than simple k-means algorithm.
A First Practice in Curriculum Design Represented in a Software Engineering Teaching Kernel

In the educational setting, several methods are used for curriculum design. Despite the existence of such methods, a sample of documented experiences about curriculum design shows their designers use their own criteria. Also, the usage of heterogeneous practices and diversity of concepts, and different ways of working in curriculum design are detected in the curriculum design endeavor. In order to alleviate such situations, in this paper a common ground for curriculum design affairs based on a Software Engineering Teaching kernel is used. A kernel is defined as a set of concepts and relationships which are essential and are present in any software development effort. In this proposal, the usage of such a kernel is just the first step in order to think about practices and methods for curriculum design. The Software Engineering Teaching kernel we use for representing our first practice in curriculum design is derived from a general theory called SETMAT−Software Engineering Teaching Methods and Theory. The contribution in this regard is based on exploring alternative ways of working with curriculum design from an engineering perspective.
Practical Implementation Effectiveness of the Speed Increasing Method of Group Matrix Cryptographic Transformation

This material is devoted to the development of the speed increasing method of implementing a group matrix cryptographic transformation based on a generalized mathematical model of a group matrix cryptographic transformation, by reducing the complexity of building and implementing an reverse transformation, which provided a decrease in mathematical complexity and an increase in the speed of cryptographic transformation.On the basis of the mathematical apparatus of block matrices, checked the correctness of the mathematical model for constructing the group matrix of reverse cryptographic transformation.
Tracking Verification Algorithm Based on Channel Reliability

For most algorithms, the problem of Tracking target performance degradation in the case of fast moving, illumination changes, target deformation, occlusion, out-of-plane rotation, low-resolution images, etc. This paper proposes a tracking verification algorithm based on channel reliability. The tracker part of the algorithm is tracked by the method of correlation filter based on channel reliability. By calculating the reliability weight of each feature channel of the input correlation filter, and multiplying the weight by the response of the corresponding channel to obtain the final response, so that the target positioning will be more accurate. The validator part uses the Siamese dual input network in the deep learning convolutional neural network. Every few frames, the verifier will verify the results of the tracker part of the algorithm. If the reliability is verified, the tracking result will not be modified. Otherwise, the validator will re-detect the target location and verify the reliability through the Siamese dual-input network. The tracker will regard this location as the new location of our target continues to be tracked, making target tracking more durable and robust. The experimental evaluation of the OTB13 video sequence proves that the proposed algorithm has good adaptability to target fast motion, illumination change, target deformation, occlusion, and out-of-plane rotation, and has good robustness.
Modern student’s emotional competencies and emotional intelligence

This article is devoted to the problems of the formation of emotional competence and emotional intelligence of students-psychologists. The history of the formation of these concepts, their role in the professional development of future specialists, the importance of forming these qualities in the context of professionalization of specialists is determined.
A PRACTICAL APPROACH FOR INTEGRATING HETEROGENEOUS SYSTEMS

The adoption of cloud computing is a major requirement for expanding a conventional business into an electronic one. In order to benefit fully from the advantages of cloud computing, companies need to have their business applications redesigned, yet this requires substantial financial, human and time resources which even the largest enterprises cannot afford. A feasible option is developing a strategy for gradual transition to cloud systems and technologies, which implies integrating the conventional systems of enterprises with newly developed cloud solutions. The underlying idea of this research is that the priorities of such gradual transition should be identified on the basis of the major characteristics of the activities comprising the overall business process, such as its dynamics and prospects, the current and the potential level of automation, the volume of processed data, the workload they create for the systems processing those data, etc. The research paper proposes an approach for integrating a conventional and a cloud system to service the business process ‘Requesting a consumer loan’ that requires real-time data exchange. The integration solution uses data structures which have been created in an intermediate data base for communication between systems. The rules for accessing and manipulating data by each of the integrated systems are defined. Interoperability is ensured through programme components (triggers and stored procedures) that are created in the data base of the operational system and ensure data exchange for real-time processing. The approach proposed in the paper has been employed in the business practice of a large Bulgarian bank. Its major advantages relate to the comprehensive service of the business process, as well as the greater flexibility, adaptability and scalability achieved with minimum financial and time resources.
Four-Layer Feature Selection Method for Scientific Literature based on Optimized K-Medoids and Apriori Algorithms

With the increase in scientific literature, classifying scientific literature has become an important focus.Effectively selecting representative features from scientific literature has become a key step in scientific literature classification and influences the performance of scientific literature classification.According to the structural characteristics of scientific literature, we combine an optimized Kmedoids algorithm, which firstly adopts information entropy to empower clustering objects to correct the distance function and then employs the corrected distance function to select the optimal initial clustering centres, with the Apriori algorithm to propose a four-layer feature selection method.The proposed feature selection method firstly divides scientific literature into four layers according to their structural characteristics, selects features layer by layer from the former three layers by means of the optimized K-medoids algorithm, subsequently mines the maximum frequent item sets from the fourth layer by the Apriori algorithm to act as the features of the fourth layer, and finally merges selected features of every layer and eliminates duplicate features to obtain the final feature set.Experimental results show that the proposed four-layer feature selection method achieves higher performance in scientific literature classification.
Country Diagnostic of Senegal

The rapid technological advancement is now disrupting the global economy and creating new business and development models, offering countries opportunities to leapfrog over traditional paths for economic growth. Over the past years, digital technologies have been spreading throughout the world at a faster pace than previous waves of technological innovation, re-shaping consumer behavior, social interaction, businesses and governments. The digital economy (DE), which encompasses a wide range of new applications of information technology in business models and products, can spur economic growth, productivity and employment and, with appropriate policies to mitigate inherent risks, has a potential to support inclusive outcomes. In this global context, digital transformation of the economy has become a major objective for the government of Senegal (GoS). This report provides a snapshot of the state of DE in Senegal and uses several World Bank tools and international best practices to provide actionable recommendations to the GoS.
Campus Connect: A training scheduling system

This project was designed and developed as a training-scheduling system that helps to create schedules between several users. The system has four components: scheduling module, assignments, and certification, management of data and study material. The project makes use of a greedy algorithm that helps to create schedules and detect conflicts. The algorithm has the following course of action, select available time, find available room, look for an appropriate trainer based on the constraints set by the user.
3D Orientation Estimation of Pharmaceutical Minitablets with Convolutional Neural Network

We present a Convolutional Neural Network for 3D orientation estimation of pharmaceutical minitablets, i.e., round tablets with diameter less than 3 mm. The network inputs a single grayscale image with the minitablet positioned approximately in the center and predicts a 3D unit orientation vector that fully describes the 3D orientation of the imaged minitablet. We trained the network on synthetic images, generated by rendering CAD models of minitablets at realistic conditions by varying the orientation, scale, camera distance, position within the imaging plane, and surface properties. No manual 3D orientation labeling of training images was therefore required. We evaluated the accuracy of the approach on both synthetic and real images. The real images were acquired during pharmaceutical film coating processes. Accuracies of $${1.388}^{\circ }$$ and $${2.657}^{\circ }$$ were achieved on synthetic and real image datasets, respectively. We tested two different minitablet shapes. Obtained results indicate that good performance can be obtained on a real image datasets despite training the network on synthetic data only. The estimated 3D orientations provide means for further automated analysis of the images, which we demonstrated by measuring an important coating process parameter (coating thickness) during the minitablet coating process. Although tested only for minitablets, the 3D orientation estimation approach should perform well also for other symmetrical shapes.
Developing ICT Competences in Bachelors of Engineering and Technology in a Multilingual Environment

While the Republic of Kazakhstan is integrating into a global educational space, the information and communication (I&amp;C) competence of technical personnel becomes vital. This trend is connected with the rapid development of information and communication technologies. Based on the analysis of literary sources and the conducted empirical study, the authors present and substantiate the structure of I&amp;C competences of Bachelors in Engineering and Technology in the Republic of Kazakhstan, including user activity, substantive work, drawing-and-designing and experimental-research components. In this research, the authors aim to determine the level of I&amp;C competences and analyze the data obtained during the experiment. The study used a specially designed questionnaire to investigate the distinctive features of user activity of future engineers and to identify the extent of their use of I&amp;C technologies in the subject, design, experimental and research activities during university studies. The authors have successfully formed the structure of I&amp;C competences in various fields of application. The experiment has demonstrated that currently, most students have an average level of I &amp; C technologies competences. The development of I&amp;C competences in the conditions of multilingualism will effectively influence the quality of professional training of future engineers.
한국어 화용 능력 평가를 위한 하위 평가 범주의 설정 연구

This paper reviews existing studies on designing sub-components of test items to assess Korean pragmatics competence for KSL(Korean as a second language) or KFL(Korean as a foreign language) learners, particularly focusing on defining and selecting context variables, speech acts/functions, discourse components, and test items. Assessing second or foreign language pragmatic competence has been one of the underestimated areas but now it is one of the fastest growing areas of ESL or EFL assessments. However, it is still an underestimated or underdeveloped area in KSL or KFL assessment. Even though teaching and learning Korean pragmatic competence has gained a larger attention and it has produced a larger amount of studies, assessing Korean pragmatic is relatively a less activated field. Therefore, this paper aims to preferentially make suggestions on basic and fundamental issues for developing assessment tools for Korean interlanguage pragmatics such as variables, functions, and discourse and test items. To achieve this goal, this paper will widely research the cases of other language assessment and suggest the method to design sub-components of test items for assessing Korean pragmatic components based on what is found by means of other research. (Gyeongin National University of Education)
THE METHODICAL COMPETENCIES’ PROPAEDEUTIC OF THE FUTURE PRIMARY SCHOOL TEACHERS AT THE NATURAL SCIENCE LECTURES IN HIGH SCHOOL

The article characterizes and experimentally substantiates the criteria, indicators and levels of methodical competence of future teachers; illustrated by didactic means propaedeutic training of students for the instructional activities in primary school. The influence of metaprofessional (universal) instrumental competences formed by future teachers at Nature Science lectures on the unconscious, on the intuitive level, through the "insight", their acquisition of the methodological experience is proved.
Springshare Integration with Ex Libris Tools

Learn how you can integrate Springshare tools and content (LibGuides, LibCal, LibAnswers, and more!) into your Ex Libris tools and vice versa. See how other libraries are integrating their Springshare content and beyond!
On Certifying Distributed Algorithms: Problem of Local Correctness

A certifying distributed algorithm (CDA) is a runtime verification method for distributed systems. Additionally to each output, a CDA computes a witness – a correctness argument for the particular output. If the witness is verified at runtime, the output is correct. The output is distributed over the system with each component holding its part of the distributed output. In this paper, we investigate the case where the verification at runtime fails. Assume one component computes its part of the distributed output incorrectly. As a consequence, the distributed output is incorrect and the verification fails. Some components may still hold a correct part of the output. That is why we introduce the problem of local correctness of a component: Is a component’s part of the output correct? As a case study, we investigate local correctness for a CDA computing shortest paths as used in distance-vector routing.
THE ROLE AND SIGNIFICANCE OF INNOVATIVE EDUCATION IN THE DEVELOPMENT OF HIGHER EDUCATION

In this scientific article reviewed role of system high education in social progress and the meaning "innovational education" in developing high education, foundations of innovative politic state in process of modernization high education.Also, in this article included philosophical definitions of ideas such as «innovation", "system of uninterruptable education "and mentioned phase of origin process of innovative education, peculiarity quality; tools and methods their realization.
PEMBELAJARAN MENULIS CERITA FANTASI MENGGUNAKAN MODEL PROJECT BASED LEARNING

Writing a fantasy story is a learning activity that is considered less understood by learners, it is seen in the results of students who do not achieve indicators of success of learning, it happens because the process given the teacher does not use learning models in accordance with the material taught so that learners less understand the material described by the teacher. Based on the above, the study of fantasy story text writing is done by using the learning model of Project Based Learning on SMP side. The method used in this research is quasi-experimental design. This study aims to improve the ability of learners in writing fantasy stories according to the curriculum 2013 revised edition and students are expected to be more creative in writing. The object of this study is the work of junior high school students amounted to 30 people on learning to write a fantasy story using the model of Project Based Learning. The result of the treatment at the school was very effective, it is seen from the result of the student test during the pre-test 70,63 and post-test 81,17 so it shows the significant difference with the difference of value 10,54.
Mannix Library moves to a new Library Services Platform

Over the 2018-2019 summer break, Mannix Library migrated to a new Library Services Platform. This papers outlines some of the reasons for the library's decision to move to OCLC's WorldShare Management Services, as well as some of the benefits of the new system for both library staff and library users.
Using machine learning and the first digit law to detect forgeries in digital images

Digital image tampering is becoming popular and it might cause serious problems in different areas. Therefore, detection forgeries in digital images are an urgent need. There are various forgery types, which can be exposed by different forensic techniques. In this paper, we propose a new detection scheme using the first-digit law (also known as Benford's law) in order to identify several types of image forgeries. We extract specific features, which are fed to a machine learning based classifier in order to distinguish between original images and manipulated images. Through experiments, we found that the proposed scheme works well for detecting double JPEG compression and Gaussian noise addition. Copy-move is among the most popular types of image forgeries, where a part of an image is copied and pasted to another position of the same image. However, we show this manipulation does not affect the law. Experiments on a large-scale image dataset show that the proposed scheme is reliable and it can achieve detection rate up to 90% or higher.