تحسين النتائح
ترتيب حسب
من
الى
الصفحة 3
الصفحة 3
Artinian Modules over Group Rings
This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with traditional topics such as direct decompositions of artinian modules, criteria of complementability for some important modules, and criteria of semisimplicity of artinian modules, it also focuses on recent advanced results on these matters.
Aritmetica, crittografia e codici = Arithmetic, cryptography and codes
The basic techniques of algebra and number theory useful in recent applications to cryptography and codes are developed, with the aim of being elementary and self-sufficient. The emphasis is on computational problems. This part of the volume can be useful as a textbook for a first course in algebra for mathematicians, computer scientists or engineers. Important applications of algebra and geometry to cryptography and codes are then illustrated. Both, cryptography and codes have significant applications in daily life which are illustrated here. Cryptography is developed in detail in much of its classic and current aspects, and both private and public key cryptography are developed. Cryptography with the use of elliptic curves on finite fields is also illustrated. A chapter introducing the subject is dedicated to linear codes.
Arithmetical investigations : Representation theory, orthogonal polynomials, and quantum interpolations
In this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic numbers. The p-adic numbers contain the p-adic integers Zp which are the inverse limit of the finite rings Z/pn. This gives rise to a tree, and probability measures w on Zp correspond to Markov chains on this tree. From the tree structure one obtains special basis for the Hilbert space L2(Zp,w). The real analogue of the p-adic integers is the interval [-1,1], and a probability measure w on it gives rise to a special basis for L2([-1,1],w) - the orthogonal polynomials, and to a Markov chain on "finite approximations" of [-1,1]. For special (gamma and beta) measures there is a "quantum" or "q-analogue" Markov chain, and a special basis, that within certain limits yield the real and the p-adic theories. This idea can be generalized variously. In representation theory, it is the quantum general linear group GLn(q)that interpolates between the p-adic group GLn(Zp), and between its real (and complex) analogue -the orthogonal On (and unitary Un )groups. There is a similar quantum interpolation between the real and p-adic Fourier transform and between the real and p-adic (local unramified part of) Tate thesis, and Weil explicit sums.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applicazioni ed esercizi di modellistica numerica per problemi differenziali = Applications and exercises in numerical modeling for differential problems
Contains a collection of exercises related to typical topics in a course on analytical and numerical methods offered in a degree program in Engineering or Mathematics. Starting with exercises in functional analysis and approximation theory, the text develops problems related to the numerical resolution of elliptic, parabolic, and hyperbolic partial differential equations, scalar or vector, in one or more spatial dimensions. Pure diffusion and pure convection problems are therefore addressed, alongside diffusion-transport problems and problems in compressible and incompressible fluid dynamics. Particular emphasis is given to the finite element method for the spatial discretization of the problems considered, although exercises on the finite difference and finite volume methods are also included.
Application of the Finite Element Method in Implant Dentistry
Part of the new series, Advanced Topics in Science and Technology in China, this book is designed to give the necessary theoretical foundation to new users of the finite element method in implant dentistry, and show how both the implant dentist and designer can benefit from finite element analysis.
Anaphora and Type Logical Grammar
This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora.After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.
Analytic Methods for Design Practice
In the competitive world of modern engineering, rigorous and definite design methodologies are needed. However, many parts of engineering design are performed in either an ad-hoc manner or based on the intuition of the engineer.Analytic Methods for Design Practice is the first book to look at both stages of the design process – conceptual design and detailed design – and detail design methodologies for every step of the entire design process. The book introduces the following analytic design methodologies and explores their usefulness with many mathematical and practical examples: Axiomatic design; Optimization; Design of experiments; Robust design; Structural optimization; Dynamic response optimization; and Multidisciplinary optimization. A chapter of the book is devoted to case studies showing how practical design problems can be solved with analytic design methods based on Professor Park’s experiences of teaching design engineering over the past ten years.
Analysis by Its History
This book presents first-year calculus roughly in the order in which it first was discovered. The first two chapters show how the ancient calculations of practical problems led to infinite series, differential and integral calculus and to differential equations. The establishment of mathematical rigour for these subjects in the 19th century for one and several variables is treated in chapters III and IV. The text is complemented by a large number of examples, calculations and mathematical pictures and will provide stimulating and enjoyable reading for students, teachers, as well as researchers.
An Introduction to the Theory of Piezoelectricity
This volume is intended to provide researchers and graduate students with the basic aspects of the continuum modeling of electroelastic interactions in solids. A concise treatment of linear, nonlinear, static and dynamic theories and problems is presented. The emphasis on formulation and understanding of problems useful in device applications rather than solution techniques of mathematical problems. The mathematics used in this book is minimal.
An Introduction to Sequential Dynamical Systems
This text is the first to provide a comprehensive introduction to SDS. Driven by numerous examples and thought-provoking problems, the presentation offers good foundational material on finite discrete dynamical systems which leads systematically to an introduction of SDS. Techniques from combinatorics, algebra and graph theory are used to study a broad range of topics, including reversibility, the structure of fixed points and periodic orbits, equivalence, morphisms and reduction. Unlike other books that concentrate on determining the structure of various networks, this book investigates the dynamics over these networks by focusing on how the underlying graph structure influences the properties of the associated dynamical system.
An Introduction to Scientific Computing : Twelve Computational Projects Solved with MATLAB
This book provides twelve computational projects aimed at numerically solving problems from a broad range of applications including Fluid Mechanics, Chemistry, Elasticity, Thermal Science, Computer Aided Design, Signal and Image Processing. For each project the reader is guided through the typical steps of scientific computing from physical and mathematical description of the problem, to numerical formulation and programming and finally to critical discussion of numerical results. Considerable emphasis is placed on practical issues of computational methods. The last section of each project contains the solutions to all proposed exercises and guides the reader in using the MATLAB scripts.
An Introduction to Infinite-Dimensional Analysis
In this revised and extended version of his course notes from a 1-year course at Scuola Normale Superiore, Pisa, the author provides an introduction – for an audience knowing basic functional analysis and measure theory but not necessarily probability theory – to analysis in a separable Hilbert space of infinite dimension.Starting from the definition of Gaussian measures in Hilbert spaces, concepts such as the Cameron-Martin formula, Brownian motion and Wiener integral are introduced in a simple way. These concepts are then used to illustrate some basic stochastic dynamical systems (including dissipative nonlinearities) and Markov semi-groups, paying special attention to their long-time behavior: ergodicity, invariant measure. Here fundamental results like the theorems of Prokhorov, Von Neumann, Krylov-Bogoliubov and Khas'minski are proved. The last chapter is devoted to gradient systems and their asymptotic behavior.
Algebras, Rings and Modules: Vol.1
Covers the major topics in ring and module theory and includes both fundamental classical results and more developments. This book is devoted to a study of special classes of rings and algebras, such as serial rings, hereditary rings, semidistributive rings and tiled orders.
Algebras, Rings and Modules ; Vol.2
This book provides both the classical aspects of the theory of groups and their representations as well as a general introduction to the modern theory of representations including the representations of quivers and finite partially ordered sets and their applications to finite dimensional algebras.
Algebra : Fields with structure, algebras and advanced topics
The present textbook is a lively, problem-oriented and carefully written introduction to classical modern algebra. The author leads the reader through interesting subject matter, while assuming only the background provided by a first course in linear algebra. The first volume focuses on field extensions. Galois theory and its applications are treated more thoroughly than in most texts. It also covers basic applications to number theory, ring extensions and algebraic geometry. The main focus of the second volume is on additional structure of fields and related topics. Much material not usually covered in textbooks appears here, including real fields and quadratic forms, the Tsen rank of a field, the calculus of Witt vectors, the Schur group of a field, and local class field theory.
Advances in Variable Structure and Sliding Mode Control
Sliding Mode Control is recognized as an efficient tool to design controllers which are robust with respect to uncertainty. The resulting controllers have low sensitivity to plant parameters and perturbations and allow the possibility of decoupling the original plant system into two components of lower dimension. In addition many controllers ensure finite time convergence to the switching surface and can be straightforwardly implemented. However, in addition to this traditional area of exploitation, sliding mode concepts are being increasingly deployed for the design of observers for estimation and identification.
Advances in Meshfree Techniques
In recent years meshless/meshfree methods have gained a considerable attention in engineering and applied mathematics. The variety of problems that are now being addressed by these techniques continues to expand and the quality of the results obtained demonstrates the effectiveness of many of the methods currently available. The book presents a significant sample of the state of the art in the field with methods that have reached a certain level of maturity while also addressing many open issues.The book collects extended original contributions presented at the first ECCOMAS Conference on Meshless Methods held in 2005 in Lisbon. The list of contributors reveals a mix of highly distinguished authors as well as quite young but very active and promising researchers, thus giving the reader an interesting and updated view of different mesh reduction methods and its range of applications. The material presented is appropriate for researchers, engineers, physicists, applied mathematicians and graduate students interested in this active research area.
Advances in Computational Multibody Systems
Contains versions of selected communications presented at the ECCOMAS Thematic Conference in Multibody Dynamics 2003 that took place in Lisbon, Portugal, which have been enhanced in their self-containment and tutorial aspects by the authors. This comprehensive text constitutes a useful reference for researchers and design engineers.
Advanced Topics in Control Systems Theory ; Vol. 328 : Lecture Notes from FAP 2005
"Advanced Topics in Control Systems Theory" contains selected contributions written by lecturers at the third (annual) Formation d’Automatique de Paris (FAP) (Graduate Control School in Paris). Following on from the lecture notes from the second FAP (Volume 311 in the same series) it is addressed to graduate students and researchers in control theory with topics touching on a variety of areas of interest to the control community such as nonlinear optimal control, observer design, stability analysis and structural properties of linear systems. The reader is provided with a well-integrated synthesis of the latest thinking in these subjects without the need for an exhaustive literature review. The internationally known contributors to this volume represent many of the most reputable control centers in Europe.
