Reviewerly/exHarmony huggingface dataset:
Safety-Aware Hardening of 3D Object Detection Neural Network Systems

We study how state-of-the-art neural networks for 3D object detection using a single-stage pipeline can be made safety aware. We start with the safety specification (reflecting the capability of other components) that partitions the 3D input space by criticality, where the critical area employs a separate criterion on robustness under perturbation, quality of bounding boxes, and the tolerance over false negatives demonstrated on the training set. In the architecture design, we consider symbolic error propagation to allow feature-level perturbation. Subsequently, we introduce a specialized loss function reflecting (1) the safety specification, (2) the use of single-stage detection architecture, and finally, (3) the characterization of robustness under perturbation. We also replace the commonly seen non-max-suppression post-processing algorithm by a safety-aware non-max-inclusion algorithm, in order to maintain the safety claim created by the neural network. The concept is detailed by extending the state-of-the-art PIXOR detector which creates object bounding boxes in bird's eye view with inputs from point clouds.
COMBINATION AND INFLUENCE NOUN SEMANTICS ON FUNCTION LANGUAGE UNITS

The combination of verbs with abstract nouns and constrictive possibilities of verbs&#x0D; are considered.
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach

String sanitizers are widely used functions for preventing injection attacks such as SQL injections and crosssite scripting (XSS).It is therefore crucial that the implementations of such string sanitizers are correct.We present a novel approach to reason about a sanitizer's correctness by automatically generating a model of the implementation and comparing it to a model of the expected behaviour.To automatically derive a model of the implementation of the sanitizer, this paper introduces a black-box learning algorithm that derives a Symbolic Finite Transducer (SFT).This black-box algorithm uses membership and equivalence oracles to derive such a model.In contrast to earlier research, SFTs not only describe the input or output language of a sanitizer but also how a sanitizer transforms the input into the output.As a result, we can reason about the transformations from input into output that are performed by the sanitizer.We have implemented this algorithm in an opensource tool of which we show that it can reason about the correctness of non-trivial sanitizers within a couple of minutes without any adjustments to the existing sanitizers.
Potts, George Jerald - Biographical entry - Index to the AMA archive

Potts, George Jerald - Biographical entry - Index to the AMA archive - NAME is a biographical, bibliographical and archival database of SUBJECT with links to related articles and images. ADD MORE DESCRIPTION AS REQUIRED
Alignment of Software Development Life Cycle and Product Life Cycle (Lesson Learned from BBM Fall Down)

Blackberry Messenger (BBM) has already announced its shutdown on May 31, 2019. With their massive growth in 2014, BBM slowly decreased the number of users due to their competitor’s growth, such as WhatsApp and Telegram. In the marketing life cycle, when a product already reaches its maturity level, it will enter a decline gate, which means that if a product wants longer existence in the market, it should prevent that decline level, or it will be gone just like BBM. While the product life cycle is related to marketing strategy (in this case BBM is a software product), the software development life cycle (SDLC) is related to information system design and analysis. Thus, this research tries to align both of life cycle and find out which step or level that should be anticipated by the board of director or project manager in software development. The result of this research finally declared that the mature stage should be aligned with the test and operation stage. It also stated that there are some suggestions on avoiding the decline stage, such as implementing change management, take customers’ suggestions and critics seriously for future development and execute strategy into action immediately. Thus, it can delay or even avoid software products entering the decline stage just like the lesson learned from BBM fall down.&#x0D; Keywords: product life cycle, software development life cycle, mature stage, BBM
A SYSTEMATIC REVIEW OF UK ENGLISH LITERATURE MOBILE APPS

Objective: The objective of this review was to conduct a systematic review of published information on the best English literature apps directed at university level students in the UK in order to classify them and describe their main characteristics.Methods: A systematic review was carried out by means of a literature search in the subject of English literature, databases and other information sources related to mobile applications. Four Apps were identified and classified into five categories: information, ease of use, assessment, and features.Results:Results identified that English literature is a niche subject and although there are many apps to aid the English language in general the apps for English literature is more restricted. There has been a mention four of the best apps used within the research that were identified as befitting the categories stated and were identified and classified into three categories: information, ease of use, and features. The four mobile apps comprised of Grammarly, Project Gutenberg, Merriam-Webster app, Swipespeare. Conclusion:There are numerous applications available but there are limited apps available for English literature and even fewer aimed at University level students. Four of the most popular apps were identified through the literature search and were named the ‘best apps for literature students’ by top universities namely ‘Grammarly, Project Gutenberg, Merriam-Webster and Swipespeare. These apps are readily downloaded by English literature students. It was deduced within this study that the apps were not primarily designed for solely for English literature students at university level however they are utilised within the subject area. Each app has a different purpose therefore information is difficult to compare and classify. All four apps are easy to use as they are aimed not only to university students and professionals. Project Gutenberg possess more information and presented in the form of an eBook therefore is sometimes not as easy to use. Therefore, it is important that app designers and developers understand the needs of students studying English literature catering for all levels of understanding and produce an app that encompasses all. This will ensure that the apps will be effective and used appropriately for the needs of all students. Similarly, teachers and prospective students should have clear features and indicators to aid them select the best applications for their specific needs.
DEVELOPING EDUCATIONAL SOFTWARE TO RAISE LINGUISTIC AWARENESS (A CASE STUDY OF CREATING AND PROMOTING SOLRESOL TRANSLATOR ONLINE)

