The Dynamic Frame

The Dynamic Frame

Author: Patrick Keating

Publisher: Columbia University Press

ISBN: 9780231548953

Category: Literary Criticism

Page: 369

View: 185

The camera’s movement in a film may seem straightforward or merely technical. Yet skillfully deployed pans, tilts, dollies, cranes, and zooms can express the emotions of a character, convey attitude and irony, or even challenge an ideological stance. In The Dynamic Frame, Patrick Keating offers an innovative history of the aesthetics of the camera that examines how camera movement shaped the classical Hollywood style. In careful readings of dozens of films, including Sunrise, The Grapes of Wrath, Rear Window, Sunset Boulevard, and Touch of Evil, Keating explores how major figures such as F. W. Murnau, Orson Welles, and Alfred Hitchcock used camera movement to enrich their stories and deepen their themes. Balancing close analysis with a broader poetics of camera movement, Keating uses archival research to chronicle the technological breakthroughs and the changing division of labor that allowed for new possibilities, as well as the shifting political and cultural contexts that inspired filmmakers to use technology in new ways. An original history of film techniques and aesthetics, The Dynamic Frame shows that the classical Hollywood camera moves not to imitate the actions of an omniscient observer but rather to produce the interplay of concealment and revelation that is an essential part of the exchange between film and viewer.

Deductive Verification of Object-oriented Software

Deductive Verification of Object-oriented Software

Author: Benjamin Weiß

Publisher: KIT Scientific Publishing

ISBN: 9783866446236

Category: Electronic computers. Computer science

Page: 294

View: 175

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.

Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science

Author: Peter Höfner

Publisher: Springer

ISBN: 9783319062518

Category: Mathematics

Page: 463

View: 530

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Author: Cyrille Artho

Publisher: Springer

ISBN: 9783319054162

Category: Computers

Page: 297

View: 616

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Automotive Embedded Systems Handbook

Automotive Embedded Systems Handbook

Author: Nicolas Navet

Publisher: CRC Press

ISBN: 9780849380273

Category: Technology & Engineering

Page: 470

View: 530

A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.

VII Hotine-Marussi Symposium on Mathematical Geodesy

VII Hotine-Marussi Symposium on Mathematical Geodesy

Author: Nico Sneeuw

Publisher: Springer Science & Business Media

ISBN: 9783642220777

Category: Science

Page: 393

View: 249

The Hotine-Marussi Symposium is the core meeting of a “think thank”, a group scientists in the geodetic environment working on theoretical and methodological subjects, while maintaining the foundations of geodesy to the proper level by corresponding to the strong advancements improved by technological development in the field of ICT, electronic computing, space technology, new measurement devices etc. The proceedings of the symposium cover a broad area of arguments which integrate the foundations of geodesy as a science. The common feature of the papers therefore is not on the object, but rather in the high mathematical standards with which subjects are treated.

Multimedia Image and Video Processing

Multimedia Image and Video Processing

Author: Ling Guan

Publisher: CRC Press

ISBN: 9781420037562

Category: Computers

Page: 456

View: 636

Multimedia stands as one of the most challenging and exciting aspects of the information era. Although there are books available that deal with various facets of multimedia, the field has urgently needed a comprehensive look at recent developments in the systems, processing, and applications of image and video data in a multimedia environment.

Distributed, Ambient and Pervasive Interactions

Distributed, Ambient and Pervasive Interactions

Author: Norbert Streitz

Publisher: Springer

ISBN: 9783319398624

Category: Computers

Page: 506

View: 869

This book constitutes the refereed proceedings of the 4th International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016 and received a total of 4354 submissions, of which 1287 papers were accepted for publication after a careful reviewing process. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. This volume contains papers addressing the following major topics: designing and developing smart environments; tracking and recognition techniques in ambient intelligence; human behavior in smart environments; emotions and affect in intelligent environments; and smart cities and communities.

Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book

Author: Wolfgang Ahrendt

Publisher: Springer

ISBN: 9783319498126

Category: Computers

Page: 702

View: 895

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.