Design And Modeling for Computer Experiments

Focusing on simplified models of physical flow processes, this book develops a series of quantitative models to describe the recovery of oil and gas from hydrocarbon reservoirs (including fracking), the physics of geo-sequestration of CO2, geothermal power production, and the potential for underground contaminant dispersal in the long-term storage of nuclear waste. The author approaches these problems by developing simplified mathematical models and identifying the key dimensionless variables that control the processes. This analysis is then used to demonstrate the challenges and constraints of modelling flow in complex and heterogeneous rocks, which often have uncertain flow properties. Analytical solutions for flows are provided where possible, and analogue laboratory experiments are also presented to help illustrate and provide a different perspective on the flows. Incorporating end-of-chapter exercises, this is an important introduction to the different controls on flow in porous r

Bio-Optical Modeling and Remote Sensing of Inland Waters presents the latest developments, state-of-the-art, and future perspectives of bio-optical modeling for each optically active component of inla

From the beginning of her modeling career in 1944 as Norma Jeane Mortensen to her death as the voluptuous Hollywood icon in 1962, Marilyn Monroe posed for thousands of modeling and publicity photos, s

The theme of this book is the study of the distribution of integer powers modulo a prime number. It provides numerous new, sometimes quite unexpected, links between number theory and computer science as well as to other areas of mathematics. Possible applications include (but are not limited to) complexity theory, random number generation, cryptography, and coding theory. The main method discussed is based on bounds of exponential sums. Accordingly, the book contains many estimates of such sums, including new estimates of classical Gaussian sums. It also contains many open questions and proposals for further research.

Exploring important theories for understanding freezing and the liquid-glass transition, this book is useful for graduate students and researchers in soft-condensed matter physics, chemical physics and materials science. It details recent ideas and key developments, providing an up-to-date view of current understanding. The standard tools of statistical physics for the dense liquid state are covered. The freezing transition is described from the classical density functional approach. Classical nucleation theory as well as applications of density functional methods for nucleation of crystals from the melt are discussed, and compared to results from computer simulation of simple systems. Discussions of supercooled liquids form a major part of the book. Theories of slow dynamics and the dynamical heterogeneities of the glassy state are presented, as well as nonequilibrium dynamics and thermodynamic phase transitions at deep supercooling. Mathematical treatments are given in full detail so

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

The coastal ocean comprises the semi-enclosed seas on the continental shelf, including estuaries and extending to the shelf break. This region is the focus of many serious concerns, including coastal inundation by tides, storm surges or sea level change; fisheries and aquaculture management; water quality; harmful algal blooms; planning of facilities (such as power stations); port development and maintenance; and oil spills. This book addresses modeling and simulation of the transport, evolution and fate of particles (physical and biological) in the coastal ocean. It is the first to summarize the state of the art in this field and direct it toward diverse applications, for example in measuring and monitoring sediment motion, oil spills and larval ecology. This is an invaluable textbook and reference work for advanced students and researchers in oceanography, geophysical fluid dynamics, marine and civil engineering, computational science and environmental science.

This textbook provides a strong foundation and a clear overview for students of membrane biology and an invaluable synthesis of cutting-edge research for working scientists. The text retains its clear and engaging style, providing a solid background in membrane biochemistry, while also incorporating the approaches of biophysics, genetics and cell biology to investigations of membrane structure, function and biogenesis to provide a unique overview of this fast-moving field. A wealth of new high resolution structures of membrane proteins are presented, including the Na/K pump and a receptor-G protein complex, offering exciting insights into how they function. All key tools of current membrane research are described, including detergents and model systems, bioinformatics, protein-folding methodology, crystallography and diffraction, and molecular modeling. This comprehensive and up-to-date text, emphasising the correlations between membrane research and human health, provides a solid foun

