328,123 research outputs found
THE TRANSLATION ANALYSIS OF PUN IN THE FILM ENTITLED MADAGASCAR
Full text linkThis study is focused the analysis on the types of pun, the analysis of
translation techniques in translating pun, and the analysis of the accuracy. The
purposes of this study were to describe the types of pun found in the movie and to
discover translation techniques employed by the translator and the quality of the
translation in terms of accuracy in translating pun .
This study was a descriptive qualitative research where the researcher only
described all the facts on the existed data. The data were taken from the film
entitled Madagascar by means of purposive sampling. There were 21 data applied
in this research. In order to obtain reliable result on the quality of translation,
questionnaires were distributed to the three raters to define the accuracy of the
translation .
The translation techniques employed in the translation are three (3). They
are: pun is translated into non pun (16 data), pun in the ST is copied into TT (2
data), and pun is rendered with other rhetorical device (1 datum). The results of
the study shows that there are 15.79 % of the data are accurate translation and
there are 84.21 % of the data are less accurate translation. The figure shows that
the translations are mostly not so accurate.
The researcher recommended the translator to enhance his/her knowledge
on wordplay in order to produce a quality translation. Since the focus of this study
is at the level of accuracy, the researcher expected that other students or
researchers would like to enhance the study on the related topic such as the
readability and acceptability
Upper Ocean Thermal Structure and the Western North Pacific Category-5 Typhoons Part II: Dependence on Translation Speed
No full textUpper-Ocean Thermal Structure and the Western North Pacific Category 5 Typhoons. Part I: Ocean Features and the Category 5 Typhoons' Intensification
No full textValidation and Application of Altimetry-derived Upper Ocean Thermal Structure in the Western North Pacific Ocean for Typhoon Intensity Forecast
No full textFair Termination for Resource-Aware Active Objects
No full textActive object systems are a model of distributed computation that has been adopted for modelling distributed systems and business process workflows. This field of modelling is, in essence, concurrent and resource-aware, motivating the development of resource-aware formalisations on the active object model.
The contributions of this work are the development of a core calculus for resource-aware active objects together with a type system ensuring that well-typed programs are fairly terminating, i.e., they can always eventually terminate.
To achieve this, we combine techniques from graded semantics and type systems, which are quite well understood for sequential programs, with those for fair termination, which have been developed for synchronous~sessions
A software framework for adaptive and interoperable internet-delivered psychological treatments
Full text linkArticles II and V are © 2020 IEEE. Reprinted, with permission.
In reference to IEEE copyrighted material which is used with permission in this thesis, the IEEE does not endorse any of Western Norway University of Applied Sciences’s products or services. Internal or personal use of this material is permitted. If interested in reprinting/republishing IEEE copyrighted material for advertising or promotional purposes or for creating new collective works for resale or redistribution, please go to http://www.ieee.org/publications_standards/publications/rights/rights_link.html to learn how to obtain a License from RightsLink.BACKGROUND Statistics unveil the predominance of mental and neurological disorders globally. Handling these mental and neurological disorders is economically, physically and emotionally challenging. Proper healthcare treatments would have been an ideal solution for these people suffering from these disorders. However, provided limited healthcare resources, an alternative solution is to use the Internet to provide psychological treatments. The use of Internet-Delivered Psychological Treatments (IDPT) can accelerate treatments for people globally at a lower cost. While such IDPT systems have been practised at volume, user adherence is low with high dropout rates. Low adherence in treatments is primarily due to the IDPT system’s inability to adapt treatments according to user needs, context and preferences.
OBJECTIVE This study is accomplished in collaboration with a large interdisciplinary project entitled as INTROMAT. INTROMAT brings together ICT researchers, ICT industries, health researchers, patients, clinicians, and patients next of kin to reach its vision. The project’s vision is to improve public mental health through innovative technologies. The main objective of this thesis, inclined to fulfil this vision, is to design, develop and evaluate an adaptive IDPT framework.
METHODS Based on the INTROMAT project’s problem domain and goals, we started with the study of state-of-the-art works, including systematic literature review, evaluation of available systems, analysis of the previous studies on the problem domain, and evaluation of past case studies. Based on these studies, we identified two primary gaps in the current IDPT systems, lack of adaptiveness and limited interoperability. Then, we used MDE and Domain-Driven Design (DDD) techniques to address these two gaps.
RESULTS We proposed a software framework for developing adaptive, reusable, and interoperable Internet-Delivered Psychological Treatments (IDPT), referred hereto as OpenIDPT Framework. The OpenIDPT Framework includes a) a Reference Model (RM), b) a Reference Architecture (RA), c) an Information Architecture (IA), and d) an open-source implementation of an adaptive IDPT system.The reference model reveals the adaptive elements (what to adapt), adaptive dimensions (on what basis to adapt), information architecture (how to structure content), and strategies (how to adapt) of an adaptive IDPT system. The Reference Architecture unveils the technical architecture of an adaptive IDPT system. The information architecture guides how to structure and organize the content for better discoverability and comprehensibility. To evaluate the proposed RA of adaptive IDPT systems, we implemented a prototype as an Open-Source Software. We refer to it as Open-Source Adaptive IDPT System (OSAIS). We used Design Science Research (DSR) evaluation methods to assess the efficacy of the proposed artefacts and their ability to address identified research gaps. Our preliminary results demonstrate that the proposed artefacts exhibit capabilities to use comprehensive user profiling techniques to adapt interventions using different rule-based engines, recommendation systems, and artificial intelligence (AI) based algorithms. As a Proof-of-Concept of AI-based algorithms, we present an adaptive strategy based on Natural Language Processing (NLP) techniques that analyze patientauthored text data and extract depression symptoms corresponding to a clinically established psychometric assessment questionnaire PHQ-9. The strategy utilizes the proposed novel Word Embedding (Depression2Vec) to extract depression symptoms from patient-authored text and adapts psychological treatments based on the absence or presence of depression symptoms. Furthermore, to obtain interoperability in the OpenIDPT Framework, we created an open-source Resource Server (RS) based on GraphQL. An RS is a web application that can read, write, update, and delete (CRUD) HL7 FHIR resources. HL7 FHIR is an open healthcare IT standard (analogous to data structure) for healthcare data exchange. GraphQL is a data query and manipulation language for Web-Service communications.
CONCLUSION This study demonstrates the feasibility of using an adaptive system to enhance user adherence. With the ubiquity of ambient intelligence and predictive algorithms, further study on how to combine these IoT technologies with the adaptive system is prudent and exciting.publishedVersionParts of this dissertation are © IEEE, and will not be available
Système d'archivage et de recherche de filigranes
No full textRauber Christian, Tschudin Peter F., Pun Thierry. Système d'archivage et de recherche de filigranes. In: Gazette du livre médiéval, n°31. Automne 1997. pp. 31-40
Every Pun Intended
Full text linkWhen it comes to wordplay, I’m the pun and only. Or I had been for the past decade
Open Data for Bankers example
No full text<p>LICENSE<br>
This content has been generated via the EU H2020 RIA project COEMS - Continuous Observation of Embedded Multicore Systems<br>
https://www.coems.eu</p>
<p>This work is licensed under a Creative Commons Attribution 4.0 International License, see https://creativecommons.org/licenses/by/4.0/.</p>
<p>The COEMS project is funded through the European Horizon 2020 program under grant agreement no. 732016.</p>
<p>OVERVIEW<br>
This folder contains Open Data for the "bank_lock" case of study for the HAVELUND 65 paper.<br>
The data is generated in the context of the COEMS EU H2020 project, which provides a novel platform for online monitoring of multicore systems.<br>
For the case of study, we collect these data: the source code, the compiled instrumented binary file, the execution traces, the result of analyzing those execution traces using Tessla specifications [1], and the Tessla specifications.<br>
The experiment consists of a 'default' version, that shows the ideal implementation and execution of a multicore code with no errors; and a 'race' version which include a potential data race error.<br>
The evaluation of Tessla specifications over the execution traces should point out potential problems in the code.<br>
The content of this folder is organised in several subfolders depending on the selected configuration (i.e., 'default' or 'race').<br>
In particular, the folder hierarchy is:<br>
Root:<br>
|_> case_study_name:<br>
|_> src/<br>
|_> bin/<br>
|_> spec/<br>
|_> traces/<br>
|_> default<br>
|_> race<br>
|_> result/<br>
|_> default<br>
|_> race</p>
<p>The src/ folder contains a flattened version of the original C code, which is shrunk into a single file in the case of several source files.<br>
The bin/ folder contains the compilation and instrumentation of the C file into an ARM binary executable. <br>
The spec/ folder contains the Tessla specifications.<br>
The traces/ folder contains the result of processing the hw.tessla specification by the COEMS box.<br>
The result/ folder contains the result of evaluating the sw.tessla specification on the COEMS box output traces with the Tessla interpreter.<br>
The intermediate traces and Tessla reports are classified in several subfolders depending on the target configuration (i.e., 'default' or 'race').</p>
<p>[1] https://www.tessla.io/</p>
<p>SPECIFIC CONFIGURATION</p>
<p>This README file and the rest of the data in this folder have been automatically created.<br>
The first part of the experiments (hw.tessla) are executed on the COEMS specific hardware in order to efficiently run the online monitoring and filtering.<br>
The output of the COEMS box is saved into the traces/ folder.<br>
In order to complete the analysis for race checking, a Personal Computer must run the second part of the Tessla specification (sw.tessla) over the output of the COEMS box.<br>
Data race reports are precomputed in the result/ folder.</p>
<p><br>
COMMAND LINE</p>
<p><br>
Generated traces<br>
-------------------------<br>
The execution of the ARM binary will automatically emit the traces to the COEMS box, which will filter the first part of the events using the hw.tessla specification.<br>
The COEMS box then emits preprocessed traces that can be analyzed by the Tessla interpreter using the sw.tessla specification.</p>
<p>COEMS box output traces (i.e., for the hw.tessla spec):<br>
banker_lock/traces/default/coems_output_trace.log<br>
banker_lock/traces/race/coems_output_trace.log</p>
<p>Tessla interpreter data race report (i.e., for the sw.tessla spec):<br>
banker_lock/result/default/data_race_report.txt<br>
banker_lock/result/race/data_race_report.txt</p>
<p><br>
Analyze the traces using Tessla specs<br>
-------------------------------------<br>
The following software is required in order to analyze the traces obtained in the previous step:<br>
1) The TeSSLa interpreter (tessla.jar), which will run the sw.tessla stage.</p>
<p>We use the next alias:</p>
<p>alias tessla="java -jar tessla.jar"</p>
<p><br>
TeSSLa report for the HW trace<br>
````<br>
tessla banker_lock/spec/sw.tessla banker_lock/traces/default/coems_output_trace.log > banker_lock/result/default/data_race_report.txt<br>
tessla banker_lock/spec/sw.tessla banker_lock/traces/race/coems_output_trace.log > banker_lock/result/race/data_race_report.txt<br>
````</p>
<p>In the 'default' scenario, the TeSSLa interpreter should report potential issues in the default/data_race_report.txt.<br>
Because of the eraser algorithm, it shows false positives (i.e., data races that happen after pthread_join).<br>
E.g.,<br>
105993503535: error_0_in_line = 96</p>
<p>In the 'race' scenario, the TeSSLa interpreter should report potential issues in the race/data_race_report.txt.<br>
E.g.:<br>
105847960743: error_0_in_line = 52.</p>
Implementation Correctness for Replicated Data Types, Categorically
No full textReplicated Data Types (rdts) have been introduced as an abstraction for dealing with weakly consistent data stores, which may (temporarily) expose multiple, inconsistent views of their state. In the literature, rdts are usually presented in set-theoretical terms: Only recently different specification flavours have been proposed, among them a denotational formalism that inter alia captures specification refinement. So far, however, no abstract model has been proposed for the implementations and their correctness with respect to specifications. This paper fills the gap: We first give categorical constructions for distilling an operational model from a specification, as well as its implementations, and then we define a notion of implementation correctness via simulation
- …
