Search

This book constitutes the refereed proceedings of the 9th International Conference on Metaheuristics and Nature Inspired Computing, META 2023, held in Marrakech, Morocco, during November 1-4, 2023. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are divided into the following topical sections: combinatorial optimization; scheduling; continuous optimization; automatic metaheuristics tuning; optimization and machine learning; and applications.

Die Simulation des menschlichen Herzens, die Vorhersage des morgigen Wetters, die Optimierung der Aerodynamik eines Segelboots, die Suche nach der idealen Garzeit für einen Hamburger: Bei der Lösung dieser Probleme können Kardiologen, Meteorologen, Sportler und Ingenieure auf mathematische Hilfe zählen. Dieses Buch führt Sie zur Entdeckung einer magischen, aus Gleichungen bestehenden Welt, die für eine Vielzahl von wichtigen Problemen unseres Lebens nützliche Antworten liefern können.Die Übersetzung wurde mit Hilfe von künstlicher Intelligenz durchgeführt. Eine anschließende menschliche Überarbeitung erfolgte vor allem in Bezug auf den Inhalt.

This book collects selected, peer-reviewed research presented at the 8th International Conference on Mathematics: Pure, Applied, and Computation, held in Lombok, Indonesia, on 30 September 2023. Organised into three parts—Part I: Control Systems, Mathematical Simulation and Modeling; Part II: Formal Methods and Data Science; Part III: Graph Theory and Analysis—the book contains 29 peer-reviewed chapters. Ranging from theoretical to applied results, the book addresses the mathematical models for several phenomena such as investment behavior, unmanned surface vehicles and electronic medical records. It also highlights the progress in the use of satisfiability methods and tools to solve puzzle and pencil games. It showcases how mathematics is used to solve real-world problems.

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. Topics and features:• Gentle, example-based introduction to software specification and verification • Wide panorama of state-of-the-art specification and analysis techniques • Step-by-step guide to develop your own, tailor-made analysis on top of the platform• Inspiring success stories of Frama-C deployment on industrial code• More than 15 years of R&D on analysis and verification of C codeThis book is firmly rooted on the practice of software analysis, with numerous examples, exercises and application guidelines. As such, it is particularly well suited for software verification practitioners wishing to deploy verification on their code, as well as for undergraduate students with little or no experience in code analysis techniques. More advanced sections on the theoretical underpinnings of the analyzers will be of interest for graduate students and researchers.Nikolai Kosmatov is a Senior Researcher at Thales Research & Technology, France. Virgile Prevosto is a Senior Researcher and Julien Signoles is a Research Director, both at Université Paris-Saclay, CEA, List, France.

The present volume contains a selection of papers from the XVIII International Conference on Hyperbolic Problems: Theory, Numerics, and Applications (HYP2022), which was held on June 20-24, 2022 in Málaga (Spain). The goal of this series of conferences is to bring together scientists with interests in the theoretical, applied, and computational aspects of hyperbolic partial differential equations (systems of hyperbolic conservation laws, wave equations, etc.) and of related mathematical models. The chapters in this volume correspond to some of the plenary lectures and to selected contributions related to theoretical aspects.

This new edition includes three new chapters, 7 through 9, that have very broad, practical applications in engineering and science. In addition, the author's latest research results incorporated into the new textbook demonstrates better performance than the popular METIS software for partitioning graphs, partitioning finite element meshes, and producing fill-reducing orderings for sparse matrices. The new Chapter 8, and its pre-requisite, Chapter 7, present a state-of-the-art algorithm for computing the shortest paths for real-life (large-scale) transportation networks with minimum computational time. This approach has not yet appeared in any existing textbooks and it could open the doors for other transportation engineering applications. Chapter 9 vastly expands the scope of the previous edition by including sensitivity (gradient) computation and MATLAB's built-in function “fmincon” for obtaining the optimum (or best) solution for general engineering problems.

This book is a collection of selected research papers presented at the Mathematics, Statistics and Computing Technology (ICMSCT2023), held at the UST Angelicum College, Philippines, from 20th to 21st September 2023. This biennial event is a result from collaborations of university partners in Malaysia, Thailand, Indonesia and Philippines. Increasing investment in digital technologies is a challenge faced by most countries after the crisis caused by COVID-19 and the demand of technological revolution 4.0. Indirectly, regardless of their level of development, they take into account the importance of redesigning strategies for resilient and sustainable regional economic development, increasing regional resilience and minimizing recovery costs as a basis for development. In such situation, this book gather discussion, viewpoints and findings on the recent works of mathematical and computing technology applications in order to propose solutions to overcome adversity of digital resilience. This book covers a wide range of topics on applied mathematics, which includes decision mathematics and also applied statistics covering statistical learning with applications. In addition, the book also highlight the latest application of statistical mining and data visualization, particularly on data mining, machine learning and data visualization. Editors believe this book will interest and influence researchers on the recent techniques, methodologies and applications to ensure digital resilience and support future research.

