Reviewerly/exHarmony huggingface dataset:
Enhanced Flush+Reload Attack on AES.

In cloud computing, multiple users can share the same physical machine that can potentially leak secret information, in particular when the memory de-duplication is enabled. Flush+Reload attack is a cache-based attack that makes use of resource sharing. T-table implementation of AES is commonly used in the crypto libraries like OpenSSL. Several Flush+Reload attacks on T-table implementation of AES have been proposed in the literature which requires a notable number of encryptions. In this paper, we present a technique to enhance the Flush+Reload attack on AES in the ciphertext-only scenario by significantly reducing the number of needed encryptions in both native and cross-VM setups. In this paper, we focus on finding the wrong key candidates and keep the right key by considering only the cache miss event. Our attack is faster than previous Flush+Reload attacks. In particular, our method can speed-up the Flush+Reload attack in cross-VM environment significantly. To verify the theoretical model, we implemented the proposed attack.
USING SCIENTIFIC RESEARCH METHOD OF TEACHING FOR IMPROVING PUPILS' RESULTS IN MATHEMATICS

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 6306-6312ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1655Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
HUAWEI ENSP ENVIRONMENT FOR E-LEARNING OF CORPORATE NETWORK CONFIGURATION AND MAINTENANCE

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 7464-7470ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1895Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
Method of detecting micro-calcification clusters using contourlet transform and PCNN

Mammography analysis is an effective technology for early detection of breast cancer. Micro-calcification clusters (MCs) are a vital indicator of breast cancer, so detection of MCs plays an important role in computer aided detection (CAD) system, this paper proposes a new hybrid method to improve MCs detection rate in mammograms. Methods: The proposed method comprises three main steps: firstly, remove label and pectoral muscle adopting the largest connected region marking and region growing method, and enhance MCs using the combination of double top-hat transform and grayscale-adjustment function; secondly, remove noise and other interference information, and retain the significant information by modifying the contourlet coefficients using nonlinear function; thirdly, we use the non-linking simplified pulse-coupled neural network to detect MCs. Results: In our work, we choose 118 mammograms including 38 mammograms with micro-calcification clusters and 80 mammograms without micro-calcification to demonstrate our algorithm separately from two open and common database including the MIAS and JSMIT; and we achieve the higher specificity of 94.7%, sensitivity of 96.3%, AUC of 97.0%, accuracy of 95.8%, MCC of 90.4%, MCC-PS of 61.3% and CEI of 53.5%, these promising results clearly demonstrate that the proposed approach outperforms the current state-of-the-art algorithms. In addition, this method is verified on the 20 mammograms from the People’s Hospital of Gansu Province, the detection results reveal that our method can accurately detect the calcifications in clinical application.
A Love Affair Between Bias Amplifiers and Broken Noise Sources.

In this paper, we extend the concept of bias amplifiers and show how they can be used to detect badly broken noise sources both in the production and service phases of a true random number generator. We also develop a theoretical framework that supports the experimental results obtained in this paper.
전문대학 교양교육 현실에 대한 비판적 고찰

The aim of this study is a critical review of liberal arts education in context colleges education and the restoration of its status. Liberal education is one of the two major pillars along with vocational education (special relationship with job training) in college education. On the basis of such belief, this article diagnoses a practice of college liberal arts education. And the context of college education, we reinterpreting the meaning of the job and discuss the meaning of deliberation through liberal arts education consulting started from 2018. Social change represented by the Fourth Industrial Revolution is forcing the transformation of liberal arts education. The traditional view of liberal arts has been questioned and liberal education and vocational education becoming more and more complementary rather than separate. The consulting will need to reflect this trend and contribute to the recovery of liberal arts education in college education.
Proof search for full intuitionistic propositional logic through a coinductive approach for polarized logic

The approach to proof search dubbed proof search, and previously developed by the authors for implicational intuitionistic logic, is in this paper extended to polarized intuitionistic logic. As before, this includes developing a coinductive description of the search spaces generated by a sequent, an equivalent inductive syntax describing the same space, and decision procedures for inhabitation problems in the form of predicates defined by recursion on the inductive syntax. The polarized logic can be used as a platform from which proof search for other logics is understood. We illustrate the technique with LJT, a focused sequent calculus for full intuitionistic propositional logic (including disjunction). For that, we have to work out the of LJT into the polarized logic (that sees all intuitionistic types as negative types), and verify that the translation gives a faithful representation of proof search in LJT as proof search in the polarized logic.
DIGITAL COMPETENCES OF UNIVERSITY EDUCATORS IN MODERN WORLD

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 5327-5332ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.1405Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
Designing Trustworthy Smart Contracts in International Trade Blockchains

