- Handbook of Automated Reasoning.
Automated reasoning has matured into one of the most advanced areas ofcomputer science. It is used in many areas of the field, including software andhardware verification, logic and functional programming, formal methods, knowledgerepresentation, deductive databases, and artificial intelligence. This handbookpresents an overview of the fundamental ideas, techniques, and methods in automatedreasoning and its applications. The material covers both theory and implementation.In addition to traditional topics, the book covers material that bridges the gapbetween automated reasoning and related areas. Examples include model checking, nonmonotonic reasoning, numerical constraints, description logics, andimplementation of declarative programming languages.The book consists of eightparts. After an overview of the early history of automated deduction, the areascovered are reasoning methods in first-order logic; equality and other built-intheories; methods of automated reasoning using induction; higher-order logic, whichis used in a number of automatic and interactive proof-development systems;automated reasoning in nonclassical logics; decidable classes and model building;and implementation-related questions.
- The Digital Divide: Facing a Crisis or Creating a Myth?
This book presents data supporting the existence of a gap-along racial, economic, ethnic, and education lines-between those who have access to the latest information technologies and those who do not.
Writings on color from modernism to the present, by writers from Baudelaire to Baudrillard, surveying art from Paul Gauguin to Rachel Whiteread.
Whether it is scooped up off the palette, deployed as propaganda, or opens the doors of perception, color is central to art not only as an element but as an idea. This unique anthology reflects on the aesthetic, cultural, and philosophical meaning of color through the writings of artists and critics, placed within the broader context of anthropology, film, philosophy, literature, and science. Those who loathe color have had as much to say as those who love it. This chronology of writings from Baudelaire to Baudrillard traces how artists have affirmed color as a space of pure sensation, embraced it as a tool of revolution or denounced it as decorative and even decadent. It establishes color as a central theme in the story of modern and contemporary art and provides a fascinating handbook to the definitions and debates around its history, meaning, and use.
Artists surveyed include:
Joseph Albers, Mel Bochner, Daniel Buren, Carlos Cruz-Diez, Robert Delaunay, Sonia Delaunay, Jimmie Durham, Helen Frankenthaler, Paul Gauguin, Donald Judd, Wassily Kandinsky, Paul Klee, Yves Klein, Kazimir Malevich, Piero Manzoni, Henri Matisse, Henri Michaux, Beatriz Milhazes, Piet Mondrian, Barnett Newman, Kenneth Noland, Helio Oiticica, Paul Signac, Ad Reinhardt, Gerhard Richter, Aleksandr Rodchenko, Bridget Riley, Mark Rothko, Yinka Shonibare, Jessica Stockholder, Theo van Doesburg, Vincent van Gogh, Victor Vasarely, Rachel Whiteread
Theodor Adorno, Roland Barthes, Charles Baudelaire, Jean Baudrillard, Walter Benjamin, Charles Blanc, Jacques Derrida, Thierry de Duve, Umberto Eco, Victoria Finlay, Joris-Karl Huysmans, Johannes Itten, Julia Kristeva, Claude Levi-Strauss, Jacqueline Lichtenstein, Maurice Merleau-Ponty, John Ruskin, Adrian Stokes, Ludwig Wittgenstein
- The Physics of the Violin
This major work covers almost all that has been learned about the acoustics of stringed instruments from Helmholtz's 19th-century theoretical elaborations to recent electroacoustic and holographic measurements. Many of the results presented here were uncovered by the author himself (and by his associates and students) over a 20-year period of research on the physics of instruments in the violin family. Lothar Cremer is one of the world's most respected authorities on architectural acoustics and, not incidentally, an avid avocational violinist and violist.
The book -- which was published in German in 1981 -- first of all meets the rigorous technical standards of specialists in musical acoustics. But it also serves the needs and interests of two broader groups: makers and players of stringed instruments are expressly addressed, since the implications of the mathematical formulations are fully outlined and explained; and acousticians in general will find that the work represents a textbook illustration of the application of fundamental principles and up-to-date techniques to a specific problem. The first -- and longest -- of the book's three parts investigates the oscillatory responses of bowed (and plucked) strings. The natural nonlinearities that derive from considerations of string torsion and bending stiffness are deftly handled and concisely modeled. The second part deals with the body of the instrument. Special attention is given to the bridge, which transmits the oscillations of the strings to the wooden body and its air cavity. In this case, linear modeling proves serviceable for the most part -- a simplification that would not be possible with lute -- like instruments such as the guitar. The radiation of sound from the body into the listener's space, which is treated as an extension of the instrument itself, is the subject of the book's final part.
The emergence of contemporary art, engaging widely with other disciplines, as a platform for exploring animal nature.
Animals have become the focus of much recent art, informing numerous works and projects featured at major exhibitions including dOCUMENTA (13) (2013), the 10th Shanghai Biennale (2014), and the 56th Venice Biennale (2015). Contemporary art has emerged as a privileged terrain for exploring interspecies relationships, providing the conditions for diverse disciplines and theoretical positions to engage with animal behavior and consciousness.
This interest in animal nature reflects a number of current issues. Observations of empathy among nonhumans prompt reconsiderations of the human. The nonverbal communication of animals has been compared with poetic expansion of the boundaries of language. And the freedom of animal life in the wild from capitalist subordination is seen as a potential model for reconfiguring society and our relationship to the wider environment. Artists' engagement with animals also opens up new perspectives on the dynamics of dominance, oppression, and exclusion, with parallels in human society. Animal nature is at the heart of debates on the Anthropocene era and the ecological concerns of scientists, thinkers, and artists alike. Centered on contemporary artworks, this anthology attests to the trans-disciplinary nature of this subject, with art as one of the principal points of convergence.
Artists surveyed include
Allora & Calzadilla, Francis Alÿs, Julieta Aranda, Brandon Ballengee, Joseph Beuys, Marcel Broodthaers, Lygia Clark, Marcus Coates, Jimmie Durham, Marcel Dzama, Simone Forti, Pierre Huyghe, Natalie Jeremijenko, Joan Jonas, Eduardo Kac, Mike Kelley, Henri Michaux, Robert Morris, Henrik Olesen, Lea Porsager, Julia Reodica, Carolee Schneemann, Michael Stevenson, Rodel Tapaya, Rosemarie Trockel, Apichatpong Weerasethakul, Haegue Yang, Adam Zaretsky
Giorgio Agamben, Steve Baker, Raymond Bellour, Walter Benjamin, John Berger, Jonathan Burt, Ted Chiang, Simon Critchley, Gilles Deleuze, Jacques Derrida, David Elliott, Carla Freccero, Maria Fusco, Tristan Garcia, Felix Guattari, Donna J. Haraway, Seung-Hoon Jeong, Miwon Kwon, Chus Martinez, Brian Massumi, Thomas Nagel, Jean-Luc Nancy, Ingo Niermann, Vincent Normand, Ana Teixeira Pinto, Will Self, Jan Verwoert, Eduardo Viveiros de Castro