This book is the first comprehensive history of an important, but mostly overlooked, element of the World War II Patrol Torpedo (PT) boats: the Motor Torpedo Boat Squadrons Training Center (MTBSTC) in Melville, Rhode Island. While not every sailor who served on PT boats went through the training at MTBSTC, every PT sailor was affected by what went on there. The MTBSTC created the PT boats' operational policies and tactics, as well as weapons and equipment experimentation and development. Even the orders the men received for their PT boat assignment were dictated by the MTBSTC. Most of the books written about PT boats have only a passing reference to the MTBSTC. This lack of detailed information on the Training Center has left a large hole in the overall printed history of PT boats. This book fills that gap.

This book documents the Training Center from its beginnings when the land was undeveloped swampland, through its growing pains during construction and expansion during the war. It traces the problems of developing a training curriculum from scratch, the struggles to keep the training current, up through the point when the training reached its peak of proficiency just as the war ended. It provides insight into what life was like for the sailors that spent two to three months going through the training program and of those who were stationed at the Training Center as instructors or staff personnel. This book also details the Training Center's post-war career and its current development as a thriving marina and boat building enterprise.

This book is culled from the MTBSTC's wartime correspondence files and other deck logs, published and unpublished books, articles, and reports; and interviews with PT boat veterans who underwent the training at the MTBSTC. It is lavishly illustrated with archival, private, and public photographs, most of which have never been published before.

This book completes the written history of the PT boats in World War II.

“With a scholar’s commitment to accurate detail, and the heart of a lover of beauty, Kathleen B. Jones’s engaging and well-crafted parallel story is as colorful and lucid as the illuminated manuscripts at the center of her novel.� —Laurel Corona, author of The Mapmaker’s Daughter A deeply affecting dual narrative separated by several centuries, Cities of Women examines the lives of women who dare to challenge the social norms of their days, risking their reputations and livelihoods for the sake of their passions. In the twenty-first century, we meet Verity Frazier, a disillusioned history professor who sets out to prove that the artist responsible for the illuminated artwork in Christine de Pizan’s medieval manuscripts was a remarkable woman named Anastasia. As Anastasia’s story unfolds against the exquisitely-rendered medieval backdrop of moral disaster, political intrigue, and extraordinary creativity, Verity finds her career on the brink of collapse by her efforts to uncover evidence of the lost artist’s existence. Inspired by a decade of research, Jones has woven together a luminous and incisive masterpiece of historical fiction, evoking the spare joys and monumental pitfalls facing medieval women artists and a contemporary woman who becomes obsessed with medieval books.

The pressing need for a smarter and greener grid is obvious, but how this goal should be achieved is much less clear. This book clearly defines the environmental promise of the smart grid and describes the policies necessary for fully achieving the environmental benefits of the digital energy revolution. The United States' electrical grid is an antique. It was built to serve a 20th-century economy and designed in an era when the negative environmental impacts of electricity production were poorly understood. It must be upgraded and modernized. The proposed solution is a "smart grid"-a network of new digital technologies, equipment, and controls that can respond quickly to the public's changing energy needs by facilitating two-way communication between the utility and consumers. This book explains the environmental benefit of a smart grid, examines case studies of existing smart grids, and identifies the legal and regulatory policy hurdles that must be overcome to fully realize the smart grid's benefits. Based on six diverse organizations' experience as "early adopters" in the digital energy revolution, the authors explore how a smart electric grid offers real promise for supercharging energy efficiency, democratizing demand response, electrifying transportation, preparing for ubiquitous distributed clean energy technologies, and automating the distribution system. Against the backdrop of climate change and continuing economic uncertainty, setting a path for environmental improvement and upgrading our electric grid with new digital technologies and associated smart policies is more critical than ever before. Deciphers the muddled "information" from industry leaders and policymakers about 21st-century energy technology, enabling readers to understand how a smart grid can be a cost-effective tool to benefit the climate Provides detailed information from case studies of six early smart grid leaders to showcase the strengths and weaknesses of these programs Identifies the legal and regulatory challenges that could prevent the successful implementation of a smart electric grid, making it clear that the issues are not purely technological Serves ideally as a primary text for courses on smart grid technology and policy as well as a resource for graduate-level research for energy policy or climate change policy courses

For the first time ever, Richard B Jones' novels of vampires and family drama have been combined into one book.

In Vampyre, discover what happens when two worlds collide between a human and a vampire. Experience hope, loss and faith as these two lovers battle a sinister vampire and demons from the past to prove that true love can endure any obstacle and conquer all.

Night and Day lets the reader experience the weddings, deaths, romances, betrayals, murders, secrets and births that have shaped the lives of so many in the town of Eastlake. Cry at the deaths of loved ones, hold onto your seat during the many action adventures and gasp at the sudden plot twists. Come get lost in the many great romances that blossomed and the weddings that were memorable.

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori Foundation in 2000, and was knighted for "services to education and computer science" by Queen Elizabeth II of England in 2000. This book presents the essence of his various works-the quest for effective abstractions-both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this volume contains biographical material, his Turing award lecture, the transcript of an interview and some of his seminal papers. Hoare's foundational paper "An Axiomatic Basis for Computer Programming", presented his approach, commonly known as Hoare Logic, for proving the correctness of programs by using logical assertions. Hoare Logic and subsequent developments have formed the basis of a wide variety of software verification efforts. Hoare was instrumental in proposing the Verified Software Initiative, a cooperative international project directed at the scientific challenges of large-scale software verification, encompassing theories, tools and experiments. Tony Hoare's contributions to the theory and practice of concurrent software systems are equally impressive. The process algebra called Communicating Sequential Processes (CSP) has been one of the fundamental paradigms, both as a mathematical theory to reason about concurrent computation as well as the basis for the programming language occam. CSP served as a framework for exploring several ideas in denotational semantics such as powerdomains, as well as notions of abstraction and refinement. It is the basis for a series of industrial-strength tools which have been employed in a wide range of applications. This book also presents Hoare's work in the last few decades. These works include a rigorous approach to specifications in software engineering practice, including procedural and data abstractions, data refinement, and a modular theory of designs. More recently, he has worked with collaborators to develop Unifying Theories of Programming (UTP). Their goal is to identify the common algebraic theories that lie at the core of sequential, concurrent, reactive and cyber-physical computations.