This book offers a gentle motivation and introduction to computational thinking, in particular to algorithms and how they can be coded to solve significant, topical problems from domains such as finance, cryptography, Web search, and data compression. The book is suitable for undergraduate students in computer science, engineering, and applied mathematics, university students in other fields, high-school students with an interest in STEM subjects, and professionals who want an insight into algorithmic solutions and the related mindset. While the authors assume only basic mathematical knowledge, they uphold the scientific rigor that is indispensable for transforming general ideas into executable algorithms. A supporting website contains examples and Python code for implementing the algorithms in the book.

The book is made up by several worked out problems concerning the application of reduced order modeling to different parametric partial differential equations problems with an increasing degree of complexity.This work is based on some experience acquired during lectures and exercises in classes taught at SISSA Mathematics Area in the Doctoral Programme “Mathematical Analysis, Modelling and Applications”, especially in computational mechanics classes, as well as regular courses previously taught at EPF Lausanne and during several summer and winter schools. The book is a companion for master and doctoral degree classes by allowing to go more deeply inside some partial differential equations worked out problems, examples and even exercises, but it is also addressed for researchers who are newcomers in computational mechanics with reduced order modeling. In order to discuss computational results for the worked out problems presented in this booklet, we will rely on the RBniCS Project. The RBniCS Project contains an implementation in FEniCS of the reduced order modeling techniques (such as certified reduced basis method and Proper Orthogonal Decomposition-Galerkin methods) for parametric problems that will be introduced in this booklet.

These are the proceedings of the 27th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in Prague, Czech Republic, in July 2022.Domain decomposition methods are iterative methods for solving the often very large systems of equations that arise when engineering problems are discretized, frequently using finite elements or other modern techniques. These methods are specifically designed to make effective use of massively parallel, high-performance computing systems.The book presents both theoretical and computational advances in this domain, reflecting the state of art in 2022.

This book presents the research outcomes from cooperative projects with industrial partners. It showcases the practical relevance of the research, features the knowledge exchange. The papers cover a wide range of engineering disciplines, highlighting the impact of these collaborations in addressing real-world challenges and advancing technological developments.

This book tackles the complexities of water management in India. Using computational tools, it provides comprehensive information on water availability, demand, climate change, integrated management, and governance. A must-read for researchers, policymakers, and water managers. The book is structured to provide a holistic understanding of water resources in India and the need for an integrated approach to their management. It explores various aspects of water management, including data collection and analysis, water allocation and planning, water quality management, and the intricate interdependencies within the water-energy-food nexus. One of the key focuses of this book is the application of computational approaches in the management of water resources. We explore the use of advanced modeling, simulation, and optimization techniques to facilitate decision making, assess water availability, and predict future scenarios. By employing computational tools, our goal is to bridge the gap between theoretical concepts and practical implementation, empowering water managers, policymakers, researchers, and other stakeholders to make informed and effective decisions. Throughout the book, we present case studies highlighting the application of computational approaches in diverse water management scenarios in India. These case studies offer valuable information on real-world challenges and demonstrate the potential of computational techniques to address complex water resources problems. We also explore the importance of stakeholder engagement, participatory approaches, and collaborative governance models, recognizing the importance of inclusive decision-making processes and local knowledge in achieving sustainable water management. The book is expected to serve as a valuable resource for students, researchers, professionals, and policymakers involved in water resource management in India. We aim to contribute to the ongoing efforts to ensure the availability of clean and adequate water resources for present and future generations.

This monograph presents a study of newly developed guaranteed computational methodologies for eigenvalue problems of self-adjoint differential operators. It focuses on deriving explicit lower and upper bounds for eigenvalues, as well as explicit estimations for eigenfunction approximations. Such explicit error estimations rely on the finite element method (FEM) along with a new theory of explicit quantitative error estimation, diverging from traditional studies that primarily focus on qualitative results. To achieve quantitative error estimation, the monograph begins with an extensive analysis of the hypercircle method, that is, the Prager–Synge theorem. It introduces a novel a priori error estimation technique based on the hypercircle method. This facilitates the explicit estimation of Galerkin projection errors for equations such as Poisson's and Stokes', which are crucial for obtaining lower eigenvalue bounds via conforming FEMs. A thorough exploration of the fundamental theory of projection-based explicit lower eigenvalue bounds under a general setting of eigenvalue problems is also offered. This theory is extensively detailed when applied to model eigenvalue problems associated with the Laplace, biharmonic, Stokes, and Steklov differential operators, which are solved by either conforming or non-conforming FEMs. Moreover, there is a detailed discussion on the Lehmann–Goerisch theorem for the purpose of high-precision eigenvalue bounds, showing its relationship with previously established theorems, such as Lehmann–Maehly's method and Kato's bound. The implementation details of this theorem with FEMs, a topic rarely covered in existing literature, are also clarified. Lastly, the monograph introduces three new algorithms to estimate eigenfunction approximation errors, revealing the potency of classical theorems. Algorithm I extends Birkhoff's result that works for simple eigenvalues to handle clustered eigenvalues, while Algorithm II generalizes the Davis–Kahan theorem, initially designed for strongly formulated eigenvalue problems, to address weakly formulated eigenvalue problems. Algorithm III utilizes the explicit Galerkin projection error estimation to efficiently handle Galerkin projection-based approximations.