This paper investigates the role of blockchain in the coordination of inter-organizational activities. Rather than focusing on the role of cryptocurrencies, we explore the potential of smart contracts—formalized agreements between parties that run on blockchains and that can verify the fulfilment of certain conditions and trigger the next steps automatically to save handling costs. When parties would come to rely on such automated contracts, they have to be sure that these contracts manage and distribute the risks equally among the participants. We have adopted a formal modelling approach we developed in the 1990s to reason about the correctness and the compliance to risk management principles. This is applied to the case of inter-organizational trade, as this is a domain that requires a high level of cooperation between many parties, but also entails a high risk of opportunistic behaviour. With our research, we help the design of inter-organizational controls to be implemented in smart contracts, including trusted third parties who witness the execution of certain steps and reliably report this to the blockchain to enable the next step to be taken.
the academic leaders role in Jordanian universities in the use of technology at various levels of management

This study aimed to discover the academic leaders role in Jordanian universities in the use of technology at various levels of management, the researcher used the descriptive analytical approach among a questionnaire prepared for this purpose and distributed to a sample consisting of (399) respondents, and to achieve the study of its goals, raised the following main question What is the academic leaders role in Jordanian universities in the use of technology at various administrative levels, and the study reached a number of results, the most prominent of which are: The role of academic leaders in Jordanian universities in the use of technology came in a medium degree, and there are no differences Statistically significant at the level of significance (α = 0.05) in the level of the role of academic leaders in activating the use of technology in university administration due to gender and experience variables, and academic rank. هدفت هذه الدراسة إلى الكشف دور القيادات الأكاديمية في الجامعات الأردنية في استخدام التكنولوجيا في مختلف المستويات الإدارية، استخدم الباحثان المنهج الوصفي التحليلي من خلال استبانة تم إعدادها لهذا الغرض ووزعت على عينة مكونة من (399) مستجيبا، ولتحقيق الدراسة لأهدافها، فقد طرحت السؤال الرئيس الآتي: ما دور القيادات الأكاديمية في الجامعات الأردنية في استخدام التكنولوجيا في مختلف المستويات الإدارية، وتوصلت الدراسة لعدد من النتائج من أبرزها: أن دور القيادات الأكاديمية في الجامعات الأردنية في استخدام التكنولوجيا جاءت بدرجة متوسطة، وعدم وجود فروق ذات دلالة إحصائية عند مستوى الدلالة (α=0.05) في مستوى دور القيادات الأكاديمية في تفعيل استخدام التكنولوجيا في الإدارة الجامعية تعزى لمتغيرات الجنس والخبرة، والرتبة الأكاديمية.
Fast Search with Poor OCR.

The indexing and searching of historical documents have garnered attention in recent years due to massive digitization efforts of important collections worldwide. Pure textual search in these corpora is a problem since optical character recognition (OCR) is infamous for performing poorly on such historical material, which often suffer from poor preservation. We propose a novel text-based method for searching through noisy text. Our system represents words as vectors, projects queries and candidates obtained from the OCR into a common space, and ranks the candidates using a metric suited to nearest-neighbor search. We demonstrate the practicality of our method on typewritten German documents from the WWII era.
IS IT IMPORTANT TO BE DIGITALLY AND SOCIALLY SKILLED AT UNIVERSITY? A COMPARATIVE STUDY ON COMPUTER SCIENCE AND BUSINESS STUDENTS

Nowadays, technological and relational competencies are often required for the integration of students into the labor market in the presence of high business competitiveness whatever the job sector. Companies recrute good profiles with specific levels in Information Technology skills and soft skills independently of the work type. These are now the default skills to have before applying for any job offer. It is important that institutions start to activate the project of radical change of the development plan in the field of education. In the 21st century, schools ought to give the utmost priority to those skills in order to ensure the integration of students into the international work environment. This study aims to investigate how far are university students digitally and socially competent, while comparing the consequences of these skills, according to their levels, for more IT students on the one side and more specialized Management students on the other side. In this regard, we asked 81 students of French, Tunisian, Moroccan, Brazilian, Algerian, Lebanese, Egyptian, Malagasy, Polish, Chinese, Senegalese and Turkish nationalities to position themselves through a Likert scale measuring the competence and its repercussions levels. To evaluate their performance at university, a scale was designed for their direct university professor. Considering business demands is important to find the dream-job, that is why those skills have lately seen the light of the day. However, in an educational perspective, it is interesting to study the existence of these skills among the two-field-specialized students respectively and their effects at university.
A Memetic Evolutionary Algorithm-Based Optimization for Competitive Bid Data Analysis

