Reviewerly/exHarmony huggingface dataset:
Secure Consistency Verification for Untrusted Cloud Storage by Public Blockchains

This work presents ContractChecker, a Blockchain-based security protocol for verifying the storage consistency between the mutually distrusting cloud provider and clients. Unlike existing protocols, the ContractChecker uniquely delegates log auditing to the Blockchain, and has the advantages in reducing client cost and lowering requirements on client availability, lending itself to modern scenarios with mobile and web clients. The ContractChecker collects the logs from both clients and the cloud server, and verifies the consistency by cross-checking the logs. By this means, it does not only detects the attacks from malicious clients and server forging their logs, but also is able to mitigate those attacks and recover the system from them. In addition, we design new attacks against ContractChecker exploiting various limits in real Blockchain systems (e.g., write unavailability, Blockchain forks, contract race conditions). We analyze and harden the security of ContractChecker protocols against the proposed new attacks. For evaluating the cost, we build a functional prototype of the ContractChecker on Ethereum/Solidity. By experiments on private and public Ethereum testnets, we extensively evaluate the cost of the ContractChecker in comparison with that of existing client-based log auditing works. The result shows the ContractChecker can scale to hundreds of clients and save client costs by more than one order of magnitude.
ANALISIS PENGAMBILAN KEPUTUSAN DAN MITIGASI TERHADAP KERENTANAN PANTAI (STUDI KASUS : PANTAI PULAU RANGSANG, KABUPATEN KEPULAUAN MERANTI)

Rangsang Island is one of the 4 main islands in the Meranti Islands Regency. The location of this island is very strategic because it is directly adjacent to the Malacca Strait so that the island has very high economic value. Abrasion that occurred on Rangsang Island resulted in a lot of losses suffered by people living on the island's coast, including eroded coconut plantation land, damaged docks, to people who were forced to move because the location of the house was very prone to landslides. This final project identifies beaches that have a high level of vulnerability in Pulau Rangsang. Based on the results of the analysis, Pantai Tanah Merah is the beach with the highest vulnerability value. Installation of breakwater structures is effective in preventing unwanted shoreline changes in Tanah Merah. This is because material accessibility is closer to Tanah Merah Beach, prices are relatively cheaper, maintenance is easier so that it can improve work efficiency
Upgrading the quantum computer

As she walks around the lab of Rigetti Computing, quantum engineer Sabrina Hong strains to make her voice heard over a loud pumping noise. It’s the heartbeat of helium refrigerators cooling down the Berkeley, California–based start-up’s quantum computers. To perform optimally, these machines need to run below –273.14 °C (10 mK)—colder than outer space. Whoosh, supercold liquid helium is pumped in. Whoosh, warmed helium is pushed out. “I love that sound,” Hong says. It means the company’s two commercial quantum computers are up and running, at the ready for customers. Rigetti and other firms in the quantum computing business, including IBM and Google, allow customers to access their machines over the cloud and perform calculations. The pumping sound also means that the machines are ready for Hong and other engineers on the Rigetti team. She wants to improve quantum computers’ performance and would like to try out some test chips
METHODS OF OBJECTIVE ASSESSMENT OF STUDENT LEARNING IN DESIGN AND ART DISCIPLINES

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 2189-2193ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.0606Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
PROJECT BASED EDUCATION AND ENTREPRENEURSHIP FOR TECHNOLOGICAL LEVEL EDUCATION

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 8524-8533ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.2130Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
Axio-creative Experience of Education at Preschool Institutions of Russia in the 20s–30s of the 20th Century (the Republic of Tatarstan Example)

