Algebraic Analysis of Differential Equations : from Microlocal Analysis to Exponential Asymptotics Festschrift in Honor of Takahiro Kawai Editors
This volume contains 23 articles on algebraic analysis of differential equations and related topics, most of which were presented as papers at the international conference "Algebraic Analysis of Differential Equations – from Microlocal Analysis to Exponential Asymptotics" at Kyoto University in 2005. Microlocal analysis and exponential asymptotics are intimately connected and provide powerful tools that have been applied to linear and non-linear differential equations as well as many related fields such as real and complex analysis, integral transforms, spectral theory, inverse problems, integrable systems, and mathematical physics. The articles contained here present many new results and ideas, providing interested researchers and students with valuable suggestions and instructive guidance for their work.
Algebra lineare = Linear Algebra : per tutti
Provides the first mathematical tools related to a chapter of science called Linear Algebra. The notes were written by a mathematician who tried to get out of his character to meet a wide audience. The challenge is to make accessible to all the first rudiments of a fundamental knowledge for science and technology.
Algebra and Coalgebra in Computer Science; First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.
Algebra and Coalgebra in Computer Science ; 2nd International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
Algebra and Analysis for Engineers and Scientists
This is an intermediate level text, with exercises, whose avowed purpose is to provide the science and engineering graduate student with an appropriate modern mathematical (analysis and algebra) background in a succinct.
Algebra 3 : Homological Algebra and Its Applications
Includes algebra, deals with important topics in homological algebra, including abstract theory of derived functors, sheaf co-homology, and an introduction to etale and l-adic co-homology. It contains four chapters which discuss homology theory in an abelian category together with some important and fundamental applications in geometry, topology, algebraic geometry (including basics in abstract algebraic geometry), and group theory.
Algebra ; Vol. I : Fields and Galois Theory
The present textbook is a lively, problem-oriented and carefully written introduction to classical modern 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, diophantine dimensions of a field, the calculus of Witt vectors, the Schur group of a field, and local class field theory.
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.
AI 2008 : Advances in artificial intelligence ; 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, held in Auckland, New Zealand, in December 2008.
African Cultural Astronomy : Current Archaeoastronomy and Ethnoastronomy research in Africa
Astronomy is the science of studying the sky using telescopes and light collectors such as photographic plates or CCD detectors. However, people have always studied the sky and continue to study the sky without the aid of instruments this is the realm of cultural astronomy. This is the first scholarly collection of articles focused on the cultural astronomy of Africans. It weaves together astronomy, anthropology, and Africa. The volume includes African myths and legends about the sky, alignments to celestial bodies found at archaeological sites and at places of worship, rock art with celestial imagery, and scientific thinking revealed in local astronomy traditions including ethnomathematics and the creation of calendars. Authors include astronomers Kim Malville, Johnson Urama, and Thebe Medupe; archaeologist Felix Chami, and geographer Michael Bonine, and many new authors.
Affine Density in Wavelet Analysis
Provides the first thorough and comprehensive treatment of irregular wavelet frames by introducing and employing a new notion of affine density as a highly effective tool for examining the geometry of sequences of time-scale indices.
Affect and Mathematics Education : Fresh Perspectives on Motivation, Engagement, and Identity
Presents the latest trends in research in the area. Following an introduction and a survey chapter providing a concise overview of the state-of-art in the field of mathematics-related affect, the book is divided into three main sections: motivation and values, engagement, and identity in mathematics education. Each section comprises several independent chapters based on original research, as well as a reflective commentary by an expert in the area. Collectively, the chapters present a rich methodological spectrum, from narrative analysis to structural equation modelling.
Advancing Human Assessment : The Methodological, Psychological and Policy Contributions of ETS
Describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world’s leading research institutions, Educational Testing Service. The book’s four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scientific psychology, and validity. Many of the developments presented have become de-facto standards in educational and psychological measurement, including in item response theory (IRT), linking and equating, differential item functioning (DIF), and educational surveys like the National Assessment of Educational Progress (NAEP), the Programme of international Student Assessment (PISA), the Progress of International Reading Literacy Study (PIRLS) and the Trends in Mathematics and Science Study (TIMSS). In addition to its comprehensive coverage of contributions to the theory and methodology of educational and psychological measurement and statistics,
Advances in UAV detection, classification and tracking
Explores the latest techniques and advancements in unmanned aerial vehicle (UAV) detection, classification, and tracking. As UAV technology continues to evolve and become more accessible, there is a growing need for effective methods to detect, identify, and track these devices in various scenarios. This reprint provides a thorough overview of the state-of-the-art approaches for UAV detection, classification, and tracking, covering both theoretical and practical aspects.The reprint begins by introducing the basics of UAVs and their various applications, followed by a detailed overview of the challenges associated with UAV detection, classification, and tracking. The authors then present the latest techniques and algorithms used in the field, including machine-learning-based approaches, computer vision techniques, and sensor fusion techniques. The reprint also covers the challenges of real-world applications, such as dealing with occlusions, sensor noise, and environmental factors.
Advances in Swarm Intelligence ; 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings
Constitutes the proceedings of the 11th International Conference on Advances in Swarm Intelligence, ICSI 2020, held in July 2020 in Belgrade, Serbia. Due to the COVID-19 pandemic the conference was held virtually. The 63 papers included in this volume were carefully reviewed and selected from 127 submissions. The papers are organized in 12 cohesive topical sections as follows: Swarm intelligence and nature-inspired computing; swarm-based computing algorithms for optimization; particle swarm optimization; ant colony optimization; brain storm optimization algorithm; bacterial foraging optimization; genetic algorithm and evolutionary computation; multi-objective optimization; machine learning; data mining; multi-agent system and robotic swarm, and other applications.
Advances in Structural Engineering - Optimization : Emerging Trends in Structural Optimization
An up-to-date source for computation applications of optimization, prediction via artificial intelligence methods, and evaluation of metaheuristic algorithm with different structural applications. As the current interest of researcher, metaheuristic algorithms are a high interest topic area since advance and non-optimized problems via mathematical methods are challenged by the development of advance and modified algorithms. The artificial intelligence (AI) area is also important in predicting optimum results by skipping long iterative optimization processes. The machine learning used in generation of AI models also needs optimum results of metaheuristic-based approaches.
Advances in statistical methods for the health sciences : Applications to cancer and AIDS studies, genome sequence analysis, and survival analysis
This volume, an outgrowth of an "International Conference on Statistical Methods in Health Sciences," covers a wide range of topics pertaining to new statistical methods and novel applications in the health sciences.
Advances in Spectroscopy for Lasers and Sensing
This volume presents the Proceedings of the Institute “New Development in Optics and Related Fields,” held in Erice, Sicily, Italy, from the 6th to the 21st of June, 2005.
Advances in Ranking and Selection, Multiple Comparisons, and Reliability: Methodology and Applications
S. Panchapakesan has made significant contributions to ranking and selection and has published in many other areas of statistics, including order statistics, reliability theory, stochastic inequalities, and inference. Written in his honor, the twenty invited articles in this volume reflect recent advances in these fields and form a tribute to Panchapakesan’s influence and impact on these areas. Thematically organized, the chapters cover a broad range of topics from: Inference / Ranking and Selection / Multiple Comparisons and Tests / Agreement Assessment / Reliability / Biostatistics
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.



















