31,869 research outputs found

    THE TRANSLATION ANALYSIS OF PUN IN THE FILM ENTITLED MADAGASCAR

    Full text link
    This 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

    Fair Termination for Resource-Aware Active Objects

    No full text
    Active 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 link
    Articles 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

    Implementation Correctness for Replicated Data Types, Categorically

    No full text
    Replicated 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

    Bianchi type-I universe in f(R, T) modified gravity with quark matter and Λ

    Full text link
    32nd International Physics Congress of Turkish-Physical-Society (TPS) -- SEP 06-09, 2016 -- Bodrum, TURKEYIn this study, we investigate homogeneous and anisotropic Bianchi type I universe in the presence of quark matter source in f (R, T) gravity (Harko et al. in Phys. Rev. D 84:024020, 2011) with cosmological constant A (where R is the Ricci scalar and T is the trace of the energy momentum tensor). For this aim we have used the anisotropy feature of Bianchi type I universe and equation of states (EoS) of quark matter. We explore the exact solution f(R, T)=R + 2f(T) model for Bianchi type I universe model. When t -> infinity, we get very small cosmological constant value, this result agrees with recent observations.Turkish Phys So

    Clinton F and Beatrice Ward

    No full text
    Clinton F. and Beatrice Ward Parvin of Old Manatee (East Bradenton). She is the author of "I Remember, a family memoir." Copy on file at the Manatee County Central Library

    Evidence for the decay B0→J/ψω and measurement of the relative branching fractions of meson decays to J/ψη and J/ψη′

    Full text link
    First evidence of the B 0 → J / ψ ω decay is found and the B s 0 → J / ψ η and B s 0 → J / ψ η ′ decays are studied using a dataset corresponding to an integrated luminosity of 1.0 fb -1 collected by the LHCb experiment in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV. The branching fractions of these decays are measured relative to that of the B 0 → J / ψ ρ 0 decay:frac(B (B 0 → J / ψ ω), B (B 0 → J / ψ ρ 0)) = 0.89 ± 0.19 (stat) - 0.13 + 0.07 (syst),frac(B (B s 0 → J / ψ η), B (B 0 → J / ψ ρ 0)) = 14.0 ± 1.2 (stat) - 1.5 + 1.1 (syst) - 1.0 + 1.1 (frac(f d, f s)),frac(B (B s 0 → J / ψ η ′), B (B 0 → J / ψ ρ 0)) = 12.7 ± 1.1 (stat) - 1.3 + 0.5 (syst) - 0.9 + 1.0 (frac(f d, f s)), where the last uncertainty is due to the knowledge of f d / f s, the ratio of b-quark hadronization factors that accounts for the different production rate of B 0 and B s 0 mesons. The ratio of the branching fractions of B s 0 → J / ψ η ′ and B s 0 → J / ψ η decays is measured to befrac(B (B s 0 → J / ψ η ′), B (B s 0 → J / ψ η)) = 0.90 ± 0.09 (stat) - 0.02 + 0.06 (syst)
    corecore