This volume constitutes the refereed proceedings of Metaheuristics on 15th International Conference, MIC 2024, held in Lorient, France, during June 4–7, 2024. The 36 full papers presented together with 34 short papers were carefully reviewed and selected from 127 submissions. The conference focuses on artificial intelligence, combinatorial optimization, computer science, graph theory, evolutionary algorithms, genetic algorithms, simulated annealing, optimization, optimization problems.

This book is interdisciplinary and unites several areas of applied probability, statistics, and computational mathematics including computer experiments, optimal experimental design, and global optimization. The bulk of the book is based on several recent papers by the authors but also contains new results. Considering applications, this brief highlights multistart and other methods of global optimizations requiring efficient exploration of the domain of optimization. This book is accessible to a wide range of readers; the prerequisites for reading the book are rather low, and many numerical examples are provided that pictorially illustrate the main ideas, methods, and conclusions. The main purpose of this book is the construction of efficient exploration strategies of high-dimensional sets. In high dimensions, the asymptotic arguments could be practically misleading and hence the emphasis on the non-asymptotic regime. An important link with global optimization stems from the observation that approximate covering is one of the key concepts associated with multistart and other key random search algorithms. In addition to global optimization, important applications of the results are computer experiments and machine learning. It is demonstrated that the asymptotically optimal space-filling designs, such as pure random sampling or low-discrepancy point nets, could be rather inefficient in the non-asymptotic regime and the authors suggest ways of increasing the efficiency of such designs. The range of techniques ranges from experimental design, Monte Carlo, and asymptotic expansions in the central limit theorem to multivariate geometry, theory of lattices, and numerical integration. This book could be useful to a wide circle of readers, especially those specializing in global optimization, numerical analysis, computer experiments, and computational mathematics. As specific recipes for improving set exploration schemes are formulated, the book can also be used by the practitioners interested in applications only.

This book presents the state of the art in High-Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High-Performance Data Analytics. In addition, they explore new topics like the use of High-Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented in 2022 at the 33rd Workshop on Sustained Simulation Performance, WSSP33, held at HLRS in Stuttgart, Germany, and WSSP34, held at Tohoku University in Sendai, Japan.

This book, the fifth of 15 related monographs, presents systematically a theory of product-cubic nonlinear systems with constant and single-variable linear vector fields. The product-cubic vector field is a product of linear and quadratic different univariate functions. The hyperbolic and hyperbolic-secant flows with directrix flows in the cubic product system with a constant vector field are discussed first, and the cubic product systems with self-linear and crossing-linear vector fields are discussed. The inflection-source (sink) infinite equilibriums are presented for the switching bifurcations of a connected hyperbolic flow and saddle with hyperbolic-secant flow and source (sink) for the connected the separated hyperbolic and hyperbolic-secant flows. The inflection-sink and source infinite-equilibriums with parabola-saddles are presented for the switching bifurcations of a separated hyperbolic flow and saddle with a hyperbolic-secant flow and center. Readers learn new concepts, theory, phenomena, and analysis techniques, such as Constant and product-cubic systems, Linear-univariate and product-cubic systems, Hyperbolic and hyperbolic-secant flows, Connected hyperbolic and hyperbolic-secant flows, Separated hyperbolic and hyperbolic-secant flows, Inflection-source (sink) Infinite-equilibriums and Infinite-equilibrium switching bifurcations.

This book presents a thoughtful compilation of chapters derived from the proceedings of the 8th International Arab Conference on Mathematics and Computations (IACMC 2023), held at Zarqa University in Zarqa, Jordan, from 10–12 May 2023. Encompassing a broad spectrum of themes crucial to contemporary research and development, the book delved into subjects ranging from partial and differential equations to fractional calculus, from probability and statistics to graph theory, and from approximation theory to nonlinear dynamics. Moreover, it explores pivotal areas such as numerical analysis and methods, as well as fostering interdisciplinary mathematical research initiatives. Building upon the legacy of its predecessors, IACMC 2023 served as a premier platform for scholars, researchers and industry professionals to converge and exchange insights on a myriad of cutting-edge advancements and practical applications within the realm of mathematical sciences. This volume encapsulates the essence of IACMC 2023, offering readers a comprehensive overview of the latest breakthroughs and trends in mathematical sciences while serving as a testament to the collaborative spirit and intellectual vigor that define this esteemed conference series.

This book is the proceedings of the 4th International Conference on Advances in Computational Science and Engineering (ICACSE 2023, December 16–17, 2023, Manila, Philippines) and contains the selected peer-reviewed papers which reflect recent achievements in the field of application of the computational methods and algorithms in scientific research and engineering design. The papers presented covered topics such as advances in system integration, high-performance computing, modeling, and simulation, big data analytics, big data visualization, advanced networking and applications, cybersecurity, augmented and virtual reality, artificial intelligence and robotics, soft computing data science, and intelligent knowledge discovery. The book is useful, interesting, and informative for a wide range of scientists, engineers, and students.

