Search

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. This volume, Part I, contains the proceedings of the Colloquium in honor of Rocco De Nicola's 70th birthday, held jointly with the ISOLA 2024's track on REoCAS (Rigorous Engineering of Collective Adaptive Systems). Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification. The Colloquium features one homage paper and 23 contributions from invited authors who reflected upon these developments within the context of Rocco's much broader legacy in concurrency theory, distributed systems, domain-specific languages, service-oriented computing, and formal methods, exploring his recent contributions to cybersecurity.

This book presents the refereed proceedings of the 15th International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held in Linz, Austria, and organized by the Johannes Kepler University Linz and the Austrian Academy of Sciences, in July 2022. These biennial conferences are major events for Monte Carlo and quasi-Monte Carlo researchers. The proceedings include articles based on invited lectures as well as carefully selected contributed papers on all theoretical aspects and applications of Monte Carlo and quasi-Monte Carlo methods. Offering information on the latest developments in these highly active areas, this book is an excellent reference resource for theoreticians and practitioners interested in solving high-dimensional computational problems, in particular arising in finance, statistics and computer graphics.

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions.

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 constitutes the refereed proceedings of the Third Southwest Data Science Conference, on Recent advances in next-generation data science, SDSC 2024, held in Waco, TX, USA, in March 22, 2024. The 15 full papers presented were carefully reviewed and selected from 59 submissions. These papers focus on AI security in next-generation data science and address a range of challenges, from protecting sensitive data to mitigating adversarial threats.

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 constitutes the refereed proceedings of the First Southwest Data Science Conference, on The Recent Advances in Transdisciplinary Data Science, SDSC 2022, held in Waco, TX, USA, during March 25–26, 2022.The 14 full papers and 2 short papers included in this book were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: Business and social data science; Health and biological data science; Applied data science, artificial intelligence, and data engineering.

Integration of IoT with Cloud Computing for Smart Applications provides an integrative overview of the Internet of Things (IoT) and cloud computing to be used for the various futuristic and intelligent applications. The aim of this book is to integrate IoT and cloud computing to translate ordinary resources into smart things. Discussions in this book include a broad and integrated perspective on the collaboration, security, growth of cloud infrastructure, and real-time data monitoring.Features: Presents an integrated approach to solve the problems related to security, reliability, and energy consumption. Explains a unique approach to discuss the research challenges and opportunities in the field of IoT and cloud computing. Discusses a novel approach for smart agriculture, smart healthcare systems, smart cities and many other modern systems based on machine learning, artificial intelligence, and big data, etc. Information presented in a simplified way for students, researchers, academicians and scientists, business innovators and entrepreneurs, management professionals and practitioners. This book can be great reference for graduate and postgraduate students, researchers, and academicians working in the field of computer science, cloud computing, artificial intelligence, etc.

Artificial Intelligence for Capital Market throws light on the application of AI/ML techniques in the financial capital markets. This book discusses the challenges posed by the AI/ML techniques as these are prone to'black box'syndrome. The complexity of understanding the underlying dynamics for results generated by these methods is one of the major concerns which is highlighted in this book.Features: Showcases artificial intelligence in finance service industry Explains credit and risk analysis Elaborates on cryptocurrencies and blockchain technology Focuses on the optimal choice of asset pricing model Introduces testing of market efficiency and forecasting in the Indian stock market This book serves as a reference book for academicians, industry professionals, traders, finance managers and stock brokers. It may also be used as textbook for graduate level courses in financial services and financial analytics.

This book gathers peer-reviewed contributions submitted to the 21st European Conference on Mathematics for Industry, ECMI 2021, which was virtually held online, hosted by the University of Wuppertal, Germany, from April 13th to April 15th, 2021. The works explore mathematics in a wide variety of applications, ranging from problems in electronics, energy and the environment, to mechanics and mechatronics. Topics covered include: Applied Physics, Biology and Medicine, Cybersecurity, Data Science, Economics, Finance and Insurance, Energy, Production Systems, Social Challenges, and Vehicles and Transportation. The goal of the European Consortium for Mathematics in Industry (ECMI) conference series is to promote interaction between academia and industry, leading to innovations in both fields. These events have attracted leading experts from business, science and academia, and have promoted the application of novel mathematical technologies to industry. They have also encouraged industrial sectors to share challenging problems where mathematicians can provide fresh insights and perspectives. Lastly, the ECMI conferences are one of the main forums in which significant advances in industrial mathematics are presented, bringing together prominent figures from business, science and academia to promote the use of innovative mathematics in industry.

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.• The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. •The conference was held in a hybrid formatChapter “GPU Accelerated Modelling and Forecasting for Large Time Series” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Sparse grids are a popular tool for the numerical treatment of high-dimensional problems. Where classical numerical discretization schemes fail in more than three or four dimensions, sparse grids, in their different flavors, are frequently the method of choice.This volume of LNCSE presents selected papers from the proceedings of the fifth workshop on sparse grids and applications, and demonstrates once again the importance of this numerical discretization scheme. The articles present recent advances in the numerical analysis of sparse grids in connection with a range of applications including uncertainty quantification, plasma physics simulations, and computational chemistry, to name but a few.

