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

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

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.

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

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.

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

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.

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