Security-Aware Systems Applications and Software Development Methods

This graduate text introduces relativistic quantum theory, emphasising its important applications in condensed matter physics. Basic theory, including special relativity, angular momentum and particles of spin zero are first reprised. The text then goes on to discuss the Dirac equation, symmetries and operators, and free particles. Physical consequences of solutions including hole theory and Klein's paradox are considered. Several model problems are solved. Important applications of quantum theory to condensed matter physics then follow. Relevant theory for the one electron atom is explored. The theory is then developed to describe the quantum mechanics of many electron systems, including Hartree-Fock and density functional methods. Scattering theory, band structures, magneto-optical effects and superconductivity are among other significant topics discussed. Many exercises and an extensive reference list are included. This clear account of relativistic quantum theory will be valuable t

Guaranteeing energy security is one of the most complex challenges of energy law and policy. Energy insecurity threatens economic development, social peace and stability. This book focuses on energy security in the strategically important region of Central Asia. The region holds huge energy reserves, but its energy systems are highly inefficient and unreliable, and thus require urgent reform. However, endemic corruption, discrimination and the strong centralization of power have so far blocked initiatives to reorganize energy supply. The case of Central Asia is uniquely relevant for understanding the informal constraints on energy law and policy. In addition, Central Asian energy insecurity illustrates the impact of geopolitics on the regulation of energy markets. The region is strategically located in Russia's sphere of influence and along China's New Silk Road. Its energy situation highlights the complex interactions amongst energy law, geopolitics and institutions.

Guaranteeing energy security is one of the most complex challenges of energy law and policy. Energy insecurity threatens economic development, social peace and stability. This book focuses on energy security in the strategically important region of Central Asia. The region holds huge energy reserves, but its energy systems are highly inefficient and unreliable, and thus require urgent reform. However, endemic corruption, discrimination and the strong centralization of power have so far blocked initiatives to reorganize energy supply. The case of Central Asia is uniquely relevant for understanding the informal constraints on energy law and policy. In addition, Central Asian energy insecurity illustrates the impact of geopolitics on the regulation of energy markets. The region is strategically located in Russia's sphere of influence and along China's New Silk Road. Its energy situation highlights the complex interactions amongst energy law, geopolitics and institutions.

What makes some computers slow? Why do some digital systems operate reliably for years while others fail mysteriously every few hours? How can some systems dissipate kilowatts while others operate off batteries? These questions of speed, reliability, and power are all determined by the system-level electrical design of a digital system. Digital Systems Engineering presents a comprehensive treatment of these topics. It combines a rigorous development of the fundamental principles in each area with real-world examples of circuits and methods. The book not only serves as an undergraduate textbook, filling the gap between circuit design and logic design, but can also help practising digital designers keep pace with the speed and power of modern integrated circuits. The techniques described in this book, once used only in supercomputers, are essential to the correct and efficient operation of any type of digital system.

Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This collection of lectures, by specialists in the field, provides an excellent introduction to various aspects of game theory relevant for applications in computer science that concern program design, synthesis, verification, testing and design of multi-agent or distributed systems. Originally devised for a Spring School organised by the GAMES Networking Programme in 2009, these lectures have since been revised and expanded, and range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This volume is a valuable guide to current research on game-based methods in computer science for undergraduate and graduate students. It will also in

Suitable for a first year graduate course, this textbook unites the applications of numerical mathematics and scientific computing to the practice of chemical engineering. Written in a pedagogic style, the book describes basic linear and nonlinear algebric systems all the way through to stochastic methods, Bayesian statistics and parameter estimation. These subjects are developed at a level of mathematics suitable for graduate engineering study without the exhaustive level of the theoretical mathematical detail. The implementation of numerical methods in MATLAB is integrated within each chapter and numerous examples in chemical engineering are provided, with a library of corresponding MATLAB programs. This book will provide the graduate student with essential tools required by industry and research alike. Supplementary material includes solutions to homework problems set in the text, MATLAB programs and tutorial, lecture slides, and complicated derivations for the more advanced reader.

The problem of stochastic control of partially observable systems plays an important role in many applications. All real problems are in fact of this type, and deterministic control as well as stochastic control with full observation can only be approximations to the real world. This justifies the importance of having a theory as complete as possible, which can be used for numerical implementation. This book first presents those problems under the linear theory that may be dealt with algebraically. Later chapters discuss the nonlinear filtering theory, in which the statistics are infinite dimensional and thus, approximations and perturbation methods are developed.

