Format: Hardback, 334 pages, height x width: 235x155 mm, 115 Illustrations, black and white; Approx. 330 p. 35 illus., 1 Hardback
Series: Springer INdAM Series 60
Pub. Date: 26-Nov-2024
ISBN-13: 9789819765072
The book, based on the INdAM Workshop "Approximation Theory and Numerical Analysis Meet Algebra, Geometry, Topology" provides a bridge between different communities of mathematicians who utilize splines in their work.
Splines are mathematical objects which allow researchers in geometric modeling and approximation theory to tackle a wide variety of questions. Splines are interesting for both applied mathematicians, and also for those working in purely theoretical mathematical settings. This book contains contributions by researchers from different mathematical communities: on the applied side, those working in numerical analysis and approximation theory, and on the theoretical side, those working in GKM theory, equivariant cohomology and homological algebra.
Introduction.- Bernstein Bezier form and its role in studying
multivariate splines.- The algebra of splines group actions and homology.- A
study on approximation by quartic splines defined on refined triangulations.-
Construction of 2D explicit cubic.- Overlap Splines and Meshless Finite
Difference.- A characterization of linear independence of THB splines in R
n.- Restriction and Extension for planar splines on triangulations.-
Supersmoothness of multivariate splines.- Using Geometric Symmetries to
Achieve Super Smoothness for Cubic Powell-Sabin Splines.- Finite element
diagram chasing.- On tensor product bases of PHT splinespaces.- Momentum
graphs, Chinese remainder theorem and the surjectivity of the restriction
map.- A Parsimonious Approach to $C^2$ Cubic Splines on Arbitrary
Triangulations.- Alcove Walks and GKM Theory for Affine Flags.- Open problems
in splines.
*****************************************************************************
Format: Hardback, 462 pages, height x width: 235x155 mm, 31 Illustrations, black and white; Approx. 400 p., 1 Hardback
Series: Trends in Logic 63
Pub. Date: 21-Nov-2024
ISBN-13: 9783031699399
This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. The papers in the volume contribute to the formal and philosophical development of the field. They include contributions from different traditions and approaches ranging from philosophical discussions of the foundations of relevant, and related kinds of non-classical, logic to mathematical work concerning open technical problems in the field. This is the first edited collection on the topic in many years, and it includes contributions from established figures as well as younger generations of researchers. Relevant logics have recently seen a resurgence of interest and this volume will be an important resource for logicians working on substructural and relevant logics for years to come.
Introduction.-
Part I: Philosophical Foundations.
Chapter 1. A Hierarchy of Relevance Properties.
Chapter 2. A Topic-Theoretic Perspective on Variable-Sharing (from the Black Sheep of the Family).
Chapter 3. Withered Relevance.
Chapter 4. Variable-Sharing as Relevance.-
Part II: Model Theory.
Chapter 5. Algorithmic Corre spondence for Relevance Logics
II, Inductive Formulae in Flat Languages for Relevance Logics.
Chapter 6. Quantified Modal Rele vant Logics II, Welcome to the Neighbourhood.
Chapter 7. Semantics for Second Order Relevant Logics.
Chapter 8. Implying and Containing in Truthmaker Semantics.
Chapter 9. The Only 3-valued Logic which is a Natural Implication Expansion with the Variable Sharing Property of Kleenes Strong Logic.-
Part III: Proof Theory.
Chapter 10. A Conceptual Approach to Restricted Quan tification in Relevant Logics.
Chapter 11. Fusion, Fission, and Ackermanns Truth Constant in Relevant Logics, A Proof-Theoretic Investigation.
Chapter 12. Entailment Generalized.
Chapter 13. Proofs with Star and Perp.
Chapter 14. Morphing Rules of Evaluation into Rules of Deduction: Preserving Relevance and Epistemic Gain.-
Part IV: Applications.
Chapter 15. Frege meets Belnap: Basic Law V in a Relevant Logic.
Chapter 16. Explicit and Implicit Belief in First Degree Entailment With Strict Implication.
Chapter 17. Relevant Rational Arithmetic.
***********************************************************************
Format: Hardback, 255 pages, height x width: 235x155 mm, 75 Illustrations, color; 1 Illustrations, black and white; Approx. 200 p. 75 illus., 1 Hardback
Series: Texts in Applied Mathematics 78
Pub. Date: 28-Nov-2024
ISBN-13: 9783031696299
The aim of this book is to quickly elevate students to a proficiency level where they can solve linear and nonlinear partial differential equations using state-of-the-art numerical methods. It covers numerous topics typically absent in introductory texts on ODEs and PDEs, including:
Computing solutions to chaotic dynamical systems with TRBDF2 Simulating the nonlinear diffusion equation with TRBDF2 Applying Newtons method and GMRES to the nonlinear Laplace equation Analyzing gas dynamics with WENO3 (1D Riemann problems and 2D supersonic jets) Modeling the drift-diffusion equations with TRBDF2 and PCG Solving the classical hydrodynamic model (electro-gas dynamics) with WENO3 and TRBDF2
The book features 34 original MATLAB programs illustrating each numerical method and includes 93 problems that confirm results discussed in the text and explore new directions. Additionally, it suggests eight semester-long projects.
This comprehensive text can serve as the basis for a one-semester graduate course on the numerical solution of partial differential equations, or, with some advanced material omitted, for a one-semester junior/senior or graduate course on the numerical solution of ordinary and partial differential equations. The topics and programs will be of interest to applied mathematicians, engineers, physicists, biologists, chemists, and more.
1 Overview.- 2 Consistency, Stability, Convergence.- 3 Numerical Methods
for ODE IVPs.- 4 Numerical Methods for ODE BVPs.- 5 Overview of PDEs.-
6 Numerical Methods for Parabolic PDEs.- 7 Numerical Methods for Elliptic
PDEs.- 8 Numerical Methods for Hyperbolic PDEs.- 9 Numerical Methods for
Mixed Type PDEs.- A Useful Mathematical Formulas.- B Norms and Condition
Number.- References.- Index .
*************************************************************************
Format: Hardback, 444 pages, height x width: 235x155 mm, XIII, 442 p., 1 Hardback
Series: Developments in Mathematics 80
Pub. Date: 14-Nov-2024
ISBN-13: 9783031707094
Fixed point theory of nonlinear operators has been a rapidly growing area of research and plays an important role in the study of variational inequalities, monotone operators, feasibility problems, and optimization theory, to name just several. This book discusses iteration processes associated with a given nonlinear mapping which generate its approximate fixed point and in some cases converge to a fixed point of the mapping. Various classes of nonlinear single-valued and set-valued mappings are considered along with iteration processes under the presence of computational errors. Of particular interest to mathematicians working in fixed point theory and nonlinear analysis, the added value for the reader are the solutions presented to a number of difficult problems in the fixed point theory which have important applications.
Preface.-
1. Introduction.-
2. Asymptotic regularity for iterations of nonexpansive mappings.-
3. Asymptotic regularity for iterations of monotone nonexpansive mappings.-
4. Asymptotic regularity of uniformly locally nonexpansive mappings.-
5. Asymptotic regularity property in spaces with graphs.-
6. Inexact Viscosity Approximation Methods in Hilbert Spaces.-
7. A common fixed point problem.-
8. Perov contraction mappings.-
9. Cyclical mappings.-
10. Monotone nonexpansive mappings.-
11. Uniformly Locally Contractive Mappings.-
12. Set-valued mappings.-
13. Nonexpansive mappings in spaces with graphs.-
References.- Index.
************************************************************
Format: Hardback, 404 pages, height x width: 235x155 mm, 5 Illustrations, black and white; XVI, 404 p. 5 illus., 1 Hardback
Series: Graduate Texts in Mathematics 303
Pub. Date: 03-Nov-2024
ISBN-13: 9783031692123
This textbook is designed for a one-year graduate course in real algebraic geometry, with a particular focus on positivity and sums of squares of polynomials.
The first half of the book features a thorough introduction to ordered fields and real closed fields, including the TarskiSeidenberg projection theorem and transfer principle. Classical results such as Artin's solution to Hilbert's 17th problem and Hilbert's theorems on sums of squares of polynomials are presented in detail. Other features include careful introductions to the real spectrum and to the geometry of semialgebraic sets. The second part studies Archimedean positivstellensatze in great detail and in various settings, together with important applications. The techniques and results presented here are fundamental to contemporary approaches to polynomial optimization. Important results on sums of squares on projective varieties are covered as well. The last part highlights applications to semidefinite programming and polynomial optimization, including recent research on semidefinite representation of convex sets.
Written by a leading expert and based on courses taught for several years, the book assumes familiarity with the basics of commutative algebra and algebraic varieties, as can be covered in a one-semester first course. Over 350 exercises, of all levels of difficulty, are included in the book.
1 Ordered Fields.-
2 Positive Polynomials and Sums of Squares.-
3 The Real Spectrum.-
4 Semialgebraic Geometry.-
5 The Archimedean Property.-
6 Positive Polynomials with Zeros.-
7 Sums of Squares on Projective Varieties.-
8 Sums of Squares and Optimization.-
Appendix A: Commutative Algebra and Algebraic Geometry.-
Appendix B: Convex Sets in Real Infinite-Dimensional Vector Spaces.
***********************************************************
Format: Hardback, 612 pages, height x width: 235x155 mm, XVI, 606 p. 365 illus., 315 illus. in color., 1 Hardback
Series: Springer Proceedings in Mathematics & Statistics 441
Pub. Date: 03-Dec-2024
ISBN-13: 9783031513374
This edited volume on machine learning and big data analytics (Proceedings of ICMLBDA 2023, that was held on May 29-30, 2023 by NERIST and NIT Arunachal Pradesh India) is intended to be used as a reference book for researchers and professionals to share their research and reports of new technologies and applications in Machine Learning and Big Data Analytics like biometric Recognition Systems, medical diagnosis, industries, telecommunications, AI Petri Nets Model-Based Diagnosis, gaming, stock trading, Intelligent Aerospace Systems, robot control, law, remote sensing and scientific discovery agents and multiagent systems; and natural language and Web intelligence. The intent of this book is to provide awareness of algorithms used for machine learning and big data in the advanced Scientific Technologies, provide a correlation of multidisciplinary areas and become a point of great interest for Data Scientists, systems architects, developers, new researchers and graduate level students. This volume provides cutting-edge research from around the globe on this field. Current status, trends, future directions, opportunities, etc. are discussed, making it friendly for beginners and young researchers.
Preface.- Similarity Analysis of Protein Sequences with a New 3-D
Graphical Representation Technique.- Enhanced Security and Robustness of
Data Using Steganography.- A TTIG Based Deep Convolution Combined GAN and CLS
for Text to Image Synthesis.- Smart Agricultural Greenhouse System: A
Context-aware Application.- Improving Performance of Plant Disease Detection
using YOLOv7 and YOLOv8.- Detection of Congenital Heart Disease from Heart
Sounds using 2DCNN-BiLSTM with Attention Mechanism.- Automated Reviewer
Assignment Process using Machine Learning Technique.- A Method for Detecting
Retinal Micro aneurysms in the Fundus Using CR-SF And RG-TF.- Pilot Super
Resolution Network (PSRN) based Mango fruit Classification.- Performance
Evaluation of Quality of Service (QoS) in Modified Ad hoc On-Demand Distance
Vector (MAODV) Routing Protocol in Manets.- Minimize the Energy Consumption
to Increase the Network Lifetime for Green IoT Environment.- Unveiling Hate
Speech: Identifying Toxic Comments Targeting Women in Online Social Media
Posts.- Identification of retinal fundus in diabetic patients using deep
learning algorithms.- Smart Health Prediction Using Random Forest.-
Vulnerability Assessment and Penetration Testing Using Parrot Operating
System.- Assessing NSAID Threat Degree of Unfavorable Medical Reactions
Using Machine Learning.- Searchable Encryption for Privacy Preserving with
Fine Grained Access Control.- Classification for Disease Gene Association.-
Machine Learning-Based Air Pollution Monitoring And Forecasting.- A Novel
parasitic mushroom-like structure with high gain microstrip patch antenna for
broadband applications.- Facial Emotion Recognition using Artificial
Intelligence.- A Hybrid Machine Intelligence Demographic Feature Selection
Approach to Improve Recommendation System in Social Domain.- An Exploratory
Review of Machine Learning and Deep Learning Applications in Healthcare
Management.- Bone Fracture Prediction using Machine Learning and Deep
Learning Techniques.- Plant Disease Detection Using Modern Deep Learning
Approach: YOLOv7.- Analysis of the life insurance business performance based
on COVID by using machine learning algorithms.- An Ensemble Model of Skin
Disease Detection Using CNN and Transfer Learning.- Session Based News
Recommendation System.- A Fusion-based Approach for Generating Image
Captions.- Comparison of Machine Learning Algorithms for Detection of
Stuttering in Speech.- The Evolutionary Impact of Pattern Recognition in
Research Applications A Wide Spectrum Survey.- Prediction of GATE
Examination Clearance for Fresh Graduate Candidates: An Advanced Machine
Learning Approach.- Foreseeing Worker Attrition Using Machine Learning.-
Mouse Controlling Using Eyeball Action.- Power Quality Improvement by Using
Shunt Hybrid Active Power Filter.-
Integration of Renewable Energy Systems into utility grid: A review on Power
Quality Issues, Mitigating devices and Control Algorithms.- Traffic Control
System for Congestion Control and Ambulance Clearance.- QR Based
Authentication for Login and Payment.- Smart Irrigation Watering System Using
IoT.- IoT Based Transmission Line Multiple Fault Detection and Indication to
Electricity Board.- Design Of Off Board Electric Vehicle Charger Using PV
Array Through Matlab-Simulink.- Human stress detection in sleep mode compared
with non-sleep mode using machine learning algorithms.- Medical Diagnosis
Prediction using Deep Learning.- Detecting Hard Landing of Flights:
E-Pilots.- Detection of Glaucoma Using MobileNet, XAI and IML.- Attainment
Expedients of Markovian Heterogeneous Water Heaters in Queueing Models by
Matrix Geometry Method.- Identification Of Medicinal Plants Using Inception
V3 Model.- Smart Gardening Using Internet of Things.- Predictive Analytics of
Blood Donor Risk Assessment Using Machine Learning Methods.- Risk Analysis of
Covid-19 Patients Mortality Rate in Emergency Ward.- Machine Learning
Classification Analysis on Leaf Disease Data.- Conversion of Type-2
Intuitionistic Fuzzy Sets into Interval-valued Intuitionistic Fuzzy Sets and
its implementation in Decision Making.- A Framework for Secure Database and
Similarity Comparison in Android.- A Comprehensive review and a Conceptual
framework for predicting the position of the mobile sinks in Wireless sensor
networks.- Brain Computer Interface for Multiple Applications Control.-
Predicting Student Academic Performance using Machine Learning: A Comparison
of Classification Algorithms.- A Novel Approach in Machine Learning for Solar
Energy Prediction System.- Real-time Tomato Leaf Disease Detection and
Diagnosis using Deep Learning-based Computer Vision Techniques.- Index.
*************************************************************
Format: Hardback, 290 pages, height x width: 235x155 mm, 46 Illustrations, color; 127 Illustrations, black and white; Approx. 300 p., 1 Hardback
Series: Springer Proceedings in Mathematics & Statistics 462
Pub. Date: 21-Nov-2024
ISBN-13: 9783031621659
This proceedings volume compiles selected, revised papers presented at the 53rd SouthEastern International Conference on Combinatorics, Graph Theory, and Computing (SEICCGTC 2022), which took place at Florida Atlantic University in Boca Raton, USA, from March 7th to 11th, 2022.
The SEICCGTC is widely regarded as a trendsetter for other conferences worldwide. Many ideas and themes initially discussed here have subsequently been explored in other conferences and symposia.
Since 1970, the conference has been held annually in Baton Rouge, Louisiana, and Boca Raton, Florida. Over the years, it has grown to become the primary annual conference in its fields, playing a crucial role in disseminating results and fostering collaborative work.
This volume is tailored for the community of pure and applied mathematicians
in academia, industry, and government, who work in combinatorics and graph
theory, as well as related areas of computer science and the intersections
among these fields
Agrinsoni C., Janwa H., Delgado M. A New Absolute Irreducibility
Criterion for Multivariate Polynomials over Finite Fields.- Abueida A., Daven
M. On Decompositions of the Johnson Graph.- Almodovar L., Brady E.,
Fitzgerald M., Su H.-H., Todt H. DNA Self-Assembly: Friendship Graphs.-
Bajnok B. Additive Combinatorics in Groups and Geometric Combinatorics on
Spheres.- Bajnok B. A Walk Through Some Newer Parts of Additive
Combinatorics.- Berry T., Schluchter S. Applications of Topological Graph
Theory to 2-Manifold Learning.- Bickle A. Nordhaus-Gaddum Theorems for
Multifactor Decompositions.- Boats J., Kikas L. The Pansophy of Semi Directed
Graphs.- Bunge R.C., Dodson S.R., El-Zanati S.I., Franzmeier J., Horne D.
Decomposing the -fold complete 3-uniform hypergraph into the lines of the
Pasch configuration.- Bunge R.C., El-Zanati S.I., Kirkpatrick J.N., Sanderson
S.M., Severino M.J., Turner W.F. The Spectrum Problem for the 4-Uniform
4-Colorable 3-Cycles with Maximum Degree 2.- Bass C., Butler S. Passing Drops
and Descents.- Chand P., Ollis M.A. The Buratti-Horak-Rosa Conjecture Holds
for Some Underlying Sets of Size Three.- Choi S.-Y., Guan P. On the Minimum
Locating Number of Graphs with a Given Order.- Cloteaux B. Graphic
Approximation of Integer Sequences.- Davenport D., Fall F., Francis J., Lee
T. Production Varieties of Double Riordan Arrays.- Doucette A., Suffel C.
j-Multiple, k-Component Order Neighbor Connectivity.- Hoffman F., Heuss S.,
Low R., Wierman J. The Volume Editors will be listed in the following order
in the contract.- Khodkar A., Leach D. Signed Magic Arrays with Certain
Property.- Linthacum N., Martin L., McKenzie T., Overbay S., Tan L.A. Mobius
Book Embeddings.- Lu S., Yerger C. The Existence of a Knights Tour on the
Surface of Rectangular Boxes.- Meissner L.H., Saccoman J.T. Strongly Regular
Multigraphs.- Meyerowitz A. Tiling with Three Element Sets.- McKee T.A.
Characterizing s-Strongly Chordal Graphs using 2-Paths and k-Chords.- Melles
C.G., Joyner D. A Matrix Criterion for Harmonic Morphisms of Graphs with
Applications to Graph Products.- Olejniczak D., Vandell R. Changing the
Uniform Spectrum by Deleting Edges.- Sarvate D.G., Woldenmariam D.M., Zhang
L. Group Divisible Designs with Three Groups and Block Size 4.- Varghese S.,
Lakshmanan S.A., Arumugam S. Geodesic Leech Graphs.- Wang J., Fehribach J.D.
Prime, Composite, and Fundamental Kirchhoff Graphs.- Wierman J.C., Oberly
S.P. A New Upper Bound for the Site Percolation Threshold of the Square
Lattice.- Zeleke M., Jani M. On Combinatorial Interpretations of some
Elements of the Riordan Group.