560 research outputs found
La traduzione specializzata allâopera per una piccola impresa in espansione: la mia esperienza di internazionalizzazione in cinese di Bioretics© S.r.l.
Global markets are currently immersed in two all-encompassing and unstoppable processes: internationalization and globalization. While the former pushes companies to look beyond the borders of their country of origin to forge relationships with foreign trading partners, the latter fosters the standardization in all countries, by reducing spatiotemporal distances and breaking down geographical, political, economic and socio-cultural barriers. In recent decades, another domain has appeared to propel these unifying drives: Artificial Intelligence, together with its high technologies aiming to implement human cognitive abilities in machinery. The âLanguage Toolkit â Le lingue straniere al servizio dellâinternazionalizzazione dellâimpresaâ project, promoted by the Department of Interpreting and Translation (ForlĂŹ Campus) in collaboration with the Romagna Chamber of Commerce (ForlĂŹ-Cesena and Rimini), seeks to help Italian SMEs make their way into the global market. It is precisely within this project that this dissertation has been conceived. Indeed, its purpose is to present the translation and localization project from English into Chinese of a series of texts produced by Bioretics© S.r.l.: an investor deck, the company website and part of the installation and use manual of the Aliquis© framework software, its flagship product. This dissertation is structured as follows: Chapter 1 presents the project and the company in detail; Chapter 2 outlines the internationalization and globalization processes and the Artificial Intelligence market both in Italy and in China; Chapter 3 provides the theoretical foundations for every aspect related to Specialized Translation, including website localization; Chapter 4 describes the resources and tools used to perform the translations; Chapter 5 proposes an analysis of the source texts; Chapter 6 is a commentary on translation strategies and choices
Beam scanning by liquid-crystal biasing in a modified SIW structure
A fixed-frequency beam-scanning 1D antenna based on Liquid Crystals (LCs) is designed for application in 2D scanning with lateral alignment. The 2D array environment imposes full decoupling of adjacent 1D antennas, which often conflicts with the LC requirement of DC biasing: the proposed design accommodates both. The LC medium is placed inside a Substrate Integrated Waveguide (SIW) modified to work as a Groove Gap Waveguide, with radiating slots etched on the upper broad wall, that radiates as a Leaky-Wave Antenna (LWA). This allows effective application of the DC bias voltage needed for tuning the LCs. At the same time, the RF field remains laterally confined, enabling the possibility to lay several antennas in parallel and achieve 2D beam scanning. The design is validated by simulation employing the actual properties of a commercial LC medium
Vagueness Markers in Italian
Moving from a broad socio-pragmatic perspective, this study analyses how speakers of different ages use a class of items and constructions that codify intentional vagueness in Italian.
Items as un poâ âa bitâ, tipo âkindâ, diciamo âlet us sayâ, cosĂŹ âsoâ, e cose del genere âand things like thatâ, or cosa âthingâ constitute a class of linguistically heterogeneous means that often function in conversation as vagueness markers, i.e. elements by which speakers signal that their knowledge or communication are somehow only tentative, approximate and vague. Their use does not depend on language systemic factors, but is the result of a, more or less conscious, choice of speakers to enhance conversation for different reasons, which include facilitating the flow of conversation, signifying a vague categorization, and, eventually, being polite.
Operating at the pragmatic level, vagueness markers represent elements that are readily available to speakersâ choices and contribute to characterize individual and generational discourse styles. Through a corpus-based analysis of listenersâ phone-ins to a Milan radio station, this study investigates how vagueness markers are used by speakers of different ages in 1976 and in 2010, and how Italian discourse styles have evolved in the last forty years
COVID-19 Booster Vaccine Acceptance in Ethnic Minority Individuals in the United Kingdom: a mixed-methods study using Protection Motivation Theory
Background: Uptake of the COVID-19 booster vaccine among ethnic minority individuals has been lower than in the general population. However, there is little research examining the psychosocial factors that contribute to COVID-19 booster vaccine hesitancy in this population.Aim: Our study aimed to determine which factors predicted COVID-19 vaccination intention in minority ethnic individuals in Middlesbrough, using Protection Motivation Theory (PMT) and COVID-19 conspiracy beliefs, in addition to demographic variables.Method: We used a mixed-methods approach. Quantitative data were collected using an online survey. Qualitative data were collected using semi-structured interviews. 64 minority ethnic individuals (33 females, 31 males; mage = 31.06, SD = 8.36) completed the survey assessing PMT constructs, COVID-19conspiracy beliefs and demographic factors. 42.2% had received the booster vaccine, 57.6% had not. 16 survey respondents were interviewed online to gain further insight into factors affecting booster vaccineacceptance.Results: Multiple regression analysis showed that perceived susceptibility to COVID-19 was a significant predictor of booster vaccination intention, with higher perceived susceptibility being associated with higher intention to get the booster. Additionally, COVID-19 conspiracy beliefs significantly predictedintention to get the booster vaccine, with higher conspiracy beliefs being associated with lower intention to get the booster dose. Thematic analysis of the interview data showed that barriers to COVID-19 booster vaccination included time constraints and a perceived lack of practical support in the event ofexperiencing side effects. Furthermore, there was a lack of confidence in the vaccine, with individuals seeing it as lacking sufficient research. Participants also spoke of medical mistrust due to historical events involving medical experimentation on minority ethnic individuals.Conclusion: PMT and conspiracy beliefs predict COVID-19 booster vaccination in minority ethnic individuals. To help increase vaccine uptake, community leaders need to be involved in addressing peopleâs concerns, misassumptions, and lack of confidence in COVID-19 vaccination
Recommended from our members
Bidirectional evaluation for general purpose programming
A method of facilitating bidirectional programming of a user may include receiving an original program source code and evaluating the original program source code in the forward direction to generate a program output. The evaluation may occur in a programming environment. The program output may be displayed, and an indication of the user corresponding to modifying the program output may be received. The modified program output may be evaluated to generate an updated program source code, wherein the updated program source code, when evaluated, may generate the modified program output. The modified program output may be displayed in a display device of the user. A computing system including a bidirectional programming environment may also be included
1-D broadside-radiating leaky-wave antenna based on a numerically synthesized impedance surface
A newly-developed deterministic numerical technique for the automated design of metasurface antennas is applied here for the first time to the design of a 1-D printed Leaky-Wave Antenna (LWA) for broadside radiation. The surface impedance synthesis process does not require any a priori knowledge on the impedance pattern, and starts from a mask constraint on the desired far-field and practical bounds on the unit cell impedance values. The designed reactance surface for broadside radiation exhibits a non conventional patterning; this highlights the merit of using an automated design process for a design well known to be challenging for analytical methods. The antenna is physically implemented with an array of metal strips with varying gap widths and simulation results show very good agreement with the predicted performance
FP2: Fully in-Place Functional Programming
As functional programmers we always face a dilemma: should we write purely functional code, or sacrifice purity for efficiency and resort to in-place updates? This paper identifies precisely when we can have the best of both worlds: a wide class of purely functional programs can be executed safely using in-place updates without requiring allocation, provided their arguments are not shared elsewhere. We describe a linear fully in-place (FIP) calculus where we prove that we can always execute such functions in a way that requires no (de)allocation and uses constant stack space. Of course, such a calculus is only relevant if we can express interesting algorithms; we provide numerous examples of in-place functions on datastructures such as splay trees or finger trees, together with in-place versions of merge sort and quick sort. We also show how we can generically derive a map function over any polynomial data type that is fully in-place. Finally, we have implemented the rules of the FIP calculus in the Koka language. Using the Perceus reference counting garbage collection, this implementation dynamically executes FIP functions in-place whenever possibl
Digital writing technologies in higher education : theory, research, and practice
This open access book serves as a comprehensive guide to digital writing technology, featuring contributions from over 20 renowned researchers from various disciplines around the world. The book is designed to provide a state-of-the-art synthesis of the developments in digital writing in higher education, making it an essential resource for anyone interested in this rapidly evolving field.
In the first part of the book, the authors offer an overview of the impact that digitalization has had on writing, covering more than 25 key technological innovations and their implications for writing practices and pedagogical uses. Drawing on these chapters, the second part of the book explores the theoretical underpinnings of digital writing technology such as writing and learning, writing quality, formulation support, writing and thinking, and writing processes. The authors provide insightful analysis on the impact of these developments and offer valuable insights into the future of writing. Overall, this book provides a cohesive and consistent theoretical view of the new realities of digital writing, complementing existing literature on the digitalization of writing. It is an essential resource for scholars, educators, and practitioners interested in the intersection of technology and writing
Unboxed data constructors -- or, how cpp decides a halting problem
We propose a new language feature for ML-family languages, the ability to
selectively *unbox* certain data constructors, so that their runtime
representation gets compiled away to just the identity on their argument.
Unboxing must be statically rejected when it could introduce *confusions*,
that is, distinct values with the same representation.
We discuss the use-case of big numbers, where unboxing allows to write code
that is both efficient and safe, replacing either a safe but slow version or a
fast but unsafe version.
We explain the static analysis necessary to reject incorrect unboxing
requests.
We present our prototype implementation of this feature for the OCaml
programming language, discuss several design choices and the interaction with
advanced features such as Guarded Algebraic Datatypes.
Our static analysis requires expanding type definitions in type expressions,
which is not necessarily normalizing in presence of recursive type definitions.
In other words, we must decide normalization of terms in the first-order
lambda-calculus with recursion. We provide an algorithm to detect
non-termination on-the-fly during reduction, with proofs of correctness and
completeness.
Our termination-monitoring algorithm turns out to be closely related to the
normalization strategy for macro expansion in the `cpp` preprocessor.Comment: Author version, to appear at POPL 202
- âŠ