Relativistic kinetic theory has widespread application in astrophysics and cosmology. The interest has grown in recent years as experimentalists are now able to make reliable measurements on physical systems where relativistic effects are no longer negligible. This ambitious monograph is divided into three parts. It presents the basic ideas and concepts of this theory, equations and methods, including derivation of kinetic equations from the relativistic BBGKY hierarchy and discussion of the relation between kinetic and hydrodynamic levels of description. The second part introduces elements of computational physics with special emphasis on numerical integration of Boltzmann equations and related approaches, as well as multi-component hydrodynamics. The third part presents an overview of applications ranging from covariant theory of plasma response, thermalization of relativistic plasma, comptonization in static and moving media to kinetics of self-gravitating systems, cosmological stru

Increasing pressures to produce new products faster and cheaper are resulting in huge efforts to streamline and restructure the traditional new product development (NPD) process. The purpose of the book is to describe, assess and apply the latest constructs, methods, techniques and processes to enable managers, professionals, and practitioners to be more effective in designing, developing and commercializing new products and services. It provides guidance and support in formulating and executing NPD programs for business practitioners and MBA students. The book is written from an Integrated Product Development (IPD) perspective, linking all aspects of marketing, costing and manufacturing into the development process even before the first prototype is built. It covers the advanced tools necessary to achieve this such as virtual prototyping and fully integrated business systems, and explains the changes needed to organizational structure and thinking.

Avoiding overly large blocks of code used in most other database programming books, this book shows a simple and easy way to create database programs and explains how to build professional and practical databases more efficiently. In addition to Design Tools and Wizards, the runtime object method is also discussed and analyzed to let users design and implement more sophisticated data-driven applications with complicated coding techniques. Three popular database systems – Microsoft Access, SQL Server 2005, and Oracle Database 10g Express Edition (XE) – are discussed in detail, with practical examples and sample projects. This book will appeal to college students, programmers, and software engineers alike. Sample code and additional exercise questions for students, as well as solutions and lecture slides for instructors, are available via the Web (www.cambridge.org/9780521712354).

Avoiding overly large blocks of code used in most other database programming books, this book shows a simple and easy way to create database programs and explains how to build professional and practical databases more efficiently. In addition to Design Tools and Wizards, the runtime object method is also discussed and analyzed to let users design and implement more sophisticated data-driven applications with complicated coding techniques. Three popular database systems – Microsoft Access, SQL Server 2005, and Oracle Database 10g Express Edition (XE) – are discussed in detail, with practical examples and sample projects. This book will appeal to college students, programmers, and software engineers alike. Sample code and additional exercise questions for students, as well as solutions and lecture slides for instructors, are available via the Web (www.cambridge.org/9780521712354).

Based on the author's graduate course taught over many years in several physics departments, this 2006 book takes a 'reductionist' view of statistical mechanics, while describing the main ideas and methods underlying its applications. It implicitly assumes that the physics of complex systems as observed is connected to fundamental physical laws represented at the molecular level by Newtonian mechanics or quantum mechanics. Organised into three parts, the first section describes the fundamental principles of equilibrium statistical mechanics. The next section describes applications to phases of increasing density and order: gases, liquids and solids; it also treats phase transitions. The final section deals with dynamics, including a careful account of hydrodynamic theories and linear response theory. This textbook is suitable for a one year graduate course in statistical mechanics for physicists, chemists and chemical engineers. Problems are included following each chapter, with soluti

An interval is a natural way of specifying a number that is specified only within certain tolerances. Interval analysis consists of the tools and methods needed to solve linear and nonlinear systems of equations in the presence of data uncertainties. Applications include the sensitivity analysis of solutions of equations depending on parameters, the solution of global nonlinear problems, and the verification of results obtained by finite-precision arithmetic. In this book emphasis is laid on those aspects of the theory which are useful in actual computations. On the other hand, the theory is developed with full mathematical rigour. In order to keep the book self-contained, various results from linear algebra (Perron-Frobenius theory, M- and H- matrices) and analysis (existence of solutions to nonlinear systems) are proved, often from a novel and more general viewpoint. An extensive bibliography is included.

An interval is a natural way of specifying a number that is specified only within certain tolerances. Interval analysis consists of the tools and methods needed to solve linear and nonlinear systems of equations in the presence of data uncertainties. Applications include the sensitivity analysis of solutions of equations depending on parameters, the solution of global nonlinear problems, and the verification of results obtained by finite-precision arithmetic. In this book emphasis is laid on those aspects of the theory which are useful in actual computations. On the other hand, the theory is developed with full mathematical rigour. In order to keep the book self-contained, various results from linear algebra (Perron-Frobenius theory, M- and H- matrices) and analysis (existence of solutions to nonlinear systems) are proved, often from a novel and more general viewpoint. An extensive bibliography is included.