In this research the authors share the experience of developing and promoting self-published educational software named Solresol: The Project, which is a non-commercial program that can be used for translation from English into the constructed language named Solresol and back. Solresol is a constructed language that predates the more popular a priori and a posteriori constructed languages designed for international communication such as Esperanto and Lojban. Despite the fact that Solresol is one of the lesser-known constructed languages, it still attracts attention of those who are interested in either linguistics or arts thanks to its simplicity and a wide variety of methods of expression, ranging from letters and numbers to colors and musical notes.The aim of the project implemented by the authors is to develop software that popularizes Solresol and makes the language more accessible to the general public. The software is powered by the cutting-edge technology of Unreal Engine 4 which is typically used in video games and visual design, which helps to put the emphasis on the aesthetics and makes it possible to implement the ideas of Francois Sudre, the creator of Solresol.This non-commercial software project started in 2014 and is still developing. Its creation helped to raise linguistic awareness, as evidenced by Google Analytics and other metrics. The use of such websites as Facebook, reddit, YouTube, etc. allowed us to accumulate more than 10 000 unique visitors interested in the project and made it one of the most popular resources on SolReSol over a short period of time, as evidenced by Google rankings. Moreover, it has been possible to build a network of those who are interested in Solresol, including artists, academics and constructed language enthusiasts.The experience shared by the authors of this research may be used as a blueprint for the academics who are willing to popularize their ideas and reach a significantly wider audience using the means of social media and search engine optimization.
Advanced quantum supremacy using a hybrid algorithm for linear systems of equations

A wealth of quantum algorithms developed during the past decades brought about the concept of quantum supremacy. The state-of-the-art noisy intermediate-scale quantum (NISQ) devices, although imperfect, enable certain computational tasks that are demonstrably beyond the capabilities of modern classical supercomputers. However, present quantum computations are restricted to probing the quantum processor power, whereas implementation of specific full-scale quantum algorithms remains a challenge. Here we realize hybrid quantum algorithm for solving a linear system of equations with exponential speedup that utilizes quantum phase estimation, one of the exemplary core protocols for quantum computing. Our experiment carried out on superconducting IBMQ devices reveals the main shortcomings of the present quantum processors, which must be surpassed in order to boost quantum data processing via phase estimation. The developed algorithm demonstrates quantum supremacy and holds high promise to meet practically relevant challenges.
PIGMENT PROFILES OF SELECTED EATABLES IDENTIFIED USING A SCHOOL MEASUREMENT SYSTEM AND A SPECTROMETER

Discovery teaching is one of the effective activating methods in the teaching process. Its essence is based on an attempt to gain pupils' interest in the world and the ideas that revolve around it. The roles in the class are changing. The student as a “scientist” takes the initiative in observing, measuring or experimenting and he or she devises and modifies the procedures to support his or her claims. School science experiment is an inherent part of science education. It is an important means of forming and developing observation abilities, manual skills and also contributes significantly to the development of pupils' creative thinking. During experimentation, the pupil gains new knowledge and uses higher cognitive functions, work with information, hypothesis creation and verification, solving of scientific problem. In the paper, the authors present an experimental activity from the chemistry of everyday life, which is realized by implementation of digital technologies. Specifically, the school measuring system Vernier is used, which is connected to a computer. This activity assumes that the target audience for which the materials have been designed possesses basic digital technology skills for obtaining and assessing results. The suggested implementation of the described experiment took place as a part of teaching a compulsory subject at the master's degree of chemistry under the title: “Technique and Didactics of School Experiments”. The activity was mainly devoted to dyes occurring in the foodstuffs of the common consumer. With the help of an additional spectrometer device to the measurement system, spectra of selected dye samples in foodstuffs were obtained. Unknown dye mixtures were compared with acquired spectral characteristics. The competence in the field of natural sciences is developed by laboratory work and the ability to use basic knowledge and methods to clarify natural laws in order to draw evidence-based conclusions. The aim of this research activity is to bring the student to a greater interest in science using digital technologies and, at the same time, to transfer him / her globally across the natural sciences to the reality of everyday life using interesting experiments. It is about the promotion of modern principles of science education. Introducing the use of mathematical methods to analyse measured spectra develops and promotes mathematical competence. Specifically, when working with graphs and tables. An important part of the presented paper is also a survey of the opinions of the students who carried out the activity. This was done in the form of a short questionnaire and based on the obtained parameters, it was evaluated by a target diagram. After analysing the responses and processing them, it can be concluded that this method and activity had a positive feedback.
Distributed Kernel Ridge Regression with Communications

