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

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

Proceedings of the Seventh Congress of the European Society for Research in Mathematics Education

International audienceThis volume contains the Proceedings of the Seventh Congress of the European Society for Research in Mathematics Education (ERME), which took place 9-13 February 2011, at Rzeszñw in Poland

Evaluating the sustainability of urban agriculture projects

Evaluating the sustainability of urban agriculture projects. 5. International Symposium for Farming Systems Design (AGRO2015

The end of stigma? Understanding the dynamics of legitimisation in the context of TV series consumption

This research contributes to prior work on stigmatisation by looking at stigmatisation and legitimisation as social processes in the context of TV series consumption. Using in-depth interviews, we show that the dynamics of legitimisation are complex and accompanied by the reproduction of existing stigmas and creation of new stigmas

An algorithmic approach to system architecting using shape grammar-cellular automata

Thesis (Ph. D.)--Massachusetts Institute of Technology, Engineering Systems Division, 2008.Includes bibliographical references (p. 404-417).This thesis expands upon the understanding of the fundamentals of system architecting in order to more effectively apply this process to engineering systems. The universal concern about the system architecting process is that the needs and wants of the stakeholders are not being fully satisfied, primarily because too few design alternatives are created and ambiguity exists in the information required. At the same time, it is noted that nature offers a superb example of system architecting and therefore should be considered as a guide for the engineering of systems. Key features of nature's architecting processes include self-generation, diversity, emergence, least action (balance of kinetic and potential energy), system-of-systems organization, and selection for stability. Currently, no human-friendly method appears to exist that addresses the problems in the field of system architecture while at the same time emulating nature's processes. By adapting nature's self-generative approach, a systematic means is offered to more rigorously conduct system architecting and better satisfy stakeholders. After reviewing generative design methods, an algorithmic methodology is developed to generate a space of architectural solutions satisfying a given specification, local constraints, and physical laws. This approach combines a visually oriented human design interface (shape grammar) that provides an intuitive design language with a machine (cellular automata) to execute the system architecture's production set (algorithm). The manual output of the flexible shape grammar, the set of design rules, is transcribed into cellular automata neighborhoods as a sequenced production set that may include other simple programs (such as combinatoric instructions).(cont.) The resulting catalog of system architectures can be unmanageably large, so selection criteria (e.g., stability, matching interfaces, least action) are defined by the architect to narrow the solution space for stakeholder review. The shape grammar-cellular automata algorithmic approach was demonstrated across several domains of study. This methodology improves on the design's clarification and the number of design alternatives produced, which should result in greater stakeholder satisfaction. Of additional significance, this approach has shown value both in the study of the system architecting process, leading to the proposal of normative principles for system architecture, and in the modeling of systems for better understanding.by Thomas H. Speller, Jr.Ph.D

Designing a New Tactile Display Technology and its Disability Interactions

People with visual impairments have a strong desire for a refreshable tactile interface that can provide immediate access to full page of Braille and tactile graphics. Regrettably, existing devices come at a considerable expense and remain out of reach for many. The exorbitant costs associated with current tactile displays stem from their intricate design and the multitude of components needed for their construction. This underscores the pressing need for technological innovation that can enhance tactile displays, making them more accessible and available to individuals with visual impairments. This research thesis delves into the development of a novel tactile display technology known as Tacilia. This technology's necessity and prerequisites are informed by in-depth qualitative engagements with students who have visual impairments, alongside a systematic analysis of the prevailing architectures underpinning existing tactile display technologies. The evolution of Tacilia unfolds through iterative processes encompassing conceptualisation, prototyping, and evaluation. With Tacilia, three distinct products and interactive experiences are explored, empowering individuals to manually draw tactile graphics, generate digitally designed media through printing, and display these creations on a dynamic pin array display. This innovation underscores Tacilia's capability to streamline the creation of refreshable tactile displays, rendering them more fitting, usable, and economically viable for people with visual impairments

An exploration of creative managers' perspectives on digital creativity: the impact of viral campaigns on creative processes, appeals and creative teams in UK advertising agencies

This research aims to develop conceptual insight into the practice and impact of a specific digital phenomenon – “viral marketing” – on marketing communications agencies. Specifically, it explores the UK, one of the most important hubs in global advertising looking at agenciesr campaign design planning, the roles of creative teams and the management processes through three research objectives: - To explicate, classify and explore the changes in advertising campaign planning processes and roles which digital phenomena such as virals have introduced - To capture and codify the working models which creative managers employ and the messaging strategies considered and implemented in viral campaigns - To develop theoretical models for understanding virals, agency campaign management, creative roles and develop extant frameworks Prior Work: Research into virals has grown rapidly over the last ten years but it is dominated by computing studies of online diffusion. The creative perspective has received little attention. Those studies which do address this viewpoint are principally focussed on the final advert. The voice of the producers of such campaigns – creative managers – is largely absent from the literature with a single study of campaign measurement. The roles of core teams/functions within the agencies, the criteria for viral creative concept evaluation, the campaign processes and working models are experiencing unprecedented change. Viral campaigns offer a bridge between the “old” and “new” worlds; it possesses the characteristics of TV and the Web. It is important because such viral campaigns have challenged the established models of advertising management and planning. Methods: The study undertakes the first comprehensive evaluation of the exisiting research into viral marketing, locating gaps in the creative design and management. Qualitative methodology through semi-structured in-depth interviews with creative managers in a range of UK advertising agencies is used to represent their views and responses to viral phenomena as they conceived, designed and reflected on campaigns. Contribution to Knowledge: This is the first study of the pre-launch/pre-production phase of campaign development. It has clarified a plethora of terms, in so doing developing the SPEED framework to understand the biological metaphor underpinning the phenomena, and finally producing a more accurate and comprehensive definition of the phenomenon. The paradigm funnel evaluation of prior research has tested and extended formal tools to arrive at a state of the art. The current research primarily consists of studies utilising secondary datasets, mainly quantitative – this study explores questions not just of what but of why, producing deeper insight than available before. Theoretical contributions: In the final model of viral creative management and design is an overarching conceptual contribution which for the first time represents creative roles, agency management and creative considerations at both pre and post-launch campaign phases. The thesis also develops theoretical constructs in specific areas – definition from practitioners, construct of campaign zones in viral design, a model of critical factors which facilitate virals, comparative theory of conventional and viral campaigns, characteristics of viral agencies, model of digital brand/agency relationships, a role construct for digital creatives among the main theoretical developments. These led into the final theoretical model