This book describes the essential tools and techniques of statistical signal processing. At every stage theoretical ideas are linked to specific applications in communications and signal processing using a range of carefully chosen examples. The book begins with a development of basic probability, random objects, expectation, and second order moment theory followed by a wide variety of examples of the most popular random process models and their basic uses and properties. Specific applications to the analysis of random signals and systems for communicating, estimating, detecting, modulating, and other processing of signals are interspersed throughout the book. Hundreds of homework problems are included and the book is ideal for graduate students of electrical engineering and applied mathematics. It is also a useful reference for researchers in signal processing and communications.

In recent years the interaction between dynamical systems theory and non-equilibrium statistical mechanics has been enormous. The discovery of fluctuation theorems as a fundamental structure common to almost all non-equilibrium systems, and the connections with the free energy calculation methods of Jarzynski and Crooks, have excited both theorists and experimentalists. This graduate-level book charts the development and theoretical analysis of molecular dynamics as applied to equilibrium and non-equilibrium systems. Designed for both researchers in the field and graduate students of physics, it connects molecular dynamics simulation with the mathematical theory to understand non-equilibrium steady states. It also provides a link between the atomic, nano, and macro worlds. The book ends with an introduction to the use of non-equilibrium statistical mechanics to justify a thermodynamic treatment of non-equilibrium steady states, and gives a direction to further avenues of exploration.

In recent years the interaction between dynamical systems theory and non-equilibrium statistical mechanics has been enormous. The discovery of fluctuation theorems as a fundamental structure common to almost all non-equilibrium systems, and the connections with the free energy calculation methods of Jarzynski and Crooks, have excited both theorists and experimentalists. This graduate-level book charts the development and theoretical analysis of molecular dynamics as applied to equilibrium and non-equilibrium systems. Designed for both researchers in the field and graduate students of physics, it connects molecular dynamics simulation with the mathematical theory to understand non-equilibrium steady states. It also provides a link between the atomic, nano, and macro worlds. The book ends with an introduction to the use of non-equilibrium statistical mechanics to justify a thermodynamic treatment of non-equilibrium steady states, and gives a direction to further avenues of exploration.

This book describes how computer programs can generate narratives and how studies of computational narrative can illuminate how humans tell stories. Combining an introduction to relevant concepts related to automatic storytelling with accessible descriptions of well-known computer programs that illustrate how such concepts are employed, the book is aimed at an interdisciplinary audience and assumes little or no background in computer science. The book introduces the most relevant techniques employed over the last 60 years for the development of computer models for narrative generation, including narrative templates, problem-solving, planning, author engagement and reflection, and statistical methods such as deep neural networks, ending with an examination of the societal implications of the development of automatic narrative generator systems.

Tau functions are a central tool in the modern theory of integrable systems. This volume provides a thorough introduction, starting from the basics and extending to recent research results. It covers a wide range of applications, including generating functions for solutions of integrable hierarchies, correlation functions in the spectral theory of random matrices and combinatorial generating functions for enumerative geometrical and topological invariants. A self-contained summary of more advanced topics needed to understand the material is provided, as are solutions and hints for the various exercises and problems that are included throughout the text to enrich the subject matter and engage the reader. Building on knowledge of standard topics in undergraduate mathematics and basic concepts and methods of classical and quantum mechanics, this monograph is ideal for graduate students and researchers who wish to become acquainted with the full range of applications of the theory of tau f

Superconducting quantum circuits are among the most promising solutions for the development of scalable quantum computers. Built with sizes that range from microns to tens of metres using superconducting fabrication techniques and microwave technology, superconducting circuits demonstrate distinctive quantum properties such as superposition and entanglement at cryogenic temperatures. This book provides a comprehensive and self-contained introduction to the world of superconducting quantum circuits, and how they are used in current quantum technology. Beginning with a description of their basic superconducting properties, the author then explores their use in quantum systems, showing how they can emulate individual photons and atoms, and ultimately behave as qubits within highly connected quantum systems. Particular attention is paid to cutting-edge applications of these superconducting circuits in quantum computing and quantum simulation. Written for graduate students and junior resear