Physical and biological systems driven out of equilibrium may spontaneously evolve to form spatial structures. In some systems molecular constituents may self-assemble to produce complex ordered structures. This book describes how such pattern formation processes occur and how they can be modeled. Experimental observations are used to introduce the diverse systems and phenomena leading to pattern formation. The physical origins of various spatial structures are discussed, and models for their formation are constructed. In contrast to many treatments, pattern-forming processes in nonequilibrium systems are treated in a coherent fashion. The book shows how near-equilibrium and far-from-equilibrium modeling concepts are often combined to describe physical systems. This inter-disciplinary book can form the basis of graduate courses in pattern formation and self-assembly. It is a useful reference for graduate students and researchers in a number of disciplines, including condensed matter sc

The modeling tool is applied to address water management issues in the case study region (Sharm El Sheikh, South-Sinai, Egypt) that suffers from water shortage and that is located near a unique but se

Originally published in 2005, Information Theory, Evolution and the Origin of Life presents an introduction to the use of information theory and coding theory in molecular biology. The genetical information system, because it is linear and digital, resembles the algorithmic language of computers. George Gamow pointed out that the application of Shannon's information theory breaks genetics and molecular biology out of the descriptive mode into the quantitative mode and Dr Yockey develops this theme, discussing how information theory and coding theory can be applied to molecular biology. He discusses how these tools for measuring the information in the sequences of the genome and the proteome are essential for our complete understanding of the nature and origin of life. The author writes for the computer competent reader who is interested in evolution and the origins of life.

Originally published in 2005, Information Theory, Evolution and the Origin of Life presents an introduction to the use of information theory and coding theory in molecular biology. The genetical information system, because it is linear and digital, resembles the algorithmic language of computers. George Gamow pointed out that the application of Shannon's information theory breaks genetics and molecular biology out of the descriptive mode into the quantitative mode and Dr Yockey develops this theme, discussing how information theory and coding theory can be applied to molecular biology. He discusses how these tools for measuring the information in the sequences of the genome and the proteome are essential for our complete understanding of the nature and origin of life. The author writes for the computer competent reader who is interested in evolution and the origins of life.

Covering attack detection, malware response, algorithm and mechanism design, privacy, and risk management, this comprehensive work applies unique quantitative models derived from decision, control, and game theories to understanding diverse network security problems. It provides the reader with a system-level theoretical understanding of network security, and is essential reading for researchers interested in a quantitative approach to key incentive and resource allocation issues in the field. It also provides practitioners with an analytical foundation that is useful for formalising decision-making processes in network security.

Throughout the world, voters lack access to information about politicians, government performance, and public services. Efforts to remedy these informational deficits are numerous. Yet do informational campaigns influence voter behavior and increase democratic accountability? Through the first project of the Metaketa Initiative, sponsored by the Evidence in Governance and Politics (EGAP) research network, this book aims to address this substantive question and at the same time introduce a new model for cumulative learning that increases coordination among otherwise independent researcher teams. It presents the overall results (using meta-analysis) from six independently conducted but coordinated field experimental studies, the results from each individual study, and the findings from a related evaluation of whether practitioners utilize this information as expected. It also discusses lessons learned from EGAP's efforts to coordinate field experiments, increase replication of theoretica

Throughout the world, voters lack access to information about politicians, government performance, and public services. Efforts to remedy these informational deficits are numerous. Yet do informational campaigns influence voter behavior and increase democratic accountability? Through the first project of the Metaketa Initiative, sponsored by the Evidence in Governance and Politics (EGAP) research network, this book aims to address this substantive question and at the same time introduce a new model for cumulative learning that increases coordination among otherwise independent researcher teams. It presents the overall results (using meta-analysis) from six independently conducted but coordinated field experimental studies, the results from each individual study, and the findings from a related evaluation of whether practitioners utilize this information as expected. It also discusses lessons learned from EGAP's efforts to coordinate field experiments, increase replication of theoretica

