- Table View
- List View
Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python 3.6 (Texts in Computational Science and Engineering #15)
by Svein Linge Hans Petter LangtangenThis book is published open access under a CC BY 4.0 license. This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapters, thus expanding the introduction to programming from 50 to 150 pages. Throughout the book, the explanations provided are now more detailed, previous examples have been modified, and new sections, examples and exercises have been added. Also, a number of small errors have been corrected. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style employed is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set of skills that allows students to write simple programs for solving common mathematical problems with numerical methods in the context of engineering and science courses. The emphasis is on generic algorithms, clean program design, the use of functions, and automatic tests for verification.
Programming for Hybrid Multi/Manycore MPP Systems (Chapman & Hall/CRC Computational Science)
by John Levesque Aaron Vose"Ask not what your compiler can do for you, ask what you can do for your compiler."--John Levesque, Director of Cray’s Supercomputing Centers of Excellence <P><P>The next decade of computationally intense computing lies with more powerful multi/manycore nodes where processors share a large memory space. These nodes will be the building block for systems that range from a single node workstation up to systems approaching the exaflop regime. The node itself will consist of 10’s to 100’s of MIMD (multiple instruction, multiple data) processing units with SIMD (single instruction, multiple data) parallel instructions. Since a standard, affordable memory architecture will not be able to supply the bandwidth required by these cores, new memory organizations will be introduced. These new node architectures will represent a significant challenge to application developers. <P><P>Programming for Hybrid Multi/Manycore MPP Systems attempts to briefly describe the current state-of-the-art in programming these systems, and proposes an approach for developing a performance-portable application that can effectively utilize all of these systems from a single application. The book starts with a strategy for optimizing an application for multi/manycore architectures. It then looks at the three typical architectures, covering their advantages and disadvantages. <P><P>The next section of the book explores the other important component of the target—the compiler. The compiler will ultimately convert the input language to executable code on the target, and the book explores how to make the compiler do what we want. The book then talks about gathering runtime statistics from running the application on the important problem sets previously discussed. <P><P>How best to utilize available memory bandwidth and virtualization is covered next, along with hybridization of a program. The last part of the book includes several major applications, and examines future hardware advancements and how the application developer may prepare for those advancements.
Programming in C++ for Engineering and Science
by Larry NyhoffDeveloped from the author's many years of teaching computing courses, Programming in C++ for Engineering and Science guides students in designing programs to solve real problems encountered in engineering and scientific applications. These problems include radioactive decay, pollution indexes, digital circuits, differential equations, Internet addr
Programming with MATLAB for Scientists: A Beginner’s Introduction
by Eugeniy E. Mikhailov<p>This book offers an introduction to the basics of MATLAB programming to scientists and engineers. The author leads with engaging examples to build a working knowledge, specifically geared to those with science and engineering backgrounds. The reader is empowered to model and simulate real systems, as well as present and analyze everyday data sets. In order to achieve those goals, the contents bypass excessive "under the hood" details, and instead gets right down to the essential, practical foundations for successful programming and modeling. Readers will benefit from the following features: <li>Teaches programming to scientists and engineers using a problem-based approach, leading with illustrative and interesting examples. <li>Emphasizes a hands-on approach, with "must know" information and minimal technical details. <li>Utilizes examples from science and engineering to showcase the application of learned concepts on real problems. <li>Showcases modeling of real systems, gradually advancing from simpler to more challenging problems. <li>Highlights the practical uses of data processing and analysis in everyday life.</li>
Programming with Python for Engineers
by Göktürk Üçoluk Sinan Kalkan Onur T. ŞehitoğluThis book introduces computing and programming with undergraduate engineering students in mind. It uses Python (Version 3) as the programming language, chosen for its simplicity, readability, wide applicability and large collection of libraries. After introducing engineering-related Python libraries, such as NumPy, Pandas, Matplotlib, Sci-kit, Programming with Python for Engineers shows how Python can be used to implement methods common in a wide spectrum of engineering-related problems drawn from (for example): design, control, decision-making, scheduling and planning. Important features of the book include the following: The book contains interactive content for illustration of important concepts, where the user can provide input and by clicking buttons, trace through the steps. Each chapter is also accessible as a Jupyter Notebook page and every code piece is executable. This allows the readers to run code examples in chapters immediately, to make changes and gain a better grasp of the concepts presented. The coverage of topics is complemented by illustrative examples and exercises. For instructors adopting the textbook, a solutions manual is provided at https://sites.google.com/springernature.com/extramaterial/lecturer-material.
Programming4Modeling: Codes in Modellen auf Basis von Java und UML
by Eric A. NyamsiDas Buch fokussiert auf objektorientierte Softwareentwicklung in Bezug auf das Konzept "Programming4Modeling" genannt "P4M". Es stellt zum einen die Analyse und Design für die Modellierung mit UML und zum anderen die Softwareentwicklung mit Java dar. Das Buch wirft folgende Fragen auf: Wie ist die Architektur eines Klassenmodells? Welche Codes ermöglichen eine effiziente Softwareentwicklung? Was sind die Schnittpunkte von Codes und Modellen?
Programming4Modeling: Codes in Modellen auf Basis von Java und UML
by Eric Aristhide NyamsiDas Buch fokussiert auf objektorientierte Softwareentwicklung in Bezug auf das Konzept „Programming4Modeling“ genannt „P4M“. Es stellt zum einen die Analyse und Design für die Modellierung mit UML und zum anderen die Softwareentwicklung mit Java dar. Das Buch wirft folgende Fragen auf: Wie ist die Architektur eines Klassenmodells? Welche Codes ermöglichen eine effiziente Softwareentwicklung? Was sind die Schnittpunkte von Codes und Modellen?
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
by Dusko PavlovicIt is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language. Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach. Topics and features: Delivers a ‘crash’ diagram-based course in theory of computationUses single-instruction diagrammatic programming languageOffers a practical introduction into categories and string diagrams as computational toolsReveals how computability is programmability, rather than an ‘ether’ permeating computers Provides a categorical model of intensional computation is unique up to isomorphismServes as a stepping stone into research of computable categories In addition to its early chapters introducing computability for beginners, this flexible textbook/resource also contains both middle chapters that expand for suitability to a graduate course as well as final chapters opening up new research. Dusko Pavlovic is a professor at the Department of Information and Computer Sciences at the University of Hawaii at Manoa, and by courtesy at the Department of Mathematics and the College of Engineering. He completed this book as an Excellence Professor at Radboud University in Nijmegen, The Netherlands.
Progress In Mathematics: Grade 3
by Catherine D. Le Tourneau Rose A. McDonnell Anne V. Burrows*This textbook has been transcribed in UEB, formatted according to Braille textbook formats, proofread and corrected. <P><P>SADLIER-OXFORD Progress In Mathematics grade 3 student textbook.
Progress and Visions in Quantum Theory in View of Gravity: Bridging Foundations of Physics and Mathematics
by Felix Finster Johannes Kleiner Jürgen Tolksdorf Domenico GiuliniThis book focuses on a critical discussion of the status and prospects of current approaches in quantum mechanics and quantum field theory, in particular concerning gravity. It contains a carefully selected cross-section of lectures and discussions at the seventh conference “Progress and Visions in Quantum Theory in View of Gravity” which took place in fall 2018 at the Max Planck Institute for Mathematics in the Sciences in Leipzig.In contrast to usual proceeding volumes, instead of reporting on the most recent technical results, contributors were asked to discuss visions and new ideas in foundational physics, in particular concerning foundations of quantum field theory. A special focus has been put on the question of which physical principles of quantum (field) theory can be considered fundamental in view of gravity.The book is mainly addressed to mathematicians and physicists who are interested in fundamental questions of mathematical physics. It allows the reader to obtain a broad and up-to-date overview of a fascinating active research area.
Progress in Approximation Theory and Applicable Complex Analysis
by Gerhard Schmeisser Narendra Kumar Govil Ram Mohapatra Mohammed A. QaziCurrent and historical research methods in approximation theory are presented in this book beginning with the 1800s and following the evolution of approximation theory via the refinement and extension of classical methods and ending with recent techniques and methodologies. Graduate students, postdocs, and researchers in mathematics, specifically those working in the theory of functions, approximation theory, geometric function theory, and optimization will find new insights as well as a guide to advanced topics. The chapters in this book are grouped into four themes; the first, polynomials (Chapters 1 -8), includes inequalities for polynomials and rational functions, orthogonal polynomials, and location of zeros. The second, inequalities and extremal problems are discussed in Chapters 9 -13. The third, approximation of functions, involves the approximants being polynomials, rational functions, and other types of functions and are covered in Chapters 14 -19. The last theme, quadrature, cubature and applications, comprises the final three chapters and includes an article coauthored by Rahman. This volume serves as a memorial volume to commemorate the distinguished career of Qazi Ibadur Rahman (1934-2013) of the Universit#65533; de Montr#65533;al. Rahman was considered by his peers as one of the prominent experts in analytic theory of polynomials and entire functions. The novelty of his work lies in his profound abilities and skills in applying techniques from other areas of mathematics, such as optimization theory and variational principles, to obtain final answers to countless open problems.
Progress in Cryptology – INDOCRYPT 2023: 24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part I (Lecture Notes in Computer Science #14459)
by Chester Rebeiro Anupam Chattopadhyay Shivam Bhasin Stjepan PicekThe two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023. The 26 full papers were carefully reviewed and selected from 74 submissions. They are organized in topical sections as follows: Part One: Symmetric-key cryptography, Hash functions, Authenticated Encryption Modes; Elliptic curves, Zero-knowledge proof, Signatures; Attacks.Part Two: Secure computation, Algorithm hardness, Privacy; Post-quantum cryptography.
Progress in Cryptology – INDOCRYPT 2023: 24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part II (Lecture Notes in Computer Science #14460)
by Chester Rebeiro Anupam Chattopadhyay Shivam Bhasin Stjepan PicekThe two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023. The 26 full papers were carefully reviewed and selected from 74 submissions. They are organized in topical sections as follows: Part One: Symmetric-key cryptography, Hash functions, Authenticated Encryption Modes; Elliptic curves, Zero-knowledge proof, Signatures; Attacks. Part Two: Secure computation, Algorithm hardness, Privacy; Post-quantum cryptography.
Progress in Cryptology – INDOCRYPT 2024: 25th International Conference on Cryptology in India, Chennai, India, December 18–21, 2024, Proceedings, Part I (Lecture Notes in Computer Science #15495)
by Pantelimon Stănică Sourav MukhopadhyayThis 2-volume set LNCS 15495-15496 constitutes the refereed proceedings of the 25th International Conference on Cryptology in India, held in Chennai, India, during December 18–21, 2024. The 31 full papers presented in these proceedings were carefully reviewed and selected from 96 submissions. They are organized into these topical sections: Part I: Foundations; symmetric-key cryptography; cryptographic constructions; and quantum cryptography. Part II: Cryptanalysis; post-quantum cryptography; and blockchain and cloud computing.
Progress in Cryptology – INDOCRYPT 2024: 25th International Conference on Cryptology in India, Chennai, India, December 18–21, 2024, Proceedings, Part II (Lecture Notes in Computer Science #15496)
by Pantelimon Stănică Sourav MukhopadhyayThis 2-volume set LNCS 15495-15496 constitutes the refereed proceedings of the 25th International Conference on Cryptology in India, held in Chennai, India, during December 18–21, 2024. The 31 full papers presented in these proceedings were carefully reviewed and selected from 96 submissions. They are organized into these topical sections: Part I: Foundations; symmetric-key cryptography; cryptographic constructions; and quantum cryptography. Part II: Cryptanalysis; post-quantum cryptography; and blockchain and cloud computing.
Progress in Differential-Algebraic Equations
by Sebastian Schöps Andreas Bartel Michael Günther E. Jan W. ter Maten Peter C MüllerThis book contains the proceedings of the 8th Workshop on Coupled Descriptor Systems held March 2013 in the Castle of Eringerfeld, Geseke in the neighborhood of Paderborn, Germany. It examines the wide range of current research topics in descriptor systems, including mathematical modeling, index analysis, wellposedness of problems, stiffness and different time-scales, cosimulation and splitting methods and convergence analysis. In addition, the book also presents applications from the automotive and circuit industries that show that descriptor systems provide challenging problems from the point of view of both theory and practice. The book contains nine papers and is organized into three parts: control, simulation, and model order reduction. It will serve as an ideal resource for applied mathematicians and engineers, in particular those from mechanics and electromagnetics, who work with coupled differential equations.
Progress in Differential-Algebraic Equations II (Differential-Algebraic Equations Forum)
by Sebastian Schöps Timo Reis Sara GrundelThis book contains articles presented at the 9th Workshop on Differential-Algebraic Equations held in Paderborn, Germany, from 17–20 March 2019. The workshop brought together more than 40 mathematicians and engineers from various fields, such as numerical and functional analysis, control theory, mechanics and electromagnetic field theory. The participants focussed on the theoretical and numerical treatment of “descriptor” systems, i.e., differential-algebraic equations (DAEs).The book contains 14 contributions and is organized into four parts: mathematical analysis, numerics and model order reduction, control as well as applications. It is a useful resource for applied mathematicians with interest in recent developments in the field of differential algebraic equations but also for engineers, in particular those interested in modelling of constraint mechanical systems, thermal networks or electric circuits.
Progress in High-Dimensional Percolation and Random Graphs
by Remco van der Hofstad Markus HeydenreichThis text presents an engaging exposition of the active field of high-dimensional percolation that will likely provide an impetus for future work. With over 90 exercises designed to enhance the reader's understanding of the material, as well as many open problems, the book is aimed at graduate students and researchers who wish to enter the world of this rich topic. The text may also be useful in advanced courses and seminars, as well as for reference and individual study. Part I, consisting of 3 chapters, presents a general introduction to percolation, stating the main results, defining the central objects, and proving its main properties. No prior knowledge of percolation is assumed. Part II, consisting of Chapters 4-9, discusses mean-field critical behavior by describing the two main techniques used, namely, differential inequalities and the lace expansion. In Parts I and II, all results are proved, making this the first self-contained text discussing high-dime nsional percolation. Part III, consisting of Chapters 10-13, describes recent progress in high-dimensional percolation. Partial proofs and substantial overviews of how the proofs are obtained are given. In many of these results, the lace expansion and differential inequalities or their discrete analogues are central. Part IV, consisting of Chapters 14-16, features related models and further open problems, with a focus on the big picture.
Progress in Hybrid RANS-LES Modelling: Papers Contributed To The 5th Symposium On Hybrid Rans-les Methods, 19-21 March 2014, College Station, A&m University, Texas, Usa (Notes On Numerical Fluid Mechanics And Multidisciplinary Design Ser. #130)
by Shia-Hui Peng Dieter Schwamborn Yannick Hoarau Alistair RevellThis book reports on the latest developments in computational fluid dynamics and turbulence modeling, with a special emphasis on hybrid RANS-LES methods and their industrial applications. It gathers the proceedings of the Sixth Symposium on Hybrid RANS-LES Methods, held on September 26-28 in Strasbourg, France. The different chapters covers a wealth of topics such as flow control, aero-acoustics, aero-elasticity and CFD-based multidisciplinary optimization. Further topics include wall-modelled Large Eddy Simulation (WMLES), embedded LES, Lattice-Bolzman methods, turbulence-resolving applications and comparisons between LES, hybrid RANS-LES and URANS methods. The book addresses academic researchers, graduate students, industrial engineers, as well as industrial R&D managers and consultants dealing with turbulence modelling, simulation and measurement, and with multidisciplinary applications of computational fluid dynamics.
Progress in Hybrid RANS-LES Modelling: Papers Contributed to the 7th Symposium on Hybrid RANS-LES Methods, 17–19 September, 2018, Berlin, Germany (Notes on Numerical Fluid Mechanics and Multidisciplinary Design #143)
by Shia-Hui Peng Dieter Schwamborn Charles Mockett Yannick Hoarau Alistair RevellThis book gathers the proceedings of the Seventh Symposium on Hybrid RANS-LES Methods, which was held on September 17-19 in Berlin, Germany. The different chapters, written by leading experts, reports on the most recent developments in flow physics modelling, and gives a special emphasis to industrially relevant applications of hybrid RANS-LES methods and other turbulence-resolving modelling approaches. The book addresses academic researchers, graduate students, industrial engineers, as well as industrial R&D managers and consultants dealing with turbulence modelling, simulation and measurement, and with multidisciplinary applications of computational fluid dynamics (CFD), such as flow control, aero-acoustics, aero-elasticity and CFD-based multidisciplinary optimization. It discusses in particular advanced hybrid RANS-LES methods. Further topics include wall-modelled Large Eddy Simulation (WMLES) methods, embedded LES, Lattice-Bolzman methods and turbulence-resolving applications and a comparison of the LES methods with both hybrid RANS-LES and URANS methods. Overall, the book provides readers with a snapshot on the state-of-the-art in CFD and turbulence modelling, with a special focus to hybrid RANS-LES methods and their industrial applications.
Progress in Industrial Mathematics at ECMI 2012
by Michael Günther Magnus Fontes Nicole MarheinekeThis book contains the proceedings of the 17th European Conference on Mathematics for Industry, ECMI2012, held in Lund, Sweden, July 2012, at which ECMI celebrated its 25th anniversary. It covers mathematics in a wide range of applications and methods, from circuit and electromagnetic devices, environment, fibers, flow, medicine, robotics and automotive industry, further applications to methods and education. The book includes contributions from leading figures in business, science and academia that promote the application of mathematics to industry and emphasize industrial sectors that offer the most exciting opportunities. The contributions reinforce the role of mathematics as being a catalyst for innovation as well as an overarching resource for industry and business. The book features an accessible presentation of real-world problems in industry and finance, provides insight and tools for engineers and scientists who will help them to solve similar problems and offers modeling and simulation techniques that will provide mathematicians with a source of fresh ideas and inspiration.
Progress in Industrial Mathematics at ECMI 2016 (Mathematics In Industry Ser. #26)
by Peregrina Quintela Dolores Gómez Pilar Salgado Patricia Barral Francisco J. Pena Jerónimo Rodríguez Miguel E. Vázquez-MéndezThis book addresses mathematics in a wide variety of applications, ranging from problems in electronics, energy and the environment, to mechanics and mechatronics. Using the classification system defined in the EU Framework Programme for Research and Innovation H2020, several of the topics covered belong to the challenge climate action, environment, resource efficiency and raw materials; and some to health, demographic change and wellbeing; while others belong to Europe in a changing world – inclusive, innovative and reflective societies.The 19th European Conference on Mathematics for Industry, ECMI2016, was held in Santiago de Compostela, Spain in June 2016. The proceedings of this conference include the plenary lectures, ECMI awards and special lectures, mini-symposia (including the description of each mini-symposium) and contributed talks.The ECMI conferences are organized by the European Consortium for Mathematics in Industry with the aim of promoting interaction between academy and industry, leading to innovation in both fields and providing unique opportunities to discuss the latest ideas, problems and methodologies, and contributing to the advancement of science and technology. They also encourage industrial sectors to propose challenging problems where mathematicians can provide insights and fresh 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.
Progress in Industrial Mathematics at ECMI 2018 (Mathematics in Industry #30)
by István Faragó Péter L. Simon Ferenc IzsákThis book explores mathematics in a wide variety of applications, ranging from problems in electronics, energy and the environment, to mechanics and mechatronics. The book gathers 81 contributions submitted to the 20th European Conference on Mathematics for Industry, ECMI 2018, which was held in Budapest, Hungary in June 2018. The application areas include: Applied Physics, Biology and Medicine, Cybersecurity, Data Science, Economics, Finance and Insurance, Energy, Production Systems, Social Challenges, and Vehicles and Transportation. In turn, the mathematical technologies discussed include: Combinatorial Optimization, Cooperative Games, Delay Differential Equations, Finite Elements, Hamilton-Jacobi Equations, Impulsive Control, Information Theory and Statistics, Inverse Problems, Machine Learning, Point Processes, Reaction-Diffusion Equations, Risk Processes, Scheduling Theory, Semidefinite Programming, Stochastic Approximation, Spatial Processes, System Identification, and Wavelets. 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.
Progress in Industrial Mathematics at ECMI 2021 (Mathematics in Industry #39)
by Michael Günther Matthias EhrhardtThis 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.
Progress in Industrial Mathematics: The Industry and the Academia Points of View (SEMA SIMAI Springer Series #5)
by Manuel Cruz Peregrina Quintela Carlos ParésThis book presents a panorama about the recent progress of industrial mathematics from the point of view of both industrials and researchers. The chapters correspond to a selection of the contributions presented in the "Industry Day" and in the Minisymposium "EU - MATHS - IN: Success Stories of Applications of Mathematics to Industry" organized in the framework of the International Conference ICIAM 2019 held in Valencia (Spain) on July 15-19, 2019. In the Industry Day, included for the first time in this series of Conferences, representatives of companies from different countries and several sectors presented their view about the benefits regarding the usage of mathematical tools and/or collaboration with mathematicians. The contributions of this special session were addressed to industry people. Minisymposium contributions detailed some collaborations between mathematicians and industrials that led to real benefits in several European companies. All the speakers were affiliated in some of the European National Networks that constitute the European Service Network of Mathematics for Industry and Innovation (EU-MATHS-IN).