993 research outputs found

    Affine functions and series with co-inductive real numbers

    Get PDF
    We extend the work of A. Ciaffaglione and P. Di Gianantonio on mechanical verification of algorithms for exact computation on real numbers, using infinite streams of digits implemented as co-inductive types. Four aspects are studied: the first aspect concerns the proof that digit streams can be related to the axiomatized real numbers that are already axiomatized in the proof system (axiomatized, but with no fixed representation). The second aspect re-visits the definition of an addition function, looking at techniques to let the proof search mechanism perform the effective construction of an algorithm that is correct by construction. The third aspect concerns the definition of a function to compute affine formulas with positive rational coefficients. This should be understood as a testbed to describe a technique to combine co-recursion and recursion to obtain a model for an algorithm that appears at first sight to be outside the expressive power allowed by the proof system. The fourth aspect concerns the definition of a function to compute series, with an application on the series that is used to compute Euler's number e. All these experiments should be reproducible in any proof system that supports co-inductive types, co-recursion and general forms of terminating recursion, but we performed with the Coq system [12, 3, 14]

    360° business model innovation: Toward an integrated view of business model innovation

    Get PDF
    OVERVIEW: Business model innovation has arguably become a critical way to innovate, but its success factors are poorly understood. A lack of tools allowing the examination of business models in their entirety combined with the complex relationship between business model changes and market outcomes makes this especially difficult. This article introduces a comprehensive framework that addresses these two issues, by providing an integrated, value-based view of all of the critical components of the business model. The framework is applied to two well-known cases - Netflix and Spotify - to demonstrate how the tool can be used to highlight the critical differences in business models that may at first seem very similar and show how the framework enables managers to envisage the dynamics of business model innovation

    The Pandemic\u27s Impact on the Efficacy of Chaplaincy at the Baldwin State Prison

    Get PDF
    Chaplains usually provide pastoral care for inmates, staff members, and counseling for offenders and offenders’ families. Because of the pandemic, they have not provided adequate pastoral care and counseling in their respective facilities. The restrictions imposed by the pandemic have negatively impacted the chaplain’s ability to adequately provide pastoral care and counseling in most federal and state correctional institutions. The Department of Georgia Correctional facilities, particularly at the Baldwin State prison, has also experienced this decrease in pastoral care and counseling due to the pandemic. In the Georgia Department of Corrections, all visitations, including lawyers and clergy, have been suspended since March 2020. Due to these restrictions, the chaplain of the Baldwin State prison in Georgia cannot coordinate the various religious services representing the different religious groups housed in the facility. Secondly, the facility has seven dormitories that house one hundred and seven inmates (107) per dormitory, and the COVID-19 virus can spread exponentially due to this overcrowded condition. The pandemic has severely hindered the Baldwin State prison\u27s chaplain\u27s ability to provide this critical pastoral care and counseling for staff members and offenders. This body of research implications is discussed: the restrictions imposed by the pandemic and the overcrowded conditions at this facility have impeded the Baldwin State chaplain\u27s ability to adequately provide the pastoral care and counseling required for this facility during the COVID-19 pandemic. This lack of pastoral care and counseling results in moral issues and increased mental health challenges throughout the facility

    Changing the game: public education and the discourses and practices of privatisation in educational technology policy and intervention

    Get PDF
    Privatisation in education is a contentious issue, inseparable from the shift in focus from community-based education initiatives to individualistic and economically driven ones (Ball and Youdell, 2007). This raises ethical issues with initiatives like the Western Cape Government's Game Changer initiatives, given the range of access issues that learners experience in the pervasive social inequity of South Africa. There is a lack of existing research on privatisation practices in public education in the Western Cape, specifically what linguistic strategies are utilized in the official texts promoting it. The Game Changer initiatives and their associated ‘Roadmaps' promote non-state collaboration in extra- curricular eLearning classes and broader technology rollout in under resourced public schools. Analysis of the Roadmap policy reveals discourses of fast capitalism, skills talk, datafication and digital nativism. These discourses were mirrored in the practices, text and talk generated in an after-school mathematics intervention run by an EdTech company, which I have called ZipEd, in a Cape Flats school between 2017-2018. The company prioritized their funder's mandate and to prove their software's efficacy, spun data to reflect largely positive results. In the rush to provide this data, ZipEd entered several schools without fulfilling ethical clearance requirements. Obtaining access to Game Changer pilot sites ensured ZipEd's product rollout, continued growth, and financial success, revealing the neoliberal approaches which dominate ZipEd's practices. The Game Changer policy texts and the intervention observed, treated languages as silo-ed entities, ignoring family or community approaches to literacy initiatives, curricular reform, trans-languaging strategies and inclusive language learning. While EdTech is a useful teaching tool, this promotion of “exogenous” (Ball and Youdell, 2007) privatisation in the Western Cape, blurs the lines between state and non-state involvement, ultimately resulting in the commodification of public schooling

    Jumping, dumping, and pumping: Three mental principles for idea generation to activate software-based tools in business model innovation

    Get PDF
    Following the growing interest in business model innovation, software tools have shown great potential in supporting business model development and innovation. The highly creative task of business model innovation is, however, not effectively supported by software, and especially the cognitive processes involved in the generation of business model ideas have received little attention in software design-knowledge. Our study is the first to investigate how cognitive models can inform the development of creativity-enhancing functions to activate software-based tools in business model innovation. Specifically, we utilize three mental principles from cognitive psychology for the purpose of business model innovation. Cognitive stimuli can activate these mental principles and aid individuals by promoting perspectival changes for idea generation. This enables us to propose theoretical foundations for researching business model development tools to help practitioners and researchers in developing and evaluating software-based tools supporting innovating business models

    e3 service: A Critical Reflection and Future Research

    Get PDF
    Commercial services are of utmost importance for the economy. Due to the widespread use of information and communication technologies, many of these services may be delivered online by means of service value networks. To automate this delivery, however, issues such as composition, integration, and operationalization need to be addressed. In this paper, the authors share their long-term vision on composition of service value networks and describe relationships with fields such as cloud computing and enterprise computing. As a demonstration of the state of the art, capabilities and limitations of e 3 service are described and research challenges are defined
    • 

    corecore