Browse Results

Select your format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. To learn more about using Bookshare with your device, visit the Help Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

• Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
• DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
• BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
• MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
• DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
• EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
• Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

Finite Elements Methods via Tensors: Course held at the Department of Mechanics of Solids, June 1972 (CISM International Centre for Mechanical Sciences #144)

Finite Elements Using Maple: A Symbolic Programming Approach

This text provides the reader with a unique insight into the finite element method, along with symbolic programing that fundamentally changes the way applications can be developed. It is an essential tool for undergraduate or early postgraduate courses as well as an excellent reference book for engineers and scientists who want to quickly develop finite-element programs. The use of symbolic computation in Maple system delivers new benefits in the analysis and understanding of the finite element method.

Finite Fields: Normal Bases and Completely Free Elements (The Springer International Series in Engineering and Computer Science #390)

Finite Fields are fundamental structures of Discrete Mathematics. They serve as basic data structures in pure disciplines like Finite Geometries and Combinatorics, and also have aroused much interest in applied disciplines like Coding Theory and Cryptography. A look at the topics of the proceed­ ings volume of the Third International Conference on Finite Fields and Their Applications (Glasgow, 1995) (see [18]), or at the list of references in I. E. Shparlinski's book [47] (a recent extensive survey on the Theory of Finite Fields with particular emphasis on computational aspects), shows that the area of Finite Fields goes through a tremendous development. The central topic of the present text is the famous Normal Basis Theo­ rem, a classical result from field theory, stating that in every finite dimen­ sional Galois extension E over F there exists an element w whose conjugates under the Galois group of E over F form an F-basis of E (i. e. , a normal basis of E over F; w is called free in E over F). For finite fields, the Nor­ mal Basis Theorem has first been proved by K. Hensel [19] in 1888. Since normal bases in finite fields in the last two decades have been proved to be very useful for doing arithmetic computations, at present, the algorithmic and explicit construction of (particular) such bases has become one of the major research topics in Finite Field Theory.

Finite Fields for Computer Scientists and Engineers (The Springer International Series in Engineering and Computer Science #23)

This book developed from a course on finite fields I gave at the University of Illinois at Urbana-Champaign in the Spring semester of 1979. The course was taught at the request of an exceptional group of graduate students (includ­ ing Anselm Blumer, Fred Garber, Evaggelos Geraniotis, Jim Lehnert, Wayne Stark, and Mark Wallace) who had just taken a course on coding theory from me. The theory of finite fields is the mathematical foundation of algebraic coding theory, but in coding theory courses there is never much time to give more than a "Volkswagen" treatment of them. But my 1979 students wanted a "Cadillac" treatment, and this book differs very little from the course I gave in response. Since 1979 I have used a subset of my course notes (correspond­ ing roughly to Chapters 1-6) as the text for my "Volkswagen" treatment of finite fields whenever I teach coding theory. There is, ironically, no coding theory anywhere in the book! If this book had a longer title it would be "Finite fields, mostly of char­ acteristic 2, for engineering and computer science applications. " It certainly does not pretend to cover the general theory of finite fields in the profound depth that the recent book of Lidl and Neidereitter (see the Bibliography) does.

Finite Frames: Theory and Applications (Applied and Numerical Harmonic Analysis)

Hilbert space frames have long served as a valuable tool for signal and image processing due to their resilience to additive noise, quantization, and erasures, as well as their ability to capture valuable signal characteristics. More recently, finite frame theory has grown into an important research topic in its own right, with a myriad of applications to pure and applied mathematics, engineering, computer science, and other areas. The number of research publications, conferences, and workshops on this topic has increased dramatically over the past few years, but no survey paper or monograph has yet appeared on the subject.Edited by two of the leading experts in the field, Finite Frames aims to fill this void in the literature by providing a comprehensive, systematic study of finite frame theory and applications. With carefully selected contributions written by highly experienced researchers, it covers topics including:* Finite Frame Constructions;* Optimal Erasure Resilient Frames;* Quantization of Finite Frames;* Finite Frames and Compressed Sensing;* Group and Gabor Frames;* Fusion Frames.Despite the variety of its chapters' source and content, the book's notation and terminology are unified throughout and provide a definitive picture of the current state of frame theory.With a broad range of applications and a clear, full presentation, this book is a highly valuable resource for graduate students and researchers across disciplines such as applied harmonic analysis, electrical engineering, quantum computing, medicine, and more. It is designed to be used as a supplemental textbook, self-study guide, or reference book.

Finite Frequency Analysis and Synthesis for Singularly Perturbed Systems (Studies in Systems, Decision and Control #78)

This book is a self-contained collection of recent research findings providing a comprehensive and systematic unified framework for both analysis and synthesis for singularly perturbed systems. It paves the way for the gap between frequency-domain-transfer-function-based results and time-domain-state-space-based results to be bridged.It is divided into three parts focusing on: fundamental background of singular perturbation; general singular perturbation methodologies and time-scale techniques and the theoretical foundation of finite-frequency control; the analysis and synthesis of singularly perturbed systems; and real-world engineering applications implementing the results developed in systems like wind turbines and autonomous-aerial-vehicle hovering. It also presents solutions to analysis and design problems in terms of linear matrix inequalities. Lastly, it provides valuable reference material for researchers who wish to explore the design of controllers for such systems.

Finite Inelastic Deformations — Theory and Applications: IUTAM Symposium Hannover, Germany 1991 (IUTAM Symposia)

The IUTAM-Symposium on "Finite Inelastic Deformations - Theory and Applications" took place from August 19 to 23, 1991, at the University of Hannover, Germany, with 75 participants from 14 countries. Scope of the symposium was a fundamental treatment of new developments in plasticity and visco-plasticity at finite strains. This covered the phenomenological material theory based on continuum mechanics as well as the treatment of microstructural phenomena detected by precise experimental datas. In a restricted number, lectures on new experi­ mental facilities for measuring finite strains were also implemented into the symposium. Another important topic of the symposium was the treatment of reliable and effective computational methods for solving engineering problems with finite inelastic strains. Wi­ thin this context it was an essential feature that theory, numerical and computational analysis were be seen in an integrated way. In total 9 sessions with 37 lectures, many of them given by well known keynote-lecturers, and a poster session with 10 contributions met fully our expectations of a high ranking up-to-date forum for the interaction of four topics, namely the physical and mathematical modelling of finite strain inelastic deformations including localizations and damage as well as the achievements in the numerical analysis and implementation and the solution of complicated engineering systems. Special and important features were reliable material datas from macroscopic and microscopic tests as well as test results of complex engineering problems, like deep drawing and extrusion.

Finite Modelle gewöhnlicher Randwertaufgaben (Teubner Studienbücher Mathematik)

Finite Rotation Shells: Basic Equations and Finite Elements for Reissner Kinematics (Lecture Notes on Numerical Methods in Engineering and Sciences)

The objective of this book is to provide a comprehensive introduction to ?nite rotation shells and to non-linear shell ?nite elements. It is divided into 5 parts: I. Preliminaries (20 pages), II. Shell equations (104 pages), III. Finite rotations for shells (103 pages), IV. Four-node shell elements (189 pages), and V. Numerical examples (41 pages). Additional numerical examples are presented in Parts III and IV. The bibliography includes 270 entries. The book is intended for both teaching and self-study, and emphasizes fundamental aspects and techniques of the subject. Some familiarity with non-linear mechanics and the ?nite element method is assumed. Shell elements are a subject of active research which results in many publications every year and several conferences and sessions are held r- ularly, among them, two large international conferences: \Computation of Shell and Spatial Structures" and \Shell Structures. Theory and - plications" (SSTA). The literature is voluminous, not easy to follow and evaluate, and the subject is di–cult to comprehend. I hope that this will be facilitated by the book. I would like to express my gratitude to several persons who helped me in my professional life, in this way contributing to the book. I thank Prof. R.L. Taylor from the University of California at Berkeley, Prof. B. Schre er from the University of Padua, and Prof. J.T. Santos from the Instituto Superior Tecnico at Lisbon, for hosting and supporting me when I was a post-doctoral researcher.

Finite Rotations in Structural Mechanics: Proceedings of the Euromech Colloquium 197, Jabłonna, Poland, 1985 (Lecture Notes in Engineering #19)

The deformation near a material particle of the classical continuum is produced by successive superposition of a rigid-body translation, a pure stretch along principal directions of strain and a rigid-body ro­ tation of those directions. The rotational part of deformation is par­ ticularly important in the non-linear analysis of thin-walled solid structures such as ~eams, thin-walled bars, plates and shells, since in this case finite rotations may appear even if the strains are infinite­ simal. It seems that the research concerning the application of finite ro­ tations is carried out independently in different fields of structural mechanics. Theoretical and numerical methods developed and the results obtained for a particular type of the structure or for a particular ma­ terial behaviour not always are used to analyse similar problems for other types of structures or for another material behaviour. Since the research in this field had been growing rapidly, it was decided to organize an informal international meeting, under the auspi­ ces of the European Mechanics Co~mittee, entitled: Euromech Colloquium 197 "Finite Rotations in Structural Mechanics". The meeting was held on 17 - 20 September 1985 in Jablonna, a small suburbian area of Warsaw.

Finite-Spectrum Assignment for Time-Delay Systems (Lecture Notes in Control and Information Sciences #239)

The presence of considerable time delays in many industrial processes is well recognized and achievable performances of conventional unity feedback control systems are degraded if a process has a relatively large time delay compared to its time constants. In this case, dead time compensation is necessary in order to enhance the performances. The most popular scheme for such compensation is the Smith Predictor, but it is unsuitable for unstable or lightly damped processes because the compensated closed-loop system always contains the process poles themselves. An alternative scheme for delay elimination from the closed-loop is the finite spectrum assignment (FSA) strategy and it can arbitrarily assign the closed-loop spectrum. One may note that the Smith­ Predictor Control can be found in delay systems control books and many process control books, but the FSA control is rarely included in these books. It is therefore timely and desirable to fill this gap by writing a book which gives a comprehensive treatment of the FSA approach. This is useful and worthwhile since the FSA provides not only an alternative way but also certain advantages over the Smith-Predictor. The book presents the state-of-the-art of the finite spectrum assignment for time-delay systems in frequency domain. It mainly contains those works carried out recently by the authors in this field. Most of them have been published and others are awaiting publication. They are assembled together and reorganized in such a way that the presentation is logical, smooth and systematic.

Finite State Machine Datapath Design, Optimization, and Implementation (Synthesis Lectures on Digital Circuits & Systems)

Finite State Machine Datapath Design, Optimization, and Implementation explores the design space of combined FSM/Datapath implementations. The lecture starts by examining performance issues in digital systems such as clock skew and its effect on setup and hold time constraints, and the use of pipelining for increasing system clock frequency. This is followed by definitions for latency and throughput, with associated resource tradeoffs explored in detail through the use of dataflow graphs and scheduling tables applied to examples taken from digital signal processing applications. Also, design issues relating to functionality, interfacing, and performance for different types of memories commonly found in ASICs and FPGAs such as FIFOs, single-ports, and dual-ports are examined. Selected design examples are presented in implementation-neutral Verilog code and block diagrams, with associated design files available as downloads for both Altera Quartus and Xilinx Virtex FPGA platforms. A working knowledge of Verilog, logic synthesis, and basic digital design techniques is required. This lecture is suitable as a companion to the synthesis lecture titled Introduction to Logic Synthesis using Verilog HDL. Table of Contents: Calculating Maximum Clock Frequency / Improving Design Performance / Finite State Machine with Datapath (FSMD) Design / Embedded Memory Usage in Finite State Machine with Datapath (FSMD) Designs

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices (Lecture Notes in Electrical Engineering #231)

This book is a monograph devoted to logic synthesis and optimization for CPLDs. CPLDs' macrocell can also be interpreted as programmable AND-fixed OR structure, well known as PAL-based structure. The question is: what should be done when the number of implicants representing function exceeds the number of product terms available in a logic block. The answer is ... in the book.Logic synthesis and optimization methods dedicated for PAL-based structures are proposed. The methods strive to find the optimum fit for the combinational logic and finite state machines to the structure of the logic device and aim at area and speed optimization. The theoretical background and complete strategies are richly illustrated with examples and figures.

The Finite Strip Method (New Directions In Civil Engineering Ser. #17)

The increase in the popularity and the number of potential applications of the finite strip method has created a demand for a definitive text/reference on the subject. Fulfilling this demand, The Finite Strip Method provides practicing engineers, researchers, and students with a comprehensive introduction and theoretical development, and a complete treatment of current practical applications of the method.Written by experts who are arguably the world's leading authorities in the field, The Finite Strip Method covers both the classical strip and the newly developed spline strip and computed shape function strip. Applications in structural engineering, with particular focus on practical structures such as slab-beam bridges, box girder bridges, and tall buildings are discussed extensively. Applications in geotechnology are also covered, as are recently formulated applications in nonlinear analysis.The Finite Strip Method is a unique book, supplying much-needed information by well-known and highly regarded authors.

The Finite Strip Method

The increase in the popularity and the number of potential applications of the finite strip method has created a demand for a definitive text/reference on the subject. Fulfilling this demand, The Finite Strip Method provides practicing engineers, researchers, and students with a comprehensive introduction and theoretical development, and a complete treatment of current practical applications of the method.Written by experts who are arguably the world's leading authorities in the field, The Finite Strip Method covers both the classical strip and the newly developed spline strip and computed shape function strip. Applications in structural engineering, with particular focus on practical structures such as slab-beam bridges, box girder bridges, and tall buildings are discussed extensively. Applications in geotechnology are also covered, as are recently formulated applications in nonlinear analysis.The Finite Strip Method is a unique book, supplying much-needed information by well-known and highly regarded authors.

Finite Systemtheorie (Teubner Studienbücher Technik)

Finite Time and Cooperative Control of Flight Vehicles (Advances in Industrial Control)

This 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.

Finite-Time Stability: An Input-output Approach (Wiley Series in Dynamics and Control of Electromechanical Systems #453)

Systematically presents the input-output finite-time stability (IO-FTS) analysis of dynamical systems, covering issues of analysis, design and robustness The interest in finite-time control has continuously grown in the last fifteen years. This book systematically presents the input-output finite-time stability (IO-FTS) analysis of dynamical systems, with specific reference to linear time-varying systems and hybrid systems. It discusses analysis, design and robustness issues, and includes applications to real world engineering problems. While classical FTS has an important theoretical significance, IO-FTS is a more practical concept, which is more suitable for real engineering applications, the goal of the research on this topic in the coming years. Key features: Includes applications to real world engineering problems. Input-output finite-time stability (IO-FTS) is a practical concept, useful to study the behavior of a dynamical system within a finite interval of time. Computationally tractable conditions are provided that render the technique applicable to time-invariant as well as time varying and impulsive (i.e. switching) systems. The LMIs formulation allows mixing the IO-FTS approach with existing control techniques (e. g. H∞ control, optimal control, pole placement, etc.). This book is essential reading for university researchers as well as post-graduate engineers practicing in the field of robust process control in research centers and industries. Topics dealt with in the book could also be taught at the level of advanced control courses for graduate students in the department of electrical and computer engineering, mechanical engineering, aeronautics and astronautics, and applied mathematics.

Finite-Time Stability and Control: An Input-output Approach (Lecture Notes in Control and Information Sciences #453)

Finite-time stability (FTS) is a more practical concept than classical Lyapunov stability, useful for checking whether the state trajectories of a system remain within pre-specified bounds over a finite time interval. In a linear systems framework, FTS problems can be cast as convex optimization problems and solved by the use of effective off-the-shelf computational tools such as LMI solvers. Finite-time Stability and Control exploits this benefit to present the practical applications of FTS and finite-time control-theoretical results to various engineering fields. The text is divided into two parts:· linear systems; and· hybrid systems.The building of practical motivating examples helps the reader to understand the methods presented.Finite-time Stability and Control is addressed to academic researchers and to engineers working in the field of robust process control. Instructors teaching graduate courses in advanced control will also find parts of this book useful for their courses.

Finite-Time Stability: An Input-Output Approach (Wiley Series in Dynamics and Control of Electromechanical Systems)

Systematically presents the input-output finite-time stability (IO-FTS) analysis of dynamical systems, covering issues of analysis, design and robustness The interest in finite-time control has continuously grown in the last fifteen years. This book systematically presents the input-output finite-time stability (IO-FTS) analysis of dynamical systems, with specific reference to linear time-varying systems and hybrid systems. It discusses analysis, design and robustness issues, and includes applications to real world engineering problems. While classical FTS has an important theoretical significance, IO-FTS is a more practical concept, which is more suitable for real engineering applications, the goal of the research on this topic in the coming years. Key features: Includes applications to real world engineering problems. Input-output finite-time stability (IO-FTS) is a practical concept, useful to study the behavior of a dynamical system within a finite interval of time. Computationally tractable conditions are provided that render the technique applicable to time-invariant as well as time varying and impulsive (i.e. switching) systems. The LMIs formulation allows mixing the IO-FTS approach with existing control techniques (e. g. H∞ control, optimal control, pole placement, etc.). This book is essential reading for university researchers as well as post-graduate engineers practicing in the field of robust process control in research centers and industries. Topics dealt with in the book could also be taught at the level of advanced control courses for graduate students in the department of electrical and computer engineering, mechanical engineering, aeronautics and astronautics, and applied mathematics.

The Finite Volume Method in Computational Fluid Dynamics: An Advanced Introduction with OpenFOAM® and Matlab (Fluid Mechanics and Its Applications #113)

This 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 the Incompressible Navier–Stokes Equations (SpringerBriefs in Applied Sciences and Technology)

The 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-Volumen- und Mehrgitter-Verfahren für elliptische Randwertprobleme (Advances in Numerical Mathematics)

Das vorliegende Buch setzt sich nun mit einer ganzen Reihe interessanter Fragestellungen rund um die Theorie und Anwendung von Finite-Volumen- bzw. Mehrgitterverfahren auseinander. Dazu zählen insbesondere die Themen: - Adaptive Verfeinerung von Tetraedergittern - Verfeinerung höherdimensionaler Simplizes - Finite-Volumen-Konvergenztheorie - Upwind-Stabilisierung - Robuste Mehrgitterverfahren für Konvektions-Diffusions-Probleme.

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)

This 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)

This 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.