This unique textbook equips students with the theoretical and practical tools needed to model, design, and build efficient and clean low-carbon energy systems. Students are introduced to thermodynamics principles including chemical and electrochemical thermodynamics, moving onto applications in real-world energy systems, demonstrating the connection between fundamental concepts and theoretical analysis, modelling, application, and design. Topics gradually increase in complexity, nurturing student confidence as they build towards the use of advanced concepts and models for low to zero carbon energy conversion systems. The textbook covers conventional and emerging renewable energy conversion systems, including efficient fuel cells, carbon capture cycles, biomass utilisation, geothermal and solar thermal systems, hydrogen and low-carbon fuels. Featuring numerous worked examples, over 100 multi-component homework problems, and online instructor resources including lecture slides, solutions

The Earth is a dynamic system. Internal processes, together with external gravitational forces of the Sun, Moon and planets, displace the Earth's mass, impacting on its shape, rotation and gravitational field. D. E. Smylie provides a rigorous overview of the dynamical behaviour of the solid Earth, explaining the theory and presenting methods for numerical implementation. Topics include advanced digital analysis, earthquake displacement fields, Free Core Nutations observed by the Very Long Baseline Interferometric technique, translational modes of the solid inner core observed by the superconducting gravimeters, and dynamics of the outer fluid core. This book is supported by freeware computer code, available online for students to implement the theory. Online materials also include a suite of graphics generated from the numerical analysis, combined with 100 graphic examples in the book to make this an ideal tool for researchers and graduate students in the fields of geodesy, seismology

Remote sensing and geographic information systems (GIS) are inherently linked technologies. Together, they form a powerful tool to measure, map, monitor and model resources and environmental data for both scientific and commercial applications. Originally published in 1997, this book brought together work by leaders in the field to address improved techniques, applications and research in integrated remote sensing and geographical information systems. Among the topics covered are image rectification, change detection, visualisation, computer modelling, local land use planning, requirements of GIS in global change research, and potential directions for research. Remote sensing and GIS play a key role in studies of water resources, air quality, topography, land cover, and population location and dynamics, and specialists working at the local, regional and global levels will find this book a valuable and stimulating resource.

A practical and self-contained guide to the principles, techniques, models and tools of imaging spectroscopy. Bringing together material from essential physics and digital signal processing, it covers key topics such as sensor design and calibration, atmospheric inversion and model techniques, and processing and exploitation algorithms. Readers will learn how to apply the main algorithms to practical problems, how to choose the best algorithm for a particular application, and how to process and interpret hyperspectral imaging data. A wealth of additional materials accompany the book online, including example projects and data for students, and problem solutions and viewgraphs for instructors. This is an essential text for senior undergraduate and graduate students looking to learn the fundamentals of imaging spectroscopy, and an invaluable reference for scientists and engineers working in the field.

Fracture and 'slow' crack growth reflect the response of a material (i.e. its microstructure) to the conjoint actions of mechanical and chemical driving forces and are affected by temperature. There is therefore a need for quantitative understanding and modeling of the influences of chemical and thermal environments and of microstructure, in terms of the key internal and external variables, and for their incorporation into design and probabilistic implications. This text, which the author has used in a fracture mechanics course for advanced undergraduate and graduate students, is based on the work of the author's Lehigh University team whose integrative research combined fracture mechanics, surface and electrochemistry, materials science, and probability and statistics to address a range of fracture safety and durability issues on aluminum, ferrous, nickel, and titanium alloys and ceramics. Examples are included to highlight the approach and applicability of the findings in practical d

Queer Kinship after Wilde investigates the afterlife of the Decadent Movement's ideas about kinship, desire, and the family during the modernist period within a global context. Drawing on archival materials, including diaries, correspondence, unpublished manuscripts, and photograph albums, it tells the story of individuals with ties to late-Victorian Decadence and Oscar Wilde who turned to the fin-de-siècle past for inspiration as they attempted to operate outside the heteronormative boundaries restricting the practice of marriage and the family. These post-Victorian Decadents and Decadent modernists engaged in translation, travel, and transnational collaboration in pursuit of different models of connection that might facilitate their disentanglement from conventional sexual and gender ideals. Queer Kinship after Wilde attends to the successes and failures that resulted from these experiments, the new approaches to affiliation inflected by a cosmopolitan or global perspective that occu

