There is no part of our bodies that fully rotates be it a wrist or ankle or arm in a shoulder socket, we are made to twist only so far. And yet, there is no more fundamental human invention than the wheel a rotational mechanism that accomplishes what our physical form cannot. Throughout history, humans have developed technologies powered by human strength, complementing the physical abilities we have while overcoming our weaknesses. Providing a unique history of the wheel and other rotational devices, like cranks, cranes, carts, and capstans, Why the Wheel Is Round examines the contraptions and tricks we have devised in order to more efficiently move and move through the physical world. Steven Vogel combines his engineering expertise with his remarkable curiosity about how things work to explore how wheels and other mechanisms were, until very recently, powered by the push and pull of the muscles and skeletal systems of humans and other animals. Why the Wheel Is Round explores all manner of treadwheels, hand-spikes, gears, and more, as well as how these technologies diversified into such things as hand-held drills and hurdy-gurdies. Surprisingly, a number of these devices can be built out of everyday components and materials, and Vogel's accessible and expansive book includes instructions and models so that inspired readers can even attempt to make their own muscle-powered technologies, like trebuchets and ballista. Appealing to anyone fascinated by the history of mechanics and technology as well as to hobbyists with home workshops, Why the Wheel Is Round offers a captivating exploration of our common technological heritage based on the simple concept of rotation. From our leg muscles powering the gears of a bicycle to our hands manipulating a mouse on a roller ball, it will be impossible to overlook the amazing feats of innovation behind our daily devices.

A Companion to Science, Technology, and Medicine in Ancient Greece and Rome beleuchtet diese Fachgebiete der Antike aus einer ganz neuen Perspektive und untersucht in 60 Kapiteln diese Disziplinen vielfaltig kritisch und aus technischer Sicht. - Erhaltlich als zweibandige Printausgabe oder als Online-Version. - Behandelt die Zeit ab 600 vor Christus, beinhaltet Kapitel zum spateren romischen Reich und den Jahrhunderten danach und diskutiert Ubergang und Rezeption der Ideen im Zeitalter der Renaissance. - Untersucht Schlusseldisziplinen, Konzepte und Entwicklungen der Wissenschaft, Technik und Medizin des Altertums vor dem Hintergrund historischer, kultureller und philosophischer Zusammenhange in der griechischen und romischen Gesellschaft. - Legt in Band 1 den Schwerpunkt auf die Mathematik und Naturwissenschaften, in Band 2 auf kulturelle Anwendungen und interdisziplinare Themen.

More than any other technology, cars have transformed our culture. Cars have created vast wealth as well as novel dreams of freedom and mobility. They have transformed our sense of distance and made the world infinitely more available to our eyes and our imaginations. They have inspired cinema, music and literature; they have, by their need for roads, bridges, filling stations, huge factories and global supply chains, re-engineered the world. Almost everything we now need, want, imagine or aspire to assumes the existence of cars in all their limitless power and their complex systems of meanings. This book celebrates the immense drama and beauty of the car, of the genius embodied in the Ford Model T, of the glory of the brilliant-red Mercedes Benz S-Class made by workers for Nelson Mandela on his release from prison, of Kanye West's 'chopped' Maybach, of the salvation of the Volkswagen Beetle by Major Ivan Hirst, of Elvis Presley's 100 Cadillacs, of the Rolls-Royce Silver Ghost and the BMC Mini and even of that harbinger of the end - the Tesla Model S and its creator Elon Musk. As the age of the car as we know it comes to an end, Bryan Appleyard's brilliantly insightful book tells the story of the rise and fall of the incredible machine that made the modern world what it is today.

In a world without aircraft, to believe flight might be possible required a certain kind of character. You had to be starry-eyed, a possessor of practical ingenuity, nerves of steel and a level of sanity that would be best described as deficient. In Mayday!, David Darling tells the stories of the unconventional aviators across history who have been willing to risk all to further their craft. Meet Sophie Blanchard, a balloonist of nervous disposition whom Napoleon charged with organizing balloon displays at all major ceremonies in France. Then there's the daredevil stuntman Lincoln Beachey, the dogfighter aces of WWI, the man who performed the dance of death - switching planes in mid-air, the real "X-Men" who flew at the edge of space, and the BASE jumpers who want to fly without wings. The cast are eccentric, reckless and extraordinary, and Mayday! is made up of their riveting tales, bizarre contraptions, magnificent achievements and, sometimes, startling folly.

