Design And Modeling for Computer Experiments

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.

Relive the destruction of the History’s Greatest Monster series in this IDW Library Collection! Cities, special forces teams, and a legion of kaiju are no match for…Godzilla!The Godzilla Library Collection is a comprehensive line of books that will collect every comic series by IDW! Volume 3 collects the 13-issue series History’s Greatest Monster by Duane Swierczynski and Simon Gane.Godzilla continues to destroy cities and lives all over the world, and ex–special forces tough guy Boxer is a man with a grudge who vows to end the terror—no matter what! He assembles a top-notch team to take Godzilla and the other monsters down at $7 billion a bounty.

Mobile Robotics offers comprehensive coverage of the essentials of the field suitable for both students and practitioners. Adapted from Alonzo Kelly's graduate and undergraduate courses, the content of the book reflects current approaches to developing effective mobile robots. Professor Kelly adapts principles and techniques from the fields of mathematics, physics and numerical methods to present a consistent framework in a notation that facilitates learning and highlights relationships between topics. This text was developed specifically to be accessible to senior level undergraduates in engineering and computer science, and includes supporting exercises to reinforce the lessons of each section. Practitioners will value Kelly's perspectives on practical applications of these principles. Complex subjects are reduced to implementable algorithms extracted from real systems wherever possible, to enhance the real-world relevance of the text.

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Inigo Jones worked as hard on the creation of his architectural persona as he did on the design of the buildings for the early Stuart court. Through his study of continental architectural and art theory, humanist education, and courtly behavior, Jones redefined the intellectual status of architecture in England and forged a new role for the architect in public life. Since his death, he has been variously described as the first educated architect, the first classicist, the first Renaissance architect in Britain, and the savior of British building from the long winter of the Elizabethan style. This reputation has overlooked the many ways that Jones drew on English customs in order to shape classical architecture for a domestic audience. This 2006 book explores the creation of Jones as professional architect and the development of classical architecture in England through a study of his reading, writing, and architectural practice.

Inigo Jones worked as hard on the creation of his architectural persona as he did on the design of the buildings for the early Stuart court. Through his study of continental architectural and art theory, humanist education, and courtly behavior, Jones redefined the intellectual status of architecture in England and forged a new role for the architect in public life. Since his death, he has been variously described as the first educated architect, the first classicist, the first Renaissance architect in Britain, and the savior of British building from the long winter of the Elizabethan style. This reputation has overlooked the many ways that Jones drew on English customs in order to shape classical architecture for a domestic audience. This 2006 book explores the creation of Jones as professional architect and the development of classical architecture in England through a study of his reading, writing, and architectural practice.

How to design, execute, and interpret experiments for protein sequencing using mass spectrometry The rapid expansion of searchable protein and DNA databases in recent years has triggered an explos

There are countless books that can teach you the alphabet, but almost none that focus on the tiny designs that run interference among the letterforms: those easily overlooked punctuation and typographic symbols. These symbols, as Michael Arndt proves in this beautiful and endlessly fascinating book, are absolutely indispensable to communication: punctuation turns words into sentences and language into meaning... From commas to semicolons, from slashes to asterisks, from guillemets to octothorpes (named, perhaps, after athlete Jim Thorpe), you'll never look at punctuation the same way again.--Michael Bierut, partner, PentagramIn this show-stopping guide with more than 75 uniquely designed two-color spreads--a rollicking linguistic ride for fans of Eats, Shoots & Leaves and Just My Type--award-winning graphic designer Michael Arndt explores the typographic origins, names, and shapes of both common punctuation marks and symbols, as well as the proper and diverse usage of each.From the

In this practical guide, an experienced group of contributors provide concrete strategies and real-world examples for implementing this highly successful design for professional learning communities.