This book offers an up-to-date introductory treatment of computational techniques applied to problems in finance, placing issues such as numerical stability, convergence and error analysis in both deterministic and stochastic settings at its core. The first part provides a welcoming but nonetheless rigorous introduction to the fundamental theory of option pricing, including European, American, and exotic options along with their hedge parameters, and combines a clear treatment of the mathematical framework with practical worked examples in Python. The second part explores the main computational methods for valuing options within the Black-Scholes framework: lattice, Monte Carlo, and finite difference methods. The third and final part covers advanced topics for the simulation of financial processes beyond the standard Black-Scholes setting. Techniques for the analysis and simulation of multidimensional financial data, including copulas, are covered and will be of interest to those studying machine learning for finance. There is also an in-depth treatment of exact and approximate sampling methods for stochastic differential equation models of interest rates and volatilities. Written for advanced undergraduate and masters-level courses, the book assumes some exposure to core mathematical topics such as linear algebra, ordinary differential equations, multivariate calculus, probability, and statistics at an undergraduate level. While familiarity with Python is not required, readers should be comfortable with basic programming constructs such as variables, loops, and conditional statements.

This book reports the developments of the Total Least Square (TLS) algorithms for parameter estimation and adaptive filtering. Specifically, it introduces the authors'latest achievements in the past 20 years, including the recursive TLS algorithms, the approximate inverse power iteration TLS algorithm, the neural based MCA algorithm, the neural based SVD algorithm, the neural based TLS algorithm, the TLS algorithms under non-Gaussian noises, performance analysis methods of TLS algorithms, etc. In order to faster the understanding and mastering of the new methods provided in this book for readers, before presenting each new method in each chapter, a specialized section is provided to review the closely related several basis models. Throughout the book, large of procedure of new methods are provided, and all new algorithms or methods proposed by us are tested and verified by numerical simulations or actual engineering applications. Readers will find illustrative demonstration examples on a range of industrial processes to study. Readers will find out the present deficiency and recent developments of the TLS parameter estimation fields, and learn from the the authors'latest achievements or new methods around the practical industrial needs. In my opinion, this book can be assimilated by advanced undergraduates and graduate students, as well as statisticians, because of the new tools in data analysis, applied mathematics experts, because of the novel theories and techniques that we propose, engineers, above all for the applications in control, system identification, computer vision, and signal processing.

This book presents the state-of-the-art in supercomputer simulation. It includes the latest findings from leading researchers using systems from the High Performance Computing Center Stuttgart (HLRS) in 2022. The reports cover all fields of computational science and engineering ranging from CFD to computational physics and from chemistry to computer science with a special emphasis on industrially relevant applications. Presenting findings of one of Europe's leading systems, this volume covers a wide variety of applications that deliver a high level of sustained performance.The book covers the main methods in high-performance computing. Its outstanding results in achieving the best performance for production codes are of particular interest for both scientists and engineers. The book comes with a wealth of color illustrations and tables of results.

This book offers an introduction to quantum technology that is specifically tailored to economists, students of economics, and professionals in the financial and payments industries. The book reviews quantum speedups that have been identified for algorithms used to solve and estimate economic models, including function approximation, linear systems analysis, graphical modeling, Monte Carlo simulation, matrix inversion, principal component analysis, linear regression, dynamic programming, interpolation, numerical differentiation, and true random number generation. It also provides an overview of quantum financial technology and its potential applications in economics and finance. Written by an interdisciplinary team with backgrounds in economics, computer science, and physics, this book offers a valuable guide for researchers and practitioners who want to understand the implications and possibilities of quantum technology for the field of economics.

This book gathers a selection of peer-reviewed papers presented at the 4th International Conference on Experimental and Computational Mechanics in Engineering (ICECME 2022), held as a virtual conference and organized by Universitas Syiah Kuala, Banda Aceh, Indonesia, on September 14–15, 2022.This book, prepared by international scientists and engineers, covers the latest advances in computational mechanics, metallurgy and material science, energy systems, manufacturing processing systems, industrial and system engineering, biomechanics, artificial intelligence, micro-/nano-engineering, micro-electro-mechanical system, machine learning, mechatronics, and engineering design. This book is intended for academics, including graduate students and researchers, as well as industrial practitioners working in the areas of experimental and computational mechanics.

This book is aimed at researchers specializing in the kinematics of robot mechanisms as well as at doctoral students in guiding their research work. A spectrum of the latest achievements in kinematics analysis, modelling, simulation, design and control is covered. New theories and methods are applied to serial, parallel and cable-driven mechanisms for use in industrial or service robotics. The systems range from being less than fully mobile to kinematically redundant and over-constrained. Forty-nine papers are included, arranged in seven chapters, as presented at the 19th Symposium on Advances in Robot Kinematics 2024. The symposium, which has been held since 1988, was organized this time in Ljubljana (Slovenia), where it began thirty-six years ago. The papers have been rigorously selected based on peer review and are arranged in chapters randomly, as is the prevailing tradition of these symposia. In doing so, we aim to give equal emphasis to each of these achievements.