Based on a comprehensive study of socio-historical, psychological and pedagogical theories and concepts of preschool education, this article puts forward the idea of pedagogical axio-creation, expressed in the system of measures aimed at the creation and formation of new social and moral values in younger generations or at the restoration, rethinking of the old ones.The work is devoted to the consideration of axio-creative experience in the education of preschoolers at the formation stage of the system of public preschool education in Russia in the 20s-30s of the 20 th century.The study is based on historical material on upbringing children at preschool institutions of the Republic of Tatarstan, which was and is a part of the Russian Federation.The authors of the article focus their attention on solving the tasks of social, moral, ideological and political education of preschoolers.In the course of their investigation there are disclosed and described peculiarities of carrying out pedagogical work on the formation of new social and moral concepts and behavior habits of children.The article reveals and describes the features of labor, patriotic, international and anti-religious education of preschoolers during the studied period.At the same time, the authors consider issues of changing the content of education and upbringing of children in kindergartens, as well as promotion and application of new forms and methods of work with children of preschool age according to the principle of education common to the whole Soviet educational system -connection with life and modernity.
Introduction to Special Issue on “Rock Physics ‐ from microstructure to seismic signatures”

Geophysical ProspectingVolume 67, Issue 4 p. 711-714 Introduction Introduction to Special Issue on “Rock Physics - from microstructure to seismic signatures” Per Avseth, Per Avseth Guest EditorSearch for more papers by this author Per Avseth, Per Avseth Guest EditorSearch for more papers by this author First published: 13 April 2019 https://doi.org/10.1111/1365-2478.12790Read the full textAboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinkedInRedditWechat Volume67, Issue4Special Issue: Rock Physics - from microstructure to seismic signaturesMay 2019Pages 711-714 RelatedInformation
Temperature-induced negative differential conductivity

We report on the existence of temperature induced negative differential conductivity (NDC) for electrons in gaseous nitrogen. The important role of superelastic rotational collisional processes in this phenomenon is highlighted. A model cross-section set, utilised to ensure an accurate treatment of superelastic processes and achieve thermal equilibrium is detailed, and used to illustrate the role of de-excitation processes in NDC. The criterion of Robson [1] for predicting the occurance of NDC using only knowledge of the collisional cross-sections is utilised for both the model system and N_{2}. We also report on the impact of anisotropy in the very low threshold scattering channels on the transport coefficients, examine the Frost-Phelps finite difference collision operator for the inelastic channel, in particular its neglect of recoil, and assess other assumptions utilised in existing Boltzmann equation solvers. We discuss the numerical challenges associated with low reduced electric field calculations, and detail an alternative representation of the elastic and inelastic collision operators used in Boltzmann equation solutions that enforce conservation of number density. Finally, new experimental measurements of the drift velocity and the Townsend ionisation coefficient for an electron swarm in are reported from a pulsed Townsend experiment. The self-consistency of the utilised cross-sections is also briefly assessed against these results.
Secure Biometric-based Remote Authentication Protocol using Chebyshev Polynomials and Fuzzy Extractor

In this paper, we have proposed a multi factor biometric-based remote authentication protocol. Our proposal overcomes the vulnerabilities of some previous works. At the same time, the protocol also obtains a low false accept rate (FAR) and false reject rate (FRR).
Visual surveillance for collective behavior analysis: From human to fish

Animals including human being are often with others in groups such as people crowds, fish schools, and flocks of birds. In such groups, they are interacting with each other to tell their intentions. By analyzing such collective behavior, we can obtain plenty of information not only for understanding the ecology of animals but also for practical applications including aquaculture and social safety. Hence, collective behavior analysis has been an active research area of both ecology and engineering. In this paper, we will introduce our recent research projects for visual surveillance of collective behavior analysis. First, we will present small object detection based on a deep neural network. The method is specially designed for detecting small swimming fish. Although training deep neural network usually requires a large number of annotated data, our proposed method reduces the cost of manual annotation. Next, we will present social group detection based on multiple instance learning. The multiple instance learning enables us to extract meaningful information from given data. We examined both of the proposed method using actual data to show their performance.
Secure Outsourcing of Linear Programming Solver in Cloud Computing: A Survey

