Page 138
Page 138
Finite Zeros in discrete time control systems
The book starts with definition of invariant zeros and goes as far as a general characterization of output-zeroing inputs and the corresponding solutions, explicit formulas for maximal output-nulling invariant subspaces and for the zero dynamics. The objective of this book is to render the reader familiar with a certain method of analysis of multivariable zeros (which goes beyond the classical approach) and related problems. The minimal mathematical background that is required from the reader is a working knowledge of linear algebra and difference equations.
Finite model theory and its applications
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics.
Finite Model Theory ; 2nd ed.
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.
Finite Mixture and Markov Switching Models
The prominence of finite mixture modelling is greater than ever. Many important statistical topics like clustering data, outlier treatment, or dealing with unobserved heterogeneity involve finite mixture models in some way or other. The area of potential applications goes beyond simple data analysis and extends to regression analysis and to non-linear time series analysis using Markov switching models.It is the first time that the Bayesian perspective of finite mixture modelling is systematically presented in book form. It is argued that the Bayesian approach provides much insight in this context and is easily implemented in practice. Although the main focus is on Bayesian inference, the author reviews several frequentist techniques, especially selecting the number of components of a finite mixture model, and discusses some of their shortcomings compared to the Bayesian approach. The aim of this book is to impart the finite mixture and Markov switching approach to statistical modelling to a wide-ranging community. This includes not only statisticians, but also biologists, economists, engineers, financial agents, market researcher, medical researchers or any other frequent user of statistical models. This book should help newcomers to the field to understand how finite mixture and Markov switching models are formulated, what structures they imply on the data, what they could be used for, and how they are estimated.
Finite Elements in Structural Analysis : Theoretical Concepts and Modeling Procedures in Statics and Dynamics of Structures
Introduces the basic concepts of the finite element method in the static and dynamic analysis of beam, plate, shell and solid structures, discussing how the method works, the characteristics of a finite element approximation and how to avoid the pitfalls of finite element modeling. Presenting the finite element theory as simply as possible, the book allows readers to gain the knowledge required when applying powerful FEA software tools. Further, it describes modeling procedures, especially for reinforced concrete structures, as well as structural dynamics methods, with a particular focus on the seismic analysis of buildings, and explores the modeling of dynamic systems. Featuring numerous illustrative examples, the book allows readers to easily grasp the fundamentals of the finite element theory and to apply the finite element method proficiently.
Finite Elements III : First-Order and Time-Dependent PDEs
Volume III is divided into 28 chapters. The first eight chapters focus on the symmetric positive systems of first-order PDEs called Friedrichs' systems. This part of the book presents a comprehensive and unified treatment of various stabilization techniques from the existing literature. It discusses applications to advection and advection-diffusion equations and various PDEs written in mixed form such as Darcy and Stokes flows and Maxwell's equations. The remainder of Volume III addresses time-dependent problems: parabolic equations (such as the heat equation), evolution equations without coercivity (Stokes flows, Friedrichs' systems), and nonlinear hyperbolic equations (scalar conservation equations, hyperbolic systems). It offers a fresh perspective on the analysis of well-known time-stepping methods. The last five chapters discuss the approximation of hyperbolic equations with finite elements. Here again a new perspective is proposed.
Finite element methods and their applications
This book serves as a text for one- or two-semester courses for upper-level undergraduates and beginning graduate students and as a professional reference for people who want to solve partial differential equations (PDEs) using finite element methods. The author has attempted to introduce every concept in the simplest possible setting and maintain a level of treatment that is as rigorous as possible without being unnecessarily abstract. Quite a lot of attention is given to discontinuous finite elements, characteristic finite elements, and to the applications in fluid and solid mechanics including applications to porous media flow, and applications to semiconductor modeling. An extensive set of exercises and references in each chapter are provided.
Finite element methods : Parallel-sparse statics and Eigen-Solutions
FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale engineering applications. Efficient equation and eigen-solvers play critical roles in solving these problems. Sparse matrix technologies have evolved and are now mature enough that all popular and commercialized FEM codes have inserted sparse solvers into their software. So far, however, few books include detailed discussion and explanation of sparse equation-solvers and Lanczos domain decomposition (DD) or finite element formulation for parallel computing purposes. The material in Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions has evolved over the past several years from the author's research work and his graduate courses.
Finite Element Mathematics
Is a comprehensive guide that explores the versatility and affordability of the finite element method (FEM) as a powerful tool for solving engineering problems across various industries. This book provides a practical introduction to FEM analysis, covering applications in mechanical engineering, civil engineering, electrical engineering, and physics. It presents a balanced blend of theory and applications, catering to both beginners and those seeking to enhance their FEM skills.
Finite Element Analysis for Civil Engineering with DIANA Software
Introduces readers to the finite element analysis software DIANA (DIsplacement ANAlyzer) and its applications in civil engineering. Developed by TNO Corporation in the 1970s, DIANA is frequently used in civil engineering and engineering mechanics. This book presents a simplified overview of the basic background theory to help beginners master the software quickly. It also discusses GUI operation and the command console in Python language, and includes examples involving classical modeling operations to help readers review each section.
Finite element analysis for building assessment : Advanced use and practical recommendations
Existing structures represent a heterogeneous category in the global built environment as often characterized by the presence of archaic materials, damage and disconnections, uncommon construction techniques and subsequent interventions throughout the building history. In this scenario, the common linear elastic analysis approach adopted for new buildings is incapable of an accurate estimation of structural capacity, leading to overconservative results, invasive structural strengthening, added intervention costs, excessive interference to building users and possible losses in terms of aesthetics or heritage values. For a rational and sustainable use of the resources, this book deals with advanced numerical simulations, adopting a practical approach to introduce the fundamentals of Finite Element Method, nonlinear solution procedures and constitutive material models.
Finite element analysis and design of steel and steel–concrete composite bridges
The book’s eight chapters begin with an overview of the various forms of modern steel and steel-concrete composite bridges, current design codes (American, British, and Eurocodes), nonlinear material behavior of the bridge components, and applied loads and stability of steel and steel-concrete composite bridges. This is followed by self-contained chapters concerning design examples of steel and steel-concrete composite bridge components as well as finite element modeling of the bridges and their components. The final chapter focuses on finite element analysis and the design of composite highway bridges with profiled steel sheeting.
Finite Difference Computing with PDEs : A Modern Software Approach
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analyses of physical behavior as implied by the numerical solutions, and how to apply the methods and software to solve problems in the fields of physics and biology.
Finite Difference Computing with Exponential Decay Models
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogical strategy is to use one case study – an ordinary differential equation describing exponential decay processes – to illustrate fundamental concepts in mathematics and computer science. The book is easy to read and only requires a command of one-variable calculus and some very basic knowledge about computer programming. Contrary to similar texts on numerical methods and programming, this text has a much stronger focus on implementation and teaches testing and software engineering in particular.
Fine-Tuning of RNA Functions by Modification and Editing
This book provides advance information on RNA modification, including the associated editing machinery, while offering the reader some perspective on the significance of such modifications in fine-tuning the structure and functions of mature RNA molecules and hence the ability to influence the efficiency and accuracy of genetic expression.
Fine needle aspiration cytology : Diagnostic principles and dilemmas
Histopathologists all over the world have to report cytopathology during the course of their work and it is then that they find themselves facing diagnostic dilemmas. This practical, well-illustrated book, explicitly dedicated to this readership will serve their needs and meets their requirements in daily practice.
Finding the limits of the limes : Modelling demography, economy and transport on the edge of the Roman Empire
This book demonstrates the application of simulation modelling and network analysis techniques. The book shows the added value of state-of-the-art computer modelling techniques and bridges computational and conventional approaches. Topics that will be of particular interest to archaeologists are the question of (forced) surplus production, the demographic and economic effects of the Roman occupation on the local population, and the structuring of transport networks and settlement patterns. For modellers, issues of sensitivity analysis and validation of modelling results are specifically addressed. This book will appeal to students and researchers working in the computational humanities and social sciences, in particular, archaeology and ancient history.
Financing clean energy access in Sub-Saharan Africa : Risk mitigation strategies and innovative financing structures
This book analyses barriers and challenges associated with the financing of clean energy access in sub-Saharan Africa. By considering various economic, financial, political, environmental and social factors, it explores the consequences of energy poverty across the region and maps the real and perceived investment risks for potential capital providers, both domestic and international. Furthermore, it analyses risk mitigation strategies and innovative financing structures available to the public and private sectors, which are aimed at leveraging capital in the clean energy sector at scale and fostering the creation of an enabling business and investment environment.
Financial technologies and DeFi : A revisit to the digital finance revolution
Fleshes out the core developments and trending fintech 2.0 solutions that pause challenges and bring opportunities for businesses and economies. It comprises nine main chapters with collective insights and interdisciplinary perspectives covering the business, tech, and regulatory layers of financial technologies and decentralized finance. Besides, the book illustrates how to leverage these state-of-the-art technologies for the evolving digital and decentralized finance world.
Financial statements : Analysis, reporting and valuation
Through a mixture of concepts and examples, the second edition of this book demystifies the variety of elements of financial accounting and uncovers the need-to-know information for certification in this field. This book covers the two aspects of financial statement analysis, namely quantitative and non-quantitative analysis. Unique to the second edition, the book will also cover Non-GAA- metrics and valuation accounting.
