Reviewerly/exHarmony huggingface dataset:
Fault-tolerant quantum computation: Theory and practice

Quantumcomputation is the modern version of Schrodinger’s cat experiment. It is backed up in principle by the theory and thinking about it can make people equally uncomfortable and excited. Besides, its practical realization seems so extremely challenging that some people even doubt it is possible. On the other hand, we are nowadays much closer to realizing quantum computation and in addition, it has much more implications than Schrodinger’s original cat experiment. One of the major difficulties in realizing quantum computation is the inevitable presence of noise in realistic quantum devices which makes the direct realization of quantum computers impossible. In order to protect quantum information and quantum processes against noise, quantum error correction and fault-tolerance have been devised. Although the gap between experiments and the requirements of fault-tolerance is still daunting, the field of quantum error correction and fault-tolerance extends and influences architectural decisions from the hardware to the ideal quantum programs that we want to run. That is why it has the potential to make or break the practicality of quantum computation and a lot of research effort goes into this field. In this thesis we investigate and improve several aspects of fault-tolerant schemes and quantum error correction. We implement an experiment which validates on a small device the usefulness of fault-tolerance for quantum computation. We investigate the advantages of harnessing quantum continuous degrees of freedom present in the lab to protect discrete quantum information in a scalable way. We establish a framework to analyze the fault-tolerant properties of code deformation techniques which are versatile techniques to process quantum information protected by an error correcting code. We also present some novel code deformation techniques with the potential to increase reliability. Finally we define a new class of quantum error correcting codes, quantum pin codes, with built in capabilities for fault-tolerant quantum gates. We give some practical constructions and show some protocols with interesting parameters. The roads towards universal and fault-tolerant quantum computation are still steep but research efforts are pushing in the right directions.
Human-Informed Speakers and Interpreters Analysis in theWAWCorpus and an Automatic Method for Calculating Interpreters’ Décalage

This article presents a multi-faceted analysis of a subset of interpreted conference speeches from the WAW corpus for the English-Arabic language pair.We analyze several speakers and interpreters variables via manual annotation and automatic methods.We propose a new automatic method for calculating interpreters' décalage (ear-voice span) based on Automatic Speech Recognition (ASR) and automatic alignment of named entities and content words between speaker and interpreter.The method is evaluated by two human annotators who have expertise in interpreting and Interpreting Studies and shows highly satisfactory results, accompanied with a high inter-annotator agreement.We provide insights about the relations of speakers' variables, interpreters' variables and décalage and discuss them from Interpreting Studies and interpreting practice point of view.We had interesting findings about interpreters behavior which need to be extended to a large number of conference sessions in our future research.
Openstack: Launch a Secure User Virtual Machine Image into a Trust Public Cloud IaaS Environment

Cloud Management Platforms (CMP) have been developed in recent years to set up cloud computing architecture. Infrastructure-as-a-Service (IaaS) is a cloud-delivered model designed by the provider to gather a set of IT resources which are furnished as services for user Virtual Machine Image (VMI) provisioning and management. Openstack is one of the most useful CMP which has been developed for industry and academic researches to simulate IaaS classical processes such as launch and store user VMI instance. In this paper, the main purpose is to adopt a security policy for a secure launch user VMI across a trust cloud environment founded on a combination of enhanced TPM remote attestation and cryptographic techniques to ensure confidentiality and integrity of user VMI requirements.
A closer look at multiplication table of finite rings

The article investigates the behaviour of the multiplication table of the ring Z n .To count the number of 1s appear on the main diagonal of the multiplication table of Z n , conclusively an explicit formula is induced for any n ≥ 2.
Digital technologies in accounting and taxation: some issues from Russian literature and experience

The article examines the prospects for the use of modern digital technologies, such as blockchain, in accounting, auditing and taxation. Also, the practice of applying digital technologies by Russian tax authorities analysed in the article as a possible basis for the introduction of blockchain in tax administration.
Akıllı Araç Ekosistemlerinde Blockchain Tabanlı Güvenli Veri Yönetim Modeli [Not available in English]

No English translation of this document was provided by the author or conference organizers.
Towards an adequate account of parataxis in Universal Dependencies

The parataxis relation as defined for Universal Dependencies 2.0 is general and, for this reason, sometimes hard to distinguish from competing analyses, such as coordination, conj, or apposition, appos.The specific subtypes that are listed for parataxis are also quite different in character.In this study we first show that the actual practice by UD-annotators is varied, using the parallel UD (PUD-) treebanks as data.We then review the current definitions and guidelines and suggest improvements.
AFFIRMATIVE ACTIONS AND NEW CHALLENGES FOR HIGHER EDUCATION AT FEDERAL UNIVERSITY OF RIO DE JANEIRO

