- Table View
- List View
Mathematical Progress in Expressive Image Synthesis II
by Hiroyuki Ochiai Ken AnjyoThe material included in this book provides selected presentations given at the international symposium MEIS2014. The book aims to provide a unique venue where various issues in computer graphics (CG) application fields are discussed by mathematicians as well as CG researchers and practitioners. The target audience is not limited to researchers in academia but also those in industries with a strong interest in digital media creation, scientific visualization and visual engineering.
Mathematical Progress in Expressive Image Synthesis III
by Yoshinori Dobashi Hiroyuki Ochiai"Progress in Expressive Image Synthesis"(MEIS2015), was held in Fukuoka, Japan, September 25-27, 2015. The aim of thesymposium was to provide a unique venue where various issues in computergraphics (CG) application fields could be discussed by mathematicians, CGresearchers, and practitioners. Through the previous symposiums MEIS2013 andMEIS2014, mathematicians as well as CG researchers have recognized that CG is aspecific and practical activity derived from mathematical theories. Issuesfound in CG broaden the field of mathematics and vice versa, and CG visualizesmathematical theories in an aesthetic manner. In this volume, the editors aim toprovoke interdisciplinary research projects through the peer-reviewed papersand poster presentations at the this year's symposium. This book capturesinteractions among mathematicians, CG researchers, and practitioners sharingimportant, state-of-the-art issues in graphics and visual perception. The bookis suitable for all CG researchers seeking open problem areas and especiallyfor those entering the field who have not yet selected a research direction.
Mathematical Reasoning: The History and Impact of the DReaM Group
by Greg MichaelsonThis collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group. Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.
Mathematical Research for Blockchain Economy: 1st International Conference MARBLE 2019, Santorini, Greece (Springer Proceedings in Business and Economics)
by Panos Pardalos Ilias Kotsireas William Knottenbelt Yike GuoThis book presents the best papers from the 1st International Conference on Mathematical Research for Blockchain Economy (MARBLE) 2019, held in Santorini, Greece. While most blockchain conferences and forums are dedicated to business applications, product development or Initial Coin Offering (ICO) launches, this conference focused on the mathematics behind blockchain to bridge the gap between practice and theory. Every year, thousands of blockchain projects are launched and circulated in the market, and there is a tremendous wealth of blockchain applications, from finance to healthcare, education, media, logistics and more. However, due to theoretical and technical barriers, most of these applications are impractical for use in a real-world business context. The papers in this book reveal the challenges and limitations, such as scalability, latency, privacy and security, and showcase solutions and developments to overcome them.
Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, London, United Kingdom (Lecture Notes in Operations Research)
by Panos Pardalos Ilias Kotsireas William J. Knottenbelt Stefanos LeonardosThis book presents the best papers from the 4th International Conference on Mathematical Research for Blockchain Economy (MARBLE) 2023, held in London, UK. While most blockchain conferences and forums are dedicated to business applications, product development, or Initial Coin Offering (ICO) launches, this conference focused on the mathematics behind blockchain to bridge the gap between practice and theory. The book spans the divide between theoretical promise and practical reality in blockchain technology and explores the challenges hindering its real-world integration across diverse sectors, offering comprehensive insights into issues like scalability, security, and privacy.
Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science #10931)
by James H. Davenport Manuel Kauers George Labahn Josef UrbanThis book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a subeld of mathematical software research, development and use.
Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings (Lecture Notes in Computer Science #12097)
by Anna Maria Bigatti Jacques Carette James H. Davenport Michael Joswig Timo De WolffThis book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.
Mathematical Software – ICMS 2024: 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings (Lecture Notes in Computer Science #14749)
by Alicia Dickenstein Yue Ren Kevin Buzzard Bettina Eick Anton LeykinThis book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024. The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.
Mathematical Software - ICMS 2016
by Gert-Martin Greuel Thorsten Koch Peter Paule Andrew SommeseThis book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.
Mathematical-Statistical Models and Qualitative Theories for Economic and Social Sciences
by Janusz Kacprzyk Fabrizio Maturo Šárka Hošková-MayerováThis book presents a broad spectrum of problems related to statistics, mathematics, teaching, social science, and economics as well as a range of tools and techniques that can be used to solve these problems. It is the result of a scientific collaboration between experts in the field of economic and social systems from the University of Defence in Brno (Czech Republic), G. d'Annunzio University of Chieti-Pescara (Italy), Pablo de Olavid eUniversity of Sevilla (Spain), and Ovidius University in Constanţa, (Romania). The studies included were selected using a peer-review process and reflect heterogeneity and complexity of economic and social phenomena. They and present interesting empirical research from around the globe and from several research fields, such as statistics, decision making, mathematics, complexity, psychology, sociology and economics. The volume is divided into two parts. The first part, "Recent trends in mathematical and statistical models for economic and social sciences", collects papers on quantitative matters, which propose mathematical and statistical models for social sciences, economics, finance, and business administration. The second part, "Recent trends in qualitative theories for economic and social sciences", includes papers on qualitative matters, which discuss social, economic, and teaching issues. It is an ideal reference work for all those researchers interested in recent quantitative and qualitative tools. Covering a wide range of topics, it appeals in equal measure to mathematicians, statisticians, sociologists, philosophers, and specialists in the fields of communication, social and political sciences.
Mathematical Structures for Computer Graphics
by Steven J. JankeA comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenesMathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics. Focusing on the significant mathematical results, the book establishes key algorithms used to build complex graphics scenes.Written for readers with various levels of mathematical background, the book develops a solid foundation for graphics techniques and fills in relevant graphics details often overlooked in the literature. Rather than use a rigid theorem/proof approach, the book provides a flexible discussion that moves from vector geometry through transformations, curve modeling, visibility, and lighting models. Mathematical Structures for Computer Graphics also includes:Numerous examples of two- and three-dimensional techniques along with numerical calculationsPlenty of mathematical and programming exercises in each chapter, which are designed particularly for graphics tasksAdditional details at the end of each chapter covering historical notes, further calculations, and connected concepts for readers who wish to delve deeperUnique coverage of topics such as calculations with homogeneous coordinates, computational geometry for polygons, use of barycentric coordinates, various descriptions for curves, and L-system techniques for recursive imagesMathematical Structures for Computer Graphics is an excellent textbook for undergraduate courses in computer science, mathematics, and engineering, as well as an ideal reference for practicing engineers, researchers, and professionals in computer graphics fields. The book is also useful for those readers who wish to understand algorithms for producing their own interesting computer images.
Mathematical Structures of Ergodicity and Chaos in Population Dynamics (Studies in Systems, Decision and Control #312)
by Paweł J. MitkowskiThis book concerns issues related to biomathematics, medicine, or cybernetics as practiced by engineers. Considered population dynamics models are still in the interest of researchers, and even this interest is increasing, especially now in the time of SARS-CoV-2 coronavirus pandemic, when models are intensively studied in order to help predict its behaviour within human population. The structures of population dynamics models and practical methods of finding their solutions are discussed. Finally, the hypothesis of the existence of non-trivial ergodic properties of the model of erythropoietic response dynamics formulated by A. Lasota in the form of delay differential equation with unimodal feedback is analysed. The research can be compared with actual medical data, as well as shows that the structures of population models can reflect the dynamic structures of reality.
Mathematical Summary for Digital Signal Processing Applications with Matlab
by E. S. GopiMathematical summary for Digital Signal Processing Applications with Matlab consists of Mathematics which is not usually dealt in the DSP core subject, but used in DSP applications. Matlab programs with illustrations are given for the selective topics such as generation of Multivariate Gaussian distributed sample outcomes, Bacterial foraging algorithm, Newton's iteration, Steepest descent algorithm, etc. are given exclusively in the separate chapter. Also Mathematical summary for Digital Signal Processing Applications with Matlab is written in such a way that it is suitable for Non-Mathematical readers and is very much suitable for the beginners who are doing research in Digital Signal Processing.
Mathematical Theories of Distributed Sensor Networks
by Sitharama S. Iyengar Kianoosh G. Boroojeni N. BalakrishnanThis book provides a Mathematical Theory of Distributed Sensor Networks. It introduces the Mathematical & Computational Structure by discussing what they are, their applications and how they differ from traditional systems. It also explains how mathematics are utilized to provide efficient techniques implementing effective coverage, deployment, transmission, data processing, signal processing, and data protection within distributed sensor networks. Finally, it discusses some important challenges facing mathematics to get more incite to the multidisciplinary area of distributed sensor networks. -This book will help design engineers to set up WSN-based applications providing better use of resources while optimizing processing costs. -This book is highly useful for graduate students starting their first steps in research to apprehend new approaches and understand the mathematics behind them and face promising challenges. -This book aims at presenting a formal framework allowing to show how mathematical theories can be used to provide distributed sensor modeling and to solve important problems such as coverage hole detection and repair. -This book aims at presenting the current state of the art in formal issues related to sensor networking. It can be used as a handbook for different classes at the graduate level and the undergraduate level. It is self contained and comprehensive, presenting a complete picture of the discipline of optical network engineering including modeling functions, controlling quality of service, allocation resources, monitoring traffic, protecting infrastructure, and conducting planning. This book addresses a large set of theoretical aspects. It is designed for specialists in ad hoc and wireless sensor networks and does not include discusses on very promising areas such as homotopy, computational geometry, and wavelet transforms.
Mathematical Theories of Machine Learning - Theory and Applications
by Bin Shi S. S. IyengarThis book studies mathematical theories of machine learning. The first part of the book explores the optimality and adaptivity of choosing step sizes of gradient descent for escaping strict saddle points in non-convex optimization problems. In the second part, the authors propose algorithms to find local minima in nonconvex optimization and to obtain global minima in some degree from the Newton Second Law without friction. In the third part, the authors study the problem of subspace clustering with noisy and missing data, which is a problem well-motivated by practical applications data subject to stochastic Gaussian noise and/or incomplete data with uniformly missing entries. In the last part, the authors introduce an novel VAR model with Elastic-Net regularization and its equivalent Bayesian model allowing for both a stable sparsity and a group selection.
Mathematical Theory of Advanced Computing (It Kompakt Ser.)
by Wolfgang W. OsterhageThis book deals with computer performance by addressing basic preconditions. Besides general considerations about performance, several new approaches are presented. One of them targets memory structures by introducing the possibility of overlapping non-interfering (virtual) address spaces. This approach is based on a newly developed jump transformation between different symbol spaces. Another approach deals with efficiency and accuracy in scientific calculations. Finally the concept of a Neural Relational Data Base Management System is introduced and the performance potential of quantum computers assessed.
Mathematical Tools for Data Mining
by Dan A. Simovici Chabane DjerabaData mining essentially relies on several mathematical disciplines, many of which are presented in this second edition of this book. Topics include partially ordered sets, combinatorics, general topology, metric spaces, linear spaces, graph theory. To motivate the reader a significant number of applications of these mathematical tools are included ranging from association rules, clustering algorithms, classification, data constraints, logical data analysis, etc. The book is intended as a reference for researchers and graduate students. The current edition is a significant expansion of the first edition. We strived to make the book self-contained and only a general knowledge of mathematics is required. More than 700 exercises are included and they form an integral part of the material. Many exercises are in reality supplemental material and their solutions are included.
The Mathematical Tourist: New and Updated Snapshots of Modern Mathematics
by Ivars PetersonTo most outsiders, modern mathematics represents unknown territory. Few realize that the world of modern mathematics is rich with vivid images, provocative ideas, and useful notions. The revised, updated book also includes new material about the structure of crystals and about discoveries illuminating the relationship between four-dimensional geometry and physical theories of the nature of time, space, and matter. It adds the application of cellular automata models to social questions and to the peregrinations of virtual ants. It extends the discussion of applications of fractals and introduces the notion of controlling chaos. A greatly expanded concluding chapter on the nature of mathematical proof includes accounts of Turing machines, transparent proofs, and how a computer program managed to prove a long-standing mathematical conjecture. It ends with the dramatic unveiling of a proof by Andrew Wiles of Fermat's last theorem.
Mathematical Transformations and Wavelet Filters for Source Coding and Signal Processing Systems (Synthesis Lectures on Signal Processing)
by William A. PearlmanThis book teaches the fundamentals and mathematical formulas of reversible transformations (or transforms) that are used in many source coding and signal processing systems. These mathematical transforms are often necessary or crucial toward reduction of data storage and transmission rate requirements. The author emphasizes the wavelet transform as it is the preferred transform for practical application in many coding and signal processing systems. The book also covers the tap (coefficient) values for some of those filters that satisfy the perfect reconstruction property. Examples of the use of filter-based and matrix-based transforms are also provided. This self-contained work contains insight gained through research and practice, which makes it a valuable reference and tutorial for readers interested in the subject of mathematical transforms.This book:Teaches the fundamentals and mathematical formulas of reversible transformations, as well as their applicationsHighlights the wavelet transformation, which is the preferred transform for many practical applicationsContains insight gained through research and practice, making it a valuable resource those interested in the topic
Mathematics and Computation in Music: 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings (Lecture Notes in Computer Science #11502)
by Mariana Montiel Francisco Gomez-Martin Octavio A. Agustín-AquinoThis book constitutes the thoroughly refereed proceedings of the 7th International Conference on Mathematics and Computation in Music, MCM 2019, held in Madrid, Spain, in June 2019. The 22 full papers and 10 short papers presented were carefully reviewed and selected from 48 submissions. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance. They are organized in topical sections on algebraic and other abstract mathematical approaches to understanding musical objects; remanaging Riemann: mathematical music theory as “experimental philosophy”?; octave division; computer-based approaches to composition and score structuring; models for music cognition and beat tracking; pedagogy of mathematical music theory.The chapter “Distant Neighbors and Interscalar Contiguities” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Mathematics and Computation in Music: 8th International Conference, MCM 2022, Atlanta, GA, USA, June 21–24, 2022, Proceedings (Lecture Notes in Computer Science #13267)
by Mariana Montiel Octavio A. Agustín-Aquino Francisco Gómez Jeremy Kastine Emilio Lluis-Puebla Brent MilamThis book constitutes the thoroughly refereed proceedings of the 8th International Conference on Mathematics and Computation in Music, MCM 2022, held in Atlanta, GA, USA, in June 2022. The 29 full papers and 8 short papers presented were carefully reviewed and selected from 45 submissions. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance. They are organized in Mathematical Scale and Rhythm Theory: Combinatorial, Graph Theoretic, Group Theoretic and Transformational Approaches; Categorical and Algebraic Approaches to Music; Algorithms and Modeling for Music and Music-Related Phenomena; Applications of Mathematics to Musical Analysis; Mathematical Techniques and Microtonality
Mathematics and Computation in Music: 9th International Conference, MCM 2024, Coimbra, Portugal, June 18–21, 2024, Proceedings (Lecture Notes in Computer Science #14639)
by Thomas Noll Mariana Montiel Francisco Gómez Omar Costa Hamido José Luis Besada José Oliveira MartinsThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics and Computation in Music, MCM 2024, held in Coimbra, Portugal, during June 18–21, 2024. The 30 full papers and 9 short papers included in this book were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: mathematical scale theory and tuning; rhythm analysis and rhythm generation; categorical and algebraic approaches to music; quantum music; theory and algorithms for melodic- harmonic analysis and generation; geometric approaches to musical algorithms and microtonality; fourier analysis for music; similarity and distance measures for music; short papers; communication-performances; and tribute to Yves Hellegouarch.
Mathematics and Computation in Music
by Anja Volk David Meredith Tom CollinsThis book constitutes the thoroughly refereed proceedings of the 5th International Conference on Mathematics and Computation in Music, MCM 2015, held in London, UK, in June 2015. The 24 full papers and 14 short papers presented were carefully reviewed and selected from 64 submissions. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance. They are organized in topical sections on notation and representation, music generation, patterns, performance, similarity and contrast, post-tonal music analysis, geometric approaches, deep learning, and scales.
Mathematics and Computing: Icmc, Haldia, India, January 2015 (Springer Proceedings In Mathematics And Statistics Series #139)
by Debdas Ghosh Debasis Giri Ram N. Mohapatra Ekrem Savas Kouichi Sakurai L. P. SinghThis book constitutes the proceedings of the 4th International Conference on Mathematics and Computing, ICMC 2018, held in Varanasi, India, in January 2018.The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on security and coding theory; computing; applied mathematics; pure mathematics.
Mathematics and its Applications in New Computer Systems: MANCS-2021 (Lecture Notes in Networks and Systems #424)
by Andrei Tchernykh Anatoly Alikhanov Mikhail Babenko Irina SamoylenkoThis book is based on the best papers accepted for presentation during the International Conference on Mathematics and its Applications in New Computer Systems (MANCS-2021), Russia.The book includes research materials on modern mathematical problems, solutions in the field of cryptography, data analysis and modular computing, as well as scientific computing. The scope of numerical methods in scientific computing presents original research, including mathematical models and software implementations, related to the following topics: numerical methods in scientific computing; solving optimization problems; methods for approximating functions, etc. The studies in mathematical solutions to cryptography issues are devoted to secret sharing schemes, public key systems, private key systems, n-degree comparisons, modular arithmetic of simple, addition of points of an elliptic curve, Hasse theorem, homomorphic encryption and learning with error, and modifications of the RSA system. Furthermore, issues in data analysis and modular computing include contributions in the field of mathematical statistics, machine learning methods, deep learning, and neural networks. Finally, the book gives insights into the fundamental problems in mathematics education. The book intends for readership specializing in the field of cryptography, information security, parallel computing, computer technology, and mathematical education.