The developments in mesh generation are usually driven by the needs of new applications and/or novel algorithms. The last decade has seen a renewed interest in mesh generation and adaptation by the computational engineering community, due to the challenges introduced by complex industrial problems.Another common challenge is the need to handle complex geometries. Nowadays, it is becoming obvious that geometry should be persistent throughout the whole simulation process. Several methodologies that can carry the geometric information throughout the simulation stage are available, but due to the novelty of these methods, the generation of suitable meshes for these techniques is still the main obstacle for the industrial uptake of this technology.This book will cover different aspects of mesh generation and adaptation, with particular emphasis on cutting-edge mesh generation techniques for advanced discretisation methods and complex geometries.

The technologies applied in design studies vary from basic theories to more application-based systems, and intelligence engineering technologies – such as computer-aided industrial design, human factor design, and greenhouse design – play a significant role in design science. Intelligence engineering technologies encompass both theoretical and application perspectives, such as computational technologies, sensing technologies, and video detection. Intelligence engineering is multidisciplinary in nature, promoting cooperation, exchange and discussion between organizations and researchers from diverse fields. This book presents the proceedings of DSIE2021, the 2021 International Symposium on Design Studies and Intelligence Engineering, held in Hangzhou, China, on 27 & 28 November 2021. This annual conference invites renowned experts from around the world to speak on their specialist topics, providing a platform for many professionals and researchers from industry and academia to exchange and discuss recent advances in the field of design studies and intelligence engineering. The 210 submissions received were rigorously reviewed, and each of the 50 papers presented here was selected based on scores from three or four referees. Papers cover a very wide range of topics, from the design of a pneumatic soft finger with two joints, and the emotion of texture, to the design evaluation of a health management terminal for the elderly, and a multi-robot planning algorithm with quad tree map division for obstacles of irregular shape. Providing a varied overview of recent developments in design and intelligence engineering, this book will be of interest to researchers and all those working in the field.

This book constitutes the proceedings of the Third International Workshop on Explainable, Transparent AI and Multi-Agent Systems, EXTRAAMAS 2021, which was held virtually due to the COVID-19 pandemic.The 19 long revised papers and 1 short contribution were carefully selected from 32 submissions. The papers are organized in the following topical sections: XAI & machine learning; XAI vision, understanding, deployment and evaluation; XAI applications; XAI logic and argumentation; decentralized and heterogeneous XAI.

