- Table View
- List View
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 2016
by Peter Paule Gert-Martin Greuel Thorsten Koch 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 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 Michael Joswig Jacques Carette James H. Davenport Anna Maria Bigatti 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 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 N. Balakrishnan Sitharama S. Iyengar Kianoosh G. BoroojeniThis 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.
Mathematical Tools for Telemedicine (TELe-Health)
by Michele NichelattiThis book is intended for professionals who must deal with telemedicine having little or no knowledge of matrix algebra and matrix calculus, and little or no knowledge of higher mathematics with special reference to differential equations: no other books cover these topics starting from scratch. It would therefore fill the gap existing between very simple and elementary textbooks and much more complicated ones, mainly adopting mathematical and on engineering approaches. Aims and objectives of this volume are to provide non-mathematicians and non-physicists with an almost complete coverage of the topic, from calculus and linear algebra to matrix derivatives, hat matrices, and regression models, as well as to give basic information about the description of a system by means of differential equations, which will be useful for a deeper understanding of telemedicine. The book is mainly addressing postgraduate students in medicine, biology, biostatistics, but it would also be a very useful tool researchers in other fields of a medical/biomedical curriculum.
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
Mathematical and Algorithmic Foundations of the Internet (Chapman & Hall/CRC Applied Algorithms and Data Structures series)
by Fabrizio Luccio Linda Pagli Graham SteelTo truly understand how the Internet and Web are organized and function requires knowledge of mathematics and computation theory. Mathematical and Algorithmic Foundations of the Internet introduces the concepts and methods upon which computer networks rely and explores their applications to the Internet and Web. The book offers a unique approach to
Mathematical and Computational Modelling Across the Scales: Lecture Notes of the XX Jacques-Louis Lions Spanish-French School, Barcelona, Spain, July 3-7, 2023 (SEMA SIMAI Springer Series #39)
by Pedro Diez Matteo GiacominiMany physical and engineering systems deal with micro-, meso-, macro-, and multi-scale phenomena. The accurate description and the reliable simulation of such phenomena entail major challenges from the point of view of both mathematical modelling and computational engineering. This book covers a selection of challenges related to "Mathematical and Computational Modelling Across the Scales”, stemming from the lecture notes of the XX edition of the Jacques-Louis Lions Spanish-French School in Numerical Simulations in Physics & Engineering. The thematic focus is broad, encompassing mathematical models of complex physical problems, theoretical results on their derivation, and development of numerical methods for their efficient simulation. The contributions of the book include: uncertainty quantification for phenomena at different scales such as epidemic dynamics, medical imaging, and geophysical exploration; structural health monitoring integrating small-scale sensor data in large-scale computational models; frontier numerical methods for the simulation of geophysical and heliophysical dynamics accounting for multi-scale, heterogeneous media; multi-physics, multi-scale models for the mechanobiology of atheroma plaques formation; locomotion models for swimming at the micro-scale; mathematical foundations of quantum mechanics phenomena at the micro-scale. The book is addressed to scientists and engineers, from both academia and industry, interested in the mathematical modelling and numerical simulation of a variety of complex systems in physics and engineering characterised by multiple scales.
Mathematical and Computational Modelling of Covid-19 Transmission (River Publishers Series in Mathematical, Statistical and Computational Modelling for Engineering)
by Nita H. ShahInfectious diseases are leading threats and are of highest risk to the human population globally. Over the last two years, we saw the transmission of Covid-19. Millions of people died or were forced to live with a disability. Mathematical models are effective tools that enable analysis of relevant information, simulate the related process and evaluate beneficial results. They can help to make rational decisions to lead toward a healthy society. Formulation of mathematical models for a pollution-free environment is also very important for society. To determine the system which can be modelled, we need to formulate the basic context of the model underlying some necessary assumptions. This describes our beliefs in terms of the mathematical language of how the world functions. This book addresses issues during the Covid phase and post-Covid phase. It analyzes transmission, impact of coinfections, and vaccination as a control or to decrease the intensity of infection. It also talks about the violence and unemployment problems occurring during the post-Covid period. This book will help societal stakeholders to resume normality slowly and steadily.
Mathematical and Computational Oncology: First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings (Lecture Notes in Computer Science #11826)
by Ken Chen George Bebis Takis Benos Katharina Jahn Ernesto LimaThis book constitutes the refereed proceedings of the First International Symposium on Mathematical and Computational Oncology, ISMCO'2019, held in Lake Tahoe, NV, USA, in October 2019. The 7 full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections named: Tumor evolvability and intra-tumor heterogeneity; Imaging and scientific visualization for cancer research; Statistical methods and data mining for cancer research (SMDM); Spatio-temporal tumor modeling and simulation (STTMS).
Mathematical and Computational Oncology: Second International Symposium, ISMCO 2020, San Diego, CA, USA, October 8–10, 2020, Proceedings (Lecture Notes in Computer Science #12508)
by George Bebis Max Alekseyev Heyrim Cho Jana Gevertz Maria Rodriguez MartinezThis book constitutes the refereed proceedings of the Second International Symposium on Mathematical and Computational Oncology, ISMCO 2020, which was supposed to be held in San Diego, CA, USA, in October 2020, but was instead held virtually due to the COVID-19 pandemic.The 6 full papers and 4 short papers presented together with 1 invited talk were carefully reviewed and selected from 28 submissions. The papers are organized in topical sections named: statistical and machine learning methods for cancer research; mathematical modeling for cancer research; general cancer computational biology; and posters.
Mathematical and Computational Oncology: Third International Symposium, ISMCO 2021, Virtual Event, October 11–13, 2021, Proceedings (Lecture Notes in Computer Science #13060)
by George Bebis Terry Gaasterland Mamoru Kato Mohammad Kohandel Kathleen WilkieThis book constitutes the refereed proceedings of the Third International Symposium on Mathematical and Computational Oncology, ISMCO 2021, held in October 2021. Due to COVID-19 pandemic the conference was held virtually.The 3 full papers and 4 short papers presented were carefully reviewed and selected from 20 submissions. The papers are organized in topical sections named: statistical and machine learning methods for cancer research; mathematical modeling for cancer research; spatio-temporal tumor modeling and simulation; general cancer computational biology; mathematical modeling for cancer research; computational methods for anticancer drug development.
Mathematical and Engineering Methods in Computer Science
by Jan Kofroň Tomáš VojnarThis volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telč, Czech Republic, in October 2015. The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. The topics covered include: security and safety, bioinformatics, recommender systems, high-performance and cloud computing, and non-traditional computational models (quantum computing, etc. ).
Mathematical and Numerical Modeling of the Cardiovascular System and Applications (SEMA SIMAI Springer Series #16)
by Gianluigi Rozza Daniele Boffi Simone Scacchi Luca F. Pavarino Christian VergaraThe book comprises contributions by some of the most respected scientists in the field of mathematical modeling and numerical simulation of the human cardiocirculatory system. It covers a wide range of topics, from the assimilation of clinical data to the development of mathematical and computational models, including with parameters, as well as their efficient numerical solution, and both in-vivo and in-vitro validation. It also considers applications of relevant clinical interest. This book is intended for graduate students and researchers in the field of bioengineering, applied mathematics, computer, computational and data science, and medicine wishing to become involved in the highly fascinating task of modeling the cardiovascular system.
Mathematical-Statistical Models and Qualitative Theories for Economic and Social Sciences
by Janusz Kacprzyk Šárka Hošková-Mayerová Fabrizio MaturoThis 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.
Mathematica® in Action
by Stan WagonPlenty of examples and case studies utilize Mathematica 7's newest tools, such as dynamic manipulations and adaptive three-dimensional plotting. Emphasizes the breadth of Mathematica and the impressive results of combining techniques from different areas. Whenever possible, the book shows how Mathematica can be used to discover new things. Striking examples include the design of a road on which a square wheel bike can ride, the design of a drill that can drill square holes, and new and surprising formulas for p. Visualization is emphasized throughout, with finely crafted graphics in each chapter.