Search results for " artificial intelligence"
showing 10 items of 1992 documents
Risks in neural machine translation
2020
Abstract The new paradigm of neural machine translation is leading to profound changes in the translation industry. Surprisingly good results have led to high expectations; however, there are substantial risks that have not yet been sufficiently taken into account. Risks exist on three levels: first, what kind of damage can clients and end users incur in safety-critical domains if the NMT result contains errors; second, who is liable for damage caused by the use of NMT; third, what cyber risks can the use of NMT entail, especially when free online engines are used. When establishing sustainable measures to reduce such risks, we also need to consider general principles of human behaviour if …
A Mission for MARS: The Success of Climate Change Skeptic Rhetoric in the US
2020
Radio and television broadcasters accuse climate scientists of “promoting a global warming hoax”, recommending that they be “named and fi red, drawn and quartered” (Rush Limbaugh); commit “hara kiri” (Glenn Beck); and be “publicly flogged” (Mark Morano). Conservative media are crucial in promoting climate skepticism. Likewise, climate skepticism resonates well with white middle-class men. But why does the middle class continue to support “radical” positions? This article focuses on Anti-Intellectualism to explain why climate skeptic rhetoric resonates with “Middle American Radicals” (MARS).
Generating incremental type services
2019
In this vision paper, we propose a method for generating fully functional incremental type services from declarations of type rules. Our general strategy is to translate type rules into Datalog, for which efficient incremental solvers are already available. However, many aspects of type rules don't naturally translate to Datalog and need non-trivial translation. We demonstrate that such translation may be feasible by outlining the translation rules needed for a language with typing contexts (name binding) and bidirectional type rules (local type inference). We envision that even rich type systems of DSLs can be incrementalized by translation to Datalog in the future.
A New Paradigm in Interactive Evolutionary Multiobjective Optimization
2020
Over the years, scalarization functions have been used to solve multiobjective optimization problems by converting them to one or more single objective optimization problem(s). This study proposes a novel idea of solving multiobjective optimization problems in an interactive manner by using multiple scalarization functions to map vectors in the objective space to a new, so-called preference incorporated space (PIS). In this way, the original problem is converted into a new multiobjective optimization problem with typically fewer objectives in the PIS. This mapping enables a modular incorporation of decision maker’s preferences to convert any evolutionary algorithm to an interactive one, whe…
Multi-class Text Complexity Evaluation via Deep Neural Networks
2019
Automatic Text Complexity Evaluation (ATE) is a natural language processing task which aims to assess texts difficulty taking into account many facets related to complexity. A large number of papers tackle the problem of ATE by means of machine learning algorithms in order to classify texts into complex or simple classes. In this paper, we try to go beyond the methodologies presented so far by introducing a preliminary system based on a deep neural network model whose objective is to classify sentences into more of two classes. Experiments have been carried out on a manually annotated corpus which has been preprocessed in order to make it suitable for the scope of the paper. The results sho…
A Smart Contract Based Recommender System
2019
Nowadays information available on the World Wide Web has reached unprecedented growth and it makes difficult for users to find the most relevant for them. In order to alleviate such issue, Recommender Systems (RSs) have been proposed to collect opinions and preferences about a set of items, process such preferences and build a personalized information access. While the most part of current RSs exploit centralized architecture to provide the service, in this manuscript we propose an alternative approach for building a general purpose RSs that provides to users with more transparent and decentralized rating strategy. Indeed, the proposed framework is built on top of a Distributed Ledger techn…
Eventual Consistency Formalized
2019
Distribution of computation is well-known, and there are several frameworks, including some formal frameworks, that capture distributed computation. As yet, however, models of distributed computation are based on the idea that data is conceptually centralized. That is, they assume that data, even if it is distributed, is consistent. This assumption is not valid for many of the database systems in use today, where consistency is compromised to ensure availability and partition tolerance. Starting with an informal definition of eventual consistency, this paper explores several measures of inconsistency that quantify how far from consistency a system is. These measures capture key aspects of e…
Comparing the Quality of Neural Machine Translation and Professional Post-Editing
2019
This empirical corpus study explores the quality of neural machine translations (NMT) and their post-edits (NMTPE) at the German Department of the European Commission’s Directorate-General for Translation (DGT) by evaluating NMT outputs, NMTPE, and respective revisions (REV) with the automatic error annotation tool Hjerson (Popovic 2011) and the more fine-grained manual MQM framework (Lommel 2014). Results show that quality assurance measures by post-editors and revisors at the DGT are most often necessary for lexical errors. More specifically, if post-editors correct mistranslations, terminology or stylistic errors in an NMT sentence, revisors are likely to correct the same type of error i…
Convivencia en el ámbito educativo: aplicación de un programa basado en la empatía, la educación emocional y la resolución de conflictos en un instit…
2019
La educacion emocional y la resolucion de conflictos son factores clave en la mejora del clima del aula. Asi lo demuestra nuestra experiencia contextualizada en un centro de secundaria de la ciudad de Valencia (Espana) con un alto indice de expedientes sancionadores. La puesta en practica, en dicho centro, de un programa de intervencion y formacion para entrenar las tecnicas relacionadas con la educacion emocional y la resolucion pacifica de los conflictos ha supuesto una reduccion significativa tanto en el numero de expedientes como en la manera de afrontarlos traduciendose en una mejora de la convivencia en el centro mediante un aumento de la Cultura de Mediacion.
A Dynamic Software Startup Competency Model
2019
Current literature suggests that engineering activities of software engineering and software startup engineering differ. Thus, there is the need to elicit competencies specific for software startup engineering. This paper proposes a model that provides the various types of competencies and their respective relevance at the various stages of software startup evolution. peerReviewed