Explains the mathematics, theory, and methods of Big Data as applied to finance and investing Data science has fundamentally changed Wall Street—applied mathematics and software code are increasingly driving finance and investment-decision tools. Big Data Science in Finance examines the mathematics, theory, and practical use of the revolutionary techniques that are transforming the industry. Designed for mathematically-advanced students and discerning financial practitioners alike, this energizing book presents new, cutting-edge content based on world-class research taught in the leading Financial Mathematics and Engineering programs in the world. Marco Avellaneda, a leader in quantitative finance, and quantitative methodology author Irene Aldridge help readers harness the power of Big Data. Comprehensive in scope, this book offers in-depth instruction on how to separate signal from noise, how to deal with missing data values, and how to utilize Big Data techniques in decision-making. Key topics include data clustering, data storage optimization, Big Data dynamics, Monte Carlo methods and their applications in Big Data analysis, and more. This valuable book: Provides a complete account of Big Data that includes proofs, step-by-step applications, and code samples Explains the difference between Principal Component Analysis (PCA) and Singular Value Decomposition (SVD) Covers vital topics in the field in a clear, straightforward manner Compares, contrasts, and discusses Big Data and Small Data Includes Cornell University-tested educational materials such as lesson plans, end-of-chapter questions, and downloadable lecture slides Big Data Science in Finance: Mathematics and Applications is an important, up-to-date resource for students in economics, econometrics, finance, applied mathematics, industrial engineering, and business courses, and for investment managers, quantitative traders, risk and portfolio managers, and other financial practitioners.

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.•The total of 260 full papers and 57 short papers presented in this book set were carefully reviewed and selected from 635 submissions. 48 full and 14 short papers were accepted to the main track from 156 submissions; 212 full and 43 short papers were accepted to the workshops/ thematic tracks from 479 submissions. The papers were organized in topical sections named:Part I: ICCS Main Track Part II: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Biomedical and Bioinformatics Challenges for Computer Science Part III: Classifier Learning from Difficult Data; Computational Analysis of Complex Social Systems; Computational Collective Intelligence; Computational Health Part IV: Computational Methods for Emerging Problems in (dis-)Information Analysis; Computational Methods in Smart Agriculture; Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems Part V: Computer Graphics, Image Processing and Artificial Intelligence; Data-Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; MeshFree Methods and Radial Basis Functions in Computational Sciences; Multiscale Modelling and Simulation Part VI: Quantum Computing Workshop; Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainty; Teaching Computational Science; Uncertainty Quantification for Computational Models •The conference was held virtually.Chapter “Effective Solution of Ill-posed Inverse Problems with Stabilized Forward Solver” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in Nagoya, Japan, in November 2020. The 19 full papers presented and 13 short papers were carefully reviewed and selected from 50 submissions.Due to COVID-19, the conference was held online. The conference covers a wide range of ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.•The total of 260 full papers and 57 short papers presented in this book set were carefully reviewed and selected from 635 submissions. 48 full and 14 short papers were accepted to the main track from 156 submissions; 212 full and 43 short papers were accepted to the workshops/ thematic tracks from 479 submissions. The papers were organized in topical sections named:Part I: ICCS Main Track Part II: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Biomedical and Bioinformatics Challenges for Computer Science Part III: Classifier Learning from Difficult Data; Computational Analysis of Complex Social Systems; Computational Collective Intelligence; Computational Health Part IV: Computational Methods for Emerging Problems in (dis-)Information Analysis; Computational Methods in Smart Agriculture; Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems Part V: Computer Graphics, Image Processing and Artificial Intelligence; Data-Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; MeshFree Methods and Radial Basis Functions in Computational Sciences; Multiscale Modelling and Simulation Part VI: Quantum Computing Workshop; Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainty; Teaching Computational Science; Uncertainty Quantification for Computational Models •The conference was held virtually.

This collection of selected papers presented at the 12th International Conference on Scientific Computing in Electrical Engineering, SCEE 2018, held in Taormina, Sicily, Italy, in September 2018, showcases the state of the art in SCEE.The aim of the SCEE 2018 conference was to bring together scientists from academia and industry, mathematicians, electrical engineers, computer scientists, and physicists, and to promote intensive discussions on industrially relevant mathematical problems, with an emphasis on the modeling and numerical simulation of electronic circuits and of electromagnetic fields. This extensive reference work is divided into five parts: Computational Electromagnetics, Device Modeling and Simulation, Circuit Simulation, Mathematical and Computational Methods, Model Order Reduction. Each part starts with a general introduction, followed by the respective contributions. The book will appeal to mathematicians and electrical engineers. Further, it introduces algorithm and program developers to recent advances in the other fields, while industry experts will be introduced to new programming tools and mathematical methods.

This three volume set (CCIS 1237-1239) constitutes the proceedings of the 18th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2020, in June 2020. The conference was scheduled to take place in Lisbon, Portugal, at University of Lisbon, but due to COVID-19 pandemic it was held virtually. The 173 papers were carefully reviewed and selected from 213 submissions. The papers are organized in topical sections: homage to Enrique Ruspini; invited talks; foundations and mathematics; decision making, preferences and votes; optimization and uncertainty; games; real world applications; knowledge processing and creation; machine learning I; machine learning II; XAI; image processing; temporal data processing; text analysis and processing; fuzzy interval analysis; theoretical and applied aspects of imprecise probabilities; similarities in artificial intelligence; belief function theory and its applications; aggregation: theory and practice; aggregation: pre-aggregation functions and other generalizations of monotonicity; aggregation: aggregation of different data structures; fuzzy methods in data mining and knowledge discovery; computational intelligence for logistics and transportation problems; fuzzy implication functions; soft methods in statistics and data analysis; image understanding and explainable AI; fuzzy and generalized quantifier theory; mathematical methods towards dealing with uncertainty in applied sciences; statistical image processing and analysis, with applications in neuroimaging; interval uncertainty; discrete models and computational intelligence; current techniques to model, process and describe time series; mathematical fuzzy logic and graded reasoning models; formal concept analysis, rough sets, general operators and related topics; computational intelligence methods in information modelling, representation and processing.

