- Table View
- List View
Discovery Science: 24th International Conference, DS 2021, Halifax, NS, Canada, October 11–13, 2021, Proceedings (Lecture Notes in Computer Science #12986)
by Carlos Soares Luis TorgoThis book constitutes the proceedings of the 24th International Conference on Discovery Science, DS 2021, which took place virtually during October 11-13, 2021.The 36 papers presented in this volume were carefully reviewed and selected from 76 submissions. The contributions were organized in topical sections named: applications; classification; data streams; graph and network mining; machine learning for COVID-19; neural networks and deep learning; preferences and recommender systems; representation learning and feature selection; responsible artificial intelligence; and spatial, temporal and spatiotemporal data.
Discrete and Continuous Fourier Transforms: Analysis, Applications and Fast Algorithms
by Eleanor ChuLong employed in electrical engineering, the discrete Fourier transform (DFT) is now applied in a range of fields through the use of digital computers and fast Fourier transform (FFT) algorithms. But to correctly interpret DFT results, it is essential to understand the core and tools of Fourier analysis. Discrete and Continuous Fourier Transform
Discrete and Continuous Models in the Theory of Networks (Operator Theory: Advances and Applications #281)
by Fatihcan M. Atay Pavel B. Kurasov Delio MugnoloThis book contains contributions from the participants of the research group hosted by the ZiF - Center for Interdisciplinary Research at the University of Bielefeld during the period 2013-2017 as well as from the conclusive conference organized at Bielefeld in December 2017. The contributions consist of original research papers: they mirror the scientific developments fostered by this research program or the state-of-the-art results presented during the conclusive conference.The volume covers current research in the areas of operator theory and dynamical systems on networks and their applications, indicating possible future directions. The book will be interesting to researchers focusing on the mathematical theory of networks; it is unique as, for the first time, continuous network models - a subject that has been blooming in the last twenty years - are studied alongside more classical and discrete ones. Thus, instead of two different worlds often growing independently without much intercommunication, a new path is set, breaking with the tradition. The fruitful and beneficial exchange of ideas and results of both communities is reflected in this book.
The Discrete Charm of the Machine: Why the World Became Digital
by Ken SteiglitzThe genesis of the digital idea and why it transformed civilizationA few short decades ago, we were informed by the smooth signals of analog television and radio; we communicated using our analog telephones; and we even computed with analog computers. Today our world is digital, built with zeros and ones. Why did this revolution occur? The Discrete Charm of the Machine explains, in an engaging and accessible manner, the varied physical and logical reasons behind this radical transformation.The spark of individual genius shines through this story of innovation: the stored program of Jacquard’s loom; Charles Babbage’s logical branching; Alan Turing’s brilliant abstraction of the discrete machine; Harry Nyquist’s foundation for digital signal processing; Claude Shannon’s breakthrough insights into the meaning of information and bandwidth; and Richard Feynman’s prescient proposals for nanotechnology and quantum computing. Ken Steiglitz follows the progression of these ideas in the building of our digital world, from the internet and artificial intelligence to the edge of the unknown. Are questions like the famous traveling salesman problem truly beyond the reach of ordinary digital computers? Can quantum computers transcend these barriers? Does a mysterious magical power reside in the analog mechanisms of the brain? Steiglitz concludes by confronting the moral and aesthetic questions raised by the development of artificial intelligence and autonomous robots.The Discrete Charm of the Machine examines why our information technology, the lifeblood of our civilization, became digital, and challenges us to think about where its future trajectory may lead.
Discrete Choice Modelling and Air Travel Demand: Theory and Applications
by Laurie A. GarrowIn recent years, airline practitioners and academics have started to explore new ways to model airline passenger demand using discrete choice methods. This book provides an introduction to discrete choice models and uses extensive examples to illustrate how these models have been used in the airline industry. These examples span network planning, revenue management, and pricing applications. Numerous examples of fundamental logit modeling concepts are covered in the text, including probability calculations, value of time calculations, elasticity calculations, nested and non-nested likelihood ratio tests, etc. The core chapters of the book are written at a level appropriate for airline practitioners and graduate students with operations research or travel demand modeling backgrounds. Given the majority of discrete choice modeling advancements in transportation evolved from urban travel demand studies, the introduction first orients readers from different backgrounds by highlighting major distinctions between aviation and urban travel demand studies. This is followed by an in-depth treatment of two of the most common discrete choice models, namely the multinomial and nested logit models. More advanced discrete choice models are covered, including mixed logit models and generalized extreme value models that belong to the generalized nested logit class and/or the network generalized extreme value class. An emphasis is placed on highlighting open research questions associated with these models that will be of particular interest to operations research students. Practical modeling issues related to data and estimation software are also addressed, and an extensive modeling exercise focused on the interpretation and application of statistical tests used to guide the selection of a preferred model specification is included; the modeling exercise uses itinerary choice data from a major airline. The text concludes with a discussion of on-going customer modeling research in aviation. Discrete Choice Modelling and Air Travel Demand is enriched by a comprehensive set of technical appendices that will be of particular interest to advanced students of discrete choice modeling theory. The appendices also include detailed proofs of the multinomial and nested logit models and derivations of measures used to represent competition among alternatives, namely correlation, direct-elasticities, and cross-elasticities.
Discrete Computational Mechanics of Masonry Structures (CISM International Centre for Mechanical Sciences #609)
by Katalin Bagi Maurizio AngelilloThis book provides an overview to those most important modern and traditional methods of masonry analysis that are able to capture the discrete internal built-up of masonry structures. Such methods are available in a wide variety today – from computational packages based on classical graphical statics techniques through discrete element methods or the most sophisticated no-tension semi-continuum models – , and this book reviews their theoretical foundations, as well as their advantages and preferable fields of application, also calling the attention on their limitations so that the reader could build up a critical view of the choices they have when attacking a masonry mechanics problem. The book gives a basis for the readers to become able to develop their own methods, inspired either by classical graphical statics, or by any modern technique they find promising.
Discrete-continuum Coupling Method to Simulate Highly Dynamic Multi-scale Problems
by Frédéric Dau Jean-Luc Charles Mohamed Jebahi Ivan IordanoffComplex behavior models (plasticity, crack, visco-elascticity) are facing several theoretical difficulties in determining the behavior law at the continuous (macroscopic) scale. When homogenization fails to give the right behavior law, a solution is to simulate the material at a mesoscale using the discrete element model (DEM) in order to directly simulate a set of discrete properties that are responsible for the macroscopic behavior. Originally, the discrete element model was developed for granular material. This book, the second in the Discrete Element Model and Simulation of Continuous Materials Behavior set of books, shows how to choose the adequate coupling parameters to avoid spurious wave reflection and to allow the passage of all the dynamic information both from the fine to the coarse model and vice versa. The authors demonstrate the coupling method to simulate a highly nonlinear dynamical problem: the laser shock processing of silica glass.
Discrete Control Systems
by Yoshifumi OkuyamaDiscrete Control Systems establishes a basis for the analysis and design of discretized/quantized control systems for continuous physical systems. Beginning with the necessary mathematical foundations and system-model descriptions, the text moves on to derive a robust stability condition. To keep a practical perspective on the uncertain physical systems considered, most of the methods treated are carried out in the frequency domain. As part of the design procedure, modified Nyquist-Hall and Nichols diagrams are presented and discretized proportional-integral-derivative control schemes are reconsidered. Schemes for model-reference feedback and discrete-type observers are proposed. Although single-loop feedback systems form the core of the text, some consideration is given to multiple loops and nonlinearities. The robust control performance and stability of interval systems (with multiple uncertainties) are outlined. Finally, the monograph describes the relationship between feedback-control and discrete event systems. The nonlinear phenomena associated with practically important event-driven systems are elucidated. The dynamics and stability of finite-state and discrete-event systems are defined. Academic researchers interested in the uses of discrete modelling and control of continuous systems will find Discrete Control Systems instructive. The inclusion of end-of-chapter problems also makes the book suitable for use in self study either by professional control engineers or graduate students supplementing a more formal regimen of learning.
Discrete Cosine Transform, Second Edition
by Humberto Ochoa-Dominguez K. R. RaoMany new DCT-like transforms have been proposed since the first edition of this book. For example, the integer DCT that yields integer transform coefficients, the directional DCT to take advantage of several directions of the image and the steerable DCT. The advent of higher dimensional frames such as UHDTV and 4K-TV demand for small and large transform blocks to encode small or large similar areas respectively in an efficient way. Therefore, a new updated book on DCT, adapted to the modern days, considering the new advances in this area and targeted for students, researchers and the industry is a necessity.
Discrete Cuckoo Search for Combinatorial Optimization (Springer Tracts in Nature-Inspired Computing)
by Aziz OuaarabThis book provides a literature review of techniques used to pass from continuous to combinatorial space, before discussing a detailed example with individual steps of how cuckoo search (CS) can be adapted to solve combinatorial optimization problems. It demonstrates the application of CS to three different problems and describes their source code. The content is divided into five chapters, the first of which provides a technical description, together with examples of combinatorial search spaces. The second chapter summarizes a diverse range of methods used to solve combinatorial optimization problems. In turn, the third chapter presents a description of CS, its formulation and characteristics. In the fourth chapter, the application of discrete cuckoo search (DCS) to solve three POCs (the traveling salesman problem, quadratic assignment problem and job shop scheduling problem) is explained, focusing mainly on a reinterpretation of the terminology used in CS and its source of inspiration. In closing, the fifth chapter discusses random-key cuckoo search (RKCS) using random keys to represent positions found by cuckoo search in the TSP and QAP solution space.
Discrete Dynamics: Basic Theory and Examples (Mathematical Engineering)
by Andrea BacciottiThis book offers a complete and detailed introduction to the theory of discrete dynamical systems, with special attention to stability of fixed points and periodic orbits. It provides a solid mathematical background and the essential basic knowledge for further developments such as, for instance, deterministic chaos theory, for which many other references are available (but sometimes, without an exhaustive presentation of preliminary notions). Readers will find a discussion of topics sometimes neglected in the research literature, such as a comparison between different predictions achievable by the discrete time model and the continuous time model of the same application. Another novel aspect of this book is an accurate analysis of the way a fixed point may lose stability, introducing and comparing several notions of instability: simple instability, repulsivity, and complete instability. To help the reader and to show the flexibility and potentiality of the discrete approach to dynamics, many examples, numerical simulations, and figures have been included. The book is used as a reference material for courses at a doctoral or upper undergraduate level in mathematics and theoretical engineering.
Discrete Element Method for Multiphase Flows with Biogenic Particles: Agriculture Applications
by Ling Zhou Mahmoud A. Elemam Ramesh K. Agarwal Weidong ShiThis book presents the advanced theory and application of the combined Computational Fluid Dynamics – Discrete Element Method (CFD-DEM) to multiphase flow simulations of the gas and bio-particulate matter of non-uniformly shaped biomass. It explores how DEM can simulate the complex behaviour of biomass particles, such as their packing in the multiphase flows that occurs in the agricultural product processing industries. It offers an overview of aerodynamic systems, such as cyclone separators, used in the agricultural processing industry. A detailed description of DEM modeling, including the particle-particle, particle-boundary, and particle-fluid interactions in the context of biomass particles of varying sizes and shapes, is provided. Coverage includes the critical application of CFD-DEM simulation technology in designing and optimizing grain handling and processing equipment and the application of extended DEM to other granular flows of complex particles like sand, powders, and dust from mines where clumping and agglomeration occur. The application of DEM in modeling and simulation of complex multiphase systems can help improve productivity, reduce costs, and increase efficiency in the agricultural industry.
Discrete Element Method in the Design of Transport Systems: Verification and Validation of 3D Models
by Daniel Gelnar Jiri ZegzulkaThis book deals with the design and optimization of the bucket elevator using the discrete element method (DEM). It describes the underlying scientific basis for the design of transport equipment using computer simulations and is focused on issues relevant to the industrial sector, mechanical engineering; and the transport, treatment, measurement, and storage of bulk materials. It presents solutions for mitigating bulk material supply chain interruptions due to process malfunctions and failures, utilizing research on monitoring and evaluating of the dynamic processes of particulate matter.The aim of the book is to help readers new to the field with the design of innovative devices. Imparting practical information aimed at saving time and money in project design, the book is ideal for engineers, designers, and researchers concerned with all aspects of bulk materials.Introduces and explains fully the Discrete Element Method using measured values as inputs for the method;Shows whether calculated simulations and real measured values models can be used for design;Illustrates how to validate, calibrate, and optimize the dynamic processes of bulk elevators;Explains how to test transport and storage equipment before it is produced using dynamic simulation of material flow on transport lines, saving time and money.
Discrete Element Method to Model 3D Continuous Materials
by Inigo Terreros Mohamed Jebahi Ivan Iordanoff Damien AndreComplex behavior models (plasticity, cracks, visco elascticity) face some theoretical difficulties for the determination of the behavior law at the continuous scale. When homogenization fails to give the right behavior law, a solution is to simulate the material at a meso scale in order to simulate directly a set of discrete properties that are responsible of the macroscopic behavior. The discrete element model has been developed for granular material. The proposed set shows how this method is capable to solve the problem of complex behavior that are linked to discrete meso scale effects.
Discrete-Event Modeling and Simulation: Theory and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Pieter J. Mosterman Gabriel A. WainerCollecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.
Discrete-Event Modeling and Simulation: A Practitioner's Approach (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriel A. WainerComplex artificial dynamic systems require advanced modeling techniques that can accommodate their asynchronous, concurrent, and highly non-linear nature. Discrete Event systems Specification (DEVS) provides a formal framework for hierarchical construction of discrete-event models in a modular manner, allowing for model re-use and reduced development time. Discrete Event Modeling and Simulation presents a practical approach focused on the creation of discrete-event applications. The book introduces the CD++ tool, an open-source framework that enables the simulation of discrete-event models. After setting up the basic theory of DEVS and Cell-DEVS, the author focuses on how to use the CD++ tool to define a variety of models in biology, physics, chemistry, and artificial systems. They also demonstrate how to map different modeling techniques, such as Finite State Machines and VHDL, to DEVS. The in-depth coverage elaborates on the creation of simulation software for DEVS models and the 3D visualization environments associated with these tools. A much-needed practical approach to creating discrete-event applications, this book offers world-class instruction on the field’s most useful modeling tools.
Discrete-Event Simulation: Concepts and Production in Arena (ISTE Consignment)
by Abdessalem JerbiThe use of discrete-event simulation in various fields, such as in industry, logistics and public health, has really taken off over the last few decades. The implementation of discrete-event simulation does however require an understanding, and perhaps even a mastery, of precise theoretical and methodological principles. Discrete-Event Simulation presents the key concepts involved in any discrete-event simulation project, covering the most frequently used techniques for analysing data and results, the methodological and practical aspects of implementing discrete-event simulation, along with an introduction to the use of the “Arena” discrete-event simulation tool. This book combines the elements presented with applied examples, as well as numerous examples of simulation projects in various fields.
Discrete Event Simulation: A Practical Approach (Computer Science & Engineering)
by Udo W. Pooch James A. WallDiscrete Event Simulation is a process-oriented text/reference that utilizes an eleven-step model to represent the simulation process from problem formulation to implementation and documentation. The book presents the necessary level of detail required to fully develop a model that produces meaningful results and considers the tools necessary to interpret those results. Sufficient background information is provided so that the underlying concepts of simulation are understood.Major topics covered in Discrete Event Simulation include probability and distributional theory, statistical estimation and inference, the generation of random variates, verification and validation techniques, time management methods, experimental design, and programming language considerations. The book also examines distributed simulation and issues related to distributing the physical process over a network of tightly coupled processors. Topics covered in this area include deadlock, synchronization, rollback, event management, and communication processes.Fully worked examples and numerous practical exercises have been drawn from the engineering disciplines and computer science, although they have been structured so that they will be useful as well to other disciplines such as economics, business administration, and management science. The presentation of techniques and methods in Discrete Event Simulation make it an ideal text/reference for all practitioners of discrete event simulation.
Discrete-Event Simulation and System Dynamics for Management Decision Making
by Leonid Churilov Brian Dangerfield Sally BrailsfordIn recent years, there has been a growing debate, particularly in the UK and Europe, over the merits of using discrete-event simulation (DES) and system dynamics (SD); there are now instances where both methodologies were employed on the same problem. This book details each method, comparing each in terms of both theory and their application to various problem situations. It also provides a seamless treatment of various topics--theory, philosophy, detailed mechanics, practical implementation--providing a systematic treatment of the methodologies of DES and SD, which previously have been treated separately.
Discrete Event Systems
by Moamar Sayed-MouchawehDiscrete Event Systems: Diagnosis and Diagnosability addresses the problem of fault diagnosis of Discrete Event Systems (DESs). This book provides the basic techniques and approaches necessary for the design of an efficient fault diagnosis system for a wide range of modern engineering applications. This book classifies the different techniques and approaches according to several criteria such as: modeling tools (Automata, Petri nets, Templates) that is used to construct the model; the information (qualitative based on events occurrences and/or states outputs, quantitative based on signal processing, data analysis) that is needed to analyze and achieve the diagnosis; the decision structure (centralized, decentralized) that is required to achieve the diagnosis; as well as the complexity (polynomial, exponential) of the algorithm that is used to determine the set of faults that the proposed approach is able to diagnose as well as the delay time required for this diagnosis. The goal of this classification is to select the efficient method to achieve the fault diagnosis according to the application constraints. This book will include illustrated examples of the presented methods and techniques as well as a discussion on the application of these methods on several real-world problems.
Discrete Mathematical Structures: A Succinct Foundation (Mathematics and its Applications)
by B. V. Kumar Hemen DuttaThis book contains fundamental concepts on discrete mathematical structures in an easy to understand style so that the reader can grasp the contents and explanation easily. The concepts of discrete mathematical structures have application to computer science, engineering and information technology including in coding techniques, switching circuits, pointers and linked allocation, error corrections, as well as in data networking, Chemistry, Biology and many other scientific areas. The book is for undergraduate and graduate levels learners and educators associated with various courses and progammes in Mathematics, Computer Science, Engineering and Information Technology. The book should serve as a text and reference guide to many undergraduate and graduate programmes offered by many institutions including colleges and universities. Readers will find solved examples and end of chapter exercises to enhance reader comprehension. Features Offers comprehensive coverage of basic ideas of Logic, Mathematical Induction, Graph Theory, Algebraic Structures and Lattices and Boolean Algebra Provides end of chapter solved examples and practice problems Delivers materials on valid arguments and rules of inference with illustrations Focuses on algebraic structures to enable the reader to work with discrete structures
Discrete Mathematics: for New Technology
by Rowan Garnier John TaylorIn a comprehensive yet easy-to-follow manner, Discrete Mathematics for New Technology follows the progression from the basic mathematical concepts covered by the GCSE in the UK and by high-school algebra in the USA to the more sophisticated mathematical concepts examined in the latter stages of the book. The book punctuates the rigorous treatment of theory with frequent uses of pertinent examples and exercises, enabling readers to achieve a feel for the subject at hand. The exercise hints and solutions are provided at the end of the book. Topics covered include logic and the nature of mathematical proof, set theory, relations and functions, matrices and systems of linear equations, algebraic structures, Boolean algebras, and a thorough treatise on graph theory. Although aimed primarily at computer science students, the structured development of the mathematics enables this text to be used by undergraduate mathematicians, scientists, and others who require an understanding of discrete mathematics.
Discrete Mathematics and Graph Theory: A Concise Study Companion and Guide (Undergraduate Topics in Computer Science)
by K. ErciyesThis textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before. It can also be used as a reference book for a course on Discrete Mathematics in Computer Science or Mathematics curricula. The study of discrete mathematics is one of the first courses on curricula in various disciplines such as Computer Science, Mathematics and Engineering education practices. Graphs are key data structures used to represent networks, chemical structures, games etc. and are increasingly used more in various applications such as bioinformatics and the Internet. Graph theory has gone through an unprecedented growth in the last few decades both in terms of theory and implementations; hence it deserves a thorough treatment which is not adequately found in any other contemporary books on discrete mathematics, whereas about 40% of this textbook is devoted to graph theory. The text follows an algorithmic approach for discrete mathematics and graph problems where applicable, to reinforce learning and to show how to implement the concepts in real-world applications.
Discrete Mathematics, Probability Theory and Stochastic Processes: For Applications in Engineering and Computer Science (Modeling and Optimization in Science and Technologies #20)
by Samir Brahim Belhaouari Halima Bensmail Farshid MehrdoustThis book provides a comprehensive overview of discrete mathematics, probability theory, and stochastic processes, covering a wide range of topics in each area. It is designed to be a self-contained resource for students and professionals wishing to improve their understanding of these important mathematical concepts. The book takes a practical approach to the subject matter, providing real-world examples and applications to help readers understand how these mathematical concepts are used in various fields, such as computer science, engineering, and finance.
Discrete Problems in Nature Inspired Algorithms
by Anupam Shukla Ritu TiwariThis book includes introduction of several algorithms which are exclusively for graph based problems, namely combinatorial optimization problems, path formation problems, etc. Each chapter includes the introduction of the basic traditional nature inspired algorithm and discussion of the modified version for discrete algorithms including problems pertaining to discussed algorithms.