There are currently major concerns about howto safeguard and process the data processed by infection.Innumerable industrial, figuring and optimization methodsare being used to resolve this problem. The problem has beenfixed for secure outsourcing for large issues. In this paper, theterms required in Cloud Security have been presented. Theprivacy feats of secure cloud are used to frustrate, to achievemore aspects of security. While cloud computing is being usedto outsource large scale computer outsourced to the cloud,data privacy has become a major problem. In this paper,modern cryptographic techniques, which have been sourcingwith research work proposed in the previous years. Based onsome flaw fixes, the current situation has been identified.There is also the motivation for this paper problem and futureresearch guidelines.
MEDIA EDUCATION IN THE UNIVERSITY CONTEXT IN THE MIXTECA REGION

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 7463-7472ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.1818Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
Cranial bones study using a smartphone augmented reality app

Introduction. Cranium is a mobile application that uses augmented reality, which serves as a means of support for the medical student to study the bones of the skull. Objective to improve this situation while raising interest in the subject in students without replacing the aforementioned book. Materials and methods A qualitative research is proposed, divided into three phases: identification, development of augmented application and evaluation with the users of the developed application, for which surveys and in-depth interviews are used to collect information. Results87% indicates the great need to implement new technologies in education. Discussionat the icon level of the application was very well qualified with only a small observation to modify it a bit its aspect Conclusions make changes that will help the application to be more pleasant and functional for users
THE METHOD OF MATHEMATICAL AND DIDACTIC MODELING IN THE PREPARATION OF FUTURE TEACHERS ON THE EXAMPLE OF THE LAW OF NEWTON'S UNIVERSAL GRAVITATION

THE METHOD OF MATHEMATICAL AND DIDACTIC MODELING IN THE PREPARATION OF FUTURE TEACHERS ON THE EXAMPLE OF THE LAW OF NEWTON'S UNIVERSAL GRAVITATION
Reducing catastrophic forgetting when evolving neural networks

A key stepping stone in the development of an artificial general intelligence (a machine that can perform any task), is the production of agents that can perform multiple tasks at once instead of just one. Unfortunately, canonical methods are very prone to catastrophic forgetting (CF) - the act of overwriting previous knowledge about a task when learning a new task. Recent efforts have developed techniques for overcoming CF in learning systems, but no attempt has been made to apply these new techniques to evolutionary systems. This research presents a novel technique, weight protection, for reducing CF in evolutionary systems by adapting a method from learning systems. It is used in conjunction with other evolutionary approaches for overcoming CF and is shown to be effective at alleviating CF when applied to a suite of reinforcement learning tasks. It is speculated that this work could indicate the potential for a wider application of existing learning-based approaches to evolutionary systems and that evolutionary techniques may be competitive with or better than learning systems when it comes to reducing CF.
MODEL OF THE INTERETHNIC INTERACTION IN THE EDUCATIONAL ENVIRONMENT OF AN INTERNATIONALLY ORIENTED UNIVERSITY: DIAGNOSTIC COMPONENT

MODEL OF THE INTERETHNIC INTERACTION IN THE EDUCATIONAL ENVIRONMENT OF AN INTERNATIONALLY ORIENTED UNIVERSITY: DIAGNOSTIC COMPONENT
Preference-based Multiobjective Virtual Machine Placement: A Ceteris Paribus Approach

This work adopts the notion of Ceteris Paribus (CP) as an interpretation of the Decision Maker (DM) preferences and incorporates it in a constrained multiobjective problem known as virtual machine placement (VMP). VMP is an essential multiobjective problem in the design and operation of cloud data centers concerned about placing each virtual machine to a physical machine (a server) in the data center. We analyze the effectiveness of CP interpretation on VMP problems and propose an NSGA-II variant with which preferred solutions are returned at almost no extra time cost.
TECHNOLOGIES FOR ASSESSMENT IN HIGHER EDUCATION. A SYSTEMATIC REVIEW

Appears in: INTED2019 Proceedings Publication year: 2019Page: 9492 (abstract only)ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.2349Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
Role of Transformational Leadership and Philosophical Mindset in Teachers

