Download or read book Liveness written by Philip Auslander and published by Routledge. This book was released on 2002-09-11 with total page 191 pages. Available in PDF, EPUB and Kindle. Book excerpt: In Liveness Philip Auslander addresses what may be the single most important question facing all kinds of performance today: What is the status of live performance in a culture dominated by mass media? By looking at specific instances of live performance such as theatre, rock music, sport and courtroom testimony, Liveness offers penetrating insights into media culture. This provocative book tackles some of the enduring 'sacred truths' surrounding the high cultural status of the live event.
Download or read book Liveness on Stage written by Claudia Georgi and published by Walter de Gruyter GmbH & Co KG. This book was released on 2014-08-27 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: Theatre is traditionally considered a live medium but its ‘liveness’ can no longer simply be taken for granted in view of the increasing mediatisation of the stage. Drawing on theories of intermediality, Liveness on Stage explores how performances that incorporate film or video self-reflexively stage and challenge their own liveness by contrasting or approximating live and mediatised action. To illustrate this, the monograph investigates key aspects such as ‘ephemerality’, ‘co-presence’, ‘unpredictability’, ‘interaction’ and ‘realistic representation’ and highlights their significance for re-evaluating received notions of liveness. The analysis is based on productions by Gob Squad, Forkbeard Fantasy, Station House Opera, Proto-type Theater, Tim Etchells and Mary Oliver. In their playful approaches these practitioners predominantly present such media combination as a means of cross-fertilisation rather than as an antagonism between liveness and mediatisation. Combining an original theoretical approach with an in-depth analysis of the selected productions, this study will appeal to scholars and practitioners of theatre and performance as well as to those researching intermedial phenomena.
Download or read book Liveness in Modern Music written by Paul Sanden and published by Routledge. This book was released on 2013 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: This study investigates the idea and practice of liveness in modern music.. The book argues that liveness itself emerges from dynamic tensions inherent in mediated musical contexts--tensions between music as an acoustic human utterance, and musical sound as something produced or altered by machines.
Download or read book Media Rituals written by Nick Couldry and published by Psychology Press. This book was released on 2003 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: The media are an inescapable part of our everyday life. Drawing on sociological and anthropological approaches to the study of ritual, Nick Couldry applies the work of theorists to a number of important media arenas.
Download or read book Rewriting Techniques and Applications written by Robert Nieuwenhuis and published by Springer. This book was released on 2007-03-06 with total page 518 pages. Available in PDF, EPUB and Kindle. Book excerpt: The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
Download or read book Compiler Construction written by Albert Cohen and published by Springer. This book was released on 2014-03-21 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 23rd International Conference on Compiler Construction, CC 2014, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 10 full papers and 4 tool papers included in this volume were carefully reviewed and selected from 47 submissions; the book also contains one invited talk. The papers are organized in topical sections named: program analysis and optimization; parallelism and parsing and new trends in compilation.
Download or read book Protecting Mobile Networks and Devices written by Weizhi Meng and published by CRC Press. This book was released on 2016-11-25 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers and analyzes the latest attacks, solutions, and trends in mobile networks. Its broad scope covers attacks and solutions related to mobile networks, mobile phone security, and wireless security. It examines the previous and emerging attacks and solutions in the mobile networking worlds, as well as other pertinent security issues. The many attack samples present the severity of this problem, while the delivered methodologies and countermeasures show how to build a truly secure mobile computing environment.
Download or read book Formal Methods in Outer Space written by Ezio Bartocci and published by Springer Nature. This book was released on 2021-10-17 with total page 197 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators. After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the Turning Goals Into Reality engineering innovation award, the Outstanding Technology Development award, and the JPL Mariner, Ranger, Voyager, and Magellan awards. Klaus has provided constant and generous service to the formal methods community by organizing, participating in, and chairing numerous committees. His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards. His research activities have generated more than 100 publications with more than 100 collaborators, cited over 12,000 times. The book title reflects Klaus’s main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover a wide spectrum of the topics related to his scientific interests, including programming language design, static analysis, runtime verification, dynamic assurance, and automata learning.
Download or read book Experiencing Liveness in Contemporary Performance written by Matthew Reason and published by Taylor & Francis. This book was released on 2016-10-26 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume brings together dynamic perspectives on the concept of liveness in the performing arts, engaging with the live through the particular analytical focus of audiences and experience. The status and significance of the live in performance has become contested: perceived as variously as a marker of ontological difference, a promotional slogan, or a mystical evocation of cultural value. Moving beyond debates about the relationship between the live and the mediated, this collection considers what we can know and say about liveness in terms of processes of experiencing and processes of making. Drawing together contributions from theatre, music, dance, and performance art, it takes an interdisciplinary approach in asking not what liveness is, but how it matters and to whom. The book invites readers to consider how liveness is produced through processes of audiencing - as spectators bring qualities of (a)liveness into being through the nature of their attention - and how it becomes materialized in acts of performance, acts of making, acts of archiving, and acts of remembering. Theoretical chapters and practice-based reflections explore liveness, eventness and nowness as key concepts in a range of topics such as affect, documentation, embodiment, fandom, and temporality, showing how the relationship between audience and event is rarely singular and more often malleable and multiple. With its focus on experiencing liveness, this collection will be of interest to disciplines including performance, audience and cultural studies, visual arts, cinema, and sound technologies.
Download or read book Supervisory Control of Concurrent Systems written by Marian Iordache and published by Springer Science & Business Media. This book was released on 2007-06-04 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings.
Download or read book CONCUR 2000 Concurrency Theory written by Catuscia Palamidessi and published by Springer Science & Business Media. This book was released on 2000-08-11 with total page 631 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.
Download or read book Advances in Temporal Logic written by Howard Barringer and published by Springer Science & Business Media. This book was released on 2000 with total page 468 pages. Available in PDF, EPUB and Kindle. Book excerpt: Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor - will find the book most valuable. Computing professionals requiring state-of-the-art knowledge in the area will appreciate the volume for its leading results and its links to other relevant literature.
Download or read book Reality Squared written by James Friedman and published by Rutgers University Press. This book was released on 2002 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: Reality-based television has come to play a major role in both production decisions and network strategy. This text examines the representation of reality within the televisual viewing frame, as well as the exponential growth of these programmes.
Download or read book Live Coding written by Alan F. Blackwell and published by MIT Press. This book was released on 2022-11-22 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first comprehensive introduction to the origins, aspirations, and evolution of live coding. Performative, improvised, on the fly: live coding is about how people interact with the world and each other via code. In the last few decades, live coding has emerged as a dynamic creative practice gaining attention across cultural and technical fields—from music and the visual arts through to computer science. Live Coding: A User’s Manual is the first comprehensive introduction to the practice, and a broader cultural commentary on the potential for live coding to open up deeper questions about contemporary cultural production and computational culture. This multi-authored book—by artists and musicians, software designers, and researchers—provides a practice-focused account of the origins, aspirations, and evolution of live coding, including expositions from a wide range of live coding practitioners. In a more conceptual register, the authors consider liveness, temporality, and knowledge in relation to live coding, alongside speculating on the practice’s future forms.
Download or read book Virtual Events Management written by Tim Brown and published by Goodfellow Publishers Ltd. This book was released on 2023-08-30 with total page 259 pages. Available in PDF, EPUB and Kindle. Book excerpt: The COVID-19 pandemic and resulting lockdowns has seen a boom in the occurrence of virtual events. Virtual Events Management is a unique text as it looks at events from both a live event, virtual event and hybrid perspective.
Download or read book Agent Based Hybrid Intelligent Systems written by Zili Zhang (Ph.D.) and published by Springer Science & Business Media. This book was released on 2004-01-28 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: Solving complex problems in real-world contexts, such as financial investment planning or mining large data collections, involves many different sub-tasks, each of which requires different techniques. To deal with such problems, a great diversity of intelligent techniques are available, including traditional techniques like expert systems approaches and soft computing techniques like fuzzy logic, neural networks, or genetic algorithms. These techniques are complementary approaches to intelligent information processing rather than competing ones, and thus better results in problem solving are achieved when these techniques are combined in hybrid intelligent systems. Multi-Agent Systems are ideally suited to model the manifold interactions among the many different components of hybrid intelligent systems. This book introduces agent-based hybrid intelligent systems and presents a framework and methodology allowing for the development of such systems for real-world applications. The authors focus on applications in financial investment planning and data mining.
Download or read book The Oxford Handbook of Music and Virtuality written by Sheila Whiteley and published by Oxford University Press. This book was released on 2016 with total page 721 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work, edited by Sheila Whiteley and Shara Rambarran, brings together a multidisciplinary group of scholars who address issues such as artistic agency, the relationship between reality and illusion or simulation, and the construction of musical personae, subjectivities, and identities in a virtual world.