Ocean Acoustics - the study of sound in the ocean, how it travels, interacts with, and is affected by its underwater surroundings - is a growing and critical field. Sound from both natural and human-generated sources can be an effective tool for probing the ocean environment. While the first applications of ocean acoustics began in the military, applications today encompass offshore energy production, national security, environmental monitoring, climate science, exploration and mapping, as well as fundamental ocean science. Even as demand for ocean acoustics grows, workforce development is challenged by both the multidisciplinary nature of the field and its widely varying career paths. Ocean acoustics may be housed in a diversity of departments in higher education institutions, and career paths and trajectory of formal education can range from the vocational/associates' level through the doctorate level. This report examines the state of ocean acoustics education; assesses expected dem

Privacy by design is a proactive approach that promotes privacy and data protection compliance throughout project lifecycles when storing or accessing personal data. Privacy by design is essential for the Internet of Things (IoT) as privacy concerns and accountability are being raised in an increasingly connected world. What becomes of data generated, collected or processed by the IoT is clearly an important question for all involved in the development, manufacturing, applications and use of related technologies. But this IoT concept does not work well with the 'big data' trend of aggregating pools of data for new applications. Developers need to address privacy and security issues and legislative requirements at the design stage, and not as an afterthought.In this edited book, the authors draw on a wealth of interdisciplinary research to delineate the challenges of building accountability into the Internet of Things and solutions for delivering on this critical societal challenge. Thi

The development of modern military conscription systems is usually seen as a response to countries' security needs, and as reflection of national political ideologies like civic republicanism or democratic egalitarianism. This study of conscription politics in France and the United States in the first half of the twentieth century challenges such common sense interpretations. Instead, it shows how despite institutional and ideological differences, both countries implemented conscription systems shaped by political and military leaders' concerns about how taking ordinary family men for military service would affect men's presumed positions as heads of families, especially as breadwinners and figures of paternal authority. The first of its kind, this carefully researched book combines an ambitious range of scholarly traditions and offers an original comparison of how protection of men's household authority affected one of the paradigmatic institutions of modern states.

