Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction

Author: Davide Sangiorgi

Publisher: Cambridge University Press

Published: 2011-10-13

Total Pages: 341

ISBN-13: 1139502905

DOWNLOAD EBOOK

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.

Eating the Enlightenment
Eating the Enlightenment

Author: E.C. Spary

Publisher: University of Chicago Press

Published: 2013-04-08

Total Pages: 380

ISBN-13: 0226768880

DOWNLOAD EBOOK

Eating the Enlightenment offers a new perspective on the history of food, looking at writings about cuisine, diet, and food chemistry as a key to larger debates over the state of the nation in Old Regime France. Embracing a wide range of authors and scientific or medical practitioners—from physicians and poets to philosophes and playwrights—E. C. Spary demonstrates how public discussions of eating and drinking were used to articulate concerns about the state of civilization versus that of nature, about the effects of consumption upon the identities of individuals and nations, and about the proper form and practice of scholarship. En route, Spary devotes extensive attention to the manufacture, trade, and eating of foods, focusing upon coffee and liqueurs in particular, and also considers controversies over specific issues such as the chemistry of digestion and the nature of alcohol. Familiar figures such as Fontenelle, Diderot, and Rousseau appear alongside little-known individuals from the margins of the world of letters: the draughts-playing café owner Charles Manoury, the “Turkish envoy” Soliman Aga, and the natural philosopher Jacques Gautier d’Agoty. Equally entertaining and enlightening, Eating the Enlightenment will be an original contribution to discussions of the dissemination of knowledge and the nature of scientific authority.

After Law
After Law

Author: Laurent de Sutter

Publisher: John Wiley & Sons

Published: 2021-02-03

Total Pages: 240

ISBN-13: 1509545433

DOWNLOAD EBOOK

Law is the most sacred fetish of our time. From radicals to conservatives, there is no militant, activist or thinker who would consider doing without it. But the history of our fascination with law is long and complex, and reaches deeper into our culture than we might think. In After Law, Laurent de Sutter takes us on a journey to uncover the sources of our fascination. He shows that at a certain moment in our history a choice was made to treat law as a decisive feature of civilization, but this choice was neither obvious nor necessary. Other political, social, religious or cultural possibilities could have been chosen instead – from ancient Egypt to Mesopotamia, from medieval Japan to China, from Islam to Judaism, other cultures have devised sophisticated tools to help people live together without having to deal with norms, rules and principles. This is a lesson worth reflecting on, especially at a time when the rule of law and the functioning of justice are increasingly showing their sinister side – and their impotence. Is there life beyond law?

Transforming Medical Education
Transforming Medical Education

Author: Delia Gavrus

Publisher: McGill-Queen's Press - MQUP

Published: 2022-04-11

Total Pages: 405

ISBN-13: 0228012333

DOWNLOAD EBOOK

In recent decades, researchers have studied the cultures of medicine and the ways in which context and identity shape both individual experiences and structural barriers in medical education. The essays in this collection offer new insights into the deep histories of these processes, across time and around the globe. Transforming Medical Education compiles twenty-one historical case studies that foreground processes of learning, teaching, and defining medical communities in educational contexts. The chapters are organized around the themes of knowledge transmission, social justice, identity, pedagogy, and the surprising affinities between medical and historical practice. By juxtaposing original research on diverse geographies and eras – from medieval Japan to twentieth-century Canada, and from colonial Cameroon to early Republican China – the volume disrupts traditional historiographies of medical education by making room for schools of medicine for revolutionaries, digital cadavers, emotional medical students, and the world’s first mandatory Indigenous community placement in an accredited medical curriculum. This unique collection of international scholarship honours historian, physician, and professor Jacalyn Duffin for her outstanding contributions to the history of medicine and medical education. An invaluable scholarly resource and teaching tool, Transforming Medical Education offers a provocative study of what it means to teach, learn, and belong in medicine.