It is November 6, 1920, in Chilean Patagonia when Oriana Josseau is born into a lively family with two grandparents, two parents, and sixteen young aunts and uncles, most within easy reach of her robust cries. And so begins the life of an independent-minded girl from the bottom of the world who somehow manages to overcome the restrictions and biases of a conservative patriarchal society and eventually becomes a scientist.

As her family relocates to the idyllic countryside of central Chile and then to the hectic complex society of Santiago, Oriana vividly recalls her reactions to such diverse events as the birth of her brothers; the abrupt transition from wealth to near poverty; her first earthquake; the turmoil of student politics; the challenges of mountain adventures; the exploration of friendship, love and sex; and her first encounter with raw anti-female bias in a male-dominated research world. As she details her life from early childhood on, it soon becomes evident that Oriana must prevail over frequent conflicts with prejudice in order to become a strong, free woman long before the advent of the feminist movement.

Oriana describes beautifully, with humor and empathy, the idiosyncrasies, strengths, and foibles of one woman, and those around her, as she embarks on a unique coming-of-age journey in a different society and different time.

This is the first biography of William Shockley, founding father of Silicon Valley - one of the most significant and reviled scientists of the 20th century. Drawing upon unique access to the private Shockley archives, veteran technology historian and journalist Joel Shurkin gives an unflinching account of how such promise ended in such ignominy.

This major new book provides a concise history of optical media from Renaissance linear perspective to late twentieth-century computer graphics. Kittler begins by looking at European painting since the Renaissance in order to discern the principles according to which modern optical perception was organized. He also discusses the development of various mechanical devices, such as the camera obscura and the laterna magica, which were closely connected to the printing press and which played a pivotal role in the media war between the Reformation and the Counter-Reformation.

After examining this history, Kittler then addresses the ways in which images were first stored and made to move, through the development of photography and film. He discusses the competitive relationship between photography and painting as well as between film and theater, as innovations like the Baroque proscenium or "picture-frame" stage evolved from elements that would later constitute cinema. The central question, however, is the impact of film on the ancient monopoly of writing, as it not only provoked new forms of competition for novelists but also fundamentally altered the status of books. In the final section, Kittler examines the development of electrical telecommunications and electronic image processing from television to computer simulations.

In short, this book provides a comprehensive introduction to the history of image production that is indispensable for anyone wishing to understand the prevailing audiovisual conditions of contemporary culture.