Quantum physicist Etienne Klein and astrophysicist Marc Lachieze-Rey present and comment on the successive unifications that have marked the fundamental advances in physics. A good deal of modern theoretical physics is lightly and gracefully explained, rooted in a philosophical examination of the motivations that drive physicists and physics. The book is a discourse on the nature of elegance and beauty in physics, seeking to explain how and why beauty is a reliable guide in the ongoing search for Truth in physics.

Development and operations of the German Mistel aircraft were kept under the tightest security, in an era fraught with the chaotic turmoil of a losing war. Aside from the limited space available - which precludes a detailed account of this unusual variant of the air war - it should also be mentioned that the quality of the photographic material often leaves something to be desired. This concession, which should be considered the exception rather than the rule, is necessary in the interest of providing a good general overview.

All the Facts presents a history of the role of information in the United States since 1870, when the nation began a nearly 150-year period of economic prosperity and technological and scientific transformations. James Cortada argues that citizens and their institutions used information extensively as tools to augment their work and private lives and that they used facts to help shape how the nation evolved during these fourteen decades. He argues that information's role has long been a critical component of the work, play, culture, and values of this nation, and no more so than during the twentieth century when its function in society expanded dramatically. While elements of this story have been examined by thousands of scholars--such as the role of radio, newspapers, books, computers, and the Internet, about such institutions as education, big business, expanded roles of governments from town administration to the state house, from agriculture to the services and information industries--All the Facts looks at all of these elements holistically, providing a deeper insight into the way the United States evolved over time. An introduction and 11 chapters describe what this information ecosystem looked like, how it evolved, and how it was used. For another vast layer of information about this subject the reader is directed to the detailed bibliographic essay in the back of this book. It includes a narrative history, case studies in the form of sidebars, and stories illustrating key points. Readers will find, for example, the story of how the US postal system helped create today's information society, along with everything from books and newspapers to TV, computers, and the Internet. The build-up to what many today call the Information Age took a long time to achieve and continues to build momentum. The implications for the world, and not just for the United States, are as profound as any mega-trend one could identify in the history of humankind. All the Facts presents this development thoroughly in an easy-to-digest format that any lover of history, technology, or the history of information and business will enjoy.

Americas Hundred Thousand covers in detail the eleven U.S. fighter aircraft types produced just before and during World War II - with a combined production total of just over 100,000 aircraft. Covered are the Army Lockheed P-38 Lightning, P-39 Airacobra, Curtiss P-40 Tomahawk/Kittyhawk/Warhawk, P-47 Thunderbolt, North American P-51 Mustang, Northrop P-61 Black Widow, and the Navy F2A - Buffalo, F4F - Wildcat, F4U - Corsair, and F6F - Hellcat fighters. The text is supplemented by more than 650 photographs, and 200 tables and graphs. Fighter production figures are also included. After an introduction of each type, a heavily illustrated overview of earlier inter-war production from 1920-on, along with a discussion and illustration of wartime experimental types, is provided. A lengthy section considering several technical factors affecting fighter performance follows. These include engine models, supercharger types, propellers, aerodynamic thrust, lift and drag, aircraft weight, balance, stability and control, and armament. Americas Hundred Thousand also provides details of each U.S. World War II production fighter in terms of models and changes, numbers produced, and major engine and aircraft performance aspects - in tabular and graphical form - details of weights, discussion of handling qualities and general comments, along with detailed descriptions containing many illustrations of aircraft structures and systems showing the technology of that time. In addition a comprehensive week-to-week and month-to-month chronology of development and wartime combat operational life for each fighter is provided, including many photos. This study concludes with comparisons of the eleven types in terms of program milestones, aircraft drag, power available at various altitudes, speed, climb, rolling and turning, acceleration, and diving performance, as well as general evaluations by World War II pilots.

Between the catastrophic flood of the Tiber River in 1557 and the death of the "engineering pope" Sixtus V in 1590, the city of Rome was transformed by intense activity involving building construction and engineering projects of all kinds. Using hundreds of archival documents and primary sources, Engineering the Eternal City explores the processes and people involved in these infrastructure projects--sewers, bridge repair, flood prevention, aqueduct construction, the building of new, straight streets, and even the relocation of immensely heavy ancient Egyptian obelisks that Roman emperors had carried to the city centuries before. This portrait of an early modern Rome examines the many conflicts, failures, and successes that shaped the city, as decision-makers tried to control not only Rome's structures and infrastructures but also the people who lived there. Taking up visual images of the city created during the same period--most importantly in maps and urban representations, this book shows how in a time before the development of modern professionalism and modern bureaucracies, there was far more wide-ranging conversation among people of various backgrounds on issues of engineering and infrastructure than there is in our own times. Physicians, civic leaders, jurists, cardinals, popes, and clerics engaged with painters, sculptors, architects, printers, and other practitioners as they discussed, argued, and completed the projects that remade Rome.

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.