One of the most difficult decision-making problems for buyers is to identify which suppliers to provide contracts to of the biddable items for a competitive event after considering several conditions. This is an example of pure integer linear programming (ILP) problem with cost minimization where all the decision variables, i.e., the quantity of the biddable items to be awarded to suppliers, are always nonnegative integers. Normally for solving ILP, Gomory cutting plane or Branch and Bound technique using the simplex method are applied. But when the problem to be solved is highly constrained and a large number of variables are involved, finding a feasible solution is difficult and that can result in poor performance by these techniques. To address this, an improved memetic meta-heuristic evolutionary algorithm (EA) such as shuffled frog leaping algorithm (SFLA) is utilized to find the optimum solution satisfying all the constraints. The SFLA is a random population-based optimization technique inspired by natural memetics. It performs particle swarm optimization (PSO) like positional improvement in the local search and globally, it employs effective mixing of information using the shuffled complex evolution technique. In this paper, a modified shuffled frog leaping algorithm (MSFLA) is proposed where modification of SFLA is achieved by introducing supplier weightage and supplier acceptability to improve the quality of the solution with a more stable outcome. Simulation results and comparative study on highly constrained and a large number of items and suppliers’ instances from bidding data demonstrate the efficiency of the proposed hybrid meta-heuristic algorithm.
A Safe Road to Health: Medical Services Using Unmanned Aerial Vehicle

Traffic accident deaths are rising due to the lack of response time of ambulance in India. It is mostly because of the lack of response time to reach the crash site. The solution for that is unmanned aerial vehicle. The concept of medical emergency arrived to fill the delay of ambulance with shortest path of travel using a hex-copter to reach the patient in fast response to give first aid which is similar to rescue emergency drone, which can provide faster and real-time crash site medical emergency in order to quickly and accurately assess the emergency situation and assists the bystanders to treat the inflicted person. The medical services aim at locating the accident spots and finding the live status of the person and delivering the medical emergency kit in a short while. Along with manual calculations, the estimated time to reach the drone to the spot from any of the nearest hospitals in both rural and urban areas can be done. Thus, the live status of the person can be viewed by hospitals using IOT. A video guidance can be done by on-board camera which is fixed in hex-copter. This type of a system can save many lives.
BLOCKCHAIN - An Overview

Blockchain technology works on the distributed ledger pattern wherein the peers’ follow-up the chaining approach to maintain a cryptographic hash; mostly considered for cryptocurrencies it has various other applications in terms of supply chain management, smart contracts, decentralized systems and many more. As of the advancement in the field of science, working remotely has now become a trend to maintain the redundancy and privacy of the system; thus the diversified applications of Blockchain technology make it simple and worth it. It can add-on to the IoT sections with the mapping of various devices within a decentralized network. An overview of the blockchain can open-up varied perspectives and increase its future scope in terms of implementation.The purpose of this research is to understand the blockchain technology, its applications, and challenges faced on getting it functional.
Estimation of Machine Parameters in Superconducting Transformer using Differential Evolution

Abstract To analyze the inrush current in a superconducting transformer, the machine parameters for the transformer were estimated from the measured current using a search algorithm. To address the large rising edge error in estimations performed using a genetic algorithm (GA), a differential evolution (DE) was used in this study. As a result, the estimated time was reduced to about 1/10 that obtained with GA, and the evaluation value indicating the difference between the measured value and the estimated value was reduced to about 1/2. Thus, it was possible to estimate with higher accuracy by using DE.
A MULTI-CULTURAL EVALUATION OF THE PEDAGOGICAL VARIATION MODEL: A COLLABORATIVE STUDY WITH PRE-SERVICE TEACHER UNDERGRADUATES AT FEDERAL INSTITUTE (IFRS) BRAZIL, KUWAIT UNIVERSITY AND SOUTH URAL STATE UNIVERSITY, RUSSIAN FEDERATION

A MULTI-CULTURAL EVALUATION OF THE PEDAGOGICAL VARIATION MODEL: A COLLABORATIVE STUDY WITH PRE-SERVICE TEACHER UNDERGRADUATES AT FEDERAL INSTITUTE (IFRS) BRAZIL, KUWAIT UNIVERSITY AND SOUTH URAL STATE UNIVERSITY, RUSSIAN FEDERATION
Particle Swarm Optimization - Modifications and Application

In this chapter, we present a short description of a global and local version of the particle swarm optimization (PSO) algorithm. Next, we discuss some modifications of the PSO algorithm such as velocity clamping, inertia weight, constriction coefficient and acceleration coefficients c1 and c2. Also, we present the one real-world application of the PSO algorithm. We demonstrate how to apply the PSO algorithm for the design of IIR (Infinite Impulse Response) digital filters with non-standard amplitude characteristics where typical approximation methods are useless.
EXAMPLES OF DEVELOPMENT OF DIGITAL COMPETENCIES ACROSS EDUCATIONAL FIELDS