With fun, bible-themed word searches, kids can learn about the Bible and God's Word as they develop their brain and complete engaging word search puzzles! With fun puzzles, this Bible word search book is the perfect way to get kids interested in stories from the Bible. Bible Word Search for Kids includes: 50 Bible-themed puzzles that kids will loveWord searches that include characters, stories, and messages from the BiblePuzzles ranging in difficulty from easy to challengingA layflat design so kids can complete the puzzles with easeIf you want your child to learn more about the gospel while completing fun, brain-teasing puzzles, Bible Word Search for Kids is the perfect book to add to their reading collection.

Discover the joys and self-nurturing benefits of plant parenthood, from learning how to begin building your own lush plant family to getting into those fun tips on how to care for your green gurls, with this beautiful, illustrated guide from the dazzling creator of the @plantkween Instagram account. “We all love some new growth, dahling.”Six years ago, Christopher Griffin was just beginning the plant parenthood journey with one small Marble Queen Pothos. Today, this Black Queer non-binary femme plant influencer known as Plant Kween tends to a family of more than 200 healthy green gurls in the Brooklyn apartment they call home. You Grow, Gurl! is Kween’s fun and fabulous guide to becoming a plant parent and keeping your green gurls growing and thriving.Anyone can be a plant parent! It’s all about TLC―taking the time and energy to focus on a plant’s needs, and ultimately your own. Featuring 200 full-color photos and illustrations, practical instructions and tips―on everything from propa

Drawing on recent research in moral psychology and neuroscience, this book argues that universal moral beliefs and emotions shaped the evolution of the laws of war, and in particular laws that protect civilians. It argues that civilian protection norms are not just a figment of the modern West, but that these norms were embryonic in earlier societies and civilizations, including Ancient China, early Islam, and medieval Europe. However, despite their ubiquity, this book argues that civilian protection rules are inherently fragile, and that their fragility lies not just in failures of compliance, but also in how moral emotions shaped the design of the law. The same beliefs and emotions that lead people to judge that it is wrong to intentionally target civilians can paradoxically constitute the basis for excusing states for incidental civilian casualties, or collateral damage. To make the laws of war work better for civilians, this book argues that we need to change how we think about the

history right now, including Ava DuVernay, Janelle Monae, Kamala Harris, Misty Copeland, Nikole Hannah-Jones, Robin Roberts, Roxane Gay, and Simone Biles--with this compilation of celebratory odes featuring full-color illustrations by Melissa Koby.Black women are exceptional. To honor how Black women use their minds, talent, passion, and power to transform society, Harold Green began writing love letters in verse which he shared on his Instagram account. Balm for our troubled times, his tributes to visionaries and leaders quickly went viral and became a social media sensation. Now, in this remarkable collection, Green brings together many of these popular odes with never-before-seen works.A timely celebration of contemporary Black figures who are making history and shaping our culture today, Black Roses is divided into five sections--advocates, curators, innovators, luminaries, trailblazers--reflecting the diversity of Black women's achievements and the depth of their reach. These insp

Master the basic concepts and methodologies of digital signal processing with this systematic introduction, without the need for an extensive mathematical background. The authors lead the reader through the fundamental mathematical principles underlying the operation of key signal processing techniques, providing simple arguments and cases rather than detailed general proofs. Coverage of practical implementation, discussion of the limitations of particular methods and plentiful MATLAB illustrations allow readers to better connect theory and practice. A focus on algorithms that are of theoretical importance or useful in real-world applications ensures that students cover material relevant to engineering practice, and equips students and practitioners alike with the basic principles necessary to apply DSP techniques to a variety of applications. Chapters include worked examples, problems and computer experiments, helping students to absorb the material they have just read. Lecture slides

This book gives a friendly introduction to Fourier analysis on finite groups, both commutative and non-commutative. Aimed at students in mathematics, engineering and the physical sciences, it examines the theory of finite groups in a manner that is both accessible to the beginner and suitable for graduate research. With applications in chemistry, error-correcting codes, data analysis, graph theory, number theory and probability, the book presents a concrete approach to abstract group theory through applied examples, pictures and computer experiments. In the first part, the author parallels the development of Fourier analysis on the real line and the circle, and then moves on to analogues of higher dimensional Euclidean space. The second part emphasizes matrix groups such as the Heisenberg group of upper triangular 2x2 matrices. The book concludes with an introduction to zeta functions on finite graphs via the trace formula.