The zebrafish (Danio rerio) is a valuable and common model for researchers working in the fields of genetics, oncology and developmental sciences. This full-color atlas will aid experimental design and interpretation in these areas by providing a fundamental understanding of zebrafish anatomy. Over 150 photomicrographs are included and can be used for direct comparison with histological slides, allowing quick and accurate identification of the anatomic structures of interest. Hematoxylin and eosin stained longitudinal and transverse sections demonstrate gross anatomic relationships and illustrate the microscopic anatomy of major organs. Unlike much of the current literature, this book is focused exclusively on the zebrafish, eliminating the need for researchers to exclude structures that are only found in other fish.

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.

Way back in the 1980s, personal computers were touted as the perfect tools for dormant da Vincis and underground Tolstoys. The computer could make you a star. As it turned out, the ads were right in a

Position estimation of wireless devices has many applications in short-range networks. Ultra-wideband (UWB) signals provide accurate positioning capabilities that can be harnessed in wireless systems to realise these applications. This text provides detailed coverage of UWB positioning systems, offering comprehensive treatment of signal and receiver design for ranging, range estimation techniques, theoretical performance bounds, ranging algorithms and protocols. Beginning with a discussion of the potential applications of wireless positioning, and investigating UWB signals for such applications, later chapters establish a signal processing framework for analysing UWB positioning and ranging systems. The recent IEEE 802.15.4a standard related to UWB is also studied in detail. Each chapter contains examples, problems and Matlab scripts to help readers grasp key concepts. This is an ideal text for graduate students and researchers in electrical and computer engineering, and practitioners

Position estimation of wireless devices has many applications in short-range networks. Ultra-wideband (UWB) signals provide accurate positioning capabilities that can be harnessed in wireless systems to realise these applications. This text provides detailed coverage of UWB positioning systems, offering comprehensive treatment of signal and receiver design for ranging, range estimation techniques, theoretical performance bounds, ranging algorithms and protocols. Beginning with a discussion of the potential applications of wireless positioning, and investigating UWB signals for such applications, later chapters establish a signal processing framework for analysing UWB positioning and ranging systems. The recent IEEE 802.15.4a standard related to UWB is also studied in detail. Each chapter contains examples, problems and Matlab scripts to help readers grasp key concepts. This is an ideal text for graduate students and researchers in electrical and computer engineering, and practitioners

The Earth and environmental sciences are becoming progressively more quantitative due to the increased use of mathematical models and new data analysis techniques. This accessible introduction presents an overview of the mathematical methods essential for understanding Earth processes, providing an invaluable resource for students and early career researchers who may have missed (or forgotten) the mathematics they need to succeed as scientists. Topics build gently from basic methods such as calculus to more advanced techniques including linear algebra and differential equations. The practical applications of the mathematical methods to a variety of topics are discussed, ranging from atmospheric science and oceanography to biogeochemistry and geophysics. Including over 530 exercises and end-of-chapter problems, as well as additional computer codes in Python and MATLAB®, this book supports readers in applying appropriate analytical or computational methods to solving real research questi

With this comprehensive and accessible introduction to the field, you will gain all the skills and knowledge needed to work with current and future audio, speech, and hearing processing technologies. Topics covered include mobile telephony, human-computer interfacing through speech, medical applications of speech and hearing technology, electronic music, audio compression and reproduction, big data audio systems and the analysis of sounds in the environment. All of this is supported by numerous practical illustrations, exercises, and hands-on MATLAB® examples on topics as diverse as psychoacoustics (including some auditory illusions), voice changers, speech compression, signal analysis and visualisation, stereo processing, low-frequency ultrasonic scanning, and machine learning techniques for big data. With its pragmatic and application driven focus, and concise explanations, this is an essential resource for anyone who wants to rapidly gain a practical understanding of speech and audi

