Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from …
Urbanization is next to global warming the largest threat to biodiversity. Indeed, it is becoming increasingly evident that many bird species get locally extinct as a result of urban development. However, many bird species benefit from urbanization, especially through the abundance of human-provided resources, and increase in abundance and densities. These birds are intriguing to study in relat…
The role of parents in shaping the characters of their children, the causes of violence and crime, and the roots of personal unhappiness are central to humanity. Like so many fundamental questions about human existence, these issues all relate to behavioural development. In this lucid and accessible book, eminent biologist Professor Sir Patrick Bateson suggests that the nature/nurture dichotomy…
This comprehensive volume thoroughly covers wave propagation behaviors and computational techniques for electromagnetic waves in different complex media. The chapter authors describe powerful and sophisticated analytic and numerical methods to solve their specific electromagnetic problems for complex media and geometries as well. This book will be of interest to electromagnetics and microwave e…
Behavioural change has become a core issue of public policy. Behavioural instruments such as ‘nudging’ apply insights from behavioural economics and behavioural sciences, psychology and neurosciences across a broad range of policy areas. Behavioural insights teams and networks facilitate the global spread of behavioural public policies. Despite an ever-growing amount of literature, research…
Behavioral pharmacology studies the biological bases of behavior and the pharmacological effects of natural or synthetic drugs through behavioral analysis, with the identification of substances that could contribute to improvement of the quality of life for humans. Through behavioral pharmacology, it is possible to generate knowledge about pharmacological bases that influence the normal or alte…
Neuroactive chemicals are the largest group of micropollutants present in European rivers. There is increasing concern about the behavioral effects of these neuroactive chemicals on aquatic wildlife, potentially resulting in detrimental effects on individual, population, and community levels of ecological organization. This Special Issue, titled “Behavioral Impairment in Aquatic Organisms Exp…
This groundbreaking volume explores the multicultural debate that has evolved in the United States and Europe since the cataclysmic events of 9/11. Instead of suggesting closure by presenting a unified narrative about cultural diversity, national identity, and social stratification, the essays in this well-balanced collection present a variety of perspectives, each highlighting the undiminished…
American Mobilities investigates representations of mobility - social, economic, geographic - in American film and literature during the Depression, WWII, and the early Cold War. With an emphasis on the dual meaning of »domestic«, referring to both the family home and the nation, this study traces the important trope of mobility that runs through the »American« century. Juxtaposing …
Since the fall of communism, laissez-faire capitalism has experienced renewed popularity. Flush with victory, the United States has embraced a particularly narrow and single-minded definition of capitalism and aggressively exported it worldwide. The defining trait of this brand of capitalism is an unwavering reverence for the icons of the market. Although promoted as a laissez-faire form of cap…