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.

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.

This book is about describing the meaning of programming languages. The author teaches the skill of writing semantic descriptions as an efficient way to understand the features of a language. While a compiler or an interpreter offers a form of formal description of a language, it is not something that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices. Early in the book the author introduces a simple notation, a meta-language, used to record descriptions of the semantics of languages. In a practical approach, he considers dozens of issues that arise in current programming languages and the key techniques that must be mastered in order to write the required formal semantic descriptions. The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism), context dependency, modelling sharing, modelling concurrency, and modelling exits. The content is class-tested and suitable for final-year undergraduate and postgraduate courses. It is also suitable for any designer who wants to understand languages at a deep level. Most chapters offer projects, some of these quite advanced exercises that ask for complete descriptions of languages, and the book is supported throughout with pointers to further reading and resources. As a prerequisite the reader should know at least one imperative high-level language and have some knowledge of discrete mathematics notation for logic and set theory.

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.

This book provides a comprehensive summary of the cutting edge scientific evidence regarding the role of immune system in the pathogenesis and treatment of schizophrenia and related psychotic disorders. It illustrates the role of inflammation and immunity in schizophrenia drawing on both basic science and clinical research. The chapters provide up-to-date summaries of immunological risk factors for schizophrenia and related psychotic disorders, and underlying mechanisms as informed by neuroimaging, genetic, clinical and animal experimental studies. In addition, the book will illuminate the scope for immunological treatment for schizophrenia.

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.

* 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.

Research Perspectives on Social Media Influencers and their Followers argues that the brands that find the most success on social media are the ones that acknowledge the real key to social media marketing-it's all about the followers. This collection, edited by Brandi Watkins, explores how social media has shifted power dynamics away from brands and toward the consumers themselves-the social media users who choose to like, share, and engage with brands online. This dynamic has paved the way for the rise of the social media influencer (SMI); a unique category of social media user who has a large platform and compelling content that attracts a number of loyal and devoted followers.. It's the followers that make SMI relevant and appealing to brands as a marketing strategy. Contributors discuss emerging trends in research related to the SMI and their followers; as the influencer marketing industry continues to grow and evolve, they argue, so too should our understanding of the influencer-follower relationship that makes this marketing strategy successful. Each chapter of this collection presents a variety of research perspectives, questions, and methodologies that can be used to analyze this trend. Scholars of media studies, communication, technology studies, celebrity studies, marketing, and economics will find this book particularly useful.

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?

Research Perspectives on Social Media Influencers and their Followers argues that the brands that find the most success on social media are the ones that acknowledge the real key to social media marketing-it's all about the followers. This collection, edited by Brandi Watkins, explores how social media has shifted power dynamics away from brands and to the consumers themselves, the social media users who choose to like, share, and engage with brands online. This dynamic has paved the way for the rise of the social media influencer (SMI)-while the influencers have the platform, the products, and the content, the followers are what keep them relevant and appealing to brands as a marketing strategy. Contributors discuss emerging trends in research related to the SMI and their followers; as the influencer marketing industry continues to grow and evolve, they argue, so too should our understanding of the influencer-follower relationship that makes this marketing strategy successful. Each chapter of this collection presents a variety of research perspectives, questions, and methodologies that can be used to analyze this trend. Scholars of media studies, communication, technology studies, celebrity studies, marketing, and economics will find this book particularly useful.