This book introduces in a constructive manner a general framework for regression and fitting methods for many applications and tasks involving data on manifolds. The methodology has important and varied applications in machine learning, medicine, robotics, biology, computer vision, human biometrics, nanomanufacturing, signal processing, and image analysis, etc. The first chapter gives motivation examples, a wide range of applications, raised challenges, raised challenges, and some concerns. The second chapter gives a comprehensive exploration and step-by-step illustrations for Euclidean cases. Another dedicated chapter covers the geometric tools needed for each manifold and provides expressions and key notions for any application for manifold-valued data. All loss functions and optimization methods are given as algorithms and can be easily implemented. In particular, many popular manifolds are considered with derived and specific formulations. The same philosophy is used in all chapters and all novelties are illustrated with intuitive examples. Additionally, each chapter includes simulations and experiments on real-world problems for understanding and potential extensions for a wide range of applications.

Here is your in-depth guide to cryptography and cryptanalysis in Java. This book includes challenging cryptographic solutions that are implemented in Java 21 and Jakarta EE 11. It provides a robust introduction to Java 21's new features and updates, a roadmap for Jakarta EE 11 security mechanisms, a unique presentation of the'hot points'(advantages and disadvantages) from the Java Cryptography Architecture (JCA), a new chapter on Quantum cryptography, and more. The book dives into the classical simple cryptosystems that form the basis of modern cryptography, with fully working solutions (encryption/decryption operations). Pseudo-random generators are discussed as well as real-life implementations. Hash functions are covered along with practical cryptanalysis methods and attacks, asymmetric and symmetric encryption systems, signature and identification schemes. The book wraps up with a presentation of lattice-based cryptography and the NTRU framework library. Modern encryption schemes for cloud and big data environments (homomorphic encryption and searchable encryption) also are included. After reading and using this book, you will be proficient with crypto algorithms and know how to apply them to problems you may encounter. New to This Edition: The modernized Second Edition is updated to reflect the latest language features in Java 21 and Jakarta 11, along with the introduction of a new chapter on Quantum Cryptography (Chapter 6). What You Will Learn Develop programming skills for writing cryptography algorithms in Java Dive into security schemes and modules using Java Explore “good” vs “bad” cryptography based on processing execution times and reliability Play with pseudo-random generators, hash functions, etc. Leverage lattice-based cryptography methods, the NTRU framework library, and more Who This Book Is For Those who want to learn and leverage cryptography and cryptanalysis using Java. Some prior Java and/or algorithm programming exposure is highly recommended.

This book gathers the latest advances, innovations, and applications in the field of computational engineering, as presented by leading international researchers and engineers at the 29th International Conference on Computational & Experimental Engineering and Sciences (ICCES), held in Shenzhen, China on May 26-29, 2023. ICCES covers all aspects of applied sciences and engineering: theoretical, analytical, computational, and experimental studies and solutions of problems in the physical, chemical, biological, mechanical, electrical, and mathematical sciences. As such, the book discusses highly diverse topics, including composites; bioengineering & biomechanics; geotechnical engineering; offshore & arctic engineering; multi-scale & multi-physics fluid engineering; structural integrity & longevity; materials design & simulation; and computer modeling methods in engineering. The contributions, which were selected by means of a rigorous international peer-review process, highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.

This volume features a selection of technical papers presented at the workshop “The Fifth Workshop on Interdisciplinary Sciences (WIS 2023)'. Contributions from esteemed researchers and academics in applied mathematics, AI, and statistics offer valuable insights into their latest research. The papers also delve into interdisciplinary applications, spanning fields such as agriculture and economics, with strong emphasis on data analysis techniques. We hope this proceedings volume will serve as a valuable resource for scholars, researchers, and practitioners interested in the recent advancements and emerging trends in interdisciplinary sciences.

This book includes a collection of extended papers based on presentations given during the SimHydro 2023 conference, held in EDF Lab Chatou, France, with the support of Société Hydrotechnique de France (SHF), the Association Française de Mécanique (AFM), the Environmental and Water Resources Institute (EWRI), and the International Association for Hydro-Environment Engineering and Research (IAHR). SimHydro conferences, since 2010, have created a regular forum where major actors of the hydroinformatics domain and stakeholders meet, share, and debate about needs, innovations, and implementations of models and their inputs for decision making. For this new edition, the general theme of the conference is focused on “New modelling paradigms for water issues”. The papers address some of the key challenges faced by the water modelling community regarding processes to simulate such as water services, extreme events (floods, droughts, etc.), and hydrological cycle at catchment scale and to assess the added value of emerging concepts and methods such as Artificial Intelligence (AI) and Digital Twins that are gaining interests. It addresses the interests of practitioners, stakeholders, researchers, and engineers active in this field. This book represents Volume 2 of a two-volume book series.