This paper is focused on analyzing of digital learning objects for development of digital literacy in various educational fields and areas. We present selected examples of specific digital learning objects related to different digital competency areas and different educational fields, describe the main purposes and background of designing these objects, then the relationship to organizational forms of learning, educational content and other factors of the learning process using these digital objects. Digital competency is understood and conceived as cross-educational field competency in Czech educational system. Individual competencies or areas of competence relate differently to the content of subjects and their development also depends on organizational forms and educational approaches.First, the results results of analytical studies of educational fields are presented, which are the most important theoretical basis and stimulus for the design of digital learning objects. These analytical studies were focused on identifying suitable topics and educational content areas for the development of digital competencies. The main part of the paper presents a qualitative analysis of selected digital learning objects, where we try to find correlation between various factors representing character of digital object, learning process and digital competence, especially between developed digital competence and curriculum.Based on the results of the analysis we can see, for example, that in some cases the developing competence is organically linked to the content of curriculum, we can say that development of digital literacy is the content of given subject. For other digital objects, the digital competence is more related to a methodological approach or organizational form of teaching or learning.
Inhomogeneous Brain Magnetic Resonance Images Segmentation Using a Novel Double Level Set Method

Magnetic resonance (MR) image segmentation plays an important role in the clinical diagnosis and pathological analysis of brain diseases, and has become a focus in the field of medical image processing. However, MR image segmentation is also a complex task because it is easily corrupted by inhomogeneous intensity and noise during the process of imaging. In this paper, we use double level set function to replace single level set of the data energy fitting model and propose a model based on Legendre polynomial and Heaviside function, which is used to segment brain magnetic resonance images. The double level set method (DLSM) can extract simultaneously the white matter (WM) and gray matter (GM) of brain tissue and ensure the robustness of level set initialization. Moreover, the bias field caused by intensity inhomogeneity is represented by a set of smooth basis functions, which can satisfy its property of slow variety. Finally, compared with the local intensity clustering model and multiplicative intrinsic component optimization model, both visual and objective results can prove the superior of the proposed DLSM model, and the computational speed is faster.
PECULIARITIES OF DEVELOPING E-LEARNING SYSTEMS IN MILITARISED EDUCATION INSTITUTION

1 State Border Guard College of the Republic of Latvia (LATVIA)2 Rezekne Academy of Technologies (LATVIA)
THE EFFECTIVENESS OF E-LEARNING MODELS FOR STUDENTS WITH DISABILITIES IN TEACHING ENGLISH

The article is devoted to the problem of using e-learning model’s effectiveness for students with special needs in teaching English. The research field is the methodology of teaching and learning foreign languages. The relevance of the study lies in the fact that e-learning model is a promising direction in relation to the training of students with disabilities. The e-learning model for teaching English to students with special needs (disabilities) allows to implement not only the academic thematic blocks of the curriculum at the university, but also create opportunities for a communicative approach to learning through a linguistic environment in online teaching. The hypothesis of the study is that in the process of teaching English to students with special needs (disabilities), it is necessary to use special technical tools and digital devices, as well as distance learning to the deep mastering the curriculum at the university. The e-learning model allows to fulfill these special requirements for such category of students. Within the framework of this model, it is also possible to use elements of an interactive approach to learning, which allows to increase the level of a foreign linguistic culture perception, to understand the basic principles of speech culture and the use of grammatical constructions of a foreign language in all speech genres.The hypothesis has been verified on the basis of the non-philological faculties in the RUDN University. In preparing an empirical study, the author of the article used the following methods: content analysis of scientific literature; analysis of statistical data, method of comparative analysis, method of pedagogical observation.The aim of the study is the hypothesis approbation. The objectives of the study are: the formulation of the author’s methodology of e-learning model for students with disabilities in teaching English; presentation of the data analysis results obtained during an empirical study; formulation of practical recommendations on the use of e-learning models for students with disabilities (special needs). The effectiveness of the author’s methodology for using the e-learning model is confirmed by an empirical study among students of non-philological faculties of RUDN University.
HYBRID VOICE TRAINING - INTEGRATING VIRTUAL ROOMS INTO A VOICE TRAINING SEMINAR

Appears in: EDULEARN20 Proceedings Publication year: 2020Pages: 2177-2181ISBN: 978-84-09-17979-4ISSN: 2340-1117doi: 10.21125/edulearn.2020.0679Conference name: 12th International Conference on Education and New Learning TechnologiesDates: 6-7 July, 2020Location: Online Conference
THE DEVELOPMENT OF STUDENTS’ SELF-REGULATION METHODS OF EMOTIONAL STATES

1 Peoples Friendship University of Russia (RUDN University) (RUSSIAN FEDERATION)2 International Research Centre «SOCIETY 2035» (RUSSIAN FEDERATION)3 Hanoi National University of Education (VIETNAM)