An accessible guide to cybersecurity for the everyday user, covering cryptography and public key infrastructure, malware, blockchain, and other topics.It seems that everything we touch is connected to the internet, from mobile phones and wearable technology to home appliances and cyber assistants. The more connected our computer systems, the more exposed they are to cyber attacks--attempts to steal data, corrupt software, disrupt operations, and even physically damage hardware and network infrastructures. In this volume of the MIT Press Essential Knowledge series, cybersecurity expert Duane Wilson offers an accessible guide to cybersecurity issues for everyday users, describing risks associated with internet use, modern methods of defense against cyber attacks, and general principles for safer internet use. Wilson describes the principles that underlie all cybesecurity defense: confidentiality, integrity, availability, authentication, authorization, and non-repudiation (validating the

Thoroughly revised and updated for the second edition, this comprehensive textbook integrates basic and advanced concepts of mechanics with numerical methods and biomedical applications. Coverage is expanded to include a complete introduction to vector and tensor calculus, and new or fully updated chapters on biological materials and continuum mechanics, motion, deformation and rotation, and constitutive modelling of solids and fluids. Topics such as kinematics, equilibrium, and stresses and strains are also included, as well as the mechanical behaviour of fibres and the analysis of one-dimensional continuous elastic media. Numerical solution procedures based on the Finite Element Method are presented, with accompanying MATLAB-based software and dozens of new biomedical engineering examples and exercises allowing readers to practise and improve their skills. Solutions for instructors are also available online. This is the definitive guide for both undergraduate and graduate students ta

In the context of this book, adaptation is taken to mean a feature of a system aimed at achieving the best possible performance, when mathematical models of the environment and the system itself are not fully available. This has applications ranging from theories of visual perception and the processing of information, to the more technical problems of friction compensation and adaptive classification of signals in fixed-weight recurrent neural networks. Largely devoted to the problems of adaptive regulation, tracking and identification, this book presents a unifying system-theoretic view on the problem of adaptation in dynamical systems. Special attention is given to systems with nonlinearly parameterized models of uncertainty. Concepts, methods and algorithms given in the text can be successfully employed in wider areas of science and technology. The detailed examples and background information make this book suitable for a wide range of researchers and graduates in cybernetics, mathe

Recent and ongoing developments in science and technology - such as the prevention and treatment of disease through genetics and the development of increasingly sophisticated computer systems with wide-ranging applications - hold out the promise of vastly improving the quality of human life, but they can also raise serious ethical, legal, and public policy questions. The thirteen essays in this volume address these questions and related issues from a variety of perspectives. Written by prominent philosophers, economists, and legal theorists, these essays offer valuable insights into the nature of scientific innovation and its implications for our social policies and practices.

Inverse problems lie at the heart of contemporary scientific inquiry and technological development. Applications include a variety of medical and other imaging techniques, which are used for early detection of cancer and pulmonary edema, location of oil and mineral deposits in the Earth's interior, creation of astrophysical images from telescope data, finding cracks and interfaces within materials, shape optimization, model identification in growth processes, and modeling in the life sciences among others. The expository survey essays in this book describe recent developments in inverse problems and imaging, including hybrid or couple-physics methods arising in medical imaging, Calderon's problem and electrical impedance tomography, inverse problems arising in global seismology and oil exploration, inverse spectral problems, and the study of asymptotically hyperbolic spaces. It is suitable for graduate students and researchers interested in inverse problems and their applications.

This practical guide to survival data and its analysis for readers with a minimal background in statistics shows why the analytic methods work and how to effectively analyze and interpret epidemiologic and medical survival data with the help of modern computer systems. The introduction presents a review of a variety of statistical methods that are not only key elements of survival analysis but are also central to statistical analysis in general. Techniques such as statistical tests, transformations, confidence intervals, and analytic modeling are presented in the context of survival data but are, in fact, statistical tools that apply to understanding the analysis of many kinds of data. Similarly, discussions of such statistical concepts as bias, confounding, independence, and interaction are presented in the context of survival analysis and also are basic components of a broad range of applications. These topics make up essentially a 'second-year', one-semester biostatistics course in

This practical guide to survival data and its analysis for readers with a minimal background in statistics shows why the analytic methods work and how to effectively analyze and interpret epidemiologic and medical survival data with the help of modern computer systems. The introduction presents a review of a variety of statistical methods that are not only key elements of survival analysis but are also central to statistical analysis in general. Techniques such as statistical tests, transformations, confidence intervals, and analytic modeling are presented in the context of survival data but are, in fact, statistical tools that apply to understanding the analysis of many kinds of data. Similarly, discussions of such statistical concepts as bias, confounding, independence, and interaction are presented in the context of survival analysis and also are basic components of a broad range of applications. These topics make up essentially a 'second-year', one-semester biostatistics course in

The Internet and World Wide Web have revolutionized access to information. Users now store information across multiple platforms from personal computers to smartphones and websites. As a consequence, data management concepts, methods and techniques are increasingly focused on distribution concerns. Now that information largely resides in the network, so do the tools that process this information. This book explains the foundations of XML with a focus on data distribution. It covers the many facets of distributed data management on the Web, such as description logics, that are already emerging in today's data integration applications and herald tomorrow's semantic Web. It also introduces the machinery used to manipulate the unprecedented amount of data collected on the Web. Several 'Putting into Practice' chapters describe detailed practical applications of the technologies and techniques. The book will serve as an introduction to the new, global, information systems for Web professiona

Hepatitis C infects 170 million people worldwide, and has been labelled the 'silent epidemic' as a result of its concealed attack on the liver. This multidisciplinary overview covers basic concepts related to the discovery of the virus, development of serological and nucleic acid tests to detect infection, the structure of the virus genome, generation of virus gene products, and proposed replication scheme. It then goes on to introduce the epidemiology, transmission, pathogenesis of infection, the development of hepatocellular carcinoma associated with chronic virus infection, and current strategies for treatment. The book then discusses advances in cell culture systems, animal models of infection, and emerging treatments and vaccine development. Through its coverage of basic science, clinical consequences, and methods of research, this integrated and accessible account will be of immense value to biomedical scientists and clinicians alike, and a useful introduction for all those study

This 1998 book describes the progress that had been made towards the development of a comprehensive understanding of the formation of complex, disorderly patterns under conditions far from equilibrium. The application of fractal geometry and scaling concepts to the quantitative description and understanding of structure formed under non-equilibrium conditions is described. Self-similar fractals, multi-fractals and scaling methods are discussed, with examples, to facilitate applications in the physical sciences. Computer simulations and experimental studies are emphasised, but the author also includes discussion of theoretical advances in the subject. Much of the book deals with diffusion-limited growth processes and the evolution of rough surfaces, although a broad range of other applications is also included. The techniques and topics will be relevant to graduate students and researchers in physics, chemistry, materials science, engineering and the earth sciences, interested in applyi

This 1998 book describes the progress that had been made towards the development of a comprehensive understanding of the formation of complex, disorderly patterns under conditions far from equilibrium. The application of fractal geometry and scaling concepts to the quantitative description and understanding of structure formed under non-equilibrium conditions is described. Self-similar fractals, multi-fractals and scaling methods are discussed, with examples, to facilitate applications in the physical sciences. Computer simulations and experimental studies are emphasised, but the author also includes discussion of theoretical advances in the subject. Much of the book deals with diffusion-limited growth processes and the evolution of rough surfaces, although a broad range of other applications is also included. The techniques and topics will be relevant to graduate students and researchers in physics, chemistry, materials science, engineering and the earth sciences, interested in applyi

Here is an introductory text on metric spaces that is the first to be written for students who are as interested in the applications as in the theory. Knowledge of metric spaces is fundamental to understanding numerical methods (for example for solving differential equations) as well as analysis, yet most books at this level emphasise just the abstraction and theory. Dr Bryant uses applications to provide motivation and to sustain the development and discusses numerical procedures where appropriate. The reader is expected to have had some exposure to elementary analysis, but the author provides examples throughout to refresh the student's memory and to test and extend understanding. In short, this is an introductory textbook that will appeal to students of mathematics and engineering and will give them the required background for more advanced courses in both analysis and numerical analysis.

Digital health encompasses a broad array of tools and strategies with the goals of advancing research, increasing health care access and quality, and making care more personalized. It encompasses health content, digital health interventions, and digital applications, such as communication tools connecting patients and clinicians (e.g., secure email in the patient portal, text, chat, video visit), remote monitoring tools, clinical decision support tools, and systems for exchanging health information. Patient-facing tools, tools for clinicians, and systems to facilitate research and care improvement are all part of this diverse landscape, and each raises unique opportunities and potential challenges. To examine key policy issues for the effective and safe development, implementation, and use of digital health technologies in oncology research and care, the National Cancer Policy Forum of the National Academies of Sciences, Engineering, and Medicine held a virtual workshop in collaboratio

Soft computing techniques are emerging as an important tool in solving design, performance and optimisation problems in electromagnetics. Soft Computing in Electromagnetics offers detailed discussion on the application of soft computing concepts in the field of metamaterial antennas, radar absorbers, transmission line characterisation and optimised radar absorbing material (RAM) and introduces implementation of soft computing tools in a relatively new area of metamaterials. The soft computing methods are used to optimise fault detection, electromagnetic propagation and path loss detection. The development of two CAD packages for design of metamaterial split ring resonators (SRR) and path-loss prediction is discussed. The concepts are explained with the help of algorithms and the corresponding software codes. Numerical examples and MATLAB codes are provided throughout the text to facilitate understanding.

The theory of Gröbner bases, invented by Bruno Buchberger, is a general method by which many fundamental problems in various branches of mathematics and engineering can be solved by structurally simple algorithms. The method is now available in all major mathematical software systems. This book provides a short and easy-to-read account of the theory of Gröbner bases and its applications. It is in two parts, the first consisting of tutorial lectures, beginning with a general introduction. The subject is then developed in a further twelve tutorials, written by leading experts, on the application of Gröbner bases in various fields of mathematics. In the second part are seventeen original research papers on Gröbner bases. An appendix contains the English translations of the original German papers of Bruno Buchberger in which Gröbner bases were introduced.

This book discusses in detail all the relevant numerical methods for the classical N-body problem. It demonstrates how to develop clear and elegant algorithms for models of gravitational systems, and explains the fundamental mathematical tools needed to describe the dynamics of a large number of mutually attractive particles. Particular attention is given to the techniques needed to model astrophysical phenomena such as close encounters and the dynamics of black hole binaries. The author reviews relevant work in the field and covers applications to the problems of planetary formation and star cluster dynamics, both of Pleiades type and globular clusters. Self-contained and pedagogical, this book is suitable for graduate students and researchers in theoretical physics, astronomy and cosmology.

This book discusses in detail all the relevant numerical methods for the classical N-body problem. It demonstrates how to develop clear and elegant algorithms for models of gravitational systems, and explains the fundamental mathematical tools needed to describe the dynamics of a large number of mutually attractive particles. Particular attention is given to the techniques needed to model astrophysical phenomena such as close encounters and the dynamics of black hole binaries. The author reviews relevant work in the field and covers applications to the problems of planetary formation and star cluster dynamics, both of Pleiades type and globular clusters. Self-contained and pedagogical, this book is suitable for graduate students and researchers in theoretical physics, astronomy and cosmology.