An archaeology of innovation is the first monograph-length investigation of innovation and the innovation process from an archaeological perspective. It interrogates the idea of innovation that permeates our popular media and our political and scientific discourse, setting this against the long-term perspective that only archaeology can offer. Case studies span the entire breadth of human history, from our earliest hominin ancestors to the contemporary world. The book argues that the present narrow focus on pushing the adoption of technical innovations ignores the complex interplay of social, technological and environmental systems that underlies truly innovative societies; the inherent connections between new technologies, technologists and social structure that give them meaning and make them valuable; and the significance and value of conservative social practices that lead to the frequent rejection of innovations. -- .

ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch,Cambridge,in April2009tocelebrateTonyHoare's75thBirthday(actually11Jan2009). Allthe technicalpapersexceptforthosewrittenbyAbramsky,Jackson,JonesandMeyer arebased-sometimesclosely,sometimesnot-onpresentationsgivenatthatme- ing. TheideaforthemeetingaroseinconversationsbetweenourselvesandAndrew HerbertofMicrosoft,whohostedatrulymemorableandhappyevent. ThemeetingwasorganisedbyourselvesandKenWood,withthe?nancials- portofMicrosoftResearchandFormalSystems(Europe)Ltd,andheldovertwo days. We wouldlike to recordparticularthanksto Angela Still of Microsoftfor makingallthelocalarrangementsatCambridgeandmuchmore:themeetingwould nothavehappenedwithouther. Whilethemajorityofthepapersinthisvolumearetechnical,weaskedauthorsto re?ectonthein?uenceofHoare'sworkontheirown?eldsandtomakeappropriate remarksonit. Allthetechnicalpaperswererefereed. DiscussionswithWayneWheelerofSpringerinspiredthetwoofustowritethe scienti?cbiographyofHoarethatisthe?rstpaperinthisvolume. Thoughwehave bothknownTonywellformanyyears,wewereamazedathowmanydiscoveries abouthimwemadeduringtheprocessofwritingthisarticle. WewouldlikethankWayneandhisassistantSimonReesfortheirhelpinprep- ingthisvolumeaswellastheirpatience. Muchoftheworkingatheringthepapers, ensuringconsistencyofLaTeXstyles,etc. ,wasdonebyLucyLiofOxfordUniv- sityComputingLaboratoryandwethankherwarmly. Tragically,KenWood'swifeLisadiedafteralongillnessinSeptember2009. Wededicatethisvolumetohermemory. January2010 CliffJones BillRoscoe ix Contents 1 Insight,InspirationandCollaboration...1 C. B. JonesandA. W. Roscoe 2 FromCSPtoGameSemantics...33 SamsonAbramsky 3 OnMereologiesinComputingScience...47 DinesBjorner 4 Roles,Stacks,Histories:ATripleforHoare...71 Johannes Borgstrom, .. Andrew D. Gordon, andRiccardoPucella 5 ForwardwithHoare...101 MikeGordonandHel 'ene ' Collavizza 6 ProbabilisticProgrammingwithCoordination...123 HeJifeng 7 TheOperationalPrincipleandProblemFrames...143 MichaelJackson 8 TheRoleofAuxiliaryVariablesintheFormal DevelopmentofConcurrentPrograms...167 C. B. Jones 9 AvoidaVoid:TheEradicationofNullDereferencing...189 BertrandMeyer,AlexanderKogtenkov,andEmmanuelStapf 10 UnfoldingCSP...213 MikkelBundgaardandRobinMilner xi xii Contents 11 Quicksort:CombiningConcurrency,Recursion, andMutableDataStructures...2 29 DavidKitchin,AdrianQuark,andJayadevMisra 12 TheThousand-and-OneCryptographers...255 A. K. McIverandC. C. Morgan 13 On Process-AlgebraicExtensions of Metric TemporalLogic...283 ChristophHaase,Joel .. Ouaknine,andJamesWorrell 14 FunwithTypeFunctions...301 OlegKiselyov,SimonPeytonJones,andChung-chiehShan 15 OnCSPandtheAlgebraicTheoryofEffects...333 RobvanGlabbeekandGordonPlotkin 16 CSPisExpressiveEnoughfor ...371 A. W. Roscoe 17 TheTokeneerExperiments...405 JimWoodcock,EmineGokc .. ,eAydal,andRodChapman Chapter1 Insight,InspirationandCollaboration C. B. JonesandA. W. Roscoe Abstract TonyHoare'smanycontributionstocomputingsciencearemarkedby insightthatwasgroundedinpracticalprogramming. Manyofhispapershavehada profoundimpactontheevolutionofour?eld;theyhavemoreoverprovidedasource ofinspirationtoseveralgenerationsofresearchers. Weexaminethedevelopmentof hisworkthroughareviewofthedevelopmentofsomeofhismostin?uentialpieces ofworksuchasHoarelogic,CSPandUnifyingTheories. 1. 1 Introduction To many who know Tony Hoare only through his publications, they must often looklikepolishedgemsthatcomefromamindthatrarelymakesfalsesteps,nor evenperhapshastoworkattheircreation. Assooften,thisimpressionisafurther complimenttosomeonewhoactuallyaddstoveryhardworkandmanydiscarded attempts the ?nal polish thatmakes complexideas relatively easy for the reader tocomprehend. Asindicatedonpagexiof[HJ89],hisideastypicallygothrough manyrevisions. ThetwoauthorsofthecurrentpapereachhadthehonourofTonyHoaresuperv- ingtheirdoctoralstudiesinOxford. Theyknowat?rsthandhiskindandgenerous styleandwillcountitasanachievementifthispapercanconveysomethingofthe workingmethodsofsomeonebigenoughtoeschewcompetitionandpointscoring. Indeedit willbe apparentfromthe followingsectionshowoften,havingstarted somenewwayofthinkingorexcitingideas,hehappilyleavestheirexplorationand developmenttoothers. Wehavebothbene?tedpersonallyfromthis. C. B. Jones( ) SchoolofComputingScience,NewcastleUniversity,UK e-mail:cliff. jones@ncl. ac. uk A. W. Roscoe OxfordUniversityComputingLaboratory,UK e-mail:Bill. Roscoe@comlab. ox. ac. uk C. B. Jonesetal. (eds. ),Re?ectionsontheWorkofC. A. R.

