Mathematical Aspects of Logic Programming Semantics

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…

Digital Material

Three decades of societal and cultural alignment of new media have yielded a host of innovations, trials, and problems, accompanied by versatile popular and academic discourse. New Media Studies crystallized internationally into an established academic discipline, and this begs the question: where do we stand now? Which new questions are emerging now that new media are being taken for granted, …

Ars Edendi Lecture Series, vol. IV

"The Ars Edendi Lectures have been organized by the research programme at Stockholm University funded by Riksbankens Jubileumsfond during the years 2008-2015, with a focus on editorial methods for dynamic textual traditions of medieval Greek and Latin texts. This fourth volume gathers contributions both on the fundamentals of editing, as in Glenn Most ‘What is a critical edition?’, and look…

Earth’s climate response to a changing Sun

Edition

-

ISBN/ISSN

9782759817337

Collation

-

Series Title

-

Call Number

-

Contextualizing Disaster

Contextualizing Disaster" offers a comparative analysis of six recent highly visible disasters and several slow-burning, hidden, crises that include typhoons, tsunamis, earthquakes, chemical spills, and the unfolding consequences of rising seas and climate change. The book argues that, while disasters are increasingly represented by the media as unique, exceptional, newsworthy events, it is a m…

Water and Los Angeles

Los Angeles rose to significance in the first half of the twentieth century by way of its complex relationship to three rivers: the Los Angeles, the Owens, and the Colorado. The remarkable urban and suburban trajectory of southern California since then cannot be fully understood without reference to the ways in which each of these three river systems came to be connected to the future of the me…

Tempest

Atari’s 1981 arcade hit Tempest was a “tube shooter” built around glowing, vector-based geometric shapes. Among its many important contributions to both game and cultural history, Tempest was one of the first commercial titles to allow players to choose the game’s initial play difficulty (a system Atari dubbed “SkillStep”), a feature that has since became standard for games of all t…

Large Scale Inverse Problems

This book is thesecond volume of a three volume series recording the "Radon Special Semester 2011 on Multiscale Simulation & Analysis in Energy and the Environment" that took placein Linz, Austria, October 3-7, 2011. This volume addresses the common ground in the mathematical and computational procedures required for large-scale inverse problems and data assimilation in forefront applications. …

Conversations with Christian Metz: Selected Interviews on Film Theory (1970-1…

From 1968 to 1991 the acclaimed film theorist Christian Metz wrote several remarkable books on film theory: Essais sur la signifi cation au cinéma, tome1 et 2; Langage et cinéma; Le signifiant imaginaire; and L’Enonciation impersonnelle. These books set the agenda of academic film studies during its formative period. Metz’s ideas were taken up, digested, refined,reinterpreted, criticized …

Chapter Measures of Pseudorandomness

In the second half of the 1990s Christian Mauduit and András Sárközy [86] introduced a new quantitative theory of pseudorandomness of binary sequences. Since then numerous papers have been written on this subject and the original theory has been generalized in several directions. Here I give a survey of some of the most important results involving the new quantitative pseudorandom measures o…