Search results for " Formal"
showing 10 items of 273 documents
The role of implicit theories in the non-expert translation process
2014
Research into the role of implicit theories in decision-making covers a broad area ranging from personal to political relationships, and from private to professional life. To date, translation studies have paid little attention to the influence of translators’ knowledge and beliefs in the translation process, and even less to the role of implicit theories. In a pilot study with translation trainees, we attempted to reconstruct their theories about translation and discern to what extent these theories influence both the translation process and the translated text. Our results so far show that trainees do entertain initial implicit theories, which can be modified through experience and formal…
Why Translation Is Difficult
2017
The paper develops a definition of translation literality that is based on the syntactic and semantic similarity of the source and the target texts. We provide theoretical and empirical evidence that absolute literal translations are easy to produce. Based on a multilingual corpus of alternative translations we investigate the effects of cross-lingual syntactic and semantic distance on translation production times and find that non-literality makes from-scratch translation and post-editing difficult. We show that statistical machine translation systems encounter even more difficulties with non-literality.
MOTIVI E MOTIVAZIONE, FORMA E FORMALISMO: MINIMUM MOTIVO DEL PROVVEDIMENTO E MINIMUM COGNITORIO DEL GIUDIZIO AMMINISTRATIVO DI LEGITTIMITÀ. (NOTA A C…
2010
Trame mediterranee
2011
Breve riflessione sulla circolazione di maestri e maestranze nel Mediterraneo occidentale come fattore di trasmissione di sistemi costruttivi e modelli formali in architettura, tra tardomedievo e prima età moderna.
Research in China
2009
My stay in China began in November 1985 with a lecture at the opening of the Max Planck Guest Laboratory in the Institute of Cell Biology at the Chinese Academy of Sciences (CAS) in Shanghai (Hennig, 2000). It marked the beginning of 23 years of research and teaching at the Institute of Cell Biology and other universities throughout China. > Looking back after 23 years, the changes that have taken place in China could not have been predicted in 1985… In January 2001, I accepted a long‐term lectureship offered by the German Academic Exchange Service (DAAD; Bonn, Germany), which, with further support from CAS, allowed me to create my own research group within the Shanghai Institutes for Biolo…
Epizootic of dolphin morbillivirus on the Catalonian Mediterranean coast in 2007
2011
BETWEEN 1990 and 1992, thousands of striped dolphins (Stenella coeruleoalba) stranded along the Mediterranean coast due to a newly described virus, the dolphin morbillivirus (DMV) (Domingo and others 1990, 1992). DMV is one of the several morbilliviruses that have killed marine mammals worldwide since 1987 (Di Guardo and others 2005). A new DMV epizootic has been recently confirmed from the Mediterranean Spanish and French coasts during 2007 to 2008 (Fernández and others 2008, Raga and others 2008, Keck and others 2010). This short communication describes the pathological findings associated with DMV infection and secondary infections, observed during this epizootic on the Mediterranean coa…
The methane Raman spectrum from 1200 to 5500 cm(-1): A first step toward temperature diagnostic using methane as a probe molecule in combustion syste…
2005
International audience; We present a study of the spontaneous Raman spectra of (CH4)-C-12 from 1200 to 5500 cm(-1) at various temperatures. This study is of interest from a fundamental as well as from a practical point of view with regards to the temperature diagnostic in hydrocarbon combustion. The present investigation shows that the spontaneous (CH4)-C-12 Raman spectra are very sensitive to temperature and that the complexity of methane spectra is not an obstacle to use methane as a probe molecule in laser-diagnostic techniques. Our study consists in determining the polarisability parameters of methane (CH4)-C-12, unknown at the present time, from spontaneous Raman spectra recorded at pr…
Novel Methodologies to Model Charge Transport in Metal-Air Batteries
2018
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2021
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…