Parallel and Distributed Computing and Networks

Digital humanities have become an integral part of the academic landscape, providing scholars with unique opportunities to explore the past in imaginative and innovative ways. Demonstrating the exciti

Christy Constantakopoulou examines the history of the Aegean islands and changing concepts of insularity, with particular emphasis on the fifth century BC. Islands are a prominent feature of the Aegea

While creativity plays an important role in the advancement of computer science, great ideas are built on a foundation of practical experience and knowledge. This book presents programming techniques

Since the early 1980s, Cedric Nunn (born 1957) has chronicled the daily realities of apartheid, civil war and social unrest in South Africa and neighboring Mozambique. He began photographing in Durban

#1 NEW YORK TIMES BESTSELLER • From the author of Sapiens comes the groundbreaking story of how information networks have made, and unmade, our world.“Striking original . . . A historian whose arguments operate on the scale of millennia has managed to capture the zeitgeist perfectly.”—The Economist“This deeply important book comes at a critical time as we all think through the implications of AI and automated content production. . . . Masterful and provocative.”—Mustafa Suleyman, author of The Coming WaveFor the last 100,000 years, we Sapiens have accumulated enormous power. But despite all our discoveries, inventions, and conquests, we now find ourselves in an existential crisis. The world is on the verge of ecological collapse. Misinformation abounds. And we are rushing headlong into the age of AI—a new information network that threatens to annihilate us. For all that we have accomplished, why are we so self-destructive?Nexus looks through the long lens of human history to consider h

"Examines the role that country storekeeper Samuel Rex of Schaefferstown, Pennsylvania, played in the society and economy of the mid-Atlantic region from 1790 to 1807. Studies consumption patterns of

Vienna Actionism was the most extreme artistic project of the 1960s, mostly preceding and always surpassing the other performance art, body art and happenings in terms of sheer violent excess. Though

The Blur of the Otherworldly presents twenty-eight contemporary artists whose work employs modern communication technologies (photography, film, video, radio, Internet, computers) to explore culturall

Where is language? Answers to this have attempted to 'incorporate' language in an 'extended mind', through cognition that is 'embodied', 'distributed', 'situated' or 'ecological'. Behind these concepts is a long history that this book is the first to trace. Extending across linguistics, philosophy, psychology and medicine, as well as literary and religious dimensions of the question of what language is, and where it is located, this book challenges mainstream, mind-based accounts of language. Looking at research from the Middle Ages to the present day, and exploring the work of a range of scholars from Aristotle and Galen to Merleau-Ponty and Chomsky, it assesses raging debates about whether mind and language are centred in heart or brain, brain or nervous-muscular system, and whether they are innate or learned, individual or social. This book will appeal to scholars and advanced students in historical linguistics, cognitive linguistics, language evolution and the philosophy of languag

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

The emergence and the activities of a second public sphere in the areas of Soviet influence were intricately linked to the performative and intermedial production and usage of alternative spaces. Applying a multitude of perspectives and networked topography, The Hungarian Avant-Garde and Socialism investigates artistic strategies of spaces – namely those of the artist’s studio, exhibitions, installations, clubs, apartments, cellars, event halls, and chapels – all of which existed parallel to or were interwoven with the regulated public sphere in Hungary from the beginning of the 1960s to the era immediately following the Kádár regime.This book captures and discusses the exclusionary and inclusionary mechanisms inscribed into public spheres behind the Iron Curtain in all their paradoxes through the looking glass of an artist generation that was controversially labelled “neo-”, and later, “post-avant-garde”. Cross-referencing the international tendencies in the marginal art worlds that

This unique textbook merges human rights law with its practice, from the courtroom to the battlefield. Human rights are analysed in their particular context, and the authors assess, among other things, the impact of international finance, the role of NGOs, and the protection of rights in times of emergency, including the challenges posed by counter-terrorism. In parallel, a series of interviews with practitioners, case studies and practical applications offer multiple perspectives and challenging questions on the effective implementation of human rights. Although the book comprehensively covers the traditional areas of international human rights law, including its regional and international legal and institutional framework, it also encompasses, through distinct chapters or large sections, areas that have a profound impact on human rights worldwide, such as women's rights, human rights and globalisation, refugees and migration, human rights obligations of non-state actors, debt and hum

Plato's 'Republic' constructs an ideal city composed of three parts, parallel to the soul's reason, appetites, and fighting spirit. But confusion and controversy have long surrounded this three-way division and especially the prominent role it assigns to angry and competitive spirit. In Plato's Three-fold City and Soul, Joshua I. Weinstein argues that, for Plato, determination and fortitude are not just expressions of our passionate or emotional natures, but also play an essential role in the rational agency of persons and polities. In the Republic's account, human life requires spirited courage as much as reasoned thought and nutritious food. The discussion ranges over Plato's explication of the logical and metaphysical foundations of justice and injustice, the failures of incomplete and dysfunctional cities, and the productive synergy of our tendencies and capacities that becomes fully evident only in the justice of a self-sufficient political community.