Militarizing Outer Space explores the dystopian and destructive dimensions of the Space Age and challenges conventional narratives of a bipolar Cold War rivalry. Concentrating on weapons, warfare and vio lence, this provocative volume examines real and imagined endeavors of arming the skies and conquering the heavens. The third and final volume in the groundbreaking European Astroculture trilogy, Militarizing Outer Space zooms in on the interplay between security, technopolitics and knowledge from the 1920s through the 1980s. Often hailed as the site of heavenly utopias and otherworldly salvation, outer space transformed from a promised sanctuary to a present threat, where the battles of the future were to be waged. Astroculture proved instrumental in fathoming forms and functions of warfare's futures past, both on earth and in space. The allure of dominating outer space, the book shows, was neither limited to the early twenty-first century nor to current American space force rhetorics.

Home Fires tells the fascinating story of how changes in home heating over the nineteenth century spurred the growth of networks that helped remake American society. Sean Patrick Adams reconstructs the ways in which the "industrial hearth" appeared in American cities, the methods that entrepreneurs in home heating markets used to convince consumers that their product designs and fuel choices were superior, and how elite, middle-class, and poor Americans responded to these overtures. Adams depicts the problem of dwindling supplies of firewood and the search for alternatives; the hazards of cutting, digging, and drilling in the name of home heating; the trouble and expense of moving materials from place to place; the rise of steam power; the growth of an industrial economy; and questions of economic efficiency, at both the individual household and the regional level. Home Fires makes it clear that debates over energy sources, energy policy, and company profit margins have been around a long time. The challenge of staying warm in the industrializing North becomes a window into the complex world of energy transitions, economic change, and emerging consumerism. Readers will understand the struggles of urban families as they sought to adapt to the ever-changing nineteenth-century industrial landscape. This perspective allows a unique view of the development of an industrial society not just from the ground up but from the hearth up.

The history of science is not just a chronicle of technical achievements, but a human story of discovery intertwined with religion, philosophy, economics, and technology. The modern world began in the sixteenth century when Europeans began to acquire an appreciation for how their achievements surpassed those of the ancient Greeks and Romans. Western Civilization organized itself around the idea that human progress, both technological and moral, was achievable and desirable. Science emerged during the seventeenth century in Europe when people learned to subordinate reason to empiricism. Inspired by the example of physics, men such as Robert Boyle began the process of changing alchemy into the exact science of chemistry. During the eighteenth century, European society became more secular and tolerant. Philosophers and economists developed many of the ideas that determine modern social theories and economic policies. In the latter half of the eighteenth century, the Industrial Revolution fundamentally transformed the world by increasing productivity through specialization and the application of machine power. People became more affluent, better educated, and urbanized. Endemic poverty was eradicated, and the world entered an era of unprecedented prosperity and progress.

This volume brings together a selection of key papers by this soil mechanics pioneer. The papers have been selected on the basis of their importance in the development of soil mechanics and to highlight the nature and range of subjects that Bishop investigated during the thirty-seven years of his career. Bishop's most influential paper was presented at an ASCE (American Society of Civil Engineers) conference in Boulder, Colorado, in 1960, and while it made a big impression at the time, it is now in danger of disappearing from sight. In addition, two of Bishop's very significant papers were published in the late 1970s in the Philosophical Transactions of the Royal Society, not normal reading for the soil mechanics fraternity, and thus became known to only a few people. That has remained the case to this day, and the fact that these two papers have not been republished was the initial motivation for creating this volume. In addition, it is nearly 40 years since Bishop retired from his professorial position at Imperial College and a fitting time to remember Bishop with both a biography, The Bishop Method, and this volume of his papers. In addition to the Bishop papers, there is a paper by Laurie Wesley and Richard Pugh reflecting their research with Bishop. Separate papers were to have been written after the completion of their PhDs, with Bishop as the lead author, but because of his illness this didn't happen. The opportunity has now been taken to present the comprehensive research in these papers, as a tribute to their supervisor and mentor.