Appears in: ICERI2019 Proceedings Publication year: 2019Pages: 5938-5942ISBN: 978-84-09-14755-7ISSN: 2340-1095doi: 10.21125/iceri.2019.1439Conference name: 12th annual International Conference of Education, Research and InnovationDates: 11-13 November, 2019Location: Seville, Spain
Perbandingan Metode Certainty Factor dan Dempster-Shafer Pada Sistem Pakar Diagnosa Penyakit Gigi dan Mulut

Health is one of the essential human requirements in addition to food, housing and education, because only in a healthy state humans can live, grow and work better. Numerous people who are less concerned about health, especially on oral and dental health because of dental and oral diseases can strike anyone and anytime. Certainty factor is a method to prove whether a fact is certain or uncertain in the form of metrics that are usually used in expert systems. This method is just righ for expert systems that diagnose something uncertain. Dempster-Shafer is a mathematical theory for evidence based on belief functions and plausible reasoning, used to mingle separate pieces of information (evidence) to estimate the probability of an event. Thus, appear a problem on how to make expert system with two comparison of certainty factor and dempster-shafer methods on the expert system diagnosing dental and dental diseases. The objective of the research was to contribute a solution by building an application that can determine the dental and mouth disease fast and efficient. It is hoped that this application can be developed into another cases so that it extend the insight of smarthphone based java program.
Intellectual Property Rights (IPRs) and Economic Growth in Pakistan

The strong protection of Intellectual Property Rights (IPRs) attract more investments and promote economic growth processes in developing countries. This study underlines the level of IPRs enforcement in Pakistan and consequently its implications for economic growth. The study confirms that enforcement at appropriate level of IPRs encourages economic growth in Pakistan. For data stationarity and long-run relationship between IPRs and economic growth Unit Root test and Johansen Cointegration tests are applied. The study uses Times Series data estimation techniques, namely Vector Error Correction Model (VECM) for a period of 1970– 2010. The study concludes with policy recommendations for economic growth in understanding the form and nature of IPRs enforcements in Pakistan. Keywords: Intellectual Property Rights (IPRs), Foreign Direct Investment (FDI), Research and Development, Patents, Human Capital, Invention and Innovation
A Study on Dedicated Energy Baseline, Performance Options on Measurement and Verification(M&amp;V) for Data Center Energy Saving

IT industries are one of the major consumers of energy, with data centers consume an especially large portion of that power. The typical IT in a data center consumes up to 30 times more energy than a typical office building. M&V (Measurement and Verification) plans are useful for all building types, but high power density projects, such as data centers, will reap significant benefits, as measurement and benchmarking are key steps to improving energy efficiency. This paper specifies a standard for estimating savings from installation of mechanical and electrical systems in data centers, and recommends baselines for modifying or installing energy-efficient equipment in data centers. M&V is the process of using measurement to reliably determine actual savings for energy, demand, and cost within a site by ECMs (Energy Conservation Measures). This paper specifies standardized M&V approaches which target minimizing variations in quality across the analyses, and cover baseline requirements for new construction and retrofit projects and identifies rules.
INTEGRATION INTERCONNECTION OF ISLAMIC AUDITING LEARNING MODEL IN 4.0 ERA

Auditor is an important profession in the business world. One of the auditor duties is to issue the opinion of financial statements. The opinion that was issued by the auditor becomes a guarantee on the fairness of the financial statements of the company. Auditors as independent parties have the obligation to check the financial statements of the client's company. In carrying out its duties, an auditor must adhere to the established professional standards and ethics. However, offence committed by the auditor towards the audit standards and ethics still occur. It can be viewed audit scandal histories, it is important to improve the auditing-learning process in campus. Campus as centre of knowledge is not only to educate a competent auditor but also to educate the morality of auditor.&#x0D; This research is qualitative research which uses action research methodology. The data is taken in real learning cases in auditing class then constructing the existing rules in learning, standard output of auditor and Al Qur’an rules to become a learning model. Other datas are taken by interviewing the experts to confirm about the model. &#x0D; The result of this research is auditing-learning model that is able to be applied in auditing class.
BIBLIOMETRIC ANALYSIS OF “TRANSFORMATIVE LEADERSHIP IN EDUCATION” IN WEB OF SCIENCE CORE COLLECTION

Appears in: ICERI2019 Proceedings Publication year: 2019Pages: 9789-9798ISBN: 978-84-09-14755-7ISSN: 2340-1095doi: 10.21125/iceri.2019.2393Conference name: 12th annual International Conference of Education, Research and InnovationDates: 11-13 November, 2019Location: Seville, Spain
Study on the Strategy Patterns of WeChat Business Advertising in Undergraduates’ WeChat Moments

In the information era, WeChat plays a significant role in spreading messages. This paper mainly talks about the spreading characteristics of WeChat Business Advertising in undergraduates’ WeChat Moments. It also explores strategy patterns employed by advertisers to appeal the potential customers.
Usage in the Lexicography of Italian: Two Viewpoints and a Few Basic Reflections

