- Table View
- List View
Finite Ordered Sets: Concepts, Results and Uses
by Nathalie Caspard Bruno Leclerc Bernard MonjardetOrdered sets are ubiquitous in mathematics and have significant applications in computer science, statistics, biology and the social sciences. As the first book to deal exclusively with finite ordered sets, this book will be welcomed by graduate students and researchers in all of these areas. Beginning with definitions of key concepts and fundamental results (Dilworth's and Sperner's theorem, interval and semiorders, Galois connection, duality with distributive lattices, coding and dimension theory), the authors then present applications of these structures in fields such as preference modelling and aggregation, operational research and management, cluster and concept analysis, and data mining. Exercises are included at the end of each chapter with helpful hints provided for some of the most difficult examples. The authors also point to further topics of ongoing research.
Finite Precision Number Systems and Arithmetic
by Peter Kornerup David W. MatulaFundamental arithmetic operations support virtually all of the engineering, scientific, and financial computations required for practical applications, from cryptography, to financial planning, to rocket science. This comprehensive reference provides researchers with the thorough understanding of number representations that is a necessary foundation for designing efficient arithmetic algorithms. Using the elementary foundations of radix number systems as a basis for arithmetic, the authors develop and compare alternative algorithms for the fundamental operations of addition, multiplication, division, and square root with precisely defined roundings. Various finite precision number systems are investigated, with the focus on comparative analysis of practically efficient algorithms for closed arithmetic operations over these systems. Each chapter begins with an introduction to its contents and ends with bibliographic notes and an extensive bibliography. The book may also be used for graduate teaching: problems and exercises are scattered throughout the text and a solutions manual is available for instructors.
Finite Time and Cooperative Control of Flight Vehicles (Advances in Industrial Control)
by Yuanqing Xia Jinhui Zhang Kunfeng Lu Ning ZhouThis book focuses on the finite-time control of attitude stabilization, attitude tracking for individual spacecraft, and finite-time control of attitude synchronization. It discusses formation reconfiguration for multiple spacecraft in complex networks, and provides a new fast nonsingular terminal sliding mode surface (FNTSMS). Further, it presents newly designed controllers and several control laws to enhance the performance of spacecraft systems and meet related demands, such as strong disturbance rejection and high-precision control. As such, the book establishes a fundamental framework for these topics, while also highlighting the importance of integrated analysis. It is a useful resource for all researchers and students who are interested in this field, as well as engineers whose work involves designing flight vehicles.
The Finite Volume Method in Computational Fluid Dynamics
by F. Moukalled L. Mangani M. DarwishThis textbook explores both the theoretical foundation of the Finite Volume Method (FVM) and its applications in Computational Fluid Dynamics (CFD). Readers will discover a thorough explanation of the FVM numerics and algorithms used for the simulation of incompressible and compressible fluid flows, along with a detailed examination of the components needed for the development of a collocated unstructured pressure-based CFD solver. Two particular CFD codes are explored. The first is uFVM, a three-dimensional unstructured pressure-based finite volume academic CFD code, implemented within Matlab. The second is OpenFOAM®, an open source framework used in the development of a range of CFD programs for the simulation of industrial scale flow problems. With over 220 figures, numerous examples and more than one hundred exercise on FVM numerics, programming, and applications, this textbook is suitable for use in an introductory course on the FVM, in an advanced course on numerics, and as a reference for CFD programmers and researchers.
Finite Volume Methods for Hyperbolic Problems
by Randall J. LevequeThis book contains an introduction to hyperbolic partial differential equations and a powerful class of numerical methods for approximating their solution, (including both linear problems and nonlinear conservation laws). These equations describe a wide range of wave propagation and transport phenomena arising in nearly every scientific and engineering discipline. Several applications are described in a self-contained manner, along with much of the mathematical theory of hyperbolic problems. High-resolution versions of Godunov's method are developed, in which Riemann problems are solved to determine the local wave structure and limiters are applied to eliminate numerical oscillations. The methods were orginally designed to capture shock waves accurately, but are also useful tools for studying linear wave-progagation problems, particulary in heterogenous material. The methods studied are in the CLAWPACK software package. Source code for all the examples presented can be found on the web, along with animations of many of the simulations. This provides an excellent learning environment for understanding wave propagation phenomena and finite volume methods.
Finite Volume Methods for the Incompressible Navier–Stokes Equations (SpringerBriefs in Applied Sciences and Technology)
by Jian Li Zhangxing Chen Xiaolin LinThe book aims to provide a comprehensive understanding of the most recent developments in finite volume methods. Its focus is on the development and analysis of these methods for the two- and three-dimensional Navier-Stokes equations, supported by extensive numerical results. It covers the most used lower-order finite element pairs, with well-posedness and optimal analysis for these finite volume methods.The authors have attempted to make this book self-contained by offering complete proofs and theoretical results. While most of the material presented has been taught by the authors in a number of institutions over the past several years, they also include several updated theoretical results for the finite volume methods for the incompressible Navier-Stokes equations. This book is primarily developed to address research needs for students and academic and industrial researchers. It is particularly valuable as a research reference in the fields of engineering, mathematics, physics, and computer sciences.
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples: FVCA 9, Bergen, Norway, June 2020 (Springer Proceedings in Mathematics & Statistics #323)
by Jürgen Fuhrmann Robert Klöfkorn Eirik Keilegavlen Florin A. RaduThe proceedings of the 9th conference on "Finite Volumes for Complex Applications" (Bergen, June 2020) are structured in two volumes. The first volume collects the focused invited papers, as well as the reviewed contributions from internationally leading researchers in the field of analysis of finite volume and related methods. Topics covered include convergence and stability analysis, as well as investigations of these methods from the point of view of compatibility with physical principles. Altogether, a rather comprehensive overview is given on the state of the art in the field. The properties of the methods considered in the conference give them distinguished advantages for a number of applications. These include fluid dynamics, magnetohydrodynamics, structural analysis, nuclear physics, semiconductor theory, carbon capture utilization and storage, geothermal energy and further topics. The second volume covers reviewed contributions reporting successful applications of finite volume and related methods in these fields. The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability, making the finite volume methods compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications. The book is a valuable resource for researchers, PhD and master’s level students in numerical analysis, scientific computing and related fields such as partial differential equations, as well as engineers working in numerical modeling and simulations.
Finite Volumes for Complex Applications VII-Elliptic, Parabolic and Hyperbolic Problems
by Jürgen Fuhrmann Mario Ohlberger Christian RohdeThe methods considered in the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) have properties which offer distinct advantages for a number of applications. The second volume of the proceedings covers reviewed contributions reporting successful applications in the fields of fluid dynamics, magnetohydrodynamics, structural analysis, nuclear physics, semiconductor theory and other topics. The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications. Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations.
Finite Volumes for Complex Applications VII-Methods and Theoretical Aspects
by Jürgen Fuhrmann Mario Ohlberger Christian RohdeThe first volume of the proceedings of the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) covers topics that include convergence and stability analysis, as well as investigations of these methods from the point of view of compatibility with physical principles. It collects together the focused invited papers, as well as the reviewed contributions from internationally leading researchers in the field of analysis of finite volume and related methods. Altogether, a rather comprehensive overview is given of the state of the art in the field. The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications. Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations.
Finite Volumes for Complex Applications X—Volume 1, Elliptic and Parabolic Problems: FVCA10, Strasbourg, France, October 30, 2023–November 03, 2023, Invited Contributions (Springer Proceedings in Mathematics & Statistics #432)
by Emmanuel Franck Jürgen Fuhrmann Victor Michel-Dansac Laurent NavoretThis volume comprises the first part of the proceedings of the 10th International Conference on Finite Volumes for Complex Applications, FVCA, held in Strasbourg, France, during October 30 to November 3, 2023.The Finite Volume method, and several of its variants, is a spatial discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods are also built to preserve some properties of the continuous equations, including maximum principles, dissipativity, monotone decay of the free energy, asymptotic stability, or stationary solutions. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications. In recent years, the efficient implementation of these methods in numerical software packages, more specifically to be used in supercomputers, has drawn some attention. This volume contains all invited papers, as well as the contributed papers focusing on finite volume schemes for elliptic and parabolic problems. They include structure-preserving schemes, convergence proofs, and error estimates for problems governed by elliptic and parabolic partial differential equations. The second volume is focused on finite volume methods for hyperbolic and related problems, such as methods compatible with the low Mach number limit or able to exactly preserve steady solutions, the development and analysis of high order methods, or the discretization of kinetic equations.
Finite Volumes for Complex Applications X—Volume 2, Hyperbolic and Related Problems: FVCA10, Strasbourg, France, October 30, 2023–November 03, 2023 (Springer Proceedings in Mathematics & Statistics #433)
by Emmanuel Franck Jürgen Fuhrmann Victor Michel-Dansac Laurent NavoretThis volume comprises the second part of the proceedings of the 10th International Conference on Finite Volumes for Complex Applications, FVCA, held in Strasbourg, France, during October 30 to November 3, 2023.The Finite Volume method, and several of its variants, is a spatial discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods are also built to preserve some properties of the continuous equations, including maximum principles, dissipativity, monotone decay of the free energy, asymptotic stability, or stationary solutions. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications. In recent years, the efficient implementation of these methods in numerical software packages, more specifically to be used in supercomputers, has drawn some attention. The first volume contains all invited papers, as well as the contributed papers focusing on finite volume schemes for elliptic and parabolic problems. They include structure-preserving schemes, convergence proofs, and error estimates for problems governed by elliptic and parabolic partial differential equations.This volume is focused on finite volume methods for hyperbolic and related problems, such as methods compatible with the low Mach number limit or able to exactly preserve steady solutions, the development and analysis of high order methods, or the discretization of kinetic equations.
Finitely Generated Abelian Groups and Similarity of Matrices over a Field
by Christopher NormanAt first sight, finitely generated abelian groups and canonical forms of matrices appear to have little in common. However, reduction to Smith normal form, named after its originator H.J.S.Smith in 1861, is a matrix version of the Euclidean algorithm and is exactly what the theory requires in both cases. Starting with matrices over the integers, Part 1 of this book provides a measured introduction to such groups: two finitely generated abelian groups are isomorphic if and only if their invariant factor sequences are identical. The analogous theory of matrix similarity over a field is then developed in Part 2 starting with matrices having polynomial entries: two matrices over a field are similar if and only if their rational canonical forms are equal. Under certain conditions each matrix is similar to a diagonal or nearly diagonal matrix, namely its Jordan form. The reader is assumed to be familiar with the elementary properties of rings and fields. Also a knowledge of abstract linear algebra including vector spaces, linear mappings, matrices, bases and dimension is essential, although much of the theory is covered in the text but from a more general standpoint: the role of vector spaces is widened to modules over commutative rings. Based on a lecture course taught by the author for nearly thirty years, the book emphasises algorithmic techniques and features numerous worked examples and exercises with solutions. The early chapters form an ideal second course in algebra for second and third year undergraduates. The later chapters, which cover closely related topics, e.g. field extensions, endomorphism rings, automorphism groups, and variants of the canonical forms, will appeal to more advanced students. The book is a bridge between linear and abstract algebra.
Finiteness Properties of Arithmetic Groups Acting on Twin Buildings
by Stefan WitzelProviding an accessible approach to a special case of the Rank Theorem, the present text considers the exact finiteness properties of S-arithmetic subgroups of split reductive groups in positive characteristic when S contains only two places. While the proof of the general Rank Theorem uses an involved reduction theory due to Harder, by imposing the restrictions that the group is split and that S has only two places, one can instead make use of the theory of twin buildings.
Fintech with Artificial Intelligence, Big Data, and Blockchain (Blockchain Technologies)
by Paul Moon Sub Choi Seth H. HuangThis book introduces readers to recent advancements in financial technologies. The contents cover some of the state-of-the-art fields in financial technology, practice, and research associated with artificial intelligence, big data, and blockchain—all of which are transforming the nature of how products and services are designed and delivered, making less adaptable institutions fast become obsolete. The book provides the fundamental framework, research insights, and empirical evidence in the efficacy of these new technologies, employing practical and academic approaches to help professionals and academics reach innovative solutions and grow competitive strengths.
First Aid in Mathematics Colour Edition
by Robert SulleyAchieve the best possible standard with this bestselling book of traditional practice and guidance - now in colour! First Aid in Mathematics provides all the help and support needed for learning and practising Mathematics. It offers comprehensive coverage of core mathematical topics in clear and accessible language. It is suitable for both native English speakers and students of English as a second language and can be used in class, or as a reference and revision book. - Develops a strong basis of understanding with core topics covered in clear and accessible language - Improves student's ability to work through problems with plenty of practice exercises and revision tests - Reflects its international readership with terms and information that are appropriate for students worldwide
First Aid in Mathematics Colour Edition
by Robert SulleyAchieve the best possible standard with this bestselling book of practice and guidance - now in colour First Aid in Mathematics is written in clear and concise language to provide all the help, support and practice needed to master the key topics in basic mathematics. The book contains over 1,000 carefully planned practice questions to help readers reinforce their knowledge. Revision tests are provided at the end of each chapter. First Aid in Mathematics is ideal for use in the classroom or as a reference and revision book for those wanting to improve their mathematical skills.
First Births in America: Changes in the Timing of Parenthood (Studies in Demography #2)
by Ronald R. Rindfuss S. Philip Morgan C Gray SwicegoodThis title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1988.
A First Book of Counting (Dinosaur Playhouse)
by Aj WoodYour children's -firsts- will be fun and informative when they discover Dinosaur Playhouse books -- an imaginative, thought-provoking series for beginning readers.
First Complex Systems Digital Campus World E-Conference 2015
by Paul Bourgine Pierre Collet Pierre ParrendThis book contains the proceedings as well as invited papers for the first annual conference of the UNESCO Unitwin Complex System Digital Campus (CSDC), which is an international initiative gathering 120 Universities on four continents, and structured in ten E-Departments. First Complex Systems Digital Campus World E-Conference 2015 features chapters from the latest research results on theoretical questions of complex systems and their experimental domains. The content contained bridges the gap between the individual and the collective within complex systems science and new integrative sciences on topics such as: genes to organisms to ecosystems, atoms to materials to products, and digital media to the Internet. The conference breaks new ground through a dedicated video-conferencing system - a concept at the heart of the international UNESCO UniTwin, embracing scientists from low-income and distant countries. This book promotes an integrated system of research, education, and training. It also aims at contributing to global development by taking into account its social, economic, and cultural dimensions. First Complex Systems Digital Campus World E-Conference 2015 will appeal to students and researchers working in the fields of complex systems, statistical physics, computational intelligence, and biological physics.
A First Course in Abstract Algebra: Rings, Groups, and Fields, Third Edition
by Marlow Anderson Todd FeilLike its popular predecessors, this text develops ring theory first by drawing on students' familiarity with integers and polynomials. This unique approach motivates students in studying abstract algebra and helps them understand the power of abstraction. This edition makes it easier to teach unique factorization as an optional topic and reorganizes the core material on rings, integral domains, and fields. Along with new exercises on Galois theory, it also includes a more detailed treatment of permutations as well as new chapters on Sylow theorems.
A First Course in Analysis (Cambridge Mathematical Textbooks)
by John B. ConwayThis rigorous textbook is intended for a year-long analysis or advanced calculus course for advanced undergraduate or beginning graduate students. Starting with detailed, slow-paced proofs that allow students to acquire facility in reading and writing proofs, it clearly and concisely explains the basics of differentiation and integration of functions of one and several variables, and covers the theorems of Green, Gauss, and Stokes. Minimal prerequisites are assumed, and relevant linear algebra topics are reviewed right before they are needed, making the material accessible to students from diverse backgrounds. Abstract topics are preceded by concrete examples to facilitate understanding, for example, before introducing differential forms, the text examines low-dimensional examples. The meaning and importance of results are thoroughly discussed, and numerous exercises of varying difficulty give students ample opportunity to test and improve their knowledge of this difficult yet vital subject.
A First Course in Bayesian Statistical Methods (Springer Texts in Statistics)
by Peter Hoff<p>1. A self-contained introduction to probability, exchangeability and Bayes’ rule provides a theoretical understanding of the applied material. <p>2. Numerous examples with R-code that can be run "as-is" allow the reader to perform the data analyses themselves. <p>3. The development of Monte Carlo and Markov chain Monte Carlo methods in the context of data analysis examples provides motivation for these computational methods.</p>
A First Course in Boundary Element Methods (Mathematical Engineering)
by Steven L. Crouch Sofia G. MogilevskayaThis textbook delves into the theory and practical application of boundary integral equation techniques, focusing on their numerical solution for boundary value problems within potential theory and linear elasticity. Drawing parallels between single and double layer potentials in potential theory and their counterparts in elasticity, the book introduces various numerical procedures, namely boundary element methods, where unknown quantities reside on the boundaries of the region of interest. Through the approximation of boundary value problems into systems of algebraic equations, solvable by standard numerical methods, the text elucidates both indirect and direct approaches. While indirect methods involve single or double layer potentials separately, yielding physically ambiguous results, direct methods combine potentials using Green’s or Somigliana’s formulas, providing physically meaningful solutions. Tailored for beginning graduate students, this self-contained textbook offers detailed analytical and numerical derivations for isotropic and anisotropic materials, prioritizing simplicity in presentation while progressively advancing towards more intricate mathematical concepts, particularly focusing on two-dimensional problems within potential theory and linear elasticity.
A First Course in Category Theory (Universitext)
by Ana AgoreThis textbook provides a first introduction to category theory, a powerful framework and tool for understanding mathematical structures. Designed for students with no previous knowledge of the subject, this book offers a gentle approach to mastering its fundamental principles.Unlike traditional category theory books, which can often be overwhelming for beginners, this book has been carefully crafted to offer a clear and concise introduction to the subject. It covers all the essential topics, including categories, functors, natural transformations, duality, equivalence, (co)limits, and adjunctions. Abundant fully-worked examples guide readers in understanding the core concepts, while complete proofs and instructive exercises reinforce comprehension and promote self-study. The author also provides background material and references, making the book suitable for those with a basic understanding of groups, rings, modules, topological spaces, and set theory.Based on the author's course at the Vrije Universiteit Brussel, the book is perfectly suited for classroom use in a first introductory course in category theory. Its clear and concise style, coupled with its detailed coverage of key concepts, makes it equally suited for self-study.
A First Course in Causal Inference (Chapman & Hall/CRC Texts in Statistical Science)
by Peng DingThe past decade has witnessed an explosion of interest in research and education in causal inference, due to its wide applications in biomedical research, social sciences, artificial intelligence etc. This textbook, based on the author's course on causal inference at UC Berkeley taught over the past seven years, only requires basic knowledge of probability theory, statistical inference, and linear and logistic regressions. It assumes minimal knowledge of causal inference, and reviews basic probability and statistics in the appendix. It covers causal inference from a statistical perspective and includes examples and applications from biostatistics and econometrics.Key Features: All R code and data sets available at Harvard Dataverse. Solutions manual available for instructors. Includes over 100 exercises. This book is suitable for an advanced undergraduate or graduate-level course on causal inference, or postgraduate and PhD-level course in statistics and biostatistics departments.