Some years ago when I was chair of the department of civil and environmental engineering, a colleague introduced me to a visitor from Sandia Laboratories, perhaps the largest developer of armaments and weapons systems in the world. We had a nice visit, and as we chatted, the talk naturally centered on the visitor's engineering work. It turned out that his job in recent years had been to develop a new acoustic triggering device for bombs. As he explained it, the problem with bombs was that the plunger triggering mechanism could fail if the bomb hit at an angle, and thus the explosives would not detonate. To get around this, he dev- oped an acoustic trigger that would detonate the explosives as soon as the bomb hit any solid surface, even at an angle. As he talked, I watched his face. His enthusiasm for his work was clearly e- dent, and his animated explanations of what they had developed at Sandia exuded pride and excitement. I thought about asking him what it felt like to have spent his engineering career designing better ways to kill people or to destroy property - the sole purpose of a bomb. I wondered how many people had been killed because this man had dev- oped a clever acoustic triggering device. But good sense and decorum prevailed and I did not ask him such questions. We parted as friends and in good spirits.

Volume I covers: JG 1 Oesau, JG 2 Richthofen, JG 3 Udet, JG 4, JG 5 Eismeer, JG 6 Horst Wessel, JG 7 Nowotny, JG 11, JG 26 Schlageter, JG 27, JV 44, JG 51 MAlders, and JG 52.

Originally published in 1907 as number seven in the Cambridge Tracts in Mathematics and Mathematical Physics series, this book provides a concise account regarding the theory of optical instruments. The text was written with the aim of leading 'directly from the first elements of Optics to those parts of the subject which are of greatest importance to workers with optical instruments'. This book will be of value to anyone with an interest in optics, physics and mathematics.

Early applications of Navier's beam theory to the rational design of structures are documented in the Annales of the French Ecole des Ponts et Chaussees and refer to the design of three wooden bridges built in France in the 1840's. Revisiting these examples, the book provides documentation on the progressive establishment of the new design approach, based on the theory of structural mechanics rather than empirical knowledge. The bridges concerned were built according to the structural scheme patented by Ithiel Town in the USA, witnessing the diffusion in Europe of the American advancements in bridge design, circulated by the travel reports of French engineers from the Ecole. Through the exam of French treatises discussing the progress of theoretical formulations in parallel with experimental findings in the 18th and 19th centuries, the book retraces as well the long path which led to the formulation of Navier's theory. The relevant scientific debate dealt mainly with the specific case of wood bridges; the text outlines a brief history of bridges built in the Alpine area at the time, based on unpublished iconographic materials from various European archives.

This is the story of the wonders of refrigeration. For thousands of years, humans coped with heat by devising natural cooling systems of ventilation and evaporation. They harvested and stored natural ice and snow for summer usage. By the mid 1800s, men began to develop huge machines to make artificial ice using scientific and mechanical principles. By the early 1900s engineers developed electric domestic refrigerators, which by 1927 became affordable and convenient household appliances. By then, a more sophisticated public demanded more modern looking appliances than engineers could produce, and a new breed of designers entered the manufacturing world to provide them. During the Depression, such modern designs not only significantly increased falling sales, but resulted in the modern appliances and kitchens we now enjoy. Today refrigeration enables the preservation of perishable food for distribution around the world, makes tropical climates habitable for millions, saves lives with medical applications, and powers space flight.

Because science and technology have opened new avenues for vintners, our taste in wine has grown ever more diverse. Wine is now the subject of careful chemistry and global demand. Paul Lukacs recounts the journey of wine through history how wine acquired its social cachet, how vintners discovered the twin importance of place and grape, and how a basic need evolved into a realm of choice.

"

This book covers the use and development of one the Luftwaffe's largest planes, the Messerschmitt Me 321/323.

In 1960, 97 percent of private pilots were men. More than half a century later, this figure has barely changed. In Weekend Pilots, Alan Meyer provides an engaging account of the post-World War II aviation community. Drawing on public records, trade association journals, newspaper accounts, and private papers and interviews, Meyer takes readers inside a white, male circle of the initiated that required exceptionally high skill levels, that celebrated facing and overcoming risk, and that encouraged fierce personal independence. The Second World War proved an important turning point in popularizing private aviation. Military flight schools and postwar GI-Bill flight training swelled the ranks of private pilots with hundreds of thousands of young, mostly middle-class men. Formal flight instruction screened and acculturated aspiring fliers to meet a masculine norm that traced its roots to pre-war barnstorming and wartime combat training. After the war, the aviation community's response to aircraft designs played a significant part in the technological development of personal planes. Meyer also considers the community of pilots outside the cockpit-from the time-honored tradition of "hangar flying" at local airports to air shows to national conventions of private fliers-to argue that almost every aspect of private aviation reinforced the message that flying was by, for, and about men. The first scholarly book to examine in detail the role of masculinity in aviation, Weekend Pilots adds new dimensions to our understanding of embedded gender and its long-term effects.