An anthology of new and beloved Godzilla creators telling tales that get to the heart of Godzilla’s lasting popularity!Celebrating 70 years of Godzilla! Since 1954, Godzilla has been King of the Monsters, and what better way to celebrate than a gigantic anthology of tales that get to the heart of Godzilla’s lasting popularity? From the American Old West to modern Tokyo and beyond, this collection features stories of Godzilla fighting with its allies like Mothra against old enemies like the terrible Mechagodzilla, and reshaping the lives of all who fall in its path!Nine titanic stories by first-time and beloved Godzilla creators like Joëlle Jones (Catwoman), Michael Conrad (Wonder Woman), Matt Frank (Godzilla: Rulers of Earth), James Stokoe (Godzilla: The Half-Century War), Adam Gorham (Ms. Marvel: The New Mutant), and many more!This deluxe edition book also includes a reprint of our Best of Godzilla one-shot for even more Godz

The classic English children’s novel of three young friends and one special garden, stunningly reimagined in a deluxe full-color edition, illustrated with beautiful artwork and unique interactive features created by the award-winning design studio behind the graphics for the Harry Potter film franchise, MinaLima—sure to delight fans of the live action film versions coming in 2018 from Disney and Universal Studios.After tragedy leaves Mary Lennox orphaned, the bratty ten-year-old British girl is sent from her home in India to Yorkshire, to live with Archibald Craven, a distant uncle whom she has never met.At first, life in the isolated Misselthwaite Manor is as cold and desolate as the bleak moor outside her window. Then Mary learns the story of the late Mrs. Craven, the estate’s mistress, who spent hours in a walled garden tending to her roses. Mrs. Craven died after an accident in the garden, and her forlorn husband forbid anyone to enter it again, locking it and burying the key. The

Rudyard Kipling’s classic collection of fables gets reimagined in this deluxe four-color collectible volume, featuring stunning new artwork and nine interactive elements crafted by MinaLima Design, the award-winning design studio behind the graphics for the Harry Potter film franchise and the illustrated classic Peter Pan.Since its publication in 1894, Rudyard Kipling’s beloved masterpiece The Jungle Book has been celebrated by generations of readers. Composed of seven tales, each one accompanied by a poem,The Jungle Book introduces a lush, colorful world full of adventure and danger. The first three tales include some of the most charming and unforgettable characters in literature—the man-cub Mowgli, the black panther Bagheera, the wise brown bear Baloo, and the ruthless tiger Shere Khan. The other four tales each tell the story of a different animal, such as the travels of the white seal Kotick; the battle between the courageous mongoose Rikki-Tikki-Tavi and the deadly cobra Nag; Too

During the past half-century, exponential families have attained a position at the center of parametric statistical inference. Theoretical advances have been matched, and more than matched, in the world of applications, where logistic regression by itself has become the go-to methodology in medical statistics, computer-based prediction algorithms, and the social sciences. This book is based on a one-semester graduate course for first year Ph.D. and advanced master's students. After presenting the basic structure of univariate and multivariate exponential families, their application to generalized linear models including logistic and Poisson regression is described in detail, emphasizing geometrical ideas, computational practice, and the analogy with ordinary linear regression. Connections are made with a variety of current statistical methodologies: missing data, survival analysis and proportional hazards, false discovery rates, bootstrapping, and empirical Bayes analysis. The book con

During the past half-century, exponential families have attained a position at the center of parametric statistical inference. Theoretical advances have been matched, and more than matched, in the world of applications, where logistic regression by itself has become the go-to methodology in medical statistics, computer-based prediction algorithms, and the social sciences. This book is based on a one-semester graduate course for first year Ph.D. and advanced master's students. After presenting the basic structure of univariate and multivariate exponential families, their application to generalized linear models including logistic and Poisson regression is described in detail, emphasizing geometrical ideas, computational practice, and the analogy with ordinary linear regression. Connections are made with a variety of current statistical methodologies: missing data, survival analysis and proportional hazards, false discovery rates, bootstrapping, and empirical Bayes analysis. The book con