The subject of this article achieved by combining "transformational Leadership" and "Philosophical mindset", two important and affective issues in educational management and curriculum areas and its application in education teachers' performance. Transformational Leadership (management) theory offered by Burns (1978) in order to explain the behavior of group of Leaders and managers that connecting powerful motivational mutual relations with followers. Philosophical mindset is the way of thinking of correct function which has three dimensions: Comprehensiveness, penetration and flexibility, that offered by Philip, J. Smith (2016).&#x0D; Methods: In this paper we examine the philosophical spirit in the transformational leadership and philosophical mindset with functional wisdom features, attention to self actualization, future favorable theoretical and practical prospects according to the present (here and now), reasonable daubt, curiosity, wide visibility, tolerance, seeking progress and unity of the personality.&#x0D; Findings: Application of transformational Leadership and philosophical mindset in education teachers leads to improve correct, logical and creative scientifically thinking in them and eventually transfer these concepts to students.&#x0D; Results: This type of application relate the immediate issues to distant targets, intelligent rational behavior, avoid accelerated decisions, attention to the levels of psychological needs, logical and positive communication with students, attention to solving the problems, and logical distance from Clear definition of doing duties and having desirable work ethic.
A PROPOSAL TO RETHINK EVALUATION BY COMPETENCES IN THE STUDY OF SYNTAX AND ITS DEVELOPMENT IN SECONDARY EDUCATION

A PROPOSAL TO RETHINK EVALUATION BY COMPETENCES IN THE STUDY OF SYNTAX AND ITS DEVELOPMENT IN SECONDARY EDUCATION
PENGENALAN DAN PELATIHAN PROGRAM MICROSOFT OFFICE MENGGUNAKAN MICROSOFT POWERPOINT BAGI GURU DI SMK AL-MADANI PONTIANAK

The mastering of Information technology and communication (TIK) for teacher is needed to improve the competency of teacher in giving the subject to the students at their schools. Besides, the competency in IT field could be used in everyday activity such as report making, presentation making and others. Microsoft office is a software package made by Microsoft Corporation which is designed to make work easier. This activity will be focused in introducing and training for using Microsoft Power Point as the presentation tools, due to its ability for showing text, picture and video and other features, which can be used to attract students attention in teaching activity. With this helpful software, we aim to conduct the training about Microsoft Power Point to the educators, more specific to teachers in Al-Madani Vocational High School (SMK Al-Madani) Pontianak. This activity hopefully could give them more knowledge about the useful of Microsoft Power Point, and it could be used more effectively and efficiently in education.
Metric Learning for Image Registration.

Image registration is a key technique in medical image analysis to estimate deformations between image pairs. A good deformation model is important for high-quality estimates. However, most existing approaches use ad-hoc deformation models chosen for mathematical convenience rather than to capture observed data variation. Recent deep learning approaches learn deformation models directly from data. However, they provide limited control over the spatial regularity of transformations. Instead of learning the entire registration approach, we learn a spatially-adaptive regularizer within a registration model. This allows controlling the desired level of regularity and preserving structural properties of a registration model. For example, diffeomorphic transformations can be attained. Our approach is a radical departure from existing deep learning approaches to image registration by embedding a deep learning model in an optimization-based registration algorithm to parameterize and data-adapt the registration model itself.
EARLY LEARNING EXPERIENCES FOR NOVICE TEACHERS DESIGNED TO ADVANCE THEIR KNOWLEDGE AND SKILLS IN STEAM EDUCATION

EARLY LEARNING EXPERIENCES FOR NOVICE TEACHERS DESIGNED TO ADVANCE THEIR KNOWLEDGE AND SKILLS IN STEAM EDUCATION
ENHANCING THE UNDERGRADUATE LEARNING EXPERIENCE BY TAKING A LEAP INTO ACTIVE LEARNING

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 1666-1676ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.0487Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
@TomRLancaster Add Ghostery as well? Of ...