This book constitutes selected papers of the ​Third International Conference on Data Science, Medicine and Bioinformatics, IDMB 2019, held in Nanning, China, in June 2019. The 19 full papers and 1 short paper were carefully reviewed and selected from 93 submissions. The papers are organized according to the following topical sections: business data science: fintech, management, and analytics.- health and biological data science.- novel data science theory and applications.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.•The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track and 489 submissions to the workshops). The papers were organized in topical sections named:Part I: ICCS Main TrackPart II: ICCS Main TrackPart III: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Agent-Based Simulations, Adaptive Algorithms and Solvers; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Biomedical and Bioinformatics Challenges for Computer SciencePart IV: Classifier Learning from Difficult Data; Complex Social Systems through the Lens of Computational Science; Computational Health; Computational Methods for Emerging Problems in (Dis-)Information AnalysisPart V: Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems; Computer Graphics, Image Processing and Artificial IntelligencePart VI: Data Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; Meshfree Methods in Computational Sciences; Multiscale Modelling and Simulation; Quantum Computing Workshop Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainties; Teaching Computational Science; UNcErtainty QUantIficatiOn for ComputationAl modeLs•The conference was canceled due to the COVID-19 pandemic.Chapter ‘APE: A Command-Line Tool and API for Automated Workflow Composition'is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

The seven-volume set LNCS 12137, 12138, 12139, 12140, 12141, 12142, and 12143 constitutes the proceedings of the 20th International Conference on Computational Science, ICCS 2020, held in Amsterdam, The Netherlands, in June 2020.•The total of 101 papers and 248 workshop papers presented in this book set were carefully reviewed and selected from 719 submissions (230 submissions to the main track and 489 submissions to the workshops). The papers were organized in topical sections named:Part I: ICCS Main Track Part II: ICCS Main Track Part III: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Agent-Based Simulations, Adaptive Algorithms and Solvers; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Biomedical and Bioinformatics Challenges for Computer SciencePart IV: Classifier Learning from Difficult Data; Complex Social Systems through the Lens of Computational Science; Computational Health; Computational Methods for Emerging Problems in (Dis-)Information AnalysisPart V: Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems; Computer Graphics, Image Processing and Artificial IntelligencePart VI: Data Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; Meshfree Methods in Computational Sciences; Multiscale Modelling and Simulation; Quantum Computing Workshop Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainties; Teaching Computational Science; UNcErtainty QUantIficatiOn for ComputationAl modeLs•The conference was canceled due to the COVID-19 pandemic.

This book introduces the reader to solving partial differential equations (PDEs) numerically using element-based Galerkin methods. Although it draws on a solid theoretical foundation (e.g. the theory of interpolation, numerical integration, and function spaces), the book's main focus is on how to build the method, what the resulting matrices look like, and how to write algorithms for coding Galerkin methods. In addition, the spotlight is on tensor-product bases, which means that only line elements (in one dimension), quadrilateral elements (in two dimensions), and cubes (in three dimensions) are considered. The types of Galerkin methods covered are: continuous Galerkin methods (i.e., finite/spectral elements), discontinuous Galerkin methods, and hybridized discontinuous Galerkin methods using both nodal and modal basis functions. In addition, examples are included (which can also serve as student projects) for solving hyperbolic and elliptic partial differential equations, includingboth scalar PDEs and systems of equations.