Sentiment analysis is the computational study of people's opinions, sentiments, emotions, moods, and attitudes. This fascinating problem offers numerous research challenges, but promises insight useful to anyone interested in opinion analysis and social media analysis. This comprehensive introduction to the topic takes a natural-language-processing point of view to help readers understand the underlying structure of the problem and the language constructs commonly used to express opinions, sentiments, and emotions. The book covers core areas of sentiment analysis and also includes related topics such as debate analysis, intention mining, and fake-opinion detection. It will be a valuable resource for researchers and practitioners in natural language processing, computer science, management sciences, and the social sciences. In addition to traditional computational methods, this second edition includes recent deep learning methods to analyze and summarize sentiments and opinions, and als

While transnational conglomerates consolidate their control of the global mediascape, local communities struggle to create democratic media systems. This groundbreaking study of community media, first published in 2005, combines original research with comparative and theoretical analysis in an engaging and accessible style. Kevin Howley explores the different ways in which local communities come to make use of various technologies such as radio, television, print and computer networks for purposes of community communication and considers the ways these technologies shape, and are shaped by, the everyday lived experience of local populations. He also addresses broader theoretical and philosophical issues surrounding the relationship between communication and community, media systems and the public sphere. Case studies illustrate the pivotal role community media play in promoting cultural production and communicative democracy within and between local communities. This book will make a s

While transnational conglomerates consolidate their control of the global mediascape, local communities struggle to create democratic media systems. This groundbreaking study of community media, first published in 2005, combines original research with comparative and theoretical analysis in an engaging and accessible style. Kevin Howley explores the different ways in which local communities come to make use of various technologies such as radio, television, print and computer networks for purposes of community communication and considers the ways these technologies shape, and are shaped by, the everyday lived experience of local populations. He also addresses broader theoretical and philosophical issues surrounding the relationship between communication and community, media systems and the public sphere. Case studies illustrate the pivotal role community media play in promoting cultural production and communicative democracy within and between local communities. This book will make a s

This Brief highlights Informatics and related techniques to Computer Science Professionals, Engineers, Medical Doctors, Bioinformatics researchers and other interdisciplinary researchers. Chapters inc

Biology of Apples and Pears is a comprehensive reference book on all aspects of pomology at the organ, tree and orchard level. It provides detailed information on propagation, root and shoot growth, root stock effects, canopy development in relation to orchard design, flowering, pollination, fruit set, fruit growth, fruit quality factors and quality retention in store. It also deals with mineral nutrition, water-relations and irrigation, diseases and pests and biotechnology. The book emphasises the scientific basis of modern tree and orchard management and fruit storage. It describes key cultivar differences and their physiology and genetics and environmental effects and cultivar x environment interactions in tropical and sub-tropical as well as temperate zone conditions. It is written for fruit growers, extension workers, plant breeders, biotechnologists and storage and crop protection specialists as well as for researchers and students of pomology and horticulture.

Insect Pest Management and Ecological Research explores the ecological research required for development of strategies to manage pest insects, with particular emphasis on the scientific principles involved in the design and conduct of pest-related research. Although the connection between Integrated Pest Management (IPM) and ecology has been long appreciated, their specific relationship to one another has remained vague until now. Here, Gimme Walter develops the first general model of the entomological research requirements of IPM. He shows how to navigate through the diversity of options presented by current ecological theory, emphasising pest situations. Besides theory and principle, the book includes practical advice on understanding and investigating species, examines the ecological problems associated with polyphagous pests and beneficial species, and scrutinises ways suggested to improve insect biological control. As such, it will be an important resource for graduate students an