This paper focuses on generalization performance analysis for distributed algorithms in the framework of learning theory. Taking distributed kernel ridge regression (DKRR) for example, we succeed in deriving its optimal learning rates in expectation and providing theoretically optimal ranges of the number of local processors. Due to the gap between theory and experiments, we also deduce optimal learning rates for DKRR in probability to essentially reflect the generalization performance and limitations of DKRR. Furthermore, we propose a communication strategy to improve the learning performance of DKRR and demonstrate the power of communications in DKRR via both theoretical assessments and numerical experiments.
FRENCH FOR SPECIAL PURPOSES AND MOBILE ASSISTED LANGUAGE LEARNING (MALL): LEARNERS’ PERSPECTIVES

Globalization, migration, international competition and digitization have consequences and demands on people’s working and educational life. One of the fundamental competencies for young or adult learners in the 21st century is acquiring a second language. This demand for language learning led to the emergence of new forms of teaching and learning such as Mobile Learning which adaptable to digital natives. Mobile devices offer unique opportunities for student-centered approaches to L2 teaching and learning and then they have been integrated into all levels of education and in all subjects, including foreign languages. This paper focuses on the use of mobile devices in teaching French for special purposes. In particular, this study sought to examine learners’ perceptions in a Culinary and Pastry Arts Program of using tablets in a French language course in a Vocational Training Institute (VTI). To conduct our research, we addressed an adult audience of 100 VTI-students, in culinary and pastry arts, who are being taught the French language as a compulsory course in all four semesters of their studies, according to their studies timetable. Our research tool is a questionnaire given after two months of classes where the students had been using their personal mobile devices in the process of the learning of the foreign language. The results revealed that learners perceive the use of mobile devices in the foreign language classroom as a positive process.
Underwater Optical Observation, How to Improve Visibility

Computer vision is an interdisciplinary field that deals with how computers can be made for gaining high-level understanding from digital images or videos.Fish detection and monitoring is an important topic in computer vision.The growth of high-powered computers, the evolution of high-quality video cameras with low cost and the growing need for automated video analysis have caused more interest in the development of underwater inspection.However, in the sea, the spread of light and sound are not uniform.Therefore, visibility becomes increasingly difficult due to the physical properties of the water.This fact affects negatively of detection accuracy.In this paper, we present method for underwater image enhancement.Dark Channel prior, will be responsible to adjust colour channels in order to get more visibility in images.The algorithm is tested to many images.Experimental results demonstrates a good quality improvement in underwater images.
VIRTUAL CLASSROOM AS A MODERN INTERACTIVE LEARNING TOOL

E. Komleva, K. Gerasimova, D. Miroshnikova, N. Nikolayeva, N. SizintsevaOrenburg State Pedagogical University (RUSSIAN FEDERATION)
PARTICIPATION OF WOMEN TEACHERS IN THE MANAGEMENT OF UNIVERSITIES