The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019. The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track; Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Track of Agent-Based Simulations, Adaptive Algorithms and Solvers; Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning; Track of Architecture, Languages, Compilation and Hardware Support for Emerging and Heterogeneous Systems Part III: Track of Biomedical and Bioinformatics Challenges for Computer Science; Track of Classifier Learning from Difficult Data; Track of Computational Finance and Business Intelligence; Track of Computational Optimization, Modelling and Simulation; Track of Computational Science in IoT and Smart Systems Part IV: Track of Data-Driven Computational Sciences; Track of Machine Learning and Data Assimilation for Dynamical Systems; Track of Marine Computing in the Interconnected World for the Benefit of the Society; Track of Multiscale Modelling and Simulation; Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation Part V: Track of Smart Systems: Computer Vision, Sensor Networks and Machine Learning; Track of Solving Problems with Uncertainties; Track of Teaching Computational Science; Poster Track ICCS 2019 Chapter “Comparing Domain-decomposition Methods for the Parallelization of Distributed Land Surface Models” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track; Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Track of Agent-Based Simulations, Adaptive Algorithms and Solvers; Track of Applications of Matrix Methods in Artificial Intelligence and Machine Learning; Track of Architecture, Languages, Compilation and Hardware Support for Emerging and Heterogeneous Systems Part III: Track of Biomedical and Bioinformatics Challenges for Computer Science; Track of Classifier Learning from Difficult Data; Track of Computational Finance and Business Intelligence; Track of Computational Optimization, Modelling and Simulation; Track of Computational Science in IoT and Smart Systems Part IV: Track of Data-Driven Computational Sciences; Track of Machine Learning and Data Assimilation for Dynamical Systems; Track of Marine Computing in the Interconnected World for the Benefit of the Society; Track of Multiscale Modelling and Simulation; Track of Simulations of Flow and Transport: Modeling, Algorithms and Computation Part V: Track of Smart Systems: Computer Vision, Sensor Networks and Machine Learning; Track of Solving Problems with Uncertainties; Track of Teaching Computational Science; Poster Track ICCS 2019Chapter “Comparing Domain-decomposition Methods for the Parallelization of Distributed Land Surface Models” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book collects many of the presented papers, as plenary presentations, mini-symposia invited presentations, or contributed talks, from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) 2017. The conference was organized by the University of Bergen, Norway from September 25 to 29, 2017. Leading experts in the field presented the latest results and ideas in the designing, implementation, and analysis of numerical algorithms as well as their applications to relevant, societal problems.ENUMATH is a series of conferences held every two years to provide a forum for discussing basic aspects and new trends in numerical mathematics and scientific and industrial applications. These discussions are upheld at the highest level of international expertise. The first ENUMATH conference was held in Paris in 1995 with successive conferences being held at various locations across Europe, including Heidelberg (1997), Jyvaskyla (1999), lschia Porto (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011), Lausanne (2013), and Ankara (2015).

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on High Performance Computing in Science and Engineering, HPCSE 2017, held in Karolinka, Czech Republic, in May 2017.The 15 papers presented in this volume were carefully reviewed and selected from 20 submissions. The conference provides an international forum for exchanging ideas among researchers involved in scientific and parallel computing, including theory and applications, as well as applied and computational mathematics. The focus of HPCSE 2017 was on models, algorithms, and software tools which facilitate efficient and convenient utilization of modern parallel and distributed computing architectures, as well as on large-scale applications.

This book comprises the proceedings of the 4th International Conference on Computational Engineering (ICCE 2017), held in Darmstadt, Germany on September 28-29, 2017. The conference is intended to provide an interdisciplinary meeting place for researchers and practitioners working on computational methods in all disciplines of engineering, applied mathematics and computer science. The aims of the conference are to discuss the state of the art in this challenging field, exchange experiences, develop promising perspectives for future research and initiate further cooperation.Computational Engineering is a modern and multidisciplinary science for computer-based modeling, simulation, analysis, and optimization of complex engineering applications and natural phenomena. The book contains an overview of selected approaches from numerics and optimization of Partial Differential Equations as well as uncertainty quantification techniques, typically in multiphysics environments. Where possible, application cases from engineering are integrated.The book will be of interest to researchers and practitioners of Computational Engineering, Applied Mathematics, Engineering Sciences and Computer Science.

This book gathers a collection of extended papers based on presentations given during the SimHydro 2017 conference, held in Sophia Antipolis, Nice, France on June 14–16, 2017. It focuses on how to choose the right model in applied hydraulics and considers various aspects, including the modeling and simulation of fast hydraulic transients, 3D modeling, uncertainties and multiphase flows. The book explores both limitations and performance of current models and presents the latest developments in new numerical schemes, high-performance computing, multiphysics and multiscale methods, and better interaction with field or scale model data. It gathers the lastest theoretical and innovative developments in the modeling field and presents some of the most advance applications on various water related topics like uncertainties, flood simulation and complex hydraulic applications. Given its breadth of coverage, it addresses the needs and interests of practitioners, stakeholders, researchers and engineers alike.