Special functions are pervasive in all fields of science and industry. The most well-known application areas are in physics, engineering, chemistry, computer science and statistics. Because of their importance, several books and websites (see for instance http: functions.wolfram.com) and a large collection of papers have been devoted to these functions. Of the standard work on the subject, namely the Handbook of Mathematical Functions with formulas, graphs and mathematical tables edited by Milton Abramowitz and Irene Stegun, the American National Institute of Standards claims to have sold over 700.000 copies But so far no project has been devoted to the systematic study of continued fraction representations for these functions. This handbook is the result of such an endeavour. We emphasise that only 10% of the continued fractions contained in this book, can also be found in the Abramowitz and Stegun project or at the Wolfram website

Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of software generation and maintenance methods. Parallelism can serve to structure a problem but also promises faster program execution. The two areas of computing science in which these paradigms play the most prominent role are programming languages and databases. In programming languages, one can take an academic approach with a primary focus on the generality of the semantics of the language constructs which support the respective paradigm. In databases, one is willing to restrict the power of the constructs in the interest of increased efficiency. Inter- and intra-object parallelism have received an increasing amount of attention in the last few years by researchers in the area of object- oriented programming. At first glance, an object is very similar to a process which offers services to other processes and demands services from them. It has, however, transpired that object-oriented concepts cause problems when combined with parallelism. In programming languages, the introduction of parallelism and the synchronization constraints it brings with it can get in the way of code reusability. In databases, the combination of object orientation and parallelism requires, for example, a generalization of the transaction model, new approaches to the specification of information systems, an implementation model of object communication, and the design of an overall system architecture. There has been insufficient communication between researchers in programming languages and in databases on these issues. Object Orientation with Parallelism and Persistence grew out of a Dagstuhl Seminar of the same title in April 1995 whose goal it was to put the new research area object orientation with parallelism' on an interdisciplinary basis. Object Orientation with Parallelism and Persistence will be of interest to researchers and professionals working in software engineering, programming languages, and database systems.

“With a scholar’s commitment to accurate detail, and the heart of a lover of beauty, Kathleen B. Jones’s engaging and well-crafted parallel story is as colorful and lucid as the illuminated manuscripts at the center of her novel.� —Laurel Corona, author of The Mapmaker’s Daughter A deeply affecting dual narrative separated by several centuries, Cities of Women examines the lives of women who dare to challenge the social norms of their days, risking their reputations and livelihoods for the sake of their passions. In the twenty-first century, we meet Verity Frazier, a disillusioned history professor who sets out to prove that the artist responsible for the illuminated artwork in Christine de Pizan’s medieval manuscripts was a remarkable woman named Anastasia. As Anastasia’s story unfolds against the exquisitely-rendered medieval backdrop of moral disaster, political intrigue, and extraordinary creativity, Verity finds her career on the brink of collapse by her efforts to uncover evidence of the lost artist’s existence. Inspired by a decade of research, Jones has woven together a luminous and incisive masterpiece of historical fiction, evoking the spare joys and monumental pitfalls facing medieval women artists and a contemporary woman who becomes obsessed with medieval books.

* Applies cognitive science and evidence into how student's learn to homework. * Reveals the homework activities that have the greatest impact on students' achievement * Provides activities, strategies and tips for setting effecgtively homework activities. * Includes guidance for classroom teachers and senior leaders including advice on working with parents and setting a homework policy.

Reducing risk means saving lives, time and money. This book shows how to successfully manage and significantly reduce the risk inherent to all managerial and industrial endeavours. Risk reduction is a highly complex exercise in balancing the constant demands of equipment, personnel, production and service. This book presents practical methods and ideas for reducing risk through proven, easy-to-use and cost-effective techniques Based on the sound principles of reliability-centred maintenance, this book addresses the real-world concerns of assessing, quantifying and managing risk in a wide variety of real-life situations. It goes beyond the mathematical aspects of statistics and probability to show how to actually apply risk-based management to measurably improve reliability The book bridges the gap between theory and practice by presenting information and ideas that consider existing data quality and quantity limitations. The procedures and case studies described use only data available in common industrial situations, and produce results that are directly useful in improving reliability and reducing risk We cannot change what happened yesterday, but we can manage what may happen

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.

Communicating with Our Families: Continuity, Interruption, and Transformation explores the impact of personal communication technologies on family communication. In this historical moment, novel communication technologies and social media applications infiltrate our family units. This edited collection examines how communication technologies are shaping childhood, parenthood, and families by exploring topics such as parental loneliness, family storytelling, family technology rules, mindful technology usage, multigenerational communication, and community. The scholars in this volume work from a human communication perspective and use various research modes of inquiry including quantitative, qualitative, and interpretive methods. Through the integration and presentation of diverse research questions tested and responded to from a variety of scholarly approaches, a nuanced exploration of communication technology utilized within a family setting is provided. Since the family is indeed "the first communication classroom," this volume interrogates how that classroom may be changing and the implications of that change on different roles, responsibilities, and relationships within the family. Perhaps the most significant question implied by our contributors in this volume: Will the introduction of new communication technologies fundamentally alter familial forms and will those new grouping that emerge resemble what has been generally assumed for several millennia?