830 research outputs found

    some economic applications of scott domains

    Get PDF
    The present paper is structured around two main constructions, fixed points of functors and fibrations and sections of functors. Fixed points of functors are utilized to resolve problems of infinite regress that have recently appeared in economics. Fibrations and sections are utilized to model solution concepts abstractly, so that we can solve equations whose arguments are solution concepts. Most of the objects (games, solution concepts) that we consider can be obtained as some kind of limit of their finite subobjects. Some of the constructions preserve computability. The paper relies heavily on recent work on the semantics of program- ming languages.scott domains,infinite regress,game theory

    Community Planning Officials Survey:Understanding the everyday work of local participatory governance in Scotland

    Get PDF
    Community planning officials constitute one of the most significant groups of local public servants in Scotland today. They work across a broad range of key policy areas and are at the forefront of advancing the agenda laid out by the Christie Commission on the Future Delivery of Public Services and legislation such as the Community Empowerment (Scotland) Act. This Survey report and Executive Summary present the findings of the first survey of community planning officials (managers and officers) conducted in Scotland. Over the years improving community planning partnerships (CPPs) has often meant reforming structures and procedures; the ‘hardware’, to use a computing metaphor. Getting that right is crucial but policy, governance and public service successes often hinge on the ‘software’: relationships, mindsets, values and ways of working. Community planning officials (CPOs) operate at the heart of local governance. This survey sought to explore their views on issues related to both the ‘hardware’ and the ‘software’ of CPPs. The report has sections on: Understanding the CPO workforce Understanding the work of CPOs Using evidence Understanding how CPPs work Community engagement in community planning Frameworks, policies and reforms affecting community planning It also includes 14 recommendations focused on: developing resources and evidence to support the work of CPPs; staff development and support; improving deliberative quality in CPPs; participation and engagement; and the impact on communities and inequalities

    Lambda theories of effective lambda models

    Get PDF
    A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the more general question of whether the equational (resp. order) theory of a non syntactical model M, say Eq(M) (resp. Ord(M)) can be recursively enumerable (= r.e. below). We conjecture that no such model exists and prove the conjecture for several large classes of models. In particular we introduce a notion of effective lambda-model and show that for all effective models M, Eq(M) is different from Lb, and Ord(M) is not r.e. If moreover M belongs to the stable or strongly stable semantics, then Eq(M) is not r.e. Concerning Scott's continuous semantics we explore the class of (all) graph models, show that it satisfies Lowenheim Skolem theorem, that there exists a minimum order/equational graph theory, and that both are the order/equ theories of an effective graph model. We deduce that no graph model can have an r.e. order theory, and also show that for some large subclasses, the same is true for Eq(M).Comment: 15 pages, accepted CSL'0

    Child Psychosocial Adjustment and Parenting in Families Affected by Maternal HIV/AIDS

    Get PDF
    Child adjustment and parenting were examined in 23 9-through 16-year-old youth from families affected by maternal HIV infection and 20 same-age peers whose mothers were not infected. Children whose mothers were seropositive reported significantly more externalizing problems. Infected mothers reported less age-appropriate supervision/monitoring relative to non-infected mothers. Better mother-child relationship quality and less impairment in parental supervision/monitoring of age-appropriate youth behaviors were associated with fewer externalizing difficulties among the HIV-positive group only. Similarly, only among HIV-infected mothers was refraining from engaging in inconsistent disciplinary tactics associated with lower reports of internalizing and externalizing problems. These data highlight the promise of programs targeting parenting skills to prevent or ameliorate child difficulties

    Empowering the Frontline Police Officers to Cope with Police Social Service Role Strain in China

    Get PDF
    Provision of social service is one of the most significant roles of the police. A review of the related literature in policing seems to reveal that empowerment holds significance for frontline officers who are largely responsible for social service delivery. This study examines the possible relationships between police social service structural empowerment (PSSSE), police social service psychological empowerment (PSSPE) and police social service role strain (PSSRS) among frontline police officers in China. This study adopts a two-phase (quantitative and qualitative approaches) sequential explanatory design. In the first phase, a questionnaire is used to collect data from a sample of two hundred frontline community patrol officers in Shenzhen Public Security Bureau, China. After conducting the quantitative analysis, the author uses in-depth interviews to explore the nature of PSSRS, PSSSE, PSSPE from twelve selected interviewees' insights. According to the results of the survey and in-depth interviews, the participants report a comparatively high level of PSSRS and low levels of PSSSE and PSSPE. It has been found that there are significantly negative correlations between PSSSE, PSSPE and PSSRS in the Chinese police organization. The Chinese police force is suggested to provide effective interventions for individual experience of psychological empowerment and reorganize the current paramilitary-bureaucratic model by changing the management practices for structural empowerment in response to the PSSRS among frontline police officers

    The Court Experiences of Survivors of Interpersonal Violence

    Get PDF
    Abstract Interpersonal violence (IPV) is a complicated public problem that requires collaborative and coordinated strategies in order to address this issue effectively and appropriately. Although the court system has a significant role in their response, IPV is a complex issue for the justice system to address alone. Court system experiences may significantly impact survivors’ outcomes overall health and well-being. There are a limited number of studies showing that survivor experiences in the court have a significant impact on victim outcomes. The purpose of this study was to describe the lived experiences of female IPV survivors who have encountered IPV, highlighting their perceived interaction with the justice system and its effect on their goals and overall health and well-being. Rappaport’s empowerment theory served as a motivational construct to help achieve IPV survivors’ goals. One-on-one in-person and telephone interviews occurred with a sample of 10 IPV survivors. Qualitative data analysis was conducted via hand-coding and use of NVivo software which entailed preparing, identifying, outlining, organizing, and analyzing the raw data obtained from one-on-one interviews. The findings suggest that many survivors’ courtroom experiences re-traumatized and posed risks to their safety and had an effect on their health and well-being. The experiences were complex and often unique, and the IPV survivors’ encounters had a lasting impact on their health and well-being. Analyzing experiences and interactions between women IPV survivors and judicial officers provided significant insight into how courtroom experiences can be improved, thereby contributing to positive social change

    Philanthropy in a Global Community, Vol. 2 - Case Studies of Organizations Supporting Community Foundations

    Get PDF
    During 2001, WINGS-CF worked to develop a set of case studies describing the various forms of organizations supporting community foundations. From February to October, a WINGS-CF working group, UK-based consultant Diana Leat, and eight very different regional and national organizations assisting the development of community foundations in very different parts of the world, worked together to profile their organizations. The result is an overview, describing the key trends and lessons learned from the case studies, as well as eight individual profiles. The first section of each case study provides general background on the organization's structure,resources and activities, its involvement in community foundation development, and a picture of the environment of the region or country in which it is operating. The second section of each case study provides greater detail on an aspect of the organization, such as staffing, services for community foundations, or financial sustainability. The eight organizations included in the case study project between them illustrate the various forms of organizations supporting community foundations, capture regional/country differences, and describe organizations at different stages of development. The case studies are intended primarily to help strengthen WINGS-CF organizations in their work.They are also intended to be used as a partner piece with Volume 1 in this series, "Case Studies ofGrantmaker Associations Around the World"

    Value co-creation through APIs in Multi-sided platforms : A design science research in the E-Mobility industry

    Get PDF
    This thesis discusses various elements of value co-creation through APIs in the context of Multi-sided platforms. A design science research methodology is applied to answer the main research question of how APIs contribute to value co-creation in a Multi-sided platform environment. During the research, a model is developed that shows the impact of offering APIs to complementors, competitors and individual developers. This model is applied in the context of the E-Mobility industry. The target company, a Multi-sided platform provider that connects EV drivers with charging stations, serves as a real-world context for this thesis. During the application of the model, several artifacts are created, and the theoretical model is refined through direct feedback from business and IT professionals in the E-Mobility field
    • 

    corecore