الصفحة 59
الصفحة 59
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.
Applied Stochastic Processes
Applied Stochastic Processes uses a distinctly applied framework to present the most important topics in the field of stochastic processes.
Applied Statistics Using SPSS, STATISTICA, MATLAB and R
The book provides a comprehensive coverage of the main statistical analysis topics important for practical applications such as data description, statistical inference, classification and regression, factor analysis, survival data and directional statistics.
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.
Applied Probability and Statistics
This text is designed for a one-semester course on Probability and Statistics. The exposition unfolds systematically from an introductory chapter to such topics as random variables and vectors, stochastic processes, estimation, testing and regression. The topics are well chosen and the presentation is enriched by many examples from real life. Following every chapter, the reader will find many original, solved and unsolved problems and hundreds of multiple choice questions, enabling those unfamiliar with the topics to master them. Additionally appealing are the interesting historical notes on the mathematicians mentioned throughout and a useful bibliography. A distinguishing character of the book is the thorough and succinct handling of the various topics.
Applied Partial Differential Equations : A Visual Approach
This book presents selected topics in science and engineering from an applied-mathematics point of view. The described natural, socioeconomic, and engineering phenomena are modeled by partial differential equations that relate state variables.
Applied Multivariate Statistical Analysis
This book presents the tools and concepts of multivariate data analysis in a way that is understandable for non-mathematicians and practitioners who face statistical data analysis.
Applied mathematics and machine learning
The simultaneous availability of large datasets and high-performance computing capability in recent years has enabled the rapid development of powerful machine learning algorithms. On the one hand, state-of-the-art machine learning techniques have transformed many areas of science and engineering; on the other hand, theoretical discoveries in mathematical algorithms, differential equations, and statistical inferences, to name a few, have provided the foundation for the exploration of new multidisciplinary models for solving practical problems. This Special Issue endeavors to continue the journey that started in our previous Special Issue (Applied Mathematics and Computational Physics) by providing a platform for researchers from both academia and industry, as well as government, to present their new computational methods that have engineering and physics applications.
Applied Mathematical Demography
it focus on applications of demographic models, while extending its scope to matrix models for stage-classified populations.first introduce the life table to describe age-specific mortality, and then use it to develop theory for stable populations and the rate of population increase. This theory is then revisited in the context of matrix models, for stage-classified as well as age-classified populations. Reproductive value and the stable equivalent population are introduced in both contexts, and Markov chain methods are presented to describe the movement of individuals through the life cycle. Applications of mathematical demography to population projection and forecasting, kinship, microdemography, heterogeneity, and multi-state models are considered.
Applied cryptography and network security ; 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I
The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications.
Applied Civil Engineering Risk Analysis
Povides readers with the tools needed to determine the probability of failure, and when multiplied by the consequences of failure, illustrates how to assess the risk of civil engineering problems. Presenting methods for quantifying uncertainty that exists in engineering analysis and design, with an emphasis on fostering more accurate analysis and design.
Applied and computational mathematics for digital environments
Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.
Applications of random matrices in physics
Random matrices are widely and successfully used in physics for almost 60-70 years, beginning with the works of Dyson and Wigner. Although it is an old subject, it is constantly developing into new areas of physics and mathematics. It constitutes now a part of the general culture of a theoretical physicist. Mathematical methods inspired by random matrix theory become more powerful, sophisticated and enjoy rapidly growing applications in physics. Recent examples include the calculation of universal correlations in the mesoscopic system, new applications in disordered and quantum chaotic systems, in combinatorial and growth models, as well as the recent breakthrough, due to the matrix models, in two dimensional gravity and string theory and the non-abelian gauge theories. The book consists of the lectures of the leading specialists and covers rather systematically many of these topics.
Applications of Graph Transformations with Industrial Relevance ; 3rd International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007.
Applications of computational intelligence in biology : Current trends and open problems
The purpose of this book is to provide a medium for such an exchange of expertise and concerns. In order to achieve the goal, we have solicited cont- butions from both computational intelligence as well as biology researchers.