This book gathers the latest advances, innovations, and applications in the field of computational engineering, as presented by leading international researchers and engineers at the 30th International Conference on Computational & Experimental Engineering and Sciences (ICCES), held in Singapore on August 3-6, 2024. ICCES covers all aspects of applied sciences and engineering: theoretical, analytical, computational, and experimental studies and solutions of problems in the physical, chemical, biological, mechanical, electrical, and mathematical sciences. As such, the book discusses highly diverse topics, including composites; bioengineering & biomechanics; geotechnical engineering; offshore & arctic engineering; multi-scale & multi-physics fluid engineering; structural integrity & longevity; materials design & simulation; and computer modeling methods in engineering. The contributions, which were selected by means of a rigorous international peer-review process, highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.

This volume explores a number of exciting developments in the field of nonlinear dispersive waves with a particular focus on waves arising in the ocean. Chapters are based on talks given at the workshop “Nonlinear Dispersive Waves” that was held at University College Cork, Ireland, on April 24-25, 2023. Specific topics covered include: The recovery of steady rotational wave surface profiles; Hamiltonian models for the propagation of long gravity waves; Waves propagating at the surface of a fluid covered by floating ice plates; The use of spherical coordinates to describe arctic ocean waves; Boundary value problems related to the Muskat Problem. Nonlinear Dispersive Waves will appeal to researchers as well as graduate students interested in this active area of research.

This book constitutes the refereed proceedings of the 14th International Conference on Large-Scale Scientific Computations, LSSC 2023, held in Sozopol, Bulgaria, during June 5–9, 2023. The 49 full papers included in this book were carefully reviewed and selected from 61 submissions. They were organized in topical sections as follows: preconditioning and multilevel methods; fractures and mixed dimensional modeling: discretizations, solvers, and methodology; machine learning and model order reduction for large scale predictive simulations; fractional differential problems: theoretical aspects, algorithms and applications; variational analysis and optimal control; stochastic optimal control and numerical methods in economics and finance; tensor methods for big data analytics and low-rank approximations of PDEs solutions; applications of metaheuristics to large-scale problems; large-scale models: numerical methods, parallel computations and applications; HPC and HPDA: algorithms and applications.

This volume constitutes the refereed proceedings of Metaheuristics on 15th International Conference, MIC 2024, held in Lorient, France, during June 4–7, 2024. The 36 full papers presented together with 34 short papers were carefully reviewed and selected from 127 submissions. The conference focuses on artificial intelligence, combinatorial optimization, computer science, graph theory, evolutionary algorithms, genetic algorithms, simulated annealing, optimization, optimization problems.

These proceedings gather selected, peer-reviewed papers presented at the IV International Conference on Mathematics and its Applications in Science and Engineering – ICMASE 2023, held on July 12–14, 2023 by the University Center of Technology and Digital Arts (U-tad) in Madrid, Spain.Papers in this volume cover new developments in applications of mathematics in science and engineering, with an emphasis on mathematical and computational modeling of real-world problems. Topics range from the use of differential equations to model mechanical structures to the employ of number theory in the development of information security and cryptography. Educational issues specific to the acquisition of mathematical competencies by engineering and science students at all university levels are also touched on.Researchers, practitioners, and university students can significantly benefit from this volume, especially those seeking advanced methods for applying mathematics to various contexts and fields.

This monograph provides a comprehensive study of the Riemann problem for systems of conservation laws arising in continuum physics. It presents the state-of-the-art on the dynamics of compressible fluids and mixtures that undergo phase changes, while remaining accessible to applied mathematicians and engineers interested in shock waves, phase boundary propagation, and nozzle flows. A large selection of nonlinear hyperbolic systems is treated here, including the Saint-Venant, van der Waals, and Baer-Nunziato models. A central theme is the role of the kinetic relation for the selection of under-compressible interfaces in complex fluid flows. This book is recommended to graduate students and researchers who seek new mathematical perspectives on shock waves and phase dynamics.

This book constitutes the proceedings of the 14th International Conference on Swarm Intelligence, ANTS 2024, which took place in Konstanz, Germany, during October 9-11, 2024. The 14 full papers and 5 short papers included in this book were carefully reviewed and selected from 33 submissions. They deal with self-organizing processes both in nature and in artificial systems.

This book covers the basics of numerical methods. Avoiding the definition-theorem-proof style, it instead focuses on numerical examples and simple pseudo-codes. The text begins with a chapter on floating point arithmetic before moving on to discuss norms, conditions numbers, solutions of systems of equations, the least squares problem, eigenvalue problems, interpolation, numerical integration, ordinary differential equations, optimization (including a detailed case study), and practical error estimations. Exercises (partly in MATLAB) are provided at the end of each chapter. Suitable for readers with minimal mathematical knowledge, the book not only offers an elementary introduction to numerical mathematics for programmers and engineers but also provides supporting material for students and teachers of mathematics.

