Experience unbound: The effects of coworking on workplace design practice

This thesis uses the typology of coworking and the values associated with it as a lens through which to look at the design of the broader workplace. It examines the ways in which people behave in these new working environments and how these designed spaces are planned, briefed, commissioned and evaluated. The study responds to a continuing gap in the knowledge around the spatial constitution and behaviours of coworking despite a growing interest from corporate organisations. Taking an inter-disciplinary approach that draws on environmental psychology, design practice and the social sciences, the thesis is rooted in both academia and industry, presenting four design studies that map the development and spatial manifestations of coworking and explore user behaviour in space. The thesis explores the values and spatial strategies of coworking through the quantitative analysis of 100 coworking home pages and 73 floor plans, and places coworking in the wider context of historical and current workplace development. Alongside this, it adopts design ethnography techniques to explore user behaviour in space at three different sites: the Impact Hub in Birmingham and Second Home in London - both coworking spaces - and Sony PlayStation in London, a commercial workplace seeking to build a more creative community. Each site uses different strategies for managing change and co-creation, but with the same aims of prioritising user experience and building and supporting collaborative relationships. In the original design study, new user-centred design tools for brief making and evaluation are developed and applied at the Impact Hub and Sony PlayStation. With relatively little academic research into the spaces of coworking, these design studies provide a platform to explore the values, infrastructures and spatial strategies associated with coworking, identify points of departure from established models, and identify whether there are central ideas within coworking that might be applied to the wider workplace. Six original contributions to knowledge are presented: a new definitional model of coworking, quantitative coworking spatial analysis, a design taxonomy of coworking spaces, an adapted framework for considering user experience, a user-centred design toolkit, and recommendations for incorporating aspects of coworking into wider workplace design. The study identifies that the success of a coworking space depends on the experience that they create. This relies on complex and evolving interactions between space, support and service infrastructures, brand identification and community management, and the thesis highlights that simply adopting the spatial strategies or aesthetics of coworking without acknowledging its careful curation of space and relationships is unlikely to produce the desired results. This presents new challenges for the briefing, design and ongoing management of the workplace, which are discussed in the thesis. This PhD concludes with insights into how the essential qualities of coworking might be used to reshape spaces for creative knowledge work alongside a set of practical tools and recommendations that relate to briefing, design and post-occupancy evaluation processes

Computer Aided Verification

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

Computer Aided Verification

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

Communication and cooperation in evolutionary biology

How can the concepts and results of communication theory aid evolutionary biology? This thesis argues for an explanatory framework, evolutionary communication theory, that interprets and illuminates scientific research into the phenomenon of biological signalling. By expanding the theory beyond the models and goals familiar to Claude Shannon and other engineers, real insight is gained into how strategic interplay between senders and receivers shapes signal form. Furthermore, interpreting artificial and natural signals in terms of sender-receiver teleosemantics demonstrates the explanatory role of relations borne between signals and world affairs. One of the major results of the thesis is a rejection of the orthodox distinction between Shannon and semantic information. While there are at least two useful distinctions to be drawn -- between cues and signals, and between statistical and functional content -- the terminological confusion that gave rise to the phrase `Shannon information' should be put aside for good. Chapter 1 outlines a way to capture the relationships between signals and other signal-like interactions using a multi-dimensional conceptual space called a hypercube. I argue that sender-receiver teleosemantics is uniquely well suited to capturing those aspects of communication theory that render it a viable mathematical framework for evolutionary biology. Chapter 2 discusses an early attempt to apply communication theory in evolutionary biology. Haldane & Spurway's informational interpretation of the honeybee waggle dance has recently been criticised on mathematical grounds. These criticisms lend support to scepticism about the relevance of information for evolutionary biology. I argue that the criticisms are themselves mathematically erroneous, so one route to scepticism about information is undercut. Chapter 3 explores a related line of scepticism. It is common in the philosophy of biology to treat the concepts and tools of communication theory as insufficient or irrelevant for analysing semantic content. I argue that the grounds of this supposition are based on misinterpretations of some features of communication theory. In chapter 4 I reconstruct Millikan's teleosemantics in a causal-modelling setting, highlighting the explanatory role of semantic content. In chapter 5 I respond to objections to the teleosemantic account, including the claim that the theory renders explanations of success that appeal to semantic content circular. I also argue for an interpretation of important features of communication-theoretic models in terms of teleosemantics. Chapter 6 explores another challenge to applying teleosemantics to biological signals. The theory places emphasis on cooperation between senders and receivers, but biological signals are often fraught with evolutionary conflict. I discuss recent formal work, and argue that prospects for teleosemantics are good. Finally, in chapter 7 I argue that an explanatory framework that draws on communication-theoretic concepts would be beneficial to evolutionary biology. I present case studies of communicative behaviour for which biologists offer explanations that are well interpreted through the principles of communications engineering

2015-2016 Boise State University Graduate Catalog

The graduate catalog describes the graduate programs offered by Boise State University and the policies, procedures, and requirements that govern those programs. Other pertinent university publications are the Boise State University Student Handbook, and the Boise State University Policy Manual. All of these publications are available online at www.boisestate.edu along with the online schedule of classes. Prospective students are also encouraged to contact the graduate program coordinator of the program of interest for additional information