16,271 research outputs found

    Trust in MDE Components: the DOMINO Experiment

    Get PDF
    International audienceA large number of modeling activities can be automatic or computer assisted. This automation ensures a more rapid and robust software development. However, engineers must ensure that the models have the properties required for the application. In order to tend towards this requirement, the DOMINO project (DOMaINs and methodological prOcess) proposes to use the socalled trustworthy Model-Driven Engineering (MDE) components and aims to provide a methodology for the validation and qualification of such components

    Perceptions on the use of social media in the banking industry

    Get PDF
    As banks operate in a competitive environment, it is important for managers and marketers to identify how customer satisfaction and customer retention levels can be can be improved through social media aspects. Although models of customer satisfaction and customer retention have been well researched for client products/services, the literature available on social media as a marketing tool is limited in quantity compared to other more established areas of marketing. This research study reviews existing literature on the banking industry in terms of its characteristics and challenges. Literature on customer satisfaction and customer retention as relevant to the banking industry is reviewed, as well as how social media aspects can improve customer satisfaction and customer retention. Thus the primary objective of this study is to identify the social media aspects (benefits, clients’ trust and content) that influence the intervening variable (customer satisfaction) and dependent variable (customer retention) in the banking industry. An empirical investigation was undertaken to establish whether the independent variables; namely benefits, clients’ trust and content as related to social media can possibly influence customer satisfaction and ultimately customer retention in the banking industry. A positivistic research paradigm was followed for this study. Quantitative data was gathered by distributing questionnaires to a sample of bank clients and managers. The sample size consisted of 150 bank clients and 30 bank managers in the Nelson Mandela Metropolitan area in South Africa. The questionnaires were statistically analysed using the computer programmes Microsoft Excel and Statistica Version 12.0. The validity of the study was measured by utilising Exploratory Factor analysis. Cronbach’s Alpha correlation coefficients were calculated to measure the reliability and internal consistency of the measurement instrument of this study. Data was analysed in four phases. Descriptive statistics concerning the respondents and variables were calculated for this study. The validity of the measuring instrument was tested by performing EFA to consider construct validity. Thereafter, the internal reliability of the data was assessed using Cronbach’s Alpha correlation coefficients. Pearson’s product-moment correlation coefficients and multiple regression analyses were calculated. Through multiple regression calculations, the relationships predicted by the four hypotheses were analysed. Finally, t-tests and analysis of variance (ANOVA) tests were conducted. The empirical investigation revealed that significant positive relationships exist between the independent variables benefits, trustworthy content and the intervening variable customer satisfaction, as well as between these two independent variables and the dependent variable customer retention. From the empirical results it was concluded that if banks offer benefits and trustworthy content to their clients through social media channels, clients are likely to be satisfied with and retained by their bank. This study established and confirmed the significant positive relationship that exists between customer satisfaction and customer retention in the banking industry. All bank managers and marketers will benefit from the empirical results as well as the recommendations of this study on how to improve customer satisfaction and customer retention through social media channels which will ultimately improve the performance of banks

    Verification, Analytical Validation, and Clinical Validation (V3): The Foundation of Determining Fit-for-Purpose for Biometric Monitoring Technologies (BioMeTs)

    Get PDF
    Digital medicine is an interdisciplinary field, drawing together stakeholders with expertize in engineering, manufacturing, clinical science, data science, biostatistics, regulatory science, ethics, patient advocacy, and healthcare policy, to name a few. Although this diversity is undoubtedly valuable, it can lead to confusion regarding terminology and best practices. There are many instances, as we detail in this paper, where a single term is used by different groups to mean different things, as well as cases where multiple terms are used to describe essentially the same concept. Our intent is to clarify core terminology and best practices for the evaluation of Biometric Monitoring Technologies (BioMeTs), without unnecessarily introducing new terms. We focus on the evaluation of BioMeTs as fit-for-purpose for use in clinical trials. However, our intent is for this framework to be instructional to all users of digital measurement tools, regardless of setting or intended use. We propose and describe a three-component framework intended to provide a foundational evaluation framework for BioMeTs. This framework includes (1) verification, (2) analytical validation, and (3) clinical validation. We aim for this common vocabulary to enable more effective communication and collaboration, generate a common and meaningful evidence base for BioMeTs, and improve the accessibility of the digital medicine field

    Developing our capability in cyber security: Academic Centres of Excellence in Cyber Security Research

    Get PDF

    Empowering the trustworthiness of ML-based critical systems through engineering activities

    Full text link
    This paper reviews the entire engineering process of trustworthy Machine Learning (ML) algorithms designed to equip critical systems with advanced analytics and decision functions. We start from the fundamental principles of ML and describe the core elements conditioning its trust, particularly through its design: namely domain specification, data engineering, design of the ML algorithms, their implementation, evaluation and deployment. The latter components are organized in an unique framework for the design of trusted ML systems.Comment: This work has been supported by the French government under the "France 2030" program, as part of the SystemX Technological Research Institute Research Institut

    Towards Formally Verified Optimizing Compilation in Flight Control Software

    Get PDF
    International audienceThis work presents a preliminary evaluation of the use of the CompCert formally specified and verified optimizing compiler for the development of level A critical flight control software. First, the motivation for choosing CompCert is presented, as well as the requirements and constraints for safety-critical avionics software. The main point is to allow optimized code generation by relying on the formal proof of correctness instead of the current un-optimized generation required to produce assembly code structurally similar to the algorithmic language (and even the initial models) source code. The evaluation of its performance (measured using WCET) is presented and the results are compared to those obtained with the currently used compiler. Finally, the paper discusses verification and certification issues that are raised when one seeks to use CompCert for the development of such critical software

    New challenges for trade unions in the face of algorithmic management in the work environment

    Get PDF
    Algorithmic management is the subject of numerous scientific studies. This article attempts to answer the question of what kinds of new competencies and skills should be acquired by trade unions in the face of challenges related to algorithmic management. The author indicates two main areas of trade union activities: The first concerns the challenges associated with the process of explaining and transplanting artificial intelligence. The second concerns participation in the AI certification process. Considering that artificial intelligence algorithms' certification process is an entirely new undertaking, it should be based on a pragmatic search for peaceful solutions, encourage compliance with the law and limit the possibility of stiff administrative and criminal sanctions. For this purpose, the author considers using the theory of responsive regulation as a pragmatic approach for certification agencies and trade unions. The author considers the cooperation of artificial intelligence to be the main principle. In the working environment, there should be a principle of human importance-the focus of personalism

    What are the impacts and cost-effectiveness of strategies to improve performance of untrained and under-trained teachers in the classroom in developing countries?

    Get PDF
    What are the impacts and cost effectiveness of strategies to improve performance of untrained and under-trained teachers in the classroom in developing countries
    • …
    corecore