Search for dissertations about: "multiple logics"

Showing result 11 - 15 of 35 swedish dissertations containing the words multiple logics.

  2. 11. Competing logics in hospital mergers : the case of the Karolinska University Hospital

    Author : Soki Choi; Karolinska Institutet; Karolinska Institutet; []
    Keywords : ;

    Abstract : Introduction: Today there is no doubt that mergers have permeated all sectors of society, including health care. Starting in the US, extensive waves of hospital mergers occurred at a record pace in the 1980’s typically justified by promising dramatic financial and operational improvements. READ MORE

  4. 12. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    Author : Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. READ MORE

  5. 13. Artful organizing : essays on places, measurements and money flows in the Contemporary Cultural World

    Author : Erik Wikberg; Handelshögskolan i Stockholm; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Abstract : This dissertation focuses on how individuals, organizations, and markets manage contradictory demands and expectations from their environment. It studies primarily two fields of cultural production: the art worlds for contemporary art and the organizational field of architecture. READ MORE

  6. 14. Transforming society through multilevel dynamics : a case of social entrepreneurship in the sanitation sector

    Author : Suvi Kokko; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Abstract : Social entrepreneurship and social innovation are expected to take on a growing role in solving global problems of sustainability. However, many social entrepreneurial ventures and social innovations fail to create real change. READ MORE

  7. 15. Integrating the Z notation and behavioural formalisms

    Author : Kenji Taguchi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Informatics; computer and systems science; Integrated Formal Methods; CCS; Z; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; datorteknik; Computer Systems;

    Abstract : The last several years have witnessed an increasing interest in integrating different formalisms in the formal methods research community. Particularly a number of notations have been proposed by different authors which integrate existing state-based formalisms such as Z, VDM and B and behavioural formalisms such as CCS, CSP and Statecharts. READ MORE