As far as Italy and Italian are concerned, the concept of language usage largely depends on the fact that, for centuries and well after the political unification of Italy in 1861, Italian existed only as a literary language, while people spoke the local dialect or the regional variety of the language. This paper provides a brief historical introduction to the problem of usage and its presentation in dictionaries before commenting on two fairly recent, and conceptually different, models of usage in Italian lexicography. Both the Dizionario italiano Sabatini-Coletti and the Nuovo dizionario De Mauro date from the late 1990s, but while the latter is corpus-based and relies on word-frequency lists, the former introduces the concept of word availability (as distinct from word frequency) and applies it in its entries. In a way, these different lexicographical approaches show that language usage is still an issue of concern in the Italian linguistic panorama of the twenty-first century.
Augmented Reality Application to Efficiency the Process of Making Batik Motifs Using Vertex Marker

From the total time of making traditional Batik, the batik stage is the most time consuming because there are a lot of mistakes due to lack of carefulness when making batik motifs on cloth. To overcome the problem of making Batik motifs, this research utilizes the strengths and capabilities of Marker-Based Augmented Reality technology. The development of Marker-Based Augmented Reality applications is done by replacing digital objects with Batik motif images and markers attached to the fabric. Development of Marker-Based Augmented Reality applications using vertex markers to reproduce Batik motif objects in order to overcome the limitations of the reach of hands when making Batik motifs on fabric Finally, by using Marker-Based Augmented Reality applications batik makers do not need to draw Batik motifs in pencil on fabric because of Batik motifs directly displayed on the fabric surface by the application, so that it is expected to reduce the process time of making Batik motifs compared to making Batik motifs using traditional methods.
Theoretical aspects of media education. New technologies as the creative and innovative conditio sine qua non

Understanding the media education, and education in large, in the World of XXI century is closely connected with a new technologies and advantages and disadvantages which it brings along. Sometimes, we have a serious feeling that the speed of development of the new technologies is much faster than adjusting of the media education to it. A lot of reasons are connected with that: way of communicating (how to communicate interaction of media education with new technologies) with pupils and/or students (knowledge and the skills of the youngsters and/or youth about new technologies are sometimes higher and more comprehensive than the knowledge and the skills of the teachers and professors); media (il)literacy; lack of understandings from the educational authorities (or lack of their education about it as well) about the importance of linking media education and new technologies in the post-modern world; lack of creativity by the teachers in regards adequate presentation of the importance of connecting and interacting of media education with new technologies and vice versa, although it is also connected with the motivation connected with a position of the teachers within the society – underlining the social position of the teachers and/or professors and as well the ethical issues connected with the ways of the modules of communication; lack of innovations related to the way of linking of media education with new technologies – social media as a model of deliberative democracy within the process of media education and a lack of knowledge about the advertising the connection between media education and new technologies – the art of persuasion. This paper will show also the disadvantages of new technologies within the process of media education, especially if not used in pedagogical and didactic methodical way of the interaction of media education and new technologies to understand it as a “software” and an “hardware” of the creative and innovative world of humanity of the XXI century.
Targeted Face Recognition and Alarm Generation for Security Surveillance using Single Shot Multibox Detector (SSD)

Face recognition has been considered as one of the most important means of security in prevention of crimes in this era.Surveillance cameras in crowded areas keeps good monitoring of all activities.So, it can be used as a witness against criminals or can be used to prevent crimes before happening.With the advancement in deep neural networks in surveillance cameras, face recognition accuracy has increased in challenging environments too.But this country is still lagging behind in this regard.So, the proposed work focuses mainly on face recognition with custom Bangladeshi dataset that can be robust enough against blurriness, pose variations and occlusions.Single Shot Multibox Detector (SSD) model was chosen since it produced significant improvement in accuracy compared to many state of the art models.Tensorflow API was used with SSD-Mobilenet-FPN model config to generate alarms when targeted face was recognized among many faces in crowd.
INTERNET-CORPORA FOR FINNO-UGRIC LANGUAGES OF RUSSIA

Digital language corpora have long become one of the most important tools in linguistic research; a new methodological approach, known as corpus linguistics, has been based on corpora. While comprehensive corpora exist for the major European Uralic languages (Hungarian, Finnish, Estonian), the smaller Uralic languages of Russia did not have comparable resources until recently. In this paper, I present digital corpora recently developed for the largest Uralic languages of Russia: Udmurt, Komi-Zyrian, Meadow Mari, Erzya and Moksha. The corpora comprise digital texts available on the internet, which were collected and processed by the author. Two corpora were created for each language: a social media corpus and a non-social-media (“main”) corpus. Both kinds of texts were automatically morphologically analyzed; the social media texts were additionally filtered and anonymized. I will outline the development process of these corpora, as well as present their features and possible applications. All corpora described in the paper are equipped with a web-based user interface and are publicly available at http://volgakama.web-corpora.net/.
Monads for hyperintensionality? A situation semantics for hyperintensional side effects