Biology of Apples and Pears is a comprehensive reference book on all aspects of pomology at the organ, tree and orchard level. It provides detailed information on propagation, root and shoot growth, root stock effects, canopy development in relation to orchard design, flowering, pollination, fruit set, fruit growth, fruit quality factors and quality retention in store. It also deals with mineral nutrition, water-relations and irrigation, diseases and pests and biotechnology. The book emphasises the scientific basis of modern tree and orchard management and fruit storage. It describes key cultivar differences and their physiology and genetics and environmental effects and cultivar x environment interactions in tropical and sub-tropical as well as temperate zone conditions. It is written for fruit growers, extension workers, plant breeders, biotechnologists and storage and crop protection specialists as well as for researchers and students of pomology and horticulture.

This volume presents up-to-date research on finite geometries and designs, a key area in modern applicable mathematics. An introductory chapter discusses topics presented in each of the main chapters, and is followed by articles from leading international figures in this field. These include a discussion of the current state of finite geometry from a group-theoretical viewpoint, and surveys of difference sets and of small embeddings of partial cycle systems into Steiner triple systems. Also presented are successful searches for spreads and packing of designs, rank three geometries with simplicial residues and generalized quadrangles satisfying Veblen's Axiom. In addition, there are articles on new 7-designs, biplanes, various aspects of triple systems, and many other topics. This book will be a useful reference for researchers working in finite geometries, design theory or combinatorics in general.

Recent experimental advances in the control of quantum superconducting circuits, nano-mechanical resonators and photonic crystals has meant that quantum measurement theory is now an indispensable part of the modelling and design of experimental technologies. This book, aimed at graduate students and researchers in physics, gives a thorough introduction to the basic theory of quantum measurement and many of its important modern applications. Measurement and control is explicitly treated in superconducting circuits and optical and opto-mechanical systems, and methods for deriving the Hamiltonians of superconducting circuits are introduced in detail. Further applications covered include feedback control, metrology, open systems and thermal environments, Maxwell's demon, and the quantum-to-classical transition.

This collection of classroom-tested laboratory and field exercises engages students and their instructors in a thorough exploration of central problems and topics in social psychology. The book is divided into three sections: technique demonstrations, technique applications, and problem investigations. Each section includes exercises on topics such as questionnaire design, interviewing, speech style, the observation of children, eyewitness testimony, and co-operation and competition. Students are provided with the necessary background knowledge of each social phenomenon investigated to make their research effort involving and meaningful. An instructor's manual accompanies the book and provides the supplementary information instructors need to organise the exercises for their students.

This collection of classroom-tested laboratory and field exercises engages students and their instructors in a thorough exploration of central problems and topics in social psychology. The book is divided into three sections: technique demonstrations, technique applications, and problem investigations. Each section includes exercises on topics such as questionnaire design, interviewing, speech style, the observation of children, eyewitness testimony, and co-operation and competition. Students are provided with the necessary background knowledge of each social phenomenon investigated to make their research effort involving and meaningful. An instructor's manual accompanies the book and provides the supplementary information instructors need to organise the exercises for their students.

The King of the Monsters reigns supreme, but there are plenty of others ready to battle for the title!The Godzilla Library Collection is a comprehensive line of books that will collect every comic series by IDW! Volume 2 collects the 12-issue series Kingdom of Monsters by Eric Powell, Tracy Marsh, Jason Ciaramella, Phil Hester, and Victor Santos.When Godzilla appears off the coast of Japan, the Japanese government must respond quickly to contain the disaster...but before long, other monsters begin appearing all over the world. Can humanity survive this mysterious onslaught of giant beasts?Featuring Anguirus, Battra, Destoroyah, Gigan, Hedorah, King Ghidorah, Kumonga, Mechagodzilla, Mothra, Rodan, SpaceGodzilla, and Titanosaurus!

This unified treatment of game theory focuses on finding state-of-the-art solutions to issues surrounding the next generation of wireless and communications networks. Future networks will rely on autonomous and distributed architectures to improve the efficiency and flexibility of mobile applications, and game theory provides the ideal framework for designing efficient and robust distributed algorithms. This book enables readers to develop a solid understanding of game theory, its applications and its use as an effective tool for addressing wireless communication and networking problems. The key results and tools of game theory are covered, as are various real-world technologies including 3G networks, wireless LANs, sensor networks, dynamic spectrum access and cognitive networks. The book also covers a wide range of techniques for modeling, designing and analysing communication networks using game theory, as well as state-of-the-art distributed design techniques. This is an ideal resou