Modern complex multi-domain systems require increased efficiency, reliability and availability combined with reduced cost. This book contains papers on mathematical modeling and simulation of processes in various areas: in ecology and the environment, production and energy, information technology, samples of special purpose equipment, and cyber-physical systems. The outcomes presented in the book will be useful to specialists involved in the modeling and simulation of real-world system, management and decision-making models, production models, and software products. Scientists have the opportunity to familiarize themselves with the latest research in a variety of solutions proposed by leading scientists and to determine promising directions for solving complex scientific and practical tasks. Chapters of this book contain papers presented at the 18th MODS International Conference, November 13–15, 2023, Chernihiv, Ukraine.

This monograph explores the dynamics in the particular but very important and significant case of quasi-integrable Hamiltonian systems, or integrable systems slightly perturbed by other forces. With both analytic and numerical methods, the book studies several of these systems - such as the hydrogen atom and the solar system, with the associated Arnold web - through modern tools such as the frequency-modified Fourier transform, wavelets, and the frequency-modulation indicator. Meanwhile, it draws heavily on the more standard KAM and Nekhoroshev theorems. Geography of Order and Chaos in Mechanics contains many figures that illuminate its concepts in novel ways, but perhaps its most useful feature is its inclusion of software to reproduce the various numerical experiments. The graphical user interfaces of five supplied MATLAB programs allows readers without any knowledge of computer programming to visualize and experiment with the distribution of order, chaos and resonances in various Hamiltonian systems. This monograph will be a valuable resource for professional researchers and certain advanced undergraduate students in mathematics and physics, as well as an exceptional reference for PhD students with an interest in perturbation theory. The Second Edition includes a new chapter on theoretical and numerical results in the study of the solar system's (in)stability obtained since publication of the First Edition, clarifying the topological mechanism that causes the sudden increase in Mercury's eccentricity. An updated version of the companion software is also provided, which contains new features and better Graphical User Interfaces. Thanks to the compiled versions, all the software can be used even if the user does not have access to a MATLAB installation.

This book includes a collection of extended papers based on presentations given during the SimHydro 2023 conference, held in EDF Lab Chatou, France, with the support of Société Hydrotechnique de France (SHF), the Association Française de Mécanique (AFM), the Environmental and Water Resources Institute (EWRI), and the International Association for Hydro-Environment Engineering and Research (IAHR). SimHydro conferences, since 2010, have created a regular forum where major actors of the hydroinformatics domain and stakeholders meet, share, and debate about needs, innovations, and implementations of models and their inputs for decision making. For this new edition, the general theme of the conference is focused on “New modelling paradigms for water issues”. The papers address some of the key challenges faced by the water modelling community regarding processes to simulate such as water services, extreme events (floods, droughts, etc.), and hydrological cycle at catchment scale and to assess the added value of emerging concepts and methods such as Artificial Intelligence (AI) and Digital Twins that are gaining interests. It addresses the interests of practitioners, stakeholders, researchers, and engineers active in this field. This book represents Volume 1 of a two-volume book series.

This book aims to provide with some approaches for lessening the unknowns of the FE methods of unsteady PDEs. It provides a very detailed theoretical foundation of finite element (FE) and mixed finite element (MFE) methods in the first 2 chapters, and then Chapter 3 provides the FE and MFE methods to solve unsteady partial differential equations (PDEs). In the following 2 chapters, the principle and application of two proper orthogonal decomposition (POD) methods are introduced in detail. This book can be used as both the introduction of FE method and the gateway to the FE frontier. For readers who want to learn the FE and MFE methods for solving various steady and unsteady PDEs, they will find the first 3 chapters very helpful. While those who care about engineering applications may jump to the last 2 chapters that introduce the construction of dimension reduction models and their applications to practical process calculations. This part could help them to improve the calculation efficiency and save CPU runtime so as to do wonders for their engineering calculations.

Microcirculation is a key area of interest within the realms of biology and medicine. As a vital discipline, microcirculatory biology forms a significant part of established medical fields like cardiovascular medicine and oncology, and is increasingly relevant in emerging fields such as neuroscience. With its multifaceted nature, the study of microcirculation has evolved from basic observations and experiments to embrace cutting-edge imaging technologies, quantitative methods, and the power of data science. This volume brings together a series of insightful chapters that highlight the latest trends in modeling microcirculation. It casts a spotlight on the vital role of microcirculation in brain function modeling and the innovative applications of microvascular models in oncology. Readers will be introduced to state-of-the-art methodologies of microcirculation modeling. A key focus is on mixed-dimensional models, mathematical methods adept at describing complex interactions within lower dimensional manifolds. Each chapter thoughtfully navigates the mathematical, computational, and practical challenges of these approaches, underscoring their effectiveness in capturing the essence of microcirculation. This book offers a window into the latest advancements and methodologies that are shaping the future of this vital field.

