Expressive Order

This book introduces affect control theory to lay readers of sociology, and additionally guides sociology specialists into the theory's deep structure. It is the most comprehensive available introduction to affect control theory, an important and expanding framework in sociology. The book describes in plain language how sociology's best developed cybernetic model can be used to interpret actions and emotions that arise in everyday life.

This book presents a comparative ethnographic understanding of government and low-fee private schools in India within the context of ever-increasing privatization and commercialization of education and the growing presence of non-state actors. Drawing on rich empirical data, the book provides an ethnographic account of a government and a low-fee private school in Hyderabad, India, and explores life in these two distinct spaces through the lens of culture. While private schools catering to the poorer sections have been proliferating, little is known about how these low-fee private schools operate, how choices and negotiations unfold, the classroom discourses, subjective meanings of different stakeholders, and the kind of education provided in these schools vis-à-vis the government schools. The book focuses on the educational experiences, schooling choices, processes, and voices of the children and teachers at these schools to reflect on how school culture influences the quality of education. Based on intensive fieldwork and qualitative data, the book provides contextual insights into what exactly happens inside the schools and classrooms of two contrasting schooling provisions in India and helps understand the world views of different stakeholders as they negotiate their daily lives. The book will be of interest to students, researchers, and teachers of education, sociology of education, childhood studies, urban education, and teacher education. It will also be useful for education policymakers, educationists, education professionals, and those working on private schooling in India.

Theoretical Studies in Computer Science focuses on the field of theoretical computer science. This book discusses the context-free multi-languages, non-membership in certain families of context-free languages, and single tree grammars. The complexity of structural containment and equivalence, interface between language theory and database theory, and automata theory for database theoreticians are also deliberated. This text likewise covers the datalog linearization of chain queries, expressive power of query languages, and object identity and query equivalences. Other topics include the unified approach to data and meta-data modification for data/knowledge bases, polygon clipping algorithms, and convex polygon generator. This publication is intended for computer scientists and researchers interested in theoretical computer science.

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning expressive power of several variants of dependence logic with different sets of logical connectives and generalized dependence atoms; connections between inclusion logic and the least-fixed point logic; an overview of dependencies in databases by addressing the relationships between implication problems for fragments of statistical conditional independencies, embedded multivalued dependencies, and propositional logic; various Markovian models used to characterize dependencies and causality among variables in multivariate systems; applications of dependence logic in social choice theory; and an introduction to the theory of secret sharing, pointing out connections to dependence and independence logic.

Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown that all known models of com- tation can be expressed through speci?c abstract state machines. These models can be given in a representation-independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide a unifying theory to all of these models. At the same time ASM can be re?ned to other ASMs. Stepwise re?nement supports separation of concern during so- ware development and will support component-based construction of systems thus providing a foundation of new computational paradigms such as industrial programming, programming-in-the-large, and programming-in-the-world. ASM 2004 continued the success story of the ASM workshops. Previous workshops were held in the following European cities: Taormina, Italy (2003); Dagstuhl, Germany (2002); Las Palmas de Gran Canaria, Spain (2001); Monte Verita, Switherland (2000); Toulouse, France (1999); Magdeburg, Germany (1998); Cannes, France (1998, 1997); Paderborn, Germany (1996); and H- burg, Germany (1994). The ASM workshops have had predecessors, e.g., the famous Lipari Summer School in 1993, whose in?uential outcome was the f- damental Lipari Guide.

This book discusses all aspects of computing for expressive performance, from the history of CSEMPs to the very latest research, in addition to discussing the fundamental ideas, and key issues and directions for future research. Topics and features: includes review questions at the end of each chapter; presents a survey of systems for real-time interactive control of automatic expressive music performance, including simulated conducting systems; examines two systems in detail, YQX and IMAP, each providing an example of a very different approach; introduces techniques for synthesizing expressive non-piano performances; addresses the challenges found in polyphonic music expression, from a statistical modelling point of view; discusses the automated analysis of musical structure, and the evaluation of CSEMPs; describes the emerging field of embodied expressive musical performance, devoted to building robots that can expressively perform music with traditional instruments.