Resultados de la búsqueda

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows ... More

This book constitutes the proceedings of the 16th International Conference on Intelligent Virtual Agents, IVA 2016, held in Los Angeles, CA, USA, in September 2016. The 12 full papers, 18 short papers, and 37 demo and poster papers accepted were carefully reviewed and selected from 81 submissions. ... More

The Courage to Go Forward shows that individuals need to think differently about creating supportive communities to help each other set and achieve goals, both individually and collectively. Those interested in making a positive impact on society need to consider how to complement societal programs... More

The biblical themes of creation and new creation are inextricably bound to each other.... More

This concise, easy to follow review of obstetric anesthesia follows the outline set forth by the American Board of Anesthesiology (ABA), making it an invaluable resource for in-service exam and board exams. The book is divided into four sections, beginning with maternal physiology, followed by mater... More

Abiotic stress adversely affects crop production worldwide, decreasing average yields for most of the crops to 50%. Among various abiotic stresses affecting agricultural production, drought stress is considered to be the main source of yield reduction around the globe. Due to an increasing world p... More

Glutathione (γ-glutamyl-cysteinyl-glycine; GSH), a ubiquitously distributed sulfur containing antioxidant molecule, serves as a crucial player in regulating plant growth, development and abiotic stress tolerance. It is one of the most powerful low-molecular weight thiols and rapidly accumulates in ... More

Techniques in the investigative interviewing and interrogation of victims, witnesses and suspects of crime vary around the world, according to a country’s individual legal system, religion and culture. Whereas some countries have developed certain interview protocols for witnesses (such as the ABE G... More

Techniques in the investigative interviewing and interrogation of victims, witnesses and suspects of crime vary around the world, according to a country’s individual legal system, religion and culture. Whereas some countries have developed certain interview protocols for witnesses (such as the ABE G... More

This book recounts the experiences of a non-Communist participant in the Vietnamese national resistance to foreign domination, as urban organizer and participant in the NLF, and the author's feelings of betrayal by the Communists.... More

Taking its cue from Baudelaire’s important essay "The Painter of Modern Life," in which Baudelaire imagines the modern artist as a "man of the world," this collection of essays presents Oscar Wilde as a "man of the world" who eschewed provincial concerns, cultural conventions, and narrow national in... More

What will the future look like? To judge from many speculative fiction films and books, from Blade Runner to Cloud Atlas, the future will be full of cities that resemble Tokyo, Hong Kong, and Shanghai, and it will be populated mainly by cold, unfeeling citizens who act like robots. Techno-Orientalis... More

This book is a heavily-illustrated, internationally applicable, practical guide for the identification of likely causal agents of damage to trees and woody shrubs. It is intended for use in sentinel plantings - a new tool to identify pests in the country of origin, used to inform pest risk analysis ... More