This book provides a concise and comprehensive introduction to several basic methods with more attention to their theoretical basis and applications in fluid dynamics. Furthermore, some new ideas are presented in this book, for example, a method to solve the transition matrix by difference operator transformation. For this method, the book gives the definition of Fourier integral transformation of translation operator, and proves the transition matrix equaling to the differential operator transformation, so that it is extended to general situations of explicit, implicit, multi-layer difference equations, etc. This flexible approach is also used in the differential part. In addition, the book also includes six types of equivalent stability definitions in two ways and deeply analyzes their errors, stabilities and convergences of the difference equations. What is more important, some new scientific contributions on lattice Boltzmann method (LBM) in recent years are presented in the book as well. The authors write the book combining their ten years teaching experience and research results and this book is intended for graduate students who are interested in the area of computational fluid dynamics (CFD). Authors list some new research achievements, such as simplified lattice Boltzmann method, the simplified lattice Boltzmann flux solver and discrete unified gas kinetic scheme, and expect that this new information could give readers possible further investigating ideas in their future research on CFD area.

This book highlights a comprehensive introduction to the principles and calculation methods of computational optical imaging. Integrating optical imaging and computing technology to achieve significant performance improvements, computational optical imaging has become an active research field in optics. It has given rise to the emerging of new concepts such as computational imaging, computational measurement and computational photography. As high-performance image detectors make image measurements discrete and digital, images are mostly recorded in the form of discrete data, almost replacing the continuous medium used for pattern recording. Computational optical imaging technology has become an effective way for people to study microscopic imaging. At present, different imaging systems are composed of continuous optical elements such as lenses and prisms or discrete optical elements such as spatial light modulators or digital micro-mirror devices. The current computing technology has permeated all aspects of imaging systems and gradually promotes the digitization of optical imaging systems. This book summarizes the representative work done in this field and introduces the latest results. Computing technology plays an important bridging role between theories of optics and experimental systems, which inspires more comprehensive and in-depth research. It has the advantages of high repeatability, flexibility, strong computing power and low cost. In this multidisciplinary field, researchers in computer science, optics and information science have joined together to extend its depth and breadth. Targeting cutting-edge issues to be solved in computational optics, this book introduces a variety of methods that involve theoretical innovations and technical breakthroughs in imaging resolution, the field of view, imaging speed, and computing speed. It intends to provide a handy reference and technical support for graduate students, researchers and professionals engaged in the study and practice of computational optical imaging.

The book is devoted to the study of approximate solutions of fixed point problems in the presence of computational errors. It begins with a study of approximate solutions of star-shaped feasibility problems in the presence of perturbations. The goal is to show the convergence of algorithms, which are known as important tools for solving convex feasibility problems and common fixed point problems.The text also presents studies of algorithms based on unions of nonexpansive maps, inconsistent convex feasibility problems, and split common fixed point problems. A number of algorithms are considered for solving convex feasibility problems and common fixed point problems. The book will be of interest for researchers and engineers working in optimization, numerical analysis, and fixed point theory. It also can be useful in preparation courses for graduate students. The main feature of the book which appeals specifically to this audience is the study of the influence of computational errorsfor several important algorithms used for nonconvex feasibility problems.

This book presents the theory of matrix algebra for statistical applications, explores various types of matrices encountered in statistics, and covers numerical linear algebra. Matrix algebra is one of the most important areas of mathematics in data science and in statistical theory, and previous editions had essential updates and comprehensive coverage on critical topics in mathematics.This 3rd edition offers a self-contained description of relevant aspects of matrix algebra for applications in statistics. It begins with fundamental concepts of vectors and vector spaces; covers basic algebraic properties of matrices and analytic properties of vectors and matrices in multivariate calculus; and concludes with a discussion on operations on matrices, in solutions of linear systems and in eigenanalysis. It also includes discussions of the R software package, with numerous examples and exercises.Matrix Algebra considers various types of matrices encountered in statistics, such as projection matrices and positive definite matrices, and describes special properties of those matrices; as well as describing various applications of matrix theory in statistics, including linear models, multivariate analysis, and stochastic processes. It begins with a discussion of the basics of numerical computations and goes on to describe accurate and efficient algorithms for factoring matrices, how to solve linear systems of equations, and the extraction of eigenvalues and eigenvectors. It covers numerical linear algebra—one of the most important subjects in the field of statistical computing. The content includes greater emphases on R, and extensive coverage of statistical linear models. Matrix Algebra is ideal for graduate and advanced undergraduate students, or as a supplementary text for courses in linear models or multivariate statistics. It's also ideal for use in a course in statistical computing, or as a supplementary text forvarious courses that emphasize computations.

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 Newton's 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.

This book gathers selected papers presented at the Asia-Pacific Conference on Applied Mathematics and Statistics held on June 24–26, 2023, in Chongqing, China. It presents the most recent research and advances in various areas of applied mathematics and statistics, span from mathematical theory, calculation, modeling, simulation, to applications such as big data and image processing.

This contributed volume collects papers presented during a special session on integral methods in science and engineering at the 2023 International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE), held in Cadiz, Spain from July 3-8, 2023. Covering the applications of integral methods to scientific developments in a variety of fields, the chapters in this volume are written by well-known researchers in their respective disciplines and present new results in both pure and applied mathematics. Each chapter shares a common methodology based on a combination of analytic and computational tools, an approach that makes this collection a valuable, multidisciplinary reference on how mathematics can be applied to various real-world processes and phenomena.