Introduction:Nowadays, leading Russian universities are changing their organizational structure to increase their effectiveness, experimenting with new management styles that increase the level of participation of major stakeholders in management. Moreover, gender asymmetry has always been a characteristic feature of the management of Russian higher education. The purpose of this article is to find out the level of readiness of women teachers to implement participation in university management.Data and methods:The article is based on the materials of a sociological study conducted by the research team of the Ural Federal University in 2017–2018, which included a mass survey of teachers from the Ural Federal District. The total population included 51 higher educational institutions of the district; quota sampling was implemented. It was formed on the basis of statistical data on the community of teachers of individual regions that are members of the Ural Federal District. Within each region, quotas were made in the areas of training (engineering, technical, natural sciences, humanitarian, socio-economic). The sample population of teachers is 810 people.Results:Within the course of the study, three blocks of tasks were realized that reveal the nature of women's participation in university management. The first “value” block of tasks allowed us to study the ideas of women teachers about the general situation in the management of higher education and the prospects for its development. It became obvious that the existing authoritarian model of university management was assessed by women as ineffective and should be radically transformed based on democratic values. Here, their opinions coincide with those of male teachers. The second “communication” block of tasks made it possible to identify the communicative activity of women teachers aimed at discussing problems of higher education and university management. There are also no significant gender differences, the communication models of women and male teachers are the same. The third “behavioral” block of tasks revealed the willingness of female teachers to manage the university.These studies have shown that behavioral standards vary between men and women teachers. Women teachers are less than men willing to take on formal managerial functions. They are characterized to a greater extent by situational, informal participation.Conclusions:Participation in university management is an important element of the teacher’s professional culture. The culture of participation of Russian teachers is generally gender-homogeneous. Teachers demonstrate a willingness to move to a more democratic university management model. However, women significantly less than men consider themselves ready for managerial activities at the university. They are limited not only by the possibilities of real participation in the management system, but also by subjective ideas about their own unpreparedness for managerial activities, formed in a situation of gender asymmetry in higher education, as well as a number of other factors.
THE SIGNIFICANCE OF EVALUATION OF TEACHING COMPETENCES OF UNIVERSITY TEACHERS FOR SETTING AND ENSURING THE QUALITY OF TEACHING: RESULTS OF LONG-TERM EVALUATION PROCESSES

Information about the paper titled "THE SIGNIFICANCE OF EVALUATION OF TEACHING COMPETENCES OF UNIVERSITY TEACHERS FOR SETTING AND ENSURING THE QUALITY OF TEACHING: RESULTS OF LONG-TERM EVALUATION PROCESSES" at IATED Digital Library
LIVE IN VIRTUAL REALITY AN INNOVATIVE SERIOUS GAME FOR EDUCATION

In this article we analyze the concept of Virtual and Augmented Reality applied to the new paradigm of emerging learning in education, in relation to key concepts focused on gamification, immersion, and social interactivity. As Serious games are growing interest in education and training. These visualization and simulation technologies contextualize the player's experience in stimulating and realistic environments by supporting the awareness of being in a virtual world. The heart of this article is the activity carried out during the workshop "Vivi nella Realtà Virtuale" offered to young people who participated in the Salone del Libro 2019 in Turin. On that occasion the participants, through innovative equipment (such as Oculus Rift, HTC Vive and Virtual Wall) had the opportunity to live funny and exciting game experiences in virtual environments (reconstructing puzzles, rearranging old manuscripts inside a library, etc).The children had to store innovative equipment and place it on the interactive map. Through the use of cardboards, framing the QR-Codes within the special cards, children and young people did not learn the meaning of Virtual and Augmented Reality by playing with real applications. By using controllers and viewers, they had the opportunity to immerse themselves in virtual environments and also, through simple interactions, they did exercises useful for memory. In addition, to stimulate the sense of touch they had the opportunity to really touch the technologies printed in 3D, living an educational experience in the round. The objectives defined to increase learning through these new technologies involve the continuous training of the mind by stimulating memory in remembering shapes / colors and paths, educating users on the correct use of these immersive technologies. The participation of users during the different training experiences has confirmed the success of new technologies (Virtual and Augmented Reality) that represent a real cultural revolution in the educational field.
OUR EXPERIENCE IN USING MULTIMEDIA RESOURCES FOR MOBILE DEVICES IN SECONDARY SCHOOL

S. Stoyanova-Petrova, T. Dobreva, D. Stoyanova, N. MilevaPlovdiv University Paisii Hilendarski (BULGARIA)
Semantic Data Extraction Towards Relational Databases Using Reinforcement Learning Approach

Relational databases are step ahead of normal databases in which the process of accessing the data in particular requirement formats are little bit technically advanced when compare it with the normal procedure from users point of view. The relation databases helps the data viewers and handlers i an easier way of accessing the information's in order to save time and space. The accuracy and clarity the primary constraint in relational databases data extraction procedures. Reinforcement learning is the familiar strategy used in neural networks which can handle the signal and data process based on optimal output tightening by using the repeated training or reinforcing strategies to acquire the expected results. This paper deals with the process of extracting data from relational databases use the reinforcement learning approach for the accuracy and time saves strategies towards optimal output attainments. The mixture of neural reinforcement in database extraction procedures is improving the efficiency in terms of accuracy. In near future we will implement the fuzzy logic combined with neural networks approach in relational databases data extraction methodologies.