الصفحة 37
الصفحة 37
Basic Electromagnetism and Materials
This textbook can be used to teach electromagnetism to a wide range of undergraduate science majors in physics, electrical engineering or materials science. However, by making lesser demands on mathematical knowledge than competing texts, and by emphasizing electromagnetic properties of materials and their applications, this textbook is uniquely suited to students of materials science. Many competing texts focus on the study of propagation waves either in the microwave or optical domain, whereas Basic Electromagnetism and Materials covers the entire electromagnetic domain and the physical response of materials to these waves.
Basic bundle theory and K-Cohomology invariants
Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory with the aim to provide newcomers to the field with solid foundations in topological K-theory. A fundamental theme, emphasized in the book, centers around the gluing of local bundle data related to bundles into a global object. One renewed motivation for studying this subject, which has developed for almost 50 years in many directions, comes from quantum field theory, especially string theory, where topological invariants play an important role.
Axiom of Choice
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned by some, used indiscriminately by others. This treatise shows paradigmatically that:Disasters happen without AC: Many fundamental mathematical results fail (being equivalent in ZF to AC or to some weak form of AC).Disasters happen with AC: Many undesirable mathematical monsters are being created (e.g., non measurable sets and undeterminate games).Illuminating examples are drawn from diverse areas of mathematics, particularly from general topology, but also from algebra, order theory, elementary analysis, measure theory, game theory, and graph theory.
Automated reasoning ; 3rd International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Automata, languages and programming ; Vol. 3580 ; 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP 2005, Lisbon, Portugal, July 11-15, 2005. including Topics Computer Science, general Mathematical Logic and Foundations Theory of Computation Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures
Automata, languages and programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Austenitic TRIP/TWIP steels and steel-zirconia composites : Design of tough, transformation-strengthened composites and structures
This book presents a collection of the most up-to-date research results in the field of steel development with a focus on pioneering alloy concepts that result in previously unattainable materials properties.
Atmospheric and Oceanic
This volume contains many original findings on mesoscale processes in atmospheric and oceanic systems through mathematical modeling, numerical simulations and field experiments. These scientific papers examine and provide the latest developments on a range of topics that include tropical cyclones/hurricanes, mesoscale variability and modeling, seasonal monsoons and land surface processes including atmospheric boundary layer. This volume will be useful as a reading material in graduate level courses dealing with mesoscale systems, weather, climate, monsoon variability and boundary layer.
Aspects of mathematical modelling : Applications in science, medicine, economics and management
The construction of mathematical models is an essential scientific activity. Mathematics has long been associated with developments in the exact sciences and engineering, but more recently mathematical modelling has been used to investigate complex systems that arise in many other fields. The contributors to this book demonstrate the application of mathematics to modern research topics in ecology and environmental science, health and medicine, phylogenetics and neural networks, theoretical chemistry, economics and management. The reader will find some review papers outlining current research directions in hot topics such as pattern formation and applications to medicine, and more targeted research papers on current developments in the various disciplines included.
Aspects of Mathematical Finance
Considering the stupendous gain in importance, in the banking and insurance industries since the early 1990’s, of mathematical methodology, especially probabilistic methodology, it was a very natural idea for the French "Académie des Sciences" to propose a series of public lectures, accessible to an educated audience, to promote a wider understanding for some of the fundamental ideas, techniques and new tools of the financial industries. These lectures were given at the "Académie des Sciences" in Paris by internationally renowned experts in mathematical finance, and later written up for this volume which develops, in simple yet rigorous terms, some challenging topics such as risk measures, the notion of arbitrage, dynamic models involving fundamental stochastic processes like Brownian motion and Lévy processes.
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Arts, Sciences, and Economics : A Historical Safari
This book has a rather long-winding history. It is not like anything else the present author ever wrote, as all the rest is theoretical economics in a d- tinctively mathematical dress. For the emergence of the following pages, there are several people, - cept the author, who are to have the credit, or perhaps the blame.
Artificial Market Experiments with the U-Mart System
Economics went through great development in the 20th century. This development, which was based mainly on mathematical methods, is not an appropriate method of analyzing markets that change every hour and every day. In a stock market, prices constantly change depending on speculation. U-Mart, a manmade market, has been proposed in order to study such instantly moving markets. Although the U-Mart system is internationally acclaimed for being at the forefront of market research, its use is by no means limited to a small number of researchers on the fringe. The whole system, including its source code, is open and is distributed without charge, testifying to a philosophy of creating and providing a common testbed for research into financial markets.
Artificial intelligence and symbolic computation ; 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
Artificial intelligence and soft computing - ICAISC 2008 ; 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2008, held in Zakopane, Poland, in June 2008.
Arnolds Problems
Arnold's Problems contains mathematical problems.The invariable peculiarity of these problems was that Arnold did not consider mathematics a game with deductive reasoning and symbols, but a part of natural science (especially of physics), i.e. an experimental science. Many of these problems are still at the frontier of research today and are still open, and even those that are mainly solved keep stimulating new research, appearing every year in journals all over the world.The second part of the book is a collection of commentaries, mostly by Arnold's former students, on the current progress in the problems' solutions (featuring a bibliography inspired by them).
Aritmetica : Un approccio computazionale = Arithmetic : A computational approach
Intended to be a contribution to the algorithmic re-reading of some classic topics of elementary number theory and an invitation to more demanding reading, according to the indications provided by the bibliography annexed to it.
Approximation of Additive Convolution-Like Operators : Real C*-Algebra Approach
Various aspects of numerical analysis for equations arising in boundary integral equation methods have been the subject of several books published in the last 15 years [95, 102, 183, 196, 198]. Prominent examples include various classes of o- dimensional singular integral equations or equations related to single and double layer potentials. Usually, a mathematically rigorous foundation and error analysis for the approximate solution of such equations is by no means an easy task. One reason is the fact that boundary integral operators generally are neither integral operatorsof the formidentity plus compact operatornor identity plus an operator with a small norm. Consequently, existing standard theories for the numerical analysis of Fredholm integral equations of the second kind are not applicable. In the last 15 years it became clear that the Banach algebra technique is a powerful tool to analyze the stability problem for relevant approximation methods [102, 103, 183, 189]. The starting point for this approach is the observation that the ? stability problem is an invertibility problem in a certain BanachorC -algebra. As a rule, this algebra is very complicated – and one has to ?nd relevant subalgebras to use such tools as local principles and representation theory.
Approval Voting
The book proposes a compelling way to elect some 500,000 officials in public elections. After a generation of discussion and debate on the subject, the authors remain convinced that Approval Voting is as relevant today.