In this book, Brian Forst takes a fresh perspective on the assessment of criminal justice policy, examining the prospect of assessing policies based on their impact on errors of justice: the error of failing to bring offenders to justice, on the one hand, and the error of imposing costs on innocent people and excessive costs on offenders, on the other. Noting that we have sophisticated systems for managing errors in statistical inference and quality control processes and no parallel system for managing errors of a more socially costly variety - on matters of guilt and innocence - the author lays the foundation for a common sense approach to the management of errors in the criminal justice system, from policing and prosecution to sentencing and corrections. He examines the sources of error in each sector, the harms they impose on society, and frameworks for analyzing and reducing them.

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Historians often refer to past events which took place prior to their narrative's proper past - that is, they refer to a 'plupast'. This past embedded in the past can be evoked by characters as well as by the historian in his own voice. It can bring into play other texts, but can also draw on lieux de mémoire or on material objects. The articles assembled in this volume explore the manifold forms of the plupast in Greek and Roman historians from Herodotus to Appian. The authors demonstrate that the plupast is a powerful tool for the creation of historical meaning. Moreover, the acts of memory embedded in the historical narrative parallel to some degree the historian's activity of recording the past. The plupast thereby allows Greek and Roman historians to reflect on how (not) to write history and gains metahistorical significance. In shedding new light on the temporal complexity and the subtle forms of self-conscious reflection in the works of ancient historians, Time and Narrative in

This practical, one-stop guide will quickly bring you up to speed on LTE and LTE-Advanced. With everything you need to know about the theory and technology behind the standards, this is a must-have for engineers and managers in the wireless industry. • First book of its kind describing technologies and system performance of LTE-A • Covers the evolution of digital wireless technology, basics of LTE and LTE-A, design of downlink and uplink channels, multi-antenna techniques and heterogeneous networks • Analyzes performance benefits over competing technologies, including WiMAX and 802.16m • Reflects the latest LTE Release-10 standards • Includes numerous examples, including extensive system and link results • Unique approach is accessible to technical and non-technical readers alike

Although topology was recognized by Gauss and Maxwell to play a pivotal role in the formulation of electromagnetic boundary value problems, it is a largely unexploited tool for field computation. The development of algebraic topology since Maxwell provides a framework for linking data structures, algorithms, and computation to topological aspects of three-dimensional electromagnetic boundary value problems. This book attempts to expose the link between Maxwell and a modern approach to algorithms. The first chapters lay out the relevant facts about homology and cohomology, stressing their interpretations in electromagnetism. These topological structures are subsequently tied to variational formulations in electromagnetics, the finite element method, algorithms, and certain aspects of numerical linear algebra. A recurring theme is the formulation of and algorithms for the problem of making branch cuts for computing magnetic scalar potentials and eddy currents.

Methods from contact and symplectic geometry can be used to solve highly non-trivial nonlinear partial and ordinary differential equations without resorting to approximate numerical methods or algebraic computing software. This book explains how it's done. It combines the clarity and accessibility of an advanced textbook with the completeness of an encyclopedia. The basic ideas that Lie and Cartan developed at the end of the nineteenth century to transform solving a differential equation into a problem in geometry or algebra are here reworked in a novel and modern way. Differential equations are considered as a part of contact and symplectic geometry, so that all the machinery of Hodge-deRham calculus can be applied. In this way a wide class of equations can be tackled, including quasi-linear equations and Monge-Ampere equations (which play an important role in modern theoretical physics and meteorology).

Companies face major challenges as they seek to flourish in competitive global markets, fuelled by developments in technology, from the Internet to grid computing and Web services. In this environment, service orientation - aligning business processes to the changing demands of customers - is emerging as a highly effective approach to increasing efficiency. In this book, Paul Allen provides an accessible guide to service orientation, showing how it works and highlighting the benefits it can deliver. The book provides an integrated approach: after covering the basics of service orientation, he discusses key issues such as business agility, designing quality-of-service infrastructure, implementing service-level agreements, and cultural factors. He provides roadmaps, definitions, templates, techniques, process patterns and checklists to help you realize service orientation. These resources are reinforced with detailed case studies, from the transport and banking sectors. Packed with valua

Although topology was recognized by Gauss and Maxwell to play a pivotal role in the formulation of electromagnetic boundary value problems, it is a largely unexploited tool for field computation. The development of algebraic topology since Maxwell provides a framework for linking data structures, algorithms, and computation to topological aspects of three-dimensional electromagnetic boundary value problems. This book attempts to expose the link between Maxwell and a modern approach to algorithms. The first chapters lay out the relevant facts about homology and cohomology, stressing their interpretations in electromagnetism. These topological structures are subsequently tied to variational formulations in electromagnetics, the finite element method, algorithms, and certain aspects of numerical linear algebra. A recurring theme is the formulation of and algorithms for the problem of making branch cuts for computing magnetic scalar potentials and eddy currents.

The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that manage and monitor traffic or health; or they can be natural, e.g. communicating humans, or biological cells. It is important to be able to model networks of agents in order to understand and optimise their behaviour. Robin Milner describes in this book just such a model, by presenting a unified and rigorous structural theory, based on bigraphs, for systems of interacting agents. This theory is a bridge between the existing theories of concurrent processes and the aspirations for ubiquitous systems, whose enormous size challenges our understanding. The book is reasonably self-contained mathematically, and is designed to be learned from: examples and exercises abound, solutions for the latter are provided. Like Milner's other work, this is destined to have far-reaching and profound significance.