You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This bestselling dictionary has been fully revised, making it the most up-to-date and authoritative reference of its kind. Providing comprehensive coverage of computer applications in industry, school, work, education, and the home, it is the ideal reference for students, professionals, and anyone who uses computers.
The conventional way of understanding what musicians do as performers is to treat them as producers of sound; some even argue that it is unnecessary to see musicians in performance as long as one can hear them. But musical performance, counters Philip Auslander, is also a social interaction between musicians and their audiences, appealing as much to the eye as to the ear. In Concert: Performing Musical Persona he addresses not only the visual means by which musicians engage their audiences through costume and physical gesture, but also spectacular aspects of performance such as light shows. Although musicians do not usually enact fictional characters on stage, they nevertheless present thems...
"Data is emerging as a key component of military operations, both on and off the battlefield. Large troves of data generated by new information technologies-often termed "big data"-are growing ever more important to a range of military functions. Military forces and other actors will increasingly need to acquire, evaluate, and utilize such data in many combat contexts. At the same time, those forces can gain advantages by targeting adversaries' data and data systems. And a multitude of actors within armed conflict, including humanitarian and human rights organizations, can also use big data to deliver aid or identify atrocities. Such myriad uses of big data raise challenging interpretive que...
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.
This book offers a comprehensive overview of the international law applicable to cyber operations. It is grounded in international law, but is also of interest for non-legal researchers, notably in political science and computer science. Outside academia, it will appeal to legal advisors, policymakers, and military organisations.
The Challenges of Born-Digital Fiction: Editions, Translations, and Emulations addresses the growing concern about how best to maintain and extend the accessibility of early interactive novels and hypertext fiction or narratives. These forms of born-digital literature were produced before or shortly after the mainstreaming of the World Wide Web with proprietary software and on formats now obsolete. Preserving and extending them for a broad study by scholars of book culture, literary studies, and digital culture necessitate they are migrated, translated, and emulated – yet these activities can impact the integrity of the reader experience. Thus, this Element centers on three key challenges facing such efforts: (1) precision of references: identifying correct editions and versions of migrated works in scholarship; (2) enhanced media translation: approaching translation informed by the changing media context in a collaborative environment; and (3) media integrity: relying on emulation as the prime mode for long-term preservation of born-digital novels.
This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
This book assesses whether the implementation of transborder interoperable solutions aligns with the European Union's standards and rules on personal data transfer. It specifically examines the principles and values enshrined in the founding Treaties that steer the EU’s external activities as a global actor. It will help you understand the privacy and data protection standards the EU must uphold when pursuing its objectives of freedom, security, and justice externally. You’ll learn about the limits on the processing of personal data by large-scale IT systems in the areas of freedom, security, and justice, and explore the full scope of the 2019 interoperability regulations, n. 817 and 818. Also, the volume offers a series of diagrams, tables, and figures that will make your reading as smooth as possible.
Information matters to us. Whether recorded, recoded, or unregistered, information co-shapes our present and our becoming. This book advances new views on information and surveillance practices. Starting with a methodology for studying the liveliness of information, Kaufmann provides four empirical examples of making information matter: association, conversion, secrecy, and speculation. In so doing, she presents an original and comprehensive argument about the materiality of information and invites us to investigate, and to reflect about what matters. This is a go-to text for scholars and professionals working in the fields of surveillance, data studies, and the digitization of specific societal sectors.