The YUIMA package is the first comprehensive R framework based on S4 classes and methods which allows for the simulation of stochastic differential equations driven by Wiener process, Lévy processes or fractional Brownian motion, as well as CARMA, COGARCH, and Point processes. The package performs various central statistical analyses such as quasi maximum likelihood estimation, adaptive Bayes estimation, structural change point analysis, hypotheses testing, asynchronous covariance estimation, lead-lag estimation, LASSO model selection, and so on. YUIMA also supports stochastic numerical analysis by fast computation of the expected value of functionals of stochastic processes through automatic asymptotic expansion by means of the Malliavin calculus. All models can be multidimensional, multiparametric or non parametric.The book explains briefly the underlying theory for simulation and inference of several classes of stochastic processes and then presents both simulation experiments and applications to real data. Although these processes have been originally proposed in physics and more recently in finance, they are becoming popular also in biology due to the fact the time course experimental data are now available. The YUIMA package, available on CRAN, can be freely downloaded and this companion book will make the user able to start his or her analysis from the first page.

This book presents the refereed proceedings of the Twelfth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at Stanford University (California) in August 2016. These biennial conferences are major events for Monte Carlo and quasi-Monte Carlo researchers. The proceedings include articles based on invited lectures as well as carefully selected contributed papers on all theoretical aspects and applications of Monte Carlo and quasi-Monte Carlo methods. Offering information on the latest developments in these very active areas, this book is an excellent reference resource for theoreticians and practitioners interested in solving high-dimensional computational problems, arising in particular, in finance, statistics, computer graphics and the solution of PDEs.

This collection of selected papers presented at the 11th International Conference on Scientific Computing in Electrical Engineering (SCEE), held in St. Wolfgang, Austria, in 2016, showcases the state of the art in SCEE. The aim of the SCEE 2016 conference was to bring together scientists from academia and industry, mathematicians, electrical engineers, computer scientists, and physicists, and to promote intensive discussions on industrially relevant mathematical problems, with an emphasis on the modeling and numerical simulation of electronic circuits and devices, electromagnetic fields, and coupled problems. The focus in methodology was on model order reduction and uncertainty quantification. This extensive reference work is divided into six parts: Computational Electromagnetics, Circuit and Device Modeling and Simulation, Coupled Problems and Multi‐Scale Approaches in Space and Time, Mathematical and Computational Methods Including Uncertainty Quantification, Model Order Reduction, and Industrial Applications. Each part starts with a general introduction, followed by the respective contributions. This book will appeal to mathematicians and electrical engineers. Further, it introduces algorithm and program developers to recent advances in the other fields, while industry experts will be introduced to new programming tools and mathematical methods.

The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017.The 255 revised full papers presented were carefully reviewed and selected from 800 submissions in a two-phase review process. The papers have been organized in the following topical sections: Part I: atlas and surface-based techniques; shape and patch-based techniques; registration techniques, functional imaging, connectivity, and brain parcellation; diffusion magnetic resonance imaging (dMRI) and tensor/fiber processing; and image segmentation and modelling. Part II: optical imaging; airway and vessel analysis; motion and cardiac analysis; tumor processing; planning and simulation for medical interventions; interventional imaging and navigation; and medical image computing. Part III: feature extraction and classification techniques; and machine learning in medical image computing.

This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization, game theory, and machine learning problems. It provides extended versions of selected papers from various fields of science such as computer science, mathematics and engineering that were presented at EVOLVE 2013 held in July 2013 at Leiden University in the Netherlands. The internationally peer-reviewed papers include original work on important topics in both theory and applications, such as the role of diversity in optimization, statistical approaches to combinatorial optimization, computational game theory, and cell mapping techniques for numerical landscape exploration. Applications focus on aspects including robustness, handling multiple objectives, and complex search spaces in engineering design and computational biology.

This book is a collection of selected papers presented at the 10th International Conference on Scientific Computing in Electrical Engineering (SCEE), held in Wuppertal, Germany in 2014. The book is divided into five parts, reflecting the main directions of SCEE 2014: 1. Device Modeling, Electric Circuits and Simulation, 2. Computational Electromagnetics, 3. Coupled Problems, 4. Model Order Reduction, and 5. Uncertainty Quantification. Each part starts with a general introduction followed by the actual papers. The aim of the SCEE 2014 conference was to bring together scientists from academia and industry, mathematicians, electrical engineers, computer scientists, and physicists, with the goal of fostering intensive discussions on industrially relevant mathematical problems, with an emphasis on the modeling and numerical simulation of electronic circuits and devices, electromagnetic fields, and coupled problems. The methodological focus was on model order reduction anduncertainty quantification.

