الصفحة 62
الصفحة 62
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 Element Methods for Engineering Sciences : Theoretical Approach and Problem Solving Techniques
This self-tutorial offers a concise yet thorough grounding in the mathematics necessary for successfully applying FEMs to practical problems in science and engineering. The enlarged English-language edition, based on the original French, also contains a chapter on the approximation steps derived from the description of nature with differential equations and then applied to the specific model to be used.
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 design of concrete structures : Practical problems and their solutions
In Finite Element Design of Concrete Structures: practical problems and their solutions the author addresses this 'blind belief' in computer results by offering a useful critique that 'important details are overlooked due to the flood of information' from the output of computer calculations. Indeed, errors in the numerical model may lead in extreme cases to structural failures as the collapse of the so-called Sleipner platform has demonstrated.
Finite element analysis for design engineers
Finite Element Analysis (FEA) has been widely implemented by the automotive industry as a productivity tool for design engineers to reduce both development time and cost. This essential work serves as a guide for FEA as a design tool and addresses the specific needs of design engineers to improve productivity.
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 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.
FinFETs and Other Multi-Gate Transistors
FinFETs and Other Multi-Gate Transistors provides a comprehensive description of the physics, technology and circuit applications of multigate field-effect transistors (FETs). It explains the physics and properties of these devices, how they are fabricated and how circuit designers can use them to improve the performances of integrated circuits.
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.
Financial Technology : Case Studies in Fintech Innovation
Combines theoretical and commercial perspectives informed by the author's professional experience and academic research Thoroughly explains key technologies and emerging business models in a clear and accessible manner for those with no technological background Includes a mix of international case studies from large financial services organizations and smaller start-ups, including Lloyds Bank, TransferWise, Generali, Starling and Stocktwits Covers the topics required for postgraduate and undergraduate Financial Technology courses and includes learning objectives and discussion questions based on case studies
Financial statement analysis : Basis for management advice
Key topics covered include: valuation techniques, effect ratios, DuPont system for analyzing profitability, causal analysis. how to conduct a financial statement analysis, users of financial statements, forecasting sustainable growth, and bankruptcy prediction models
Financial risk management with bayesian estimation of GARCH models : Theory and applications
This book presents methodologies for the Bayesian estimation of GARCH models and their application to financial risk management. The study of these models from a Bayesian viewpoint is relatively recent and can be considered very promising due to the advantages of the Bayesian approach, in particular the possibility of obtaining small-sample results and integrating these results in a formal decision model. The first two chapters introduce the work and give an overview of the Bayesian paradigm for inference. The next three chapters describe the estimation of the GARCH model with Normal innovations and the linear regression models with conditionally Normal and Student-t-GJR errors. The sixth chapter shows how agents facing different risk perspectives can select their optimal Value at Risk Bayesian point estimate and documents that the differences between individuals can be substantial in terms of regulatory capital.
Financial Modeling Under Non-Gaussian Distributions
Practitioners and researchers who have handled financial market data know that asset returns do not behave according to the bell-shaped curve, associated with the Gaussian or normal distribution. Indeed, the use of Gaussian models when the asset return distributions are not normal could lead to a wrong choice of portfolio, the underestimation of extreme losses or mispriced derivative products. Consequently, non-Gaussian models and models based on processes with jumps are gaining popularity among financial market practitioners.
Financial modeling and valuation : A practical guide to investment banking and private equity
Built around an in-depth case study of global retail leader Amazon, this fully updated Second Edition shows you how to analyze the financial standing of a company using the methods of Wall Street professionals. Step-by-step, you will learn to build the core three statements—income statement, cash flow statement, and balance sheet—as well as the three major supporting schedules required for complete company valuation and analysis.
Financial mathematics, derivatives and structured products
Introduces readers to the financial markets, derivatives, structured products and how the products are modelled and implemented by practitioners. In addition, it equips readers with the necessary knowledge of financial markets needed in order to work as product structurers, traders, sales or risk managers. As the book seeks to unify the derivatives modelling and the financial engineering practice in the market, it will be of interest to financial practitioners and academic researchers alike. Further, it takes a different route from the existing financial mathematics books, and will appeal to students and practitioners with or without a scientific background. The book can also be used as a textbook for the following courses: Financial Mathematics (undergraduate level) Stochastic Modelling in Finance (postgraduate level) Financial Markets and Derivatives (undergraduate level) Structured Products and Solutions (undergraduate/postgraduate level)
