Search results for "Mod"
showing 10 items of 39605 documents
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…
Combining Machine Translated Sentence Chunks from Multiple MT Systems
2018
This paper presents a hybrid machine translation (HMT) system that pursues syntactic analysis to acquire phrases of source sentences, translates the phrases using multiple online machine translation (MT) system application program interfaces (APIs) and generates output by combining translated chunks to obtain the best possible translation. The aim of this study is to improve translation quality of English – Latvian texts over each of the individual MT APIs. The selection of the best translation hypothesis is done by calculating the perplexity for each hypothesis using an n-gram language model. The result is a phrase-based multi-system machine translation system that allows to improve MT out…
ROLES AND REGISTERS IN DIGITAL FORUM INTERACTION: DEVELOPING A COMMUNICATIVE IDENTITY-BASED APPROACH TO REGISTER VARIATION
2017
espanolEl presente articulo estudia como los roles y registros comunicativos se expresan de forma interdependiente, influenciandose mutuamente en los actuales foros digitales. En la primera parte, y a partir de la combinacion de estudios previos sobre variacion de registros comunicativos, la teoria de la identidad social y la linguistica cognitiva, se proponen tres nuevos conceptos para el analisis discursivo: ‘Rol Modulador de Registro’ (RMR), ‘brujula del registro’ y ‘registro-pivote’. La forma en la que funcionan en el discurso digital se ilustra en la segunda parte, con el analisis de un corpus de foros de discusion. Los resultados demuestran que cada perfil de foro despliega una gama d…
Semi-automated annotation of page-based documents within the Genre and Multimodality framework
2016
This paper describes ongoing work on a tool developed for annotating document images for their multimodal features and compiling this information into a corpus. The tool leverages open source computer vision and natural language processing libraries to describe the content and structure of multimodal documents and to generate multiple layers of XML annotation. The paper introduces the annotation schema, describes the document processing pipeline and concludes with a brief description of future work.
Multimodal conversation analysis and CLIL classroom practices
2017
This chapter introduces multimodal Conversation Analysis (CA) as a research framework for CLIL classroom interaction. We begin by presenting key methodological principles of CA and discussing how CA has recently broadened its analytical focus to examine how modalities such as gestures and texts are used as resources for interaction. Following this, we review recent (multimodal) CA work that has investigated teaching and learning practices in classrooms involving second language users, such as in CLIL and immersion settings. To illustrate the described methodological orientation, we briefly analyse one video-recorded interaction and conclude by suggesting research areas related to CLIL class…
Using evaluation criteria and rubrics as learning tools in subtitling for the D/deaf and the hard of hearing
2018
This paper focuses on the use of evaluation criteria and rubrics as tools for training in an audiovisual translation mode: subtitling for the D/deaf and the hard of hearing (SDH). Following an introduction to the current conception of and research carried out on quality assurance and assessment both in the translation industry and academia, a brief overview of the assessment processes and instruments used in SDH university training and in the professional sector is provided. This is followed by a case study of SDH assessment practices in Spain. Two questionnaires were filled in by five service providers and 12 university trainers, and the data gathered has enabled a better understanding of …
Reflexive Modernization and the Disembedding of Jūdō from 1946 to the 2000 Sydney Olympics
2004
This article considers some of the sociologically significant changes to jūdō in its process of transformation from a Budō based martial art into a modern competitive spectator sport. Taking the period of time from 1946 until the Sydney Olympics, an examination is undertaken using Giddens’s notion of reflexive modernization in which key aspects of the original jūdō are disembedded or ‘lifted out’ of the practice. They are then re-embedded with western structures, practices and meanings. Central themes to emerge from this analysis are the social forces of internationalization, institutionalization and commodification of jūdō over this period, each of which contributes to a reflexive moderni…
Rho resonance, timelike pion form factor, and implications for lattice studies of the hadronic vacuum polarization
2020
We study isospin-1 P-wave ππ scattering in lattice QCD with two flavors of O(a) improved Wilson fermions. For pion masses ranging from mπ=265 MeV to mπ=437 MeV, we determine the energy spectrum in the center-of-mass frame and in three moving frames. We obtain the scattering phase shifts using Lüscher’s finite-volume quantization condition. Fitting the dependence of the phase shifts on the scattering momentum to a Breit-Wigner form allows us to determine the corresponding ρ mass mρ and gρππ coupling. By combining the scattering phase shifts with the decay matrix element of the vector current, we calculate the timelike pion form factor, Fπ, and compare the results to the Gounaris-Sakurai repr…
Stability of Asymmetric Lipid Bilayers Assessed by Molecular Dynamics Simulations
2009
The asymmetric insertion of amphiphiles into biological membranes compromises the balance between the inner and outer monolayers. As a result, area expansion of the receiving leaflet and curvature strain may lead to membrane permeation, shape changes, or membrane fusion events. We have conducted both atomistic and coarse-grained molecular dynamics simulations of dipalmitoyl-phosphatidylcholine (DPPC) bilayers to study the effect of an asymmetric distribution of lipids between the two monolayers on membrane stability. Highly asymmetric lipid bilayers were found to be surprisingly stable within the submicrosecond time span of the simulations. Even the limiting case of a monolayer immersed in …
A Tool to Assess Architectural Education from the Sustainable Development Perspective and the Students' Viewpoint
2021
[EN] Architectural education plays a fundamental role in achieving sustainable development by training future professionals who can contribute to sustainability through their practice. Nevertheless, to ensure the introduction of sustainable development in the education of future architects, it is fundamental to understand what is being done and what could be improved. Despite this, a big gap has been detected in the assessment of architectural education in Spain and worldwide. Thus, a close-ended questionnaire for students has been designed based on the outcomes from a literature review, exploratory interviews with specialists, and the qualitative analysis of two schools of architecture. Ad…