This two-volume set LNCS 9712 and LNCS 9713 constitutes the refereed proceedings of the 7th International Conference on Swarm Intelligence, ICSI 2016, held in Bali, Indonesia, in June 2016. The 130 revised regular papers presented were carefully reviewed and selected from 231 submissions. The papers are organized in 22 cohesive sections covering major topics of swarm intelligence and related areas such as trend and models of swarm intelligence research; novel swarm-based optimization algorithms; swarming behaviour; some swarm intelligence algorithms and their applications; hybrid search optimization; particle swarm optimization; PSO applications; ant colony optimization; brain storm optimization; fireworks algorithms; multi-objective optimization; large-scale global optimization; biometrics; scheduling and planning; machine learning methods; clustering algorithm; classification; image classification and encryption; data mining; sensor networks and social networks; neural networks; swarm intelligence in management decision making and operations research; robot control; swarm robotics; intelligent energy and communications systems; and intelligent and interactive and tutoring systems.

This volume contains the best papers presented at the 2nd ECCOMAS International Conference on Multiscale Computations for Solids and Fluids, held June 10-12, 2015. Topics dealt with include multiscale strategy for efficient development of scientific software for large-scale computations, coupled probability-nonlinear-mechanics problems and solution methods, and modern mathematical and computational setting for multi-phase flows and fluid-structure interaction. The papers consist of contributions by six experts who taught short courses prior to the conference, along with several selected articles from other participants dealing with complementary issues, covering both solid mechanics and applied mathematics.

This edited volume is devoted to the now-ubiquitous use of computational models across most disciplines of engineering and science, led by a trio of world-renowned researchers in the field. Focused on recent advances of modeling and optimization techniques aimed at handling computationally-expensive engineering problems involving simulation models, this book will be an invaluable resource for specialists (engineers, researchers, graduate students) working in areas as diverse as electrical engineering, mechanical and structural engineering, civil engineering, industrial engineering, hydrodynamics, aerospace engineering, microwave and antenna engineering, ocean science and climate modeling, and the automotive industry, where design processes are heavily based on CPU-heavy computer simulations. Various techniques, such as knowledge-based optimization, adjoint sensitivity techniques, and fast replacement models (to name just a few) are explored in-depth along withan array of the latest techniques to optimize the efficiency of the simulation-driven design process.High-fidelity simulation models allow for accurate evaluations of the devices and systems, which is critical in the design process, especially to avoid costly prototyping stages. Despite this and other advantages, the use of simulation tools in the design process is quite challenging due to associated high computational cost. The steady increase of available computational resources does not always translate into the shortening of the design cycle because of the growing demand for higher accuracy and necessity to simulate larger and more complex systems. For this reason, automated simulation-driven design—while highly desirable—is difficult when using conventional numerical optimization routines which normally require a large number of system simulations, each one already expensive.

This book presents a collection of papers emphasizing applications of mathematical models and methods to real-world problems of relevance for industry, life science, environment, finance and so on.The biannual Conference of ECMI (the European Consortium of Mathematics in Industry) held in 2014 focused on various aspects of industrial and applied mathematics. The five main topics addressed at the conference were mathematical models in life science, material science and semiconductors, mathematical methods in the environment, design automation and industrial applications, and computational finance. Several other topics have been treated, such as, among others, optimization and inverse problems, education, numerical methods for stiff pdes, model reduction, imaging processing, multi physics simulation, mathematical models in textile industry. The conference, which brought together applied mathematicians and experts from industry, provided a unique opportunity to exchange ideas, problems and methodologies, bridging the gap between mathematics and industry and contributing to the advancement of science and technology. The conference has included a presentation of EU-Maths-In (European Network of Mathematics for Industry and Innovation), a recent joint initiative of ECMI and EMS. The proceedings from this conference represent a snapshot of the current activity in industrial mathematics in Europe, and are highly relevant to anybody interested in the latest applications of mathematics to industrial problems.

Computational modeling allows to reduce, refine and replace animal experimentation as well as to translate findings obtained in these experiments to the human background. However these biomedical problems are inherently complex with a myriad of influencing factors, which strongly complicates the model building and validation process. This book wants to address four main issues related to the building and validation of computational models of biomedical processes: 1. Modeling establishment under uncertainty 2. Model selection and parameter fitting 3. Sensitivity analysis and model adaptation 4. Model predictions under uncertainty In each of the abovementioned areas, the book discusses a number of key-techniques by means of a general theoretical description followed by one or more practical examples. This book is intended for graduate students and researchers active in the field of computational modeling of biomedical processes who seek to acquaint themselves with the different ways in which to study the parameter space of their model as well as its overall behavior.

