This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

With our ever-increasing reliance on computer technology in every field of modern life, the need for continuously evolving and improving cyber security remains a constant imperative. This book presents the 3 keynote speeches and 10 papers delivered at the 2nd Singapore Cyber Security R&D Conference (SG-CRC 2017), held in Singapore, on 21-22 February 2017. SG-CRC 2017 focuses on the latest research into the techniques and methodologies of cyber security. The goal is to construct systems which are resistant to cyber-attack, enabling the construction of safe execution environments and improving the security of both hardware and software by means of mathematical tools and engineering approaches for the design, verification and monitoring of cyber-physical systems. Covering subjects which range from messaging in the public cloud and the use of scholarly digital libraries as a platform for malware distribution, to low-dimensional bigram analysis for mobile data fragment classification, this book will be of interest to all those whose business it is to improve cyber security.

Breathtaking photographs provide a rare glimpse into the private abodes of designers Sheila Bridges, Nina Campbell, Rachel Ashwell, Trish Foley, and fifteen others. Behind every stunning interior is a sure sense of personal vision; in these home designs we see exactly how the pros make their creative choices. From bungalows to city apartments, from a romantic garden house built in a weekend to artistic rooms that are always in progress, these remarkable interiors will provide endless inspiration and instruction. "Wouldn't it be fun to peek inside the homes of home decorators'...This book offers the expected beautiful photos but also a good dose of each designer's philosophy and decorating hints."--Los Angeles Times. "Because these women spend their lives advising people about design, the book is a virtual compendium of ideas on creating a certain look or style. There's a great deal about color, organization, storage solutions and managing details."--Baltimore Sun

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics. * The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

The chapters in this captivating volume demonstrate the importance and power of design and the ubiquitous and forceful effects it has on human life within the study of anthropology. The scholars explore the interactions between anthropology and design through a cross-disciplinary approach, and while their approaches vary in how they specifically consider design, they are all centered around the design-and-anthropology relationship. The chapters look at anthropology for design, in which anthropological methods and concepts are mobilized in the design process; anthropology of design, in which design is positioned as an object of ethnographic inquiry and critique; and design for anthropology, in which anthropologists borrow concepts and practices from design to enhance traditional ethnographic forms. Collectively, the chapters argue that bringing design and anthropology together can transform both fields in more than one way and that to tease out the implications of using design to reimagine ethnography--and of using ethnography to reimagine design--we need to consider the historical specificity of their entanglements.