This volume presents a selection of the best papers presented at the forty-first annual Conference on Computer Applications and Quantitative Methods in Archaeology. The theme for the conference was “Across Space and Time” and the papers explore a multitude of topics related to that concept, including databases, the semantic Web, geographical information systems, data collection and management, and more.
This book describes some of the developments in Command, Control and Communication (C3) systems. The topics cover the design of large real-time man-machine systems, which are now a vital area of intensive scientific and financial investment. C3 systems are for complex resource management and planning, and although this has a predominantly military connotation, similar systems are now developing in civil sector applications, public utilities and banking.
Topics discussed include the design and structure of C3 systems, databases, standards, the man-machine interface, and advanced processing, including the sensor data fusion and artificial intelligence. It is the multifaceted nature of C3 that this book seeks to capture. The subject is too vast to survey comprehensively but this text offers the reader an important insight into this critically important aspect of modern technology.
Advances in Modal Logic, Volume 1
Edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakhary CSLI, 1998
Library of Congress BC199.M6A38 1998 |
Dewey Decimal 160
Modal logic originated in philosophy as the logic of necessity and possibility. Nowadays it has reached a high level of mathematical sophistication and found many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics.
This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.
"This collection is a useful resource for anyone working in modal logic. It contains both interesting surveys and cutting-edge technical results"
--Edwin D. Mares
The Bulletin of Symbolic Logic, March 2002
A Guide to MATLAB® Object-Oriented Programming is the first book to deliver broad coverage of the documented and undocumented object-oriented features of MATLAB®. Unlike the typical approach of other resources, this guide explains why each feature is important, demonstrates how each feature is used, and promotes an understanding of the interactions between features.
Assuming an intermediate level of MATLAB programming knowledge, the book not only concentrates on MATLAB coding techniques but also discusses topics critical to general software development. It introduces fundamentals first before integrating these concepts into example applications. In the first section, the book discusses eight basic functions: constructor, subsref, subsasgn, display, struct, fieldnames, get, and set. Building on the previous section, it explores inheritance topics and presents the Class Wizard, a powerful MATLAB class generation tool. The final section delves into advanced strategies, including containers, static variables, and function fronts.
With more than 20 years of experience designing and implementing object-oriented software, the expert author has developed an accessible and comprehensive book that aids readers in creating effective object-oriented software using MATLAB.
Winner of the Elizabeth Agee Prize in American Literature
In Animal, Vegetable, Digital, Elizabeth Swanstrom makes a confident and spirited argument for the use of digital art in support of ameliorating human engagement with the environment and suggests a four-part framework for analyzing and discussing such applications.
Through close readings of a panoply of texts, artworks, and cultural artifacts, Swanstrom demonstrates that the division popular culture has for decades observed between nature and technology is artificial. Not only is digital technology not necessarily a brick in the road to a dystopian future of environmental disaster, but digital art forms can be a revivifying bridge that returns people to a more immediate relationship to nature as well as their own embodied selves.
To analyze and understand the intersection of digital art and nature, Animal, Vegetable, Digital explores four aesthetic techniques: coding, collapsing, corresponding, and conserving. “Coding” denotes the way artists use operational computer code to blur distinctions between the reader and text, and, hence, the world. Inviting a fluid conception of the boundary between human and technology, “collapsing” voids simplistic assumptions about the human body’s innate perimeter. The process of translation between natural and human-readable signs that enables communication is described as “corresponding.” “Conserving” is the application of digital art by artists to democratize large- and small-scale preservation efforts.
A fascinating synthesis of literary criticism, communications and journalism, science and technology, and rhetoric that draws on such disparate phenomena as simulated environments, video games, and popular culture, Animal, Vegetable, Digital posits that partnerships between digital aesthetics and environmental criticism are possible that reconnect humankind to nature and reaffirm its kinship with other living and nonliving things.
The Conference on Computer Applications and Quantitative Methods in Archaeology is the leading conference on digital archaeology, and this volume offers a comprehensive and up-to-date account of the state of the field today. It features a selection of the best papers presented at the fortieth annual conference in 2012 and explores a multitude of topics of interest to all those working in digital archaeology.