Cutting-edge historians explore ideas, communities, and technologies around modern computing to explore how computers mediate social relations. Computers have been framed both as a mirror for the human mind and as an irreducible other that humanness is defined against, depending on different historical definitions of "humanness." They can serve both liberation and control because some people's freedom has historically been predicated on controlling others. Historians of computing return again and again to these contradictions, as they often reveal deeper structures. Using twin frameworks of abstraction and embodiment, a reformulation of the old mind-body dichotomy, this anthology examines how social relations are enacted in and through computing. The authors examining "Abstraction" revisit central concepts in computing, including "algorithm," "program," "clone," and "risk." In doing so, they demonstrate how the meanings of these terms reflect power relations and social identities. The section on "Embodiments" focuses on sensory aspects of using computers as well as the ways in which gender, race, and other identities have shaped the opportunities and embodied experiences of computer workers and users. Offering a rich and diverse set of studies in new areas, the book explores such disparate themes as disability, the influence of the punk movement, working mothers as technical innovators, and gaming behind the Iron Curtain. Abstractions and Embodiments reimagines computing history by questioning canonical interpretations, foregrounding new actors and contexts, and highlighting neglected aspects of computing as an embodied experience. It makes the profound case that both technology and the body are culturally shaped and that there can be no clear distinction between social, intellectual, and technical aspects of computing. Contributors: Janet Abbate, Marc Aidinoff, Troy Kaighin Astarte, Ekaterina Babinsteva, Andre Brock, Maarten Bullynck, Jiahui Chan, Gerardo Con Diaz, Liesbeth De Mol, Stephanie Dick, Kelcey Gibbons, Elyse Graham, Michael J. Halvorson, Mar Hicks, Scott Kushner, Xiaochang Li, Zachary Loeb, Lisa Nakamura, Tiffany Nichols, Laine Nooney, Elizabeth Petrick, Cierra Robson, Hallam Stevens, Jaroslav Svelch

When Sir Cyril Burt died in 1971, he was widely recognized as Britain's most eminent educational psychologist whose studies of gifted and delinquent children, contributions to the development of factor analysis, and research on the inheritance of intelligence brought widespread acclaim. Within five years of his death, however, he was publicly denounced as a fraud who had fabricated data to conclude that intelligence is genetically determined. Examiners of the published data found serious inconsistencies that raised questions about their authenticity; the case has divided the scientific community ever since. Were the charges justified, or was he a victim of critics fearful of validating such a politically unacceptable scientific theory? This is an up-to-date and unbiased analysis of one of the most notorious scandals in science, now more timely and widely discussed than ever with the publication of The Bell Curve, the best-selling polemic that raises arguments comparable to Burt's. The distinguished contributors examine the controversial areas of Burt's work and argue that his defenders have sometimes, but by no means always, been correct, and that his critics have often jumped to hasty conclusions. In their haste, however, these critics have missed crucial evidence that is not easily reconciled with Burt's total innocence, leaving the perception that both cases are seriously flawed. An introductory chapter lays the background to the case, followed by an examination of Burt's work that relates to the controversy. The book concludes with a chapter on Burt's character, other cases of apparent scientific fraud, and the impact of Burt's alleged fabrications. These findings have profound implications not only for the study of psychology, but for the wider issues relating to integrity in scientific research, and the impact of intelligence testing on social policy.

An expert introduction to the fascinating world of robotics, artificial intelligence, and how machines learn. In Artificial Intelligence and Robotics: Ten Short Lessons, leading expert Peter J. Bentley breaks down the fast-moving world of computers into ten pivotal lessons, presenting the reader with the essential information they need to get to understand our most powerful technology and its remarkable implications for our species. From the origins and motivation behind the birth of AI and robotics to using smart algorithms that allow us to build good robots, from the technologies that enable computers to understand a huge range of sensory information, including language and communication, to the challenges of emotional intelligence, unpredictable environments, and imagination in artificial intelligence, this is a cutting-edge, expert-led guide for curious minds. Packed full of easy-to-understand diagrams, pictures, and fact boxes, these ten lessons cover all the basics, as well as the latest understanding and developments, to enlighten the nonscientist. About the series: The Pocket Einstein series is a collection of essential pocket-sized guides for anyone looking to understand a little more about some of the most important and fascinating areas of science in the twenty-first century. Broken down into ten simple lessons and written by leading experts in their field, the books reveal the ten most important takeaways from those areas of science you've always wanted to know more about.

Charles Babbage was thirty years old in 1821, as was his close friend, John Herschel, and in English intellectual circles they were both regarded as brilliant mathematicians. One day as Babbage worked in preparing logarithmic tables, a tedious and boring task, he commented to Herschel that he thought he could invent a machine to do these calculations with far more speed and accuracy than a human calculator could. And so was born an idea that would fascinate, tantalize, and absorb him for the remainder of his life. Over the years he drew plans, expanded them, modified them, and finally invented two machines, the Difference Engine and the Analytical Engine. The first was capable only of generating tables, but the Analytical Engine could do much more. It could convert into numbers and print the results of any formula that might be required. It could also develop any analytical formula the laws of whose formation were given. Using punched cards it could store early results in a calculation and then use them to make further calculations when they were required. He had invented the first mechanical computer.

