Search results for "oftware"
showing 10 items of 7396 documents
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.
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…
Subtitling and dubbing as teaching resources for learning English as a foreign language using Clipflair software
2020
[EN] The research validity of using clips as audiovisual material to teach a foreign language has been demonstrated by many scholars. At the same time, the combination of this material with two modalities of audiovisual translation (AVT) - subtitling and dubbing- is worth exploring. The aim of this study is to present the effectiveness of subtitling and dubbing activities as tools for teaching English as a foreign language. In order to do so, a number of participants from the University of Valencia (Spain) whose level of English was B2/B2+ were engaged in a combination of subtitling and dubbing activities. I devised a series of tasks based on a two-minute subtitled video-clip, designed to i…
The Semiotics of Test Design: Conceptual Framework on Optimal Item Features in Educational Assessment Across Cultural Groups, Countries, and Languages
2021
This paper offers a conceptual framework on test design from the perspective of social semiotics. Items are defined as arrangements of features intended to represent information, convey meaning, and capture information on the examinees’ knowledge or skills on a given content. The conceptual framework offers a typology of semiotic resources used to create items and discusses item representational complexity—the multiple ways in which the semiotic resources of an item are related to each other—and item semiotic alignment—the extent to which examinees share cultural experience encoded by items. Since the ability to make sense of items is shaped by the examinees’ level of familiarity with the s…
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…
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
SLFTD: A Subjective Logic Based Framework for Truth Discovery
2019
Finding truth from various conflicting candidate values provided by different data sources is called truth discovery, which is of vital importance in data integration. Several algorithms have been proposed in this area, which usually have similar procedure: iteratively inferring the truth and provider’s reliability on providing truth until converge. Therefore, an accurate provider’s reliability evaluation is essential. However, no work pays attention to “how reliable this provider continuously providing truth”. Therefore, we introduce subjective logic, which can record both (1) the provider’s reliability of generating truth, and (2) reliability of provider continuously doing so. Our propose…
Containers in Software Development: A Systematic Mapping Study
2019
Over the past decade, continuous software development has become a common place in the field of software engineering. Containers like Docker are a lightweight solution that developers can use to deploy and manage applications. Containers are used to build both component-based architectures and microservice architectures. Still, practitioners often view containers only as way to lower resource requirements compared to virtual machines. In this paper, we conducted a systematic mapping study to find information on what is known of how containers are used in software development. 56 primary studies were selected into this paper and they were categorized and mapped to identify the gaps in the cu…
A Process × Domain Assessment of Narcissism: The Domain-Specific Narcissistic Admiration and Rivalry Questionnaire
2022
Research on grandiose narcissism distinguishes between self-promotional processes (i.e., narcissistic admiration) and other-derogative processes (i.e., narcissistic rivalry; Back et al., 2013). Moreover, research has begun to assess and investigate narcissistic manifestations in different domains (e.g., communal narcissism). To integrate these two lines of research, we developed the Domain-Specific Narcissistic Admiration and Rivalry Questionnaire (D-NARQ), a 72-item narcissism questionnaire that contains a self-promotional process scale (narcissistic admiration) and an other-derogatory process scale (narcissistic rivalry) for four domains: intellectual ability, social dominance, communal …
An Internet-based program for depression using activity and physiological sensors: efficacy, expectations, satisfaction, and ease of use
2016
Cristina Botella,1,2 Adriana Mira,1 Inés Moragrega,2,3 Azucena García-Palacios,1,2 Juana Bretón-López,1,2 Diana Castilla,1,2 Antonio Riera López del Amo,1 Carla Soler,1 Guadalupe Molinari,1 Soledad Quero,1,2 Verónica Guillén-Botella,2,3 Ignacio Miralles,1,2 Sara Nebot,1 Berenice Serrano,1,2 Dennis Majoe,4 Mariano Alcañiz,2,5 Rosa María Baños2,31Department of Basic, Clinical Psychology and Psychobiology, Universitat Jaume, Castellón, Spain; 2CIBER Physiopathology of Obesity and Nutrition, CIBERobn, Instituto de Salud Carlos III, Santiago de Compostela, Spain; 3Department o…