الصفحة 51
الصفحة 51
K-Theory : An Introduction
From the Preface: K-theory was introduced by A. Grothendieck in his formulation of the Riemann- Roch theorem. For each projective algebraic variety, Grothendieck constructed a group from the category of coherent algebraic sheaves, and showed that it had many nice properties. Atiyah and Hirzebruch considered a topological analog defined for any compact space X, a group K{X) constructed from the category of vector bundles on X. It is this ''topological K-theory" that this book will study. Topological K-theory has become an important tool in topology. Using K- theory, Adams and Atiyah were able to give a simple proof that the only spheres which can be provided with H-space structures are S1, S3 and S7. Moreover, it is possible to derive a substantial part of stable homotopy theory from K-theory.
Kolmogorovs Heritage in Mathematics
A.N. Kolmogorov (b. Tambov 1903, d. Moscow 1987) was one of the most brilliant mathematicians that the world has ever known. Incredibly deep and creative, he was able to approach each subject with a completely new point of view: in a few magnificent pages, which are models of shrewdness and imagination, and which astounded his contemporaries, he changed drastically the landscape of the subject.Most mathematicians prove what they can, Kolmogorov was of those who prove what they want. For this book several world experts were asked to present one part of the mathematical heritage left to us by Kolmogorov.
Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations
Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational Intelligence and Knowledge Engineering with strong mathematical foundations. It embraces methods and approaches coming from diverse computational paradigms, such as evolutionary computation and nature-inspired algorithms, logic programming and constraint programming, rule-based systems, fuzzy sets and many others. The use of various knowledge representation formalisms and knowledge processing and computing paradigms is oriented towards the efficient resolution of computationally complex and difficult problems.
Knowledge Processing with Interval and Soft Computing
In particular, these chapters cover computing techniques for interval linear systems of equations, interval matrix singular-value decomposition, interval function approximation, and decision making with statistical and graph-based data processing. To enable these applications, the book presents a standards-based object-oriented interval computing environment in C++.
Knot Theory and Its Applications
The book contains most of the fundamental classical facts about the theory, such as knot diagrams, braid representations, Seifert surfaces, tangles, and Alexander polynomials; also included are key newer developments and special topics such as chord diagrams and covering spaces. The work introduces the fascinating study of knots and provides insight into applications to such studies as DNA research and graph theory. In addition, each chapter includes a supplement that consists of interesting historical as well as mathematical comments.
Killer Cell Dynamics : Mathematical and Computational Approaches to Immunology
Reviews how mathematics can be used in combination with biological data in order to improve understanding of how the immune system works. This is illustrated largely in the context of viral infections. Mathematical models allow scientists to capture complex biological interactions in a clear mathematical language and to follow them to their precise logical conclusions. This can give rise to counter-intuitive insights which would not be attained by experiments alone, and can be used for the design of further experiments in order to address the mathematical results.
Kernel Methods for Machine Learning with Math and Python: 100 Exercises for Building Logic
Addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows: Includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book. / The mathematical premises of kernels are proven and the correct conclusions are provided, helping readers to understand the nature of kernels. / Source programs and running examples are presented to help readers acquire a deeper understanding of the mathematics used. / Once readers have a basic understanding of the functional analysis topics covered in Chapter 2, the applications are discussed in the subsequent chapters. Here, no prior knowledge of mathematics is assumed. / Considers both the kernel for reproducing kernel Hilbert space (RKHS) and the kernel for the Gaussian process; a clear distinction is made between the two.
John Dee : Interdisciplinary Studies in English Renaissance Thought
This volume records the diversity of scholarly approaches to John Dee which have emerged since the synthetic accounts of I. R. F. Calder, Frances Yates and Peter French. If these approaches have not succeeded in resolving the problematic multiplicity of Dee’s activities, they will at least deepen our understanding of specific and local areas of his intellectual life, and render them more historiographically legible.
Jacopo da Firenze’s Tractatus Algorismi and Early Italian Abbacus Culture
In the city republics of Renaissance Italy, it was a common practice among the merchant class to send sons for a two-year course of study at an "abbacus school", where they learned practical, mostly commercial mathematics, known as abbaco. From this school institution, several hundred manuscripts survive, all in Italian, often containing not only what the masters needed in their teaching but also algebra or other advanced mathematical material. A signal feature of the book by Jens Høyrup is the first translation of one of these abbacus manuscripts into English.
IUTAM symposium on relations of shell plate beam and 3D models ; Proceedings of the IUTAM Symposium on the relations of shell, plate, beam, and 3D models, Dedicated to the Centenary of Ilia Vekua’s Birth, held in Tbilisi, Georgia, April 23-27, 2007
Contains papers on the main topics reflecting the scientific programme of the symposium: hierarchical, refined mathematical and technical models of shells, plates, and beams; relation of 2D and 1D models to 3D linear, non-linear and physical models; junction problems. In particular, peculiarities of cusped shells, plates, and beams are emphasized and special attention is paid to junction, multibody and fluid-elastic shell (plate, beam) interaction problems and their applications.
IUTAM symposium on one hundred years of boundary layer research ; Proceedings of the IUTAM Symposium held at DLR-Göttingen, Germany, August 12-14, 2004
This book collects peer-reviewed lectures of the IUTAM Symposium on the 100th anniversary of Boundary Layer research. Covers classification, definition and mathematics of boundary layers; instability of boundary layers and transition; boundary layers control; turbulent boundary layers; numerical treatment and boundary layer modelling.
IUTAM Symposium on Computational Physics and New Perspectives in Turbulence ; Proceedings of the IUTAM Symposium on Computational Physics and New Perspectives in Turbulence, Nagoya University, Nagoya, Japan, September, 11-14, 2006
Leading experts in turbulence were brought together at this Symposium to exchange ideas and discuss, in the light of the recent progress in computational methods, new perspectives in our understanding of turbulence. The Symposium also fostered a vigorous interaction between those who pursue computations, and those concerned with developments in experiment and theory.
Iterative Approximation of Fixed Points
The aim of this monograph is to give a unified introductory treatment of the most important iterative methods for constructing fixed points of nonlinear contractive type mappings. It summarizes the most significant contributions in the area by presenting, for each iterative method considered (Picard iteration, Krasnoselskij iteration, Mann iteration, Ishikawa iteration etc.), some of the most relevant, interesting, representative and actual convergence theorems. Applications to the solution of nonlinear operator equations as well as the appropriate error analysis of the main iterative methods, are also presented.
Italian Mathematics Between the Two World Wars
This book describes Italian mathematics in the period between the two World Wars. We analyze its development by focusing on both the interior and the external influences. Italian mathematics in that period was shaped by a colorful array of strong personalities who concentrated their efforts on a select number of fields and won international recognition and respect in an incredibly short time. Italy was also dominated by a fascist regime. This political situation and the social and academic structure of Italian society are included in the analysis as influences external to mathematics itself. The authors have provided a fascinating study of a most difficult time in the history of the world and of mathematics.
Israel Gohberg and Friends : On the Occasion of his 80th Birthday
It is an expression of esteem and friendship for a great mathematician, a remarkable person and an inspiring colleague. The book contains reflections by Gohberg himself on his own mathematical activities and those of others. It also includes contributions of colleagues and co-workers, both from his time in the Soviet Union and from when he lived and worked in the West. The contributions in question are not mathematical research papers but focus on the man Israel Gohberg and are intended for a wide audience.
Computational and Information Science ; 1st International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings
this book present the proceedings of The 2004 International Symposium on Computational and Information Sciences (CIS 2004) aimed at bringing researchers in the area of computational and - formation sciences together to exchange new ideas and to explore new ground. The goal of the conference was to push the application of modern computing technologies to science, engineering, and information technologies to a new level of sophistication and understanding.
Computational Acoustics of Noise Propagation in Fluids - Finite and Boundary Element Methods
Among numerical methods applied in acoustics, the Finite Element Method (FEM) is normally favored for interior problems whereas the Boundary Element Method (BEM) is quite popular for exterior ones. That is why this valuable reference provides a complete survey of methods for computational acoustics, namely FEM and BEM. It demonstrates that both methods can be effectively used in the complementary cases. The chapters by well-known authors are evenly balanced: 10 chapters on FEM and 10 on BEM. An initial conceptual chapter describes the derivation of the wave equation and supplies a unified approach to FEM and BEM for the harmonic case. A categorization of the remaining chapters and a personal outlook complete this introduction. In what follows, both FEM and BEM are discussed in the context of very different problems.
COMPSTAT 2008 ; Proceedings in Computational Statistics
Presents methodological developments in Applied/Computational Statistics. This work covers a range of topics including Advances on Statistical Computing Environments, Methods for Classification and Clustering, Computation for Graphical Models and Bayes Nets, Computational Econometrics, and, Computational Statistics and Data Mining.
COMPSTAT 2006 - Proceedings in Computational Statistics ; 17th Symposium Held in Rome, Italy, 2006
International Association for Statistical Computing The International Association for Statistical Computing (IASC) is a Section of the International Statistical Institute.The objectives of the Association are to foster world-wide interest in effective statistical computing and to - change technical knowledge through international contacts and meetings - tween statisticians, computing professionals, organizations, institutions, g- ernments and the general public.
Comprehensive mathematics for computer scientists 2 : Calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus
This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the first volume in two - gards: Part III first adds topology, di?erential, and integral calculus to the t- ics of sets, graphs, algebra, formal logic, machines, and linear geometry, of volume 1. With this spectrum of fundamentals in mathematical e- cation, young professionals should be able to successfully attack more involved subjects, which may be relevant to the computational sciences. In a second regard, the end of part III and part IV add a selection of more advanced topics. In view of the overwhelming variety of mathematical approaches in the computational sciences, any selection, even the most empirical, requires a methodological justi?cation. Our primary criterion has been the search for harmonization and optimization of thematic - versity and logical coherence. This is why we have, for instance, bundled such seemingly distant subjects as recursive constructions, ordinary d- ferential equations, and fractals under the unifying perspective of c- traction theory.
