Action/abstraction


Book Description

The abstract paintings of Jackson Pollock, Willem de Kooning, Barnett Newman, Lee Krasner, Clyfford Still, Helen Frankenthaler, and others revolutionized the art world in the 1940s and 1950s and continue to inspire passionate arguments to this day. What were these artists trying to achieve? Who were the critical voices of the time that rallied public interest in Abstract Expressionism and sparked rancorous debate? Drawing on recent critical, historical, and biographical work, this lavishly illustrated book offers a sharp new focus on a pivotal art movement. It also presents an extensive commentary on the two most influential critics of postwar American art--Clement Greenberg and Harold Rosenberg--whose powerful views shaped perceptions of Abstract Expressionism and other contemporary art movements. In one essay, Norman L. Kleeblatt traces the influence of Abstract Expressionism into the mid-1970s and examines its connection to subsequent art styles. Other essays range from the literary and intellectual culture of New York during that period and an analysis of sculpture and representation to a discussion of Jewish issues in relation to postwar American Art. In addition, the book features a magisterial essay by eminent critic Irving Sandler and a copiously illustrated cultural timeline by Maurice Berger.




Information Systems Foundations


Book Description

This volume contains the papers presented at the third biennial Information Systems Foundations ('Theory, Representation and Reality¿) Workshop, held at The Australian National University in Canberra from 27-28 September 2006. The focus of the workshop was, as for the others in the series, the foundations of Information Systems as an academic discipline. The particular emphasis was, as in past workshops, the adequacy and completeness of theoretical underpinnings and the research methods employed. At the same time the practical nature of the applications and phenomena with which the discipline deals were kept firmly in view. Accordingly, the papers in this volume range from the unashamedly theoretical n their focus (Designing for Mutability in Information Systems Artifacts; Towards a Unified Theory of Fit: Task, Technology and Individual) to the much more practically oriented (An Action-Centred Approach to Conceptualising Information Support for Routine Work).




Case-Based Reasoning Research and Development


Book Description

This book constitutes the refereed proceedings of the 19th International Conference on Case-Based Reasoning, held in London, UK, in September 2011. The 32 contributions presented together with 3 invited talks were carefully reviewd and selected from 67 submissions. The presentations and posters covered a wide range of CBR topics of interest both to practitioners and researchers, including CBR methodology covering case representation, similarity, retrieval, and adaptation; provenance and maintenance; recommender systems; multi-agent collaborative systems; data mining; time series analysis; Web applications; knowledge management; legal reasoning; healthcare systems and planning systems.




Studies in Reflecting Abstraction


Book Description

This translation of the French Recherches sur l'abstraction reflechissante (1977), make available in English Piaget's only treatise on reflecting abstraction - a process he came to attribute considerable importance to in his later thinking and which he believed to be responsible for many of the advances that take place in human development, especially our understanding of mathematics. Rich with empirical research on reflecting abstraction at work in the thinking of 4 to 12 year olds, the studies in this volume examine its role in many contexts of cognitive development such as: reasoning about mathematics; forming analogies; putting objects in order by size and comparing the resulting series; and navigating through a wire maze. His theoretical discussions explore the relationships between reflecting abstraction and other central processes in his later theory, such as generalization, becoming conscious, and equilibration, as the differentiation of possibilities and their integration into necessities. These discussions indicate which aspects of his later theorizing were settled and which require further thought and investigation. Studies in Reflecting Abstraction will be of interest to developmental and cognitive psychologists, educationalists, philosophers and anyone who seeks to understand human knowledge and its development.




Verification, Model Checking, and Abstract Interpretation


Book Description

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.




Handbook of Research on Modern Systems Analysis and Design Technologies and Applications


Book Description

"This book provides a compendium of terms, definitions, and explanations of concepts in various areas of systems and design, as well as a vast collection of cutting-edge research articles from the field's leading experts"--Provided by publisher.




Principles of Knowledge Representation and Reasoning


Book Description

The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms, comparative analysis of competing algorithms and formalisms, and ana




ECOOP '96 - Object-Oriented Programming


Book Description

This book constitutes the refereed proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96, held in Linz, Austria, in July 1996. The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design.




Formal Modeling and Analysis of Timed Systems


Book Description

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.




Network Function Virtualization


Book Description

A horizontal view of newly emerged technologies in the field of network function virtualization (NFV), introducing the open source implementation efforts that bring NFV from design to reality This book explores the newly emerged technique of network function virtualization (NFV) through use cases, architecture, and challenges, as well as standardization and open source implementations. It is the first systematic source of information about cloud technologies' usage in the cellular network, covering the interplay of different technologies, the discussion of different design choices, and its impact on our future cellular network. Network Function Virtualization: Concepts and Applicability in 5G Networks reviews new technologies that enable NFV, such as Software Defined Networks (SDN), network virtualization, and cloud computing. It also provides an in-depth investigation of the most advanced open source initiatives in this area, including OPNFV, Openstack, and Opendaylight. Finally, this book goes beyond literature review and industry survey by describing advanced research topics such as service chaining, VNF orchestrations, and network verification of NFV systems. In addition, this resource: Introduces network function virtualization (NFV) from both industrial and academic perspectives Describes NFV's usage in mobile core networks, which is the essence of 5G implementation Offers readers a deep dive on NFV's enabling techniques such as SDN, virtualization, and cloud computing Network Function Virtualization: Concepts and Applicability in 5G Networks is an ideal book for researchers and university students who want to keep up with the ever-changing world of network function virtualization.