This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.
This book describes novel algorithms based on interval-valued fuzzy methods that are expected to improve classification and decision-making processes under incomplete or imprecise information.
This book provides a comprehensive introduction to the OMNeT++ simulation environment and an overview of its ecosystem of ever-growing frameworks, which provide simulation models for diverse communication systems, protocols, and standards.
This book covers the methodological, epistemological and practical issues of integrating qualitative and socio-anthropological factors into archaeological modeling.
This book constitutes the refereed proceedings of the 9th International Conference on Computational and Information Technologies in Science, Engineering and Education, CITech 2018, held in Ust-Kamenogorsk, Kazakhstan, in September 2018.
This volume presents a compelling collection of state-of-the-art work in algorithmic computational biology, honoring the legacy of Professor Bernard M.
The sixth edition of this highly successful textbook provides a detailed introduction to Monte Carlo simulation in statistical physics, which deals with the computer simulation of many-body systems in condensed matter physics and related fields of physics and beyond (traffic flows, stock market fluctuations, etc.
The book constitutes the refereed proceedings of the 13th EAI International Conference on Communications and Networking, held in October 2018 in Chengdu, China.
This book constitutes the refereed proceedings of the 4th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2018, held in Da Nang, Vietnam, in August 2018.
This volume gathers papers presented at the Workshop on Computational Diffusion MRI (CDMRI'18), which was held under the auspices of the International Conference on Medical Image Computing and Computer Assisted Intervention in Granada, Spain on September 20, 2018.
The yard block of a container terminal is the central point of synchronisation for asynchronous container flows between deep-sea vessels and transport to the hinterland.
This book describes a variety of teaching and academic research applications that effectively utilize FlexSim to: (1) provide guidelines, methods and tools for simulation modeling and analysis in a variety of educational settings and (2) address a variety of important design and operational issues in industry.
The book shows how simulation's long history and close ties to industry since the third industrial revolution have led to its growing importance in Industry 4.
This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018.
This book presents the textile-, mathematical and mechanical background for the modelling of fiber based structures such as yarns, braided and knitted textiles.
The book discusses the theoretical fundamentals of CAD graphics to enhance readers' understanding of surface modeling and free-form design by demonstrating how to use mathematical equations to define curves and surfaces in CAD modelers.
This book explains in a didactic way the basic concepts of spectral mixing, digital numbers and orbital sensors, and then presents the linear modelling technique of spectral mixing and the generation of fractional images.
This book describes CoSMoS (Complex Systems Modelling and Simulation), a pattern-based approach to engineering trustworthy simulations that are both scientifically useful to the researcher and scientifically credible to third parties.
This volume presents innovative work on innovative methods, tools and practices aimed at supporting the transition of Asian and Middle Eastern cities and regions towards a more smart and sustainable dimension.
This book highlights a set of selected, revised and extended papers from the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2017), held in Madrid, Spain, on July 26 to 28, 2017.
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.
This book constitutes the refereed proceedings of the 14th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2018, held in Tallinn, Estonia, in June 2018.
This book offers methods to improve energy access and support social and economic development through the appropriate and reliable design of isolated wind energy systems.
This book presents mathematical models of demand-side management programs, together with operational and control problems for power and renewable energy systems.
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.
This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018.
This book presents research results of PowerWeb, TU Delft's consortium for interdisciplinary research on intelligent, integrated energy systems and their role in markets and institutions.
This volume presents a timely collection of research papers on the progress, opportunities, and challenges related to the advancement of geospatial technologies for applications in urban health research and management.
This book includes high quality research papers submitted at the 2022 "e;Four Session (ICFIE, ICORG, GDORS, CGHMORS) Celebration"e; Joint International Conference held on December 28, 2022 and the online meeting of the Fuzzy Information and Engineering Branch of the China Operations Research Society on September 17, 2022.
Develop generative models for a variety of real-world use-cases and deploy them to productionKey FeaturesDiscover various GAN architectures using Python and Keras libraryUnderstand how GAN models function with the help of theoretical and practical examplesApply your learnings to become an active contributor to open source GAN applicationsBook DescriptionGenerative Adversarial Networks (GANs) have revolutionized the fields of machine learning and deep learning.
The computer-aided drug design research field comprises several different knowledge areas, and often, researchers are only familiar or experienced with a small fraction of them.
Computer Simulation of Porous Materials covers the key approaches in the modelling of porous materials, with a focus on how these can be used for structure prediction and to either rationalise or predict a range of properties including sorption, diffusion, mechanical, spectroscopic and catalytic.
Computer Simulation of Porous Materials covers the key approaches in the modelling of porous materials, with a focus on how these can be used for structure prediction and to either rationalise or predict a range of properties including sorption, diffusion, mechanical, spectroscopic and catalytic.
Enhance your simulation modeling skills by creating and analyzing digital prototypes of a physical model using Python programming with this comprehensive guideKey FeaturesLearn to create a digital prototype of a real model using hands-on examplesEvaluate the performance and output of your prototype using simulation modeling techniquesUnderstand various statistical and physical simulations to improve systems using PythonBook DescriptionSimulation modeling helps you to create digital prototypes of physical models to analyze how they work and predict their performance in the real world.
Understand the nuances of programming traditional quantum computers and solve the challenges of the future while building and executing quantum programs on IBM Quantum hardware and simulatorsKey FeaturesWork your way up from writing a simple quantum program to programming complex quantum algorithmsExplore the probabilistic nature of qubits by performing quantum coin tosses and using random number generatorsDelve into quantum algorithms and their practical applications in various domainsBook DescriptionIBM Quantum Experience(R) is a leading platform for programming quantum computers and implementing quantum solutions directly on the cloud.
With a recipe-based approach, hone and develop the necessary skills you need to perform mechanical, visualization, and simulation tasks using Autodesk InventorKey FeaturesCreate powerful parametric 3D designs, parts, and assembliesApply effective modeling techniques to increase automation and promote configurationEnable iLogic-powered rapid configurations and apply Finite Element Analysis for model simulationBook DescriptionAutodesk Inventor is an industry-leading, computer-aided design application for 3D mechanical design, simulation, visualization, and documentation.
Technology for modifying the genotypes and phenotypes of insects and other arthropods has steadily progressed with the development of more precise and powerful methods, most prominently transgenic modification.
Technology for modifying the genotypes and phenotypes of insects and other arthropods has steadily progressed with the development of more precise and powerful methods, most prominently transgenic modification.
Learn advanced techniques to improve the performance and quality of your predictive modelsKey FeaturesUse ensemble methods to improve the performance of predictive analytics modelsImplement feature selection, dimensionality reduction, and cross-validation techniquesDevelop neural network models and master the basics of deep learningBook DescriptionPython is a programming language that provides a wide range of features that can be used in the field of data science.
Understand the nuances of programming traditional quantum computers and solve the challenges of the future while building and executing quantum programs on IBM Quantum hardware and simulatorsKey FeaturesWork your way up from writing a simple quantum program to programming complex quantum algorithmsExplore the probabilistic nature of qubits by performing quantum coin tosses and using random number generatorsDelve into quantum algorithms and their practical applications in various domainsBook DescriptionIBM Quantum Experience(R) is a leading platform for programming quantum computers and implementing quantum solutions directly on the cloud.
