الصفحة 1
الصفحة 1
Numerical computation, data analysis and software in mathematics and engineering
Include the aspects of the meshless method, numerical simulation, mathematical models, deep learning and data analysis. Meshless methods, such as the improved element-free Galerkin method, the dimension-splitting, interpolating, moving, least-squares method, the dimension-splitting, generalized, interpolating, element-free Galerkin method and the improved interpolating, complex variable, element-free Galerkin method, are presented. Some complicated problems, such as tge cold roll-forming process, ceramsite compound insulation block, crack propagation and heavy-haul railway tunnel with defects, are numerically analyzed.
Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection
This book focuses on robot introspection, which has a direct impact on physical human–robot interaction and long-term autonomy, and which can benefit from autonomous anomaly monitoring and diagnosis, as well as anomaly recovery strategies.
New Directions and Applications in Control Theory
This volume contains a collection of papers in control theory and applications presented at a conference in honor of Clyde Martin on the occasion of his 60th birthday, held in Lubbock, Texas, November 14-15, 2003.
Morphological Models of Random Structures
This book covers methods of Mathematical Morphology to model and simulate random sets and functions (scalar and multivariate). The introduced models concern many physical situations in heterogeneous media, where a probabilistic approach is required, like fracture statistics of materials, scaling up of permeability in porous media, electron microscopy images (including multispectral images), rough surfaces, multi-component composites, biological tissues, textures for image coding and synthesis. The common feature of these random structures is their domain of definition in n dimensions, requiring more general models than standard Stochastic Processes.The main topics of the book cover an introduction to the theory of random sets, random space tessellations, Boolean random sets and functions, space-time random sets and functions (Dead Leaves, Sequential Alternate models, Reaction-Diffusion), prediction of effective properties of random media, and probabilistic fracture theories.
Modeling, Simulation and Optimization of Complex Processes HPSC 2018 ; Proceedings of the 7th International Conference on High Performance Scientific Computing, Hanoi, Vietnam, March 19-23, 2018
The contributions cover a broad, interdisciplinary spectrum of scientific computing and showcase recent advances in theory, methods, and practical applications. Subjects covered include numerical simulation, methods for optimization and control, machine learning, parallel computing and software development, as well as the applications of scientific computing in mechanical engineering, airspace engineering, environmental physics, decision making, hydrogeology, material science and electric circuits.
Modeling Excitable Tissue : The EMI Framework
This volume presents a novel computational framework for understanding how collections of excitable cells work. The key approach in the text is to model excitable tissue by representing the individual cells constituting the tissue. This is in stark contrast to the common approach where homogenization is used to develop models where the cells are not explicitly present. The approach allows for very detailed analysis of small collections of excitable cells, but computational challenges limit the applicability in the presence of large collections of cells.
Model and Mathematics : From the 19th to the 21st Century
This book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models.
Intelligent Algorithms for Packing and Cutting Problem
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants / Investigates novel methods, e.g. reinforcement learning algorithms, for rectangular and irregular packing problems / Presents practical engineering application cases in combination of theory and practice / investigates in detail the two-dimensional packing and cutting problems in the field of operations research and management science. It introduces the mathematical models and intelligent solving algorithms for these problems, as well as their engineering applications. Most intelligent methods reported in this book have already been applied in reality, which can provide reference for the engineers. The presented novel methods for the two-dimensional packing problem provide a new way to solve the problem for researchers interested in operations research or computer science. This book also introduces three new variants of packing problems and their solving methods, which offer a different research direction.
Handbook of Mathematical Models in Computer Vision
In this edited volume we present the most prominent mathematical models that are considered in computational vision. To this end, tasks of increasing complexity are considered and we present the state-of-the-art methods to cope with such tasks. The volume consists of six thematic areas that provide answers to the most dominant questions of computational vision: Image reconstruction, Segmentation and object extraction, Shape modeling and registration, Motion analysis and tracking, 3D from images, geometry and reconstruction Applications in medical image analysis
Handbook Of Mathematical Models For Languages And Computation
Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors pay special attention to the implementation of mathematical concepts to explain clearly how to encode them in computational practice. All computer programs are written in C#. The theory of computation is used to address challenges arising in many computer science areas such as artificial intelligence, language processors, compiler writing, information and coding systems, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational and language models, based on concepts of discrete mathematics including sets, relations, functions, graphs and logic.
Handbook of Fractional Calculus for Engineering and Science
Provides reliable methods for solving fractional-order models in science and engineering. Contains efficient numerical methods and algorithms for engineering-related equations. Contains comparison of various methods for accuracy and validity. Demonstrates the applicability of fractional calculus in science and engineering. Examines qualitative as well as quantitative properties of solutions of various types of science- and engineering-related equations.
Grid computing in life science ; 1st International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Researchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science research make Grid technologies an attractive support solution. However, many important issues must be addressed before the Life Science Grid becomes commonplace. The 1st International Life Science Grid Workshop (LSGRID 2004) was held in Kanazawa Japan, May 31–June 1, 2004. This workshop focused on life s- ence applications of grid systems especially for bionetwork research and systems biology which require heterogeneous data integration from genome to phenome, mathematical modeling and simulation from molecular to population levels, and high-performance computing including parallel processing, special hardware and grid computing.
Global optimization and constraint satisfaction ; 2nd International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem,eitherto?ndthebestsolution,ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18–21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented advances in answering these questions. Here global optimization refers to ?nding the absolutely best feasible point, while constraint satisfaction refers to?ndingallpossiblefeasiblepoints.AsinCOCOS2002,the?rstsuchworkshop (see the proceeedings [1]), the emphasis was on complete solving techniques for problems involving continuous variables that provide all solutions with full rigor, and on applications which, however, were allowed to have relaxed standards of rigor.
Fundamentals of image data mining : Analysis, features, classification and retrieval
Presents a comprehensive review of the essentials of image data mining, and the latest cutting-edge techniques used in the field. The coverage spans all aspects of image analysis and understanding, offering deep insights into areas of feature extraction, machine learning, and image retrieval. The theoretical coverage is supported by practical mathematical models and algorithms, utilizing data from real-world examples and experiments. Topics and features: Describes essential tools for image mining, covering Fourier transforms, Gabor filters, and contemporary wavelet transforms / Develops many new exercises (most with MATLAB code and instructions) / Includes review summaries at the end of each chapter / Analyses state-of-the-art models, algorithms, and procedures for image mining / Integrates new sections on pre-processing, discrete cosine transform, and statistical inference and testing / Demonstrates how features like color, texture, and shape can be mined or extracted for image representation / Applies powerful classification approaches: Bayesian classification, support vector machines, neural / networks, and decision trees / Implements imaging techniques for indexing, ranking, and presentation, as well as database visualization
E-CARGO and role-based collaboration : Modeling and solving problems in the complex
A model for collaboratively solving complex problems Explains the nature of collaboration, explores an easy-to-follow process of collaboration, and defines a model to solve complex problems in collaboration and complex systems. Written by a noted expert on the topic, the book initiates the study of an effective collaborative system from a novel perspective. The role-based collaboration (RBC) methodology investigates the most important aspects of a variety of collaborative systems including societal-technical systems. The models and algorithms can also be applied across system engineering, production, and management. Contains a set of concepts, models, and algorithms for the analysis, design, implementation, maintenance, and assessment of a complex system Presents computational methods that use roles as a primary underlying mechanism to facilitate collaborative activities including role assignment Explores the RBC methodology that concentrates on the aspects that can be handled by individuals to establish a well-formed team Offers an authoritative book written by a noted expert on the topic
Differential Models : An Introduction with Mathcad
Differential equations are often used in mathematical models for technological processes or devices. However, the design of a differential mathematical model is crucial and difficult in engineering.
Deep neural networks and data for automated driving : robustness, uncertainty quantification, and insights towards safety
Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network is uncertain about its decisions? Can we understand a bit more about what actually happens inside neural networks? This leads to a very practical problem particularly for DNNs employed in automated driving: What are useful validation techniques and how about safety? This book unites the views from both academia and industry, where computer vision and machine learning meet environment perception for highly automated driving. Naturally, aspects of data, robustness, uncertainty quantification, and, last but not least, safety are at the core of it. This book is unique: In its first part, an extended survey of all the relevant aspects is provided. The second part contains the detailed technical elaboration of the various questions mentioned above.
Deep Learning-Based Face Analytics
Provides an overview of different deep learning-based methods for face recognition and related problems. Specifically, the authors present methods based on autoencoders, restricted Boltzmann machines, and deep convolutional neural networks for face detection, localization, tracking, recognition, etc. The authors also discuss merits and drawbacks of available approaches and identifies promising avenues of research in this rapidly evolving field.
Continuous System Simulation
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually described by sets of either ordinary or partial differential equations possibly coupled with algebraic equations, can be simulated on a digital computer.
Computer Algebra in Scientific Computing ; 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gröbner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.
