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

Measuring knowledge sharing processes through social network analysis within construction organisations

The construction industry is a knowledge intensive and information dependent industry. Organisations risk losing valuable knowledge, when the employees leave them. Therefore, construction organisations need to nurture opportunities to disseminate knowledge through strengthening knowledge-sharing networks. This study aimed at evaluating the formal and informal knowledge sharing methods in social networks within Australian construction organisations and identifying how knowledge sharing could be improved. Data were collected from two estimating teams in two case studies. The collected data through semi-structured interviews were analysed using UCINET, a Social Network Analysis (SNA) tool, and SNA measures. The findings revealed that one case study consisted of influencers, while the other demonstrated an optimal knowledge sharing structure in both formal and informal knowledge sharing methods. Social networks could vary based on the organisation as well as the individuals’ behaviour. Identifying networks with specific issues and taking steps to strengthen networks will enable to achieve optimum knowledge sharing processes. This research offers knowledge sharing good practices for construction organisations to optimise their knowledge sharing processes

EBook proceedings of the ESERA 2011 conference : science learning and citizenship

This ebook contains fourteen parts according to the strands of the ESERA 2011 conference. Each part is co-edited by one or two persons, most of them were strand chairs. All papers in this ebook correspond to accepted communications during the ESERA conference that were reviewed by two referees. Moreover the co-editors carried out a global reviewing of the papers.ESERA - European Science Education Research Associatio

Rerolling Boardgames: Essays on Themes, Systems, Experiences and Ideologies (Studies in Gaming)

Despite the advent and explosion of videogames, boardgames--from fast-paced party games to intensely strategic titles--have in recent years become more numerous and more diverse in terms of genre, ethos and content. The growth of gaming events and conventions such as Essen Spiel, Gen Con and the UK Games EXPO, as well as crowdfunding through sites like Kickstarter, has diversified the evolution of game development, which is increasingly driven by fans, and boardgames provide an important glue to geek culture. In academia, boardgames are used in a practical sense to teach elements of design and game mechanics. Game studies is also recognizing the importance of expanding its focus beyond the digital. As yet, however, no collected work has explored the many different approaches emerging around the critical challenges that boardgaming represents. In this collection, game theorists analyze boardgame play and player behavior, and explore the complex interactions between the sociality, conflict, competition and cooperation that boardgames foster. Game designers discuss the opportunities boardgame system designs offer for narrative and social play. Cultural theorists discuss boardgames' complex history as both beautiful physical artifacts and special places within cultural experiences of play