Corpus linguistics is the study of language data on a large scale - the computer-aided analysis of very extensive collections of transcribed utterances or written texts. This textbook outlines the basic methods of corpus linguistics, explains how the discipline of corpus linguistics developed and surveys the major approaches to the use of corpus data. It uses a broad range of examples to show how corpus data has led to methodological and theoretical innovation in linguistics in general. Clear and detailed explanations lay out the key issues of method and theory in contemporary corpus linguistics. A structured and coherent narrative links the historical development of the field to current topics in 'mainstream' linguistics. Practical tasks and questions for discussion at the end of each chapter encourage students to test their understanding of what they have read and an extensive glossary provides easy access to definitions of technical terms used in the text.

Corpus linguistics is the study of language data on a large scale - the computer-aided analysis of very extensive collections of transcribed utterances or written texts. This textbook outlines the basic methods of corpus linguistics, explains how the discipline of corpus linguistics developed and surveys the major approaches to the use of corpus data. It uses a broad range of examples to show how corpus data has led to methodological and theoretical innovation in linguistics in general. Clear and detailed explanations lay out the key issues of method and theory in contemporary corpus linguistics. A structured and coherent narrative links the historical development of the field to current topics in 'mainstream' linguistics. Practical tasks and questions for discussion at the end of each chapter encourage students to test their understanding of what they have read and an extensive glossary provides easy access to definitions of technical terms used in the text.

Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR).

Deliberative democrats seek to link political choices more closely to the deliberations of common citizens, rather than consigning them to speak only in the desiccated language of checks on a ballot. Sober thinkers from Plato to today, however, have argued that if we want to make good decisions we cannot entrust them to the deliberations of common citizens. Critics argue that deliberative democracy is wildly unworkable in practice. Deliberative Democracy between Theory and Practice cuts across this debate by clarifying the structure of a deliberative democratic system, and goes on to re-evaluate the main empirical challenges to deliberative democracy in light of this new frame. It simultaneously reclaims the wider theory of deliberative democracy and meets the empirical critics squarely on terms that advance, rather than evade, the debate. Doing so has important implications for institutional design, the normative theory of democracy, and priorities for future research and practice.

Deliberative democrats seek to link political choices more closely to the deliberations of common citizens, rather than consigning them to speak only in the desiccated language of checks on a ballot. Sober thinkers from Plato to today, however, have argued that if we want to make good decisions we cannot entrust them to the deliberations of common citizens. Critics argue that deliberative democracy is wildly unworkable in practice. Deliberative Democracy between Theory and Practice cuts across this debate by clarifying the structure of a deliberative democratic system, and goes on to re-evaluate the main empirical challenges to deliberative democracy in light of this new frame. It simultaneously reclaims the wider theory of deliberative democracy and meets the empirical critics squarely on terms that advance, rather than evade, the debate. Doing so has important implications for institutional design, the normative theory of democracy, and priorities for future research and practice.

This book presents a wide-ranging introduction to the diatoms together with an illustrated description of over 250 genera. Diatoms are important as perhaps the commonest group of autotrophic plants on earth and are abundant in all waters and on soils and moist surfaces. The introduction describes the diatom cell in detail, the structure of the wall (often extremely beautiful in design), the cell contents and aspects of life cycle and cell division. The generic atlas section is the first account of diatom systematics since 1928 (Karsten in Engler and Prantl: Die Nauturlichen Pflanzenfamilien) and each generic description is accompanied by scanning electron micrographs to show the characteristic structure. Most of the latter have been prepared specially for this work from the authors' own collections. The Diatoms will be the standard reference work on the group for years to come and is an essential reference volume.

The technology of hydrodynamic modeling and marine craft motion control systems has progressed greatly in recent years. This timely survey includes the latest tools for analysis and design of advanced