الصفحة 67
الصفحة 67
L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld = The isomorphism between the Lubin-Tate and Drinfeld towers
This book contains a detailed and complete demonstration of the existence of an equivariate isomorphism between the Lubin-Tate and Drinfeld p-adic turns. The result is established in equal and unequal characteristics. There is also given as an application a proof that the equivariant cohomologies of these two turns are isomorphic, a result which has applications to the study of the local Langlands correspondence. During the proof, reminders and complements are given on the structure of the two preceding moduli spaces, the p-divisible formal groups and the p-adic rigid analytical geometry.
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.
Kinematics and Dynamics of Multibody Systems with Imperfect Joints : Models and Case Studies
The primary goal of this book is to present suitable methodologies for dynamic analysis of multibody mechanical systems with imperfect or real joints, that is, considering clearances, including their tribological characteristics and surface compliance properties. Two and three-dimensional methodologies for imperfect kinematic joints with and without lubrication are presented.
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.
KI 2008 : Advances in Artificial Intelligence ; 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, KI 2008, held in Kaiserslautern, Germany, September 2008.The 15 revised full papers presented together with 2 invited contributions and 30 posters were carefully reviewed and selected from 77 submissions. The papers cover important areas such as pattern recognition, multi-agent systems, machine learning, natural language processing, constraint reasoning, knowledge representation and management, planning, and temporal reasoning.
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.
Java Challenges 100+ : Proven Tasks that Will Prepare You for Anything
Expand your knowledge of Java with this entertaining learning guide, which features 100+ exercises and programming challenges. Java Challenges will prepare you for your next exam or job interview, and covers many practical topics, such as strings, arrays, data structures, recursion, and date and time. The APIs and other material included in this book are Java 17 compatible. You will: Improve your Java knowledge by solving enjoyable but challenging programming puzzles / Solve mathematical problems, recursions, strings, arrays and more / Manage data processing and data structures like lists, sets, maps / Handle advanced recursion as well as binary trees, sorting and searching / Gamify key fundamentals for fun and easier reinforcement
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 Hamiltonian Dynamics, Vortex Structures, Turbulence ; Proceedings of the IUTAM Symposium held in Moscow, 25–30 August, 2006
This work brings together previously unpublished notes contributed by participants of the IUTAM Symposium on Hamiltonian Dynamics, Vortex Structures, Turbulence (Moscow, 25-30 August 2006). The study of vortex motion is of great interest to fluid and gas dynamics: since all real flows are vortical in nature, applications of the vortex theory are extremely diverse, many of them (e.g. aircraft dynamics, atmospheric and ocean phenomena) being especially important. The last few decades have shown that serious possibilities for progress in the research of real turbulent vortex motions are essentially related to the combined use of mathematical methods, computer simulation and laboratory experiments. These approaches have led to a series of interesting results which allow us to study these processes from new perspectives.
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.
IUTAM Symposium on Computational Methods in Contact Mechanics ; Proceedings of the IUTAM Symposium held in Hannover, Germany, November 5-8, 2006
This book contains the proceedings of the IUTAM Symposium held in Hanover, Germany, in November 2006. Coverage includes new mathematical techniques like multi-level approaches, new discretization techniques like the mortar-method, advanced applications of unilateral contact to masonry structures, decohesion analysis and tractive rolling of tires. It provides a good overview of modern techniques and state-of-the-art discretizations schemes applied in contact mechanics. Coverage will stimulate future collaboration in science related to computational contact mechanics and in the organization of minisymposia and workshops in the area contact mechanics.
IUTAM : A Short History
This book presents extensive information related to the history of IUTAM. The initial chapters focus on IUTAM’s history and selected organizational aspects. Subsequent chapters provide extensive data and statistics, while the closing section showcases photos from all periods of the Union’s history. The history of IUTAM, the International Union on Theoretical and Applied Mechanics, began at a conference in 1922 in Innsbruck, Austria, where von Kármán put forward the idea of an international congress including the whole domain of applied mechanics.
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.