This book provides a technological history of modern India, in particular the Nehruvian development in the context of the Cold War. Through a series of case studies about military modernization, transportation infrastructure, and electric power, it examines how the ideals of autarky and technological indigenization conflicted with the economic and political realities of the Cold War world. Where other studies tend to focus on the political leaders and economists who oversaw development, this book demonstrates how the perspective of the engineers, government bureaucrats, and aid workers informed and ultimately implemented development.

Encyclopedia of Architectural and Engineering Feats presents more than 200 achievements in architecture and structural engineering in all the inhabited continents, from prehistory to the present. An architect once described the built environment as "the manifestation of the human spirit in stone, wood, and steel." In this new volume, readers can explore the most innovative and magnificent architectural expressions of the human spirit, from pre-history to the present, from all parts of the world. Readers can visit the Acropolis and Chartres cathedral, along with less familiar places like the ruins of Great Zimbabwe, once the greatest city in sub-Saharan Africa, and China's 71 meter high, 1,200 year old Grand Buddha, carved from stone. They'll learn the secrets behind audacious engineering feats like the Panama Canal, the U.S. interstate highway system, and the Deltaworks in the Netherlands. They will discover that many of these awe-inspiring projects were not the work of trained architects and engineers, but of "underdeveloped" communities, where unified will, tight social organization, and shared commitment to a spiritual ideal were more important than the inventions of the Industrial Age. 200+ A-Z, fully cross-referenced entries on fascinating structures such as Angkor Wat, a Cambodian temple complex that remains the largest religious monument ever constructed A wealth of illustrations covering diverse topics such as dams, agrarian terracing, cathedrals, temples, bridges, monuments, palaces, skyscrapers, aqueducts, and highway systems Numerous photographs of world famous structures such as the Taj Mahal and the Pont du Gard, and lesser known wonders such as Nazca Lines in Peru depicting a 300 foot long monkey A glossary of explanations for many architectural and engineering terms used around the globe

This collection focuses on different expeditions and their role in the process of knowledge acquisition from the eighteenth century onwards. It investigates various forms of scientific practice conducted during, after and before expeditions, and it places this discussion into the scientific context of experiments. In treating expeditions as experiments in a heuristic sense, we also propose that the expedition is a variation on the laboratory in which different practices can be conducted and where the transformation of uncertain into certain knowledge is tested. The experimental positioning of the expedition brings together an ensemble of techniques, strategies, material agents and social actors, and illuminates the steps leading from observation to facts and documentation. The chapters show the variety of scientific interests that motivated expeditions with their focus on natural history, geology, ichthyology, botany, zoology, helminthology, speleology, physical anthropology, oceanography, meteorology and magnetism.

This book is about the nature of publishing: its processes, history and technologies. It also explores the relationship of technology to pedagogy and how publishing has been a part of reading and writing instruction throughout the 20th century. Today publishing is both an individual and a collaborative process that is commercially, organizationally and pedagogically driven. The goal of the book is to provide a theoretical, historical, and philosophical conception of publishing that would help teachers who are beginning to work in computer-supported environments.

Offers an eye-opening and revealing look into an interpersonal/scientific conflict involving the 'Father of Modern Soil Mechanics' Karl von Terzaghi.

Exemplifies the 'human side' of science in which, sometimes, the prominence of a theorist and the inertia of the 'accepted wisdom' can inhibit progress and rational discussion of the facts.

More than 100 illustrations combine with historical details in the text to evoke a vivid picture of the lost era of pre-WWII Vienna.

A sweeping overview of the American peasantry: the largely sharecrop cultivators who, in Seavoy's analysis, rejected the labor norms of commercial agriculture. About equal numbers of black and white sharecroppers chose to practice subsistence cultivation in order to minimize agricultural labor. The study begins with pre-Civil War slave plantations and the landless white peasants who migrated to North America to escape full-time paid labor in Britain. Seavoy then describes and analyzes the operation of the postbellum sharecrop system and related Back Caste System; the different origins of southern and northern Populism; the massive displacement of southern peasants (after 1950) when cotton cultivation was fully mechanized, and how the voluntary joblessness of the urban underclass has been perpetuated by the welfare entitlements of the Great Society.