This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 44 full papers presented in this volume were carefully reviewed and selected from 175 submissions. They were organized in topical sections named: abstraction and verification; probabilistic and stochastic systems; synthesis; tool papers; concurrency; tool demos; languages and automata; security; optimization; and competition on software verification – SV-COMP.

The chapters in this volume stress the need for advances in theoretical understanding to go hand-in-hand with the widespread practical application of forecasting in industry. Forecasting and time series prediction have enjoyed considerable attention over the last few decades, fostered by impressive advances in observational capabilities and measurement procedures. On June 5-7, 2013, an international Workshop on Industry Practices for Forecasting was held in Paris, France, organized and supported by the OSIRIS Department of Electricité de France Research and Development Division. In keeping with tradition, both theoretical statistical results and practical contributions on this active field of statistical research and on forecasting issues in a rapidly evolving industrial environment are presented. The volume reflects the broad spectrum of the conference, including 16 articles contributed by specialists in various areas. The material compiled is broad in scope and ranges from new findings on forecasting in industry and in time series, on nonparametric and functional methods and on on-line machine learning for forecasting, to the latest developments in tools for high dimension and complex data analysis.

Designing complex integrated circuits relies heavily on mathematical methods and calls for suitable simulation and optimization tools. The current design approach involves simulations and optimizations in different physical domains (device, circuit, thermal, electromagnetic) and in a range of electrical engineering disciplines (logic, timing, power, crosstalk, signal integrity, system functionality). COMSON was a Marie Curie Research Training Network created to meet these new scientific and training challenges by (a) developing new descriptive models that take these mutual dependencies into account, (b) combining these models with existing circuit descriptions in new simulation strategies and (c) developing new optimization techniques that will accommodate new designs.The book presents the main project results in the fields of PDAE modeling and simulation, model order reduction techniques and optimization, based on merging the know-how of three major European semiconductor companies with the combined expertise of university groups specialized in developing suitable mathematical models, numerical schemes and e-learning facilities. In addition, a common Demonstrator Platform for testing mathematical methods and approaches was created to assess whether they are capable of addressing the industry's problems, and to educate young researchers by providing hands-on experience with state-of-the-art problems.

This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimarães, Portugal in March/April 2015. The 68 revised full papers presented together with 4 plenary talks were carefully reviewed and selected from 90 submissions. The EMO 2015 aims to continue these type of developments, being the papers presented focused in: theoretical aspects, algorithms development, many-objectives optimization, robustness and optimization under uncertainty, performance indicators, multiple criteria decision making and real-world applications.

This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from related fields with computer science and mathematics as an important technical basis among others. The workshop discussed the state of the art and the further evolution of numerical techniques for simulation in engineering and science. We focus on current trends in numerical simulation in science and engineering, new requirements arising from rapidly increasing parallelism in computer architectures, and novel mathematical approaches. Accordingly, the chapters of the book particularly focus on parallel algorithms and performance optimization, coupled systems, and complex applications and optimization.

The two-volume set LNAI 8467 and LNAI 8468 constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2014, held in Zakopane, Poland in June 2014. The 139 revised full papers presented in the volumes, were carefully reviewed and selected from 331 submissions. The 69 papers included in the first volume are focused on the following topical sections: Neural Networks and Their Applications, Fuzzy Systems and Their Applications, Evolutionary Algorithms and Their Applications, Classification and Estimation, Computer Vision, Image and Speech Analysis and Special Session 3: Intelligent Methods in Databases. The 71 papers in the second volume are organized in the following subjects: Data Mining, Bioinformatics, Biometrics and Medical Applications, Agent Systems, Robotics and Control, Artificial Intelligence in Modeling and Simulation, Various Problems of Artificial Intelligence, Special Session 2: Machine Learning for Visual Information Analysis and Security, Special Session 1: Applications and Properties of Fuzzy Reasoning and Calculus and Clustering.

The book integrates theoretical analysis, numerical simulation and modeling approaches for the treatment of singular phenomena. The projects covered focus on actual applied problems, and develop qualitatively new and mathematically challenging methods for various problems from the natural sciences. Ranging from stochastic and geometric analysis over nonlinear analysis and modelling to numerical analysis and scientific computation, the book is divided into the three sections: A) Scaling limits of diffusion processes and singular spaces, B) Multiple scales in mathematical models of materials science and biology and C) Numerics for multiscale models and singular phenomena. Each section addresses the key aspects of multiple scales and model hierarchies, singularities and degeneracies, and scaling laws and self-similarity.