P-HYPE, the semantic theory we outline, uses monads from category theory in order to integrate a perspective-sensitive semantic theory with a hyperintensional logic, HYPE (Leitgeb 2018).This enables us to to capture in a fine-grained way the utterer's perspective on other people's perspectives, a phenomenon that (Asudeh and Giorgolo 2016) argue plays a role in natural language.But it also enables us to construct a particular approach to hyperintensionality in natural language within HYPE, since HYPE itself is compatible with different accounts of hyperintensionality in natural language.In P-HYPE, hyperintensionality is modelled as a side effect in the sense of (Charlow 2014) and of consisting in a special type of perspective sensitivity.P-HYPE builds on the account of (Asudeh and Giorgolo 2016), by carving out a notion of perspectives as special sets of situations which can be combined together via a fusion relation.In addition, we briefly illustrate how we can combine P-HYPE with an account of certain kinds of intra-sentential anaphora.
Is this the end? Two-step tokenization of sentence boundaries

A period does not only mark the end of a sentence; it can also be part of an abbreviation and numerical expressions.When analysing corpus text linguistically we need to know where a sentence begins and where it ends.In traditional corpus analysis, typically a sentence is identified before linguistic analysis is performed.In this work we propose an approach where we do basic linguistic analysis before we decide what a sentence is.As the interpretation of a period after abbreviations and numerical expressions is ambiguous, we leave the ambiguity in the initial tokenization.In a second step we remove the ambiguity based on the linguistic context of the period.We compare the previous approach to the new one and show how the new two-step approach to tokenization improves the identification of sentence boundaries.
AN INNOVATIVE EDUCATIONAL ENVIRONMENT BASED ON VIRTUAL REALITY AND GAMIFICATION FOR LEARNING STEM ENTREPRENEURSHIP

AN INNOVATIVE EDUCATIONAL ENVIRONMENT BASED ON VIRTUAL REALITY AND GAMIFICATION FOR LEARNING STEM ENTREPRENEURSHIP
Characterization of Regolith Types and its Impact on Gold Anomaly in Highly Weathered Terrains Using Multiple Dataset

Deposition of post mineralization materials and incessant evolution of regolith materials have resulted in many complex geological environments. These often produce subtle geochemical responses and make geochemical anomaly delineation very difficult. To mitigate the challenge of following ‘false’ anomaly emanating from the regolithic effect, the study mapped the regolith types and used it to explain the geochemical behavior of gold. Multiple dataset such as Aster, radiometric, GDEM were combined with ground truthing and evaluated to characterize the regolith into FRED. This was done alongside the collection of 3252 soil samples. The samples were analyzed for gold using BLEG with AAS finishing. The geochemical data were however interpreted accounting for the regolith. Multiple thresholds were chosen for each regolith using q-q plots. The results showed 24.3% to be depositional regolith and 75.7% was a residual environment consisting of 46% Ferruginous, 40% relict and 4% erosional. Both ferruginous and depositional regimes had capabilities of impacting negatively on gold anomaly. The result further showed that each regolith regime had capabilities of hosting mineralization and recommends that equal weight of importance should be accorded to all regimes. It further proposed that the regolith map should be fully integrated into geochemical data to avoid following ‘false’ anomalies.
How Artificial Intelligence impacts the programs broadcast by Globo TV: Case studies

In this article we show how Artificial Intelligence (AI) are impacting multimedia content creation, processing and delivery in the programs broadcasted by Globo TV.AI is mostly perceived as a new tool capable of optimizing and enhancing processes through automation in ways that were unthinkable in the recent past.Three broadcast programs were chosed as targets for AI algorithms deployment in our current workflow aiming at increased productivity, cost reduction and novel ways to generate content.
INTERDISCIPLINARY PROJECTS TO PROMOTE GIFTED PRIMARY STUDENTS AND THEIR DIGITAL COMPETENCIES

1 Johannes Kepler Universität Linz (AUSTRIA)2 Johannes Kepler Universität Linz, Department of STEM-Education (AUSTRIA)
Visual TTR - Modelling Visual Question Answering in Type Theory with Records

In this paper, I will describe a system that was developed for the task of Visual Question Answering. The system uses the rich type universe of Type Theory with Records (TTR) to model both the utterances about the image, the image itself and classifications made related to the two. At its most basic, the decision of whether any given predicate can be assigned to an object in the image is delegated to a CNN. Consequently, images can be judged as evidence for propositions. The end result is a model whose application of perceptual classifiers to a given image is guided by the accompanying utterance.