@TomRLancaster Add Ghostery as well? Of course to visualize all the trackers these days would require VR. Just imagine if each web
THE EVOLUTION OF THE IMAGE OF REPRESENTATIVES OF NON-EUROPEAN PEOPLES IN DIDACTIC ILLUSTRATIONS IN THE ABC-BOOKS

THE EVOLUTION OF THE IMAGE OF REPRESENTATIVES OF NON-EUROPEAN PEOPLES IN DIDACTIC ILLUSTRATIONS IN THE ABC-BOOKS
Contributors of Mammography Screening with Zero-Inflated Count Regression Models by Bayesian Approach

Contributors of Mammography Screening with Zero-Inflated Count Regression Models by Bayesian Approach
CURRICULAR MANAGEMENT AND PERMANENT TRAINING OF THE TEACHER IN THE UNIVERSITY CONTEXT

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 9332-9336ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.2313Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
EXPERIENCE IN INTERNATIONAL RESEARCH COOPERATION: OPPORTUNITIES AND CHALLENGES IN CENTRAL EUROPE

Institute for Research in School Education, Faculty of Education,Masarykova univerzita (CZECH REPUBLIC)
Drifting floats detect quakes to plumb Earth's deep interior

Seismic sounds collected at sea help reveal mantle plumes.
Using Similarity Measurement based on Image Feature for Gesell Figure Drawing Test Application

This paper reviews important issues in image retrieval research. To developed application the Gesell figure drawing test and evaluate the validity of in measuring IQ among children aged 6-10 years by using tools for evaluating efficiency of application, such as similarity measurement based on image feature, precision and also discussed.
PRE-SERVICE TEACHERS’ UTILIZATION OF MODERN DIDACTIC PRINCIPLES IN DIGITAL EDUCATIONAL MATERIALS

Appears in: INTED2019 Proceedings Publication year: 2019Pages: 4084-4090ISBN: 978-84-09-08619-1ISSN: 2340-1079doi: 10.21125/inted.2019.1023Conference name: 13th International Technology, Education and Development ConferenceDates: 11-13 March, 2019Location: Valencia, Spain
Possibilistic simulation of quantum circuits by classical circuits

In breakthrough work, Bravyi, Gosset, and König (BGK) [Science, 2018] unconditionally proved that constant depth quantum circuits are more powerful than their classical counterparts. Their result is equivalent to saying that a particular family of constant depth quantum circuits takes classical circuits at least $Ω(\log n)$ depth to "simulate", in a certain sense. In our paper, we formalise their sense of simulation, which we call "possibilistic simulation" or "p-simulation", and construct explicit classical circuits that can p-simulate any depth-$d$ quantum circuit with Clifford and $t$ $T$-gates in depth $O(d+t)$. Our classical circuits use $\{\text{NOT, AND, OR}\}$ gates of fan-in $\leq 2$.
A Survey on New paradigm of Display Using Virtual and Augmented Reality

Virtual Reality (VR) and AugmentedReality (AR) are rapidly growing technologies sincemid-60’s, when they formally originated. VR andAR allow us to create environment that is hard oreven impossible to create in real. Major Fields oftheir applications are education, training,entertainment and research in various domains. Inthis paper, we will elaborate some of the applicationsof AR and VR.
Solving the large syndrome calculation problem in steganography

In error correction code based image steganography, embedding using large length codes have not been researched extensively. This is due to the fact that the embedding efficiency decreases as the length becomes sufficiently larger and the memory requirement to build the parity matrix for large code is almost infeasible. However, recent studies have demonstrated that the embedding efficiency is not as important as minimizing the distortion. In light of the finding, we propose a embedding method using a large length codes which does not have such a large memory requirement. The proposed method solves the problem with the large parity matrix by embedding in the polynomial domain as oppose to matrix domain, while keeping the computational complexity equal to the matrix based methods. Furthermore, a novel embedding code called low complexity distortion minimization (LCDM) code is also presented as an example.