There is a resurgence of applications in which the calculus of variations has direct relevance. In addition to application to solid mechanics and dynamics, it is now being applied in a variety of numerical methods, numerical grid generation, modern physics, various optimization settings and fluid dynamics. Many applications, such as nonlinear optimal control theory applied to continuous systems, have only recently become tractable computationally, with the advent of advanced algorithms and large computer systems. This book reflects the strong connection between calculus of variations and the applications for which variational methods form the fundamental foundation. The mathematical fundamentals of calculus of variations (at least those necessary to pursue applications) is rather compact and is contained in a single chapter of the book. The majority of the text consists of applications of variational calculus for a variety of fields.

Ab initio molecular dynamics revolutionized the field of realistic computer simulation of complex molecular systems and processes, including chemical reactions, by unifying molecular dynamics and electronic structure theory. This book provides the first coherent presentation of this rapidly growing field, covering a vast range of methods and their applications, from basic theory to advanced methods. This fascinating text for graduate students and researchers contains systematic derivations of various ab initio molecular dynamics techniques to enable readers to understand and assess the merits and drawbacks of commonly used methods. It also discusses the special features of the widely used Car–Parrinello approach, correcting various misconceptions currently found in research literature. The book contains pseudo-code and program layout for typical plane wave electronic structure codes, allowing newcomers to the field to understand commonly used program packages and enabling developers to

One of the greatest hopes and expectations that accompanied American colonialism – from its earliest incarnation – was that Atlantic settlers would be able to locate new sources of raw silk, with which to satiate the boundless desire for luxurious fabrics in European markets. However, in spite of the great upheavals and achievements of Atlantic plantation, this ambition would never be fulfilled. By taking the commercial failure of silk seriously and examining numerous experiments across New Spain, New France, British North America and the early United States, Ben Marsh reveals new insights into aspiration, labour, environment, and economy in these societies. Each devised its own dreams and plans of cultivation, framed by the particularities of cultures and landscapes. Writ large, these dreams would unravel one by one: the attempts to introduce silkworms across the Atlantic world ultimately constituted a step too far, marking out the limits of Europeans' seemingly unbounded power.

Ezra Pound was deeply engaged with the avant-garde art scene in London and Paris during the early twentieth century. The effects of this engagement were not restricted to experiments in poetic form, however; they directly shaped Pound's social and political thought. In this 2007 book Rebecca Beasley tracks Pound's education in visual culture in chapters that explore Pound's early poetry in the context of American aestheticism and middle-class education; imagism, anarchism and post-impressionist painting; vorticism and anti-democracy in early drafts of The Cantos; Dadaist conceptual art, internationalism and Pound's turn to Italian fascism. In establishing a critical vocabulary profoundly indebted to the visual arts, Pound laid the basis for a literary modernism that is, paradoxically, a visual culture. Drawing on archive materials and magazine contributions, this study makes an important contribution to our understanding of Pound's intellectual development and the relationship between

Dictyostelia are soil amoebae capable of extraordinary feats of survival, motility, chemotaxis, and development. Characterised by their ability to transform from a single-celled organism into an elaborate assemblage of thousands of synchronously-moving cells, Dictyostelids are often referred to as 'social amoebae', and have been the subjects of serious study since the 1930s. Research in this area has been instrumental in understanding many problems in cellular biology. Beginning with the history of Dictyostelids and discussing each stage of their development, this book considers the evolution of this unique organism, analyses the special properties of the Dictyostelid genome, and presents in detail the methods available, at the time of the book's original publication in 2001, to manipulate their genes. Representing the synthesis of such material and with an emphasis on combining classical experiments with modern molecular findings, this book will be essential for researchers and gradua

Ezra Pound was deeply engaged with the avant-garde art scene in London and Paris during the early twentieth century. The effects of this engagement were not restricted to experiments in poetic form, however; they directly shaped Pound's social and political thought. In this 2007 book Rebecca Beasley tracks Pound's education in visual culture in chapters that explore Pound's early poetry in the context of American aestheticism and middle-class education; imagism, anarchism and post-impressionist painting; vorticism and anti-democracy in early drafts of The Cantos; Dadaist conceptual art, internationalism and Pound's turn to Italian fascism. In establishing a critical vocabulary profoundly indebted to the visual arts, Pound laid the basis for a literary modernism that is, paradoxically, a visual culture. Drawing on archive materials and magazine contributions, this study makes an important contribution to our understanding of Pound's intellectual development and the relationship between

What makes a biological entity an individual? Jack Wilson shows that past philosophers have failed to explicate the conditions an entity must satisfy to be a living individual. He explores the reason for this failure and explains why we should limit ourselves to examples involving real organisms rather than thought experiments. This book explores and resolves paradoxes that arise when one applies past notions of individuality to biological examples beyond the conventional range and presents an analysis of identity and persistence. The book's main purpose is to bring together two lines of research, theoretical biology and metaphysics, which have dealt with the same subject in isolation from one another. Wilson explains an alternative theory about biological individuality which solves problems which cannot be addressed by either field alone. He presents a more fine-grained vocabulary of individuation based on diverse kinds of living things, allowing him to clarify previously muddled disp

Social memory - the shared remembrances of group experience - creates shared identity, and provides people with both an image of their past and a design for their future. But how are we to conceive the memories of past peoples such as, for example, the ancient Greeks? This 2002 book makes a strong case for the use of archaeology, particularly the evidence of landscape and of monuments, to trace patterns in commemoration and forgetfulness. Three detailed case studies (early Roman Greece, Hellenistic and Roman Crete, and Messenia in Archaic to Hellenistic times) focus on societies undergoing different types of social transformation. Material evidence allows us to observe how groups responded to these challenges, and how they made different uses of the past, in the past.

Social memory - the shared remembrances of group experience - creates shared identity, and provides people with both an image of their past and a design for their future. But how are we to conceive the memories of past peoples such as, for example, the ancient Greeks? This 2002 book makes a strong case for the use of archaeology, particularly the evidence of landscape and of monuments, to trace patterns in commemoration and forgetfulness. Three detailed case studies (early Roman Greece, Hellenistic and Roman Crete, and Messenia in Archaic to Hellenistic times) focus on societies undergoing different types of social transformation. Material evidence allows us to observe how groups responded to these challenges, and how they made different uses of the past, in the past.

The significant store of knowledge about publicly regulated pensions for old age has grown even more rapidly in the last decade. This book, first published in 1997, explores current research in four critical areas for pension policy: the political design of pension institutions; the iron links between fiscal deficits, private savings, and pension reform; how macroeconomic policy should be conducted after large private pension funds have emerged; and lessons on efficient organization of the pension industry, drawn from international comparisons including Australia, Chile, Malaysia, and the United Kingdom. The collection combines original theoretical analysis with empirical evidence. Simulations, case studies, and econometric estimates provide policy makers with information about the options they face, while scholars can draw on this book for refining their own investigations or research.

Over the last 20 years, developments in climatology have provided an amazing array of explanations for the pattern of world climates. This textbook, first published in 2006, examines the earth's climate systems in light of this incredible growth in data availability, data retrieval systems, and satellite and computer applications. It considers regional climate anomalies, developments in teleconnections, unusual sequences of recent climate change, and human impacts upon the climate system. The physical climate forms the main part of the book, but it also considers social and economic aspects of the global climate system. This textbook has been derived from the authors' extensive experience of teaching climatology and atmospheric science. Each chapter contains an essay by a specialist in the field to enhance the understanding of selected topics. An extensive bibliography is included and lists of websites for further study. This textbook will be invaluable to advanced students of climatol

Structural equation modelling (SEM) is a technique that is used to estimate, analyse and test models that specify relationships among variables. The ability to conduct such analyses is essential for many problems in ecology and evolutionary biology. This book begins by explaining the theory behind the statistical methodology, including chapters on conceptual issues, the implementation of an SEM study and the history of the development of SEM. The second section provides examples of analyses on biological data including multi-group models, means models, P-technique and time-series. The final section of the book deals with computer applications and contrasts three popular SEM software packages. Aimed specifically at biological researchers and graduate students, this book will serve as valuable resource for both learning and teaching the SEM methodology. Moreover, data sets and programs that are presented in the book can also be downloaded from a website to assist the learning process.