- Table View
- List View
Simulation and Synthesis in Medical Imaging: 9th International Workshop, SASHIMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Computer Science #15187)
by Virginia Fernandez Jelmer M. Wolterink David Wiesner Samuel Remedios Lianrui Zuo Adrià CasamitjanaThis book constitutes the refereed proceedings of the 9th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2024, held in conjunction with the 27th International conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024, in Marrakesh, Morocco in October 2024. The 19 papers included in this book were carefully reviewed and selected from 32 submissions. They focus on recent developments in methods for image-to-image translation, image synthesis, biophysical modelling, super-resolution and image segmentation and classification.
Simulation and Synthesis in Medical Imaging: 8th International Workshop, SASHIMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings (Lecture Notes in Computer Science #14288)
by Jelmer M. Wolterink David Svoboda Can Zhao Virginia FernandezThis book constitutes the refereed proceedings of the 8th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2023, held in conjunction with MICCAI 2023, in Vancouver, Canada, in October 2023.The 13 full papers included in this book were carefully reviewed and selected from 16 submissions. They span a wide range of topics relevant to SASHIMI, and reflect recent developments in methods for segmentation, image-to-image translation, super-resolution, and image synthesis. Applications include MRI imaging, echocardiography, PET, and digital pathology.
Simulation and Synthesis in Medical Imaging: 7th International Workshop, SASHIMI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science #13570)
by Can Zhao David Svoboda Jelmer M. Wolterink Maria EscobarThis book constitutes the refereed proceedings of the 7th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2022, held in conjunction with MICCAI 2022, in Singapore, Singapore in September 2022.
Simulation-Based Algorithms for Markov Decision Processes
by Hyeong Soo Chang Steven I. Marcus Michael C. Fu Jiaqiao HuMarkov decision process (MDP) models are widely used for modeling sequential decision-making problems that arise in engineering, economics, computer science, and the social sciences. Many real-world problems modeled by MDPs have huge state and/or action spaces, giving an opening to the curse of dimensionality and so making practical solution of the resulting models intractable. In other cases, the system of interest is too complex to allow explicit specification of some of the MDP model parameters, but simulation samples are readily available (e.g., for random transitions and costs). For these settings, various sampling and population-based algorithms have been developed to overcome the difficulties of computing an optimal solution in terms of a policy and/or value function. Specific approaches include adaptive sampling, evolutionary policy iteration, evolutionary random policy search, and model reference adaptive search. This substantially enlarged new edition reflects the latest developments in novel algorithms and their underpinning theories, and presents an updated account of the topics that have emerged since the publication of the first edition. Includes: innovative material on MDPs, both in constrained settings and with uncertain transition properties; game-theoretic method for solving MDPs; theories for developing roll-out based algorithms; and details of approximation stochastic annealing, a population-based on-line simulation-based algorithm. The self-contained approach of this book will appeal not only to researchers in MDPs, stochastic modeling, and control, and simulation but will be a valuable source of tuition and reference for students of control and operations research.
Simulation diskreter Prozesse: Methoden und Anwendungen
by Ulrich HedtstückDieses Buch führt in die Simulation diskreter Prozesse ein. Typische Anwendungsbeispiele sind Fertigungsprozesse, Strassenverkehrssituationen, Menschenströme und Geschäftsprozesse. Der Autor vermittelt die grundlegende ereignisorientierte Simulation sowie deren programmiertechnische Realisierung. Anhand vieler Beispiele wird die Lösung spezieller Detailprobleme mit grundlegendem Charakter gezeigt. Die durch die Optimierung von Geschäftsprozessen entstandenen neuen Herausforderungen bezüglich der Simulation bilden einen Schwerpunkt der Darstellung, ein separater Teil ist den theoretischen Grundlagen gewidmet. Lernziel des Buches ist die Fähigkeit, diskrete Prozesse mit den passenden Mitteln zu modellieren und dazu eine Simulationssoftware zu entwerfen bzw. die Mechanismen bestehender Simulationssoftware so zu begreifen, dass sie gewinnbringend eingesetzt werden kann. Die wichtigen Programmstrukturen sind in Form von Pseudocode dargestellt und dadurch völlig unabhängig von einer Programmiersprache oder Spezialsoftware. Damit ist das Buch für eine breite Leserschaft geeignet.
Simulation-Driven Design by Knowledge-Based Response Correction Techniques
by Slawomir Koziel Leifur LeifssonFocused on efficient simulation-driven multi-fidelity optimization techniques, this monograph on simulation-driven optimization covers simulations utilizing physics-based low-fidelity models, often based on coarse-discretization simulations or other types of simplified physics representations, such as analytical models. The methods presented in the book exploit as much as possible any knowledge about the system or device of interest embedded in the low-fidelity model with the purpose of reducing the computational overhead of the design process. Most of the techniques described in the book are of response correction type and can be split into parametric (usually based on analytical formulas) and non-parametric, i. e. , not based on analytical formulas. The latter, while more complex in implementation, tend to be more efficient. The book presents a general formulation of response correction techniques as well as a number of specific methods, including those based on correcting the low-fidelity model response (output space mapping, manifold mapping, adaptive response correction and shape-preserving response prediction), as well as on suitable modification of design specifications. Detailed formulations, application examples and the discussion of advantages and disadvantages of these techniques are also included. The book demonstrates the use of the discussed techniques for solving real-world engineering design problems, including applications in microwave engineering, antenna design, and aero/hydrodynamics.
Simulation Engineering: Build Better Embedded Systems Faster
by Jim LedinBuild complex embedded systems faster and with lower costs by: * Knowing when and how much simulation testing is appropriate * Applying engineering methods to simulation design and development * Using the best tools available to develop simulations. * Va
Simulation for a Sustainable Future: 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3–5, 2023, Proceedings, Part II (Communications in Computer and Information Science #2033)
by Miguel Mujica Mota Paolo ScalaThe two volume set CCIS 2032 and 2033 constitutes the proceedings of the 11th Congress on Simulation for a Sustainable Future, EUROSIM 2023, which was held in Amsterdam, The Netherlands, during July 3–5, 2023. The 47 full papers included in the proceedings were carefully reviewed and selected from 99 submissions. The papers are divided in the following topical sections: environmental sustainability; healthcare; production systems; business and industries; logistics and transportation systems; monitor, control, and theoretical systems.
Simulation for a Sustainable Future: 11th Congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3–5, 2023, Proceedings, Part I (Communications in Computer and Information Science #2032)
by Miguel Mujica Mota Paolo ScalaThe two volume set CCIS 2032 and 2033 constitutes the proceedings of the 11th Congress on Simulation for a Sustainable Future, EUROSIM 2023, which was held in Amsterdam, The Netherlands, during July 3–5, 2023. The 47 full papers included in the proceedings were carefully reviewed and selected from 99 submissions. The papers are divided in the following topical sections: environmental sustainability; healthcare; production systems; business and industries; logistics and transportation systems; monitor, control, and theoretical systems.
Simulation for Applied Graph Theory Using Visual C++
by null Shaharuddin Salleh null Zuraida Abal AbasThe tool for visualization is Microsoft Visual C++. This popular software has the standard C++ combined with the Microsoft Foundation Classes (MFC) libraries for Windows visualization. This book explains how to create a graph interactively, solve problems in graph theory with minimum number of C++ codes, and provide friendly interfaces that makes learning the topics an interesting one. Each topic in the book comes with working Visual C++ codes which can easily be adapted as solutions to various problems in science and engineering.
Simulation for Cyber-Physical Systems Engineering: A Cloud-Based Context (Simulation Foundations, Methods and Applications)
by José L. Risco Martín Saurabh Mittal Tuncer ÖrenThis comprehensive book examines a range of examples, prepared by a diverse group of academic and industry practitioners, which demonstrate how cloud-based simulation is being extensively used across many disciplines, including cyber-physical systems engineering. This book is a compendium of the state of the art in cloud-based simulation that instructors can use to inform the next generation. It highlights the underlying infrastructure, modeling paradigms, and simulation methodologies that can be brought to bear to develop the next generation of systems for a highly connected society. Such systems, aptly termed cyber-physical systems (CPS), are now widely used in e.g. transportation systems, smart grids, connected vehicles, industrial production systems, healthcare, education, and defense. Modeling and simulation (M&S), along with big data technologies, are at the forefront of complex systems engineering research. The disciplines of cloud-based simulation and CPS engineering are evolving at a rapid pace, but are not optimally supporting each other’s advancement. This book brings together these two communities, which already serve multi-disciplinary applications. It provides an overview of the simulation technologies landscape, and of infrastructure pertaining to the use of cloud-based environments for CPS engineering. It covers the engineering, design, and application of cloud simulation technologies and infrastructures applicable for CPS engineering. The contributions share valuable lessons learned from developing real-time embedded and robotic systems deployed through cloud-based infrastructures for application in CPS engineering and IoT-enabled society. The coverage incorporates cloud-based M&S as a medium for facilitating CPS engineering and governance, and elaborates on available cloud-based M&S technologies and their impacts on specific aspects of CPS engineering.
Simulation for Data Science with R
by Matthias TemplHarness actionable insights from your data with computational statistics and simulations using R About This Book * Learn five different simulation techniques (Monte Carlo, Discrete Event Simulation, System Dynamics, Agent-Based Modeling, and Resampling) in-depth using real-world case studies * A unique book that teaches you the essential and fundamental concepts in statistical modeling and simulation * This book is written by the Amazon best-selling author of Learning Statistics (The easier Way) with R Who This Book Is For This book is for users who are familiar with computational methods. If you want to learn about the advanced features of R, including the computer-intense Monte-Carlo methods as well as computational tools for statistical simulation, then this book is for you. Good knowledge of R programming is assumed/required. What You Will Learn * The book aims to explore advanced R features to simulate data to extract insights from your data. * Get to know the advanced features of R including high-performance computing and advanced data manipulation * See random number simulation used to simulate distributions, data sets, and populations * Simulate close-to-reality populations as the basis for agent-based micro-, model- and design-based simulations * Applications to design statistical solutions with R for solving scientific and real world problems * Comprehensive coverage of several R statistical packages like boot, simPop, VIM, data.table, dplyr, parallel, StatDA, simecol, simecolModels, deSolve and many more. In Detail Data Science with R aims to teach you how to begin performing data science tasks by taking advantage of Rs powerful ecosystem of packages. R being the most widely used programming language when used with data science can be a powerful combination to solve complexities involved with varied data sets in the real world. The book will provide a computational and methodological framework for statistical simulation to the users. Through this book, you will get in grips with the software environment R. After getting to know the background of popular methods in the area of computational statistics, you will see some applications in R to better understand the methods as well as gaining experience of working with real-world data and real-world problems. This book helps uncover the large-scale patterns in complex systems where interdependencies and variation are critical. An effective simulation is driven by data generating processes that accurately reflect real physical populations. You will learn how to plan and structure a simulation project to aid in the decision-making process as well as the presentation of results. By the end of this book, you reader will get in touch with the software environment R. After getting background on popular methods in the area, you will see applications in R to better understand the methods as well as to gain experience when working on real-world data and real-world problems. Style and approach This book takes a practical, hands-on approach to explain the statistical computing methods, gives advice on the usage of these methods, and provides computational tools to help you solve common problems in statistical simulation and computer-intense methods.
Simulation for Industry 4.0: Past, Present, and Future (Springer Series in Advanced Manufacturing)
by Murat M. GunalThe 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.0. The book emphasises the role of simulation in the new industrial revolution, and its application as a key aspect of making Industry 4.0 a reality – and thus achieving the complete digitisation of manufacturing and business. It presents various perspectives on simulation and demonstrates its applications, from augmented or virtual reality to process engineering, and from quantum computing to intelligent management. Simulation for Industry 4.0 is a guide and milestone for the simulation community, as well as those readers working to achieve the goals of Industry 4.0. The connections between simulation and Industry 4.0 drawn here will be of interest not only to beginners, but also to practitioners and researchers as a point of departure in the subject, and as a guide for new lines of study.
Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures: 48th International Simulation And Gaming Association Conference, Isaga 2017, Delft, The Netherlands, July 10-14, 2017, Revised Selected Papers (Theoretical Computer Science and General Issues #10825)
by Rens Kortmann Geertje Bekebrede Heide Karen LukoschThis book constitutes the refereed post-conference proceedings of the 48th International Simulation and Gaming Association Conference, ISAGA 2018, held in Delft, The Netherlands, in July 2018. The 19 revised full papers included in the volume were carefully reviewed and selected from 27 submissions. The contributions to this book range from design thinking related to simulation gaming, the analysis of the consequences of design choices in games, to games for decision making, examples of games for business, climate change, maritime spatial planning, sustainable city development, supply chain, and much more.
Simulation Gaming Through Times and Disciplines: 50th International Simulation and Gaming Association Conference, ISAGA 2019, Warsaw, Poland, August 26–30, 2019, Revised Selected Papers (Lecture Notes in Computer Science #11988)
by Marcin Wardaszko Sebastiaan Meijer Heide Lukosch Hidehiko Kanegae Willy Christian Kriz Mariola Grzybowska-BrzezińskaThis book constitutes revised selected papers from the 50th International Simulation and Gaming Association Conference, ISAGA 2019, which took place in Warsaw, Poland, during August 26–30, 2019.The 38 papers presented in this volume were carefully reviewed and selected from 72 submissions. They were organized in topical sections named: simulation gaming in the science space; simulation gaming design and implementation; simulation games for current challenges; simulation games and gamification; and board perspective on simulation gaming.
Simulation Methods for Reliability and Availability of Complex Systems
by Jose Emmanuel Ramirez-Marquez Sebastián Salvador Martorell Alsina Javier Faulin Angel A. JuanSimulation Methods for Reliability and Availability of Complex Systems discusses the use of computer simulation-based techniques and algorithms to determine reliability and availability (R and A) levels in complex systems. The book: shares theoretical or applied models and decision support systems that make use of simulation to estimate and to improve system R and A levels, forecasts emerging technologies and trends in the use of computer simulation for R and A and proposes hybrid approaches to the development of efficient methodologies designed to solve R and A-related problems in real-life systems. Dealing with practical issues, Simulation Methods for Reliability and Availability of Complex Systems is designed to support managers and system engineers in the improvement of R and A, as well as providing a thorough exploration of the techniques and algorithms available for researchers, and for advanced undergraduate and postgraduate students.
Simulation Modeling Handbook: A Practical Approach
by Christopher A. ChungThe use of simulation modeling and analysis is becoming increasingly more popular as a technique for improving or investigating process performance. This book is a practical, easy-to-follow reference that offers up-to-date information and step-by-step procedures for conducting simulation studies. It provides sample simulation project support materi
Simulation Modelling: Concepts, Tools and Practical Business Applications
by Andrew GreasleyWhile simulation has a vast area of application, this textbook focuses on the use of simulation to analyse business processes. It provides an up-to-date coverage of all stages of the discrete-event simulation (DES) process, covering important areas such as conceptual modelling, modelling input data, verification and validation and simulation output analysis. The book is comprehensive yet uncomplicated, covering the theoretical aspects of the subject and the practical elements of a typical simulation project, demonstrated by cases, examples and exercises. It also shows how simulation relates to new developments in machine learning, big data analytics and conceptual modelling techniques. Guidance is provided on how to build DES models using the Arena, Simio and Simul8 simulation software, and tutorials for using the software are incorporated throughout. Simulation Modelling offers a uniquely practical and end-to-end overview of the subject, which makes it perfect required or recommended reading for advanced undergraduate and postgraduate students studying business simulation and simulation modelling as part of operations research, business analytics, supply chain management and computer science courses.
Simulation nichtlinearer Schaltungen in der Leistungselektronik mit Python: Ein Open-Source-Simulator, basierend auf Python™
by Shivkumar V. IyerDieses Buch bietet eine eingehende Diskussion zur Schaltungssimulation, indem es grundlegende elektrische Schaltungstheorie mit Python-Programmierung kombiniert. Es schließt eine Informationslücke, indem es die Entwicklung von Python Power Electronics beschreibt, einer Open-Source-Software zur Simulation von Schaltungen, und ihre Anwendung anhand eines Beispiels zeigt. Im Gegensatz zu typischen Büchern über Schaltungstheorie, die beschreiben, wie Schaltungen mathematisch gelöst werden können, gefolgt von Beispielen zur Simulation unter Verwendung spezifischer kommerzieller Software, verfolgt dieses Buch einen anderen Ansatz. Der Autor beschreibt zunächst jeden Aspekt der Open-Source-Software im Kontext nichtlinearer Leistungselektronikschaltungen. Dies dient als Grundlage für angehende oder praktizierende Ingenieure, um die Entwicklung von Open-Source-Software für verschiedene Zwecke voranzutreiben. Durch die explizite Demonstration des Betriebs der Software mittels Algorithmen vereint dieses Buch die Gebiete Elektrotechnik und Softwaretechnologie.
Simulation of Local Area Networks
by Matthew N. SadikuA fast-growing area in the communications industry is the internetworking of an ever-increasing proliferation of computers, particularly via local area networks (LANs). The LAN is a resource-sharing data communications network being used by many offices to interchange information such as electronic mail, word processing, and files among computers and other devices. This unique book shows the user how to establish the performance characteristics of a LAN before putting it to use in a particular type of situation. Simulation of Local Area Networks consists of eight chapters, each with its own extensive list of references. The first chapter provides a brief review of local area networks, and the second chapter gives the analytical models of popular LANs-token-passing bus and ring networks, CSMA/CD LANs, and star networks. Chapter 3 covers general principles of simulation, and Chapter 4 discusses fundamental concepts in probability and statistics relating to simulation modeling. Materials in Chapters 3 and 4 are specifically applied in developing simulation models on token-passing LANs, CSMA/CD LANs, and star LANs in Chapters 5 through 7. The computer code in Chapters 5, 6, and 7 is divided into segments, and a detailed explanation of each segment is provided. The last chapter reviews special-purpose languages such as GPSS, SIMSCRIPT, GASP, SIMULA, SLAM, and RESQ. Helpful criteria for language selection are included. The entire code is put together in the appendixes. This book has two major advantages over existing texts. First, it uses C, a well-developed general-purpose language that is familiar to most analysts. Second, the text specifically applies the simulation principles to local area networks. No other book available shows the systems analyst how to evaluate the performance of existing or proposed systems under different kinds of conditions.
Simulation of Power Electronics Circuits with MATLAB®/Simulink®: Design, Analyze, and Prototype Power Electronics (Maker Innovations Ser.)
by Farzin AsadiDesign and analyze electronic components and systems with the help of powerful software and effective skillsets. Balancing theory with practical exploration of the relevant software, you'll start solving power electronics problems like a pro. Using MATLAB®/Simulink®, you'll analyze the circuit in a laptop charger; interface with the power electronics converter controlling a washing machine's motor; turn on lamps with an electronic ballast; convert AC into DC power; and more!Power electronics are at the bedrock of all the wonderful devices simplifying our daily life. Designing them isn't just about understanding schematics. It also requires measuring twice and cutting once. In order to save time and money, a power electronics circuit must be simulated before construction. So you'll learn how to work with one of the most powerful simulation tools for this purpose. That way you'll know before you even go to make it whether the circuit works as expected. Learn to work with MATLAB®/Simulink® by directly applying and building the projects in this book. Or use it as a lab manual for power electronics and industrial electronics. Either way, using strong simulations and solid design theory, you'll be able to build power electronics that don't fail. What You'll LearnSimulate power electronics effectively before building themSelect suitable semiconductor components for your circuit based on simulation waveformsExtract dynamic models of converters and design suitable controllers for themWho This Book Is ForEngineers and students who want to simulate power electronics circuits in MATLAB®/Simulink®.
Simulation of Urban Mobility
by Michael Behrisch Daniel Krajzewicz Melanie WeberThis book constitutes the thoroughly refereed proceedings of the First International Conference on Simulation of Urban Mobility, SUMO 2013, held in Berlin, Germany, in May 2013. The 12 revised full papers presented tin this book were carefully selected and reviewed from 22 submissions. The papers are organized in two topical sections: models and technical innovations and applications and surveys.
Simulation on Hydration of Tricalcium Silicate in Cement Clinker
by Dejian Shen Xin WangThis book is written based on authors' research on cement hydration during the past decade. It establishes simulation model to evaluate the influence of crystal defects on the dissolution of tricalcium silicate and morphology change of particles and explores the hydration kinetics and microstructure development of tricalcium silicate under the mixed control of dissolution, diffusion, as well as boundary nucleation and growth. It also provides a theoretical basis for regulating the microstructure and performance of cement-based materials. It is designed as a reference work for professionals or practitioners and as a textbook for undergraduates or postgraduates. This book provides valuable knowledge and useful methods that can be applied in the field of cement hydration.
Simulation Science: First International Workshop, Simscience 2017, Göttingen, Germany, April 27-28, 2017, Revised Selected Papers (Communications In Computer And Information Science #889)
by Marcus Baum Gunther Brenner Jens Grabowski Thomas Hanschke Stefan Hartmann Anita SchöbelThis book constitutes the thoroughly refereed proceedings of the Clausthal-Göttingen International Workshop on Simulation Science, held in Göttingen, Germany, in April 2017. The 16 full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on simulation and optimization in networks, simulation of materials, distributed simulations.
Simulation Science: Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers (Communications in Computer and Information Science #1199)
by Marcus Baum Nina GunkelmannThis book constitutes the refereed proceedings of the Second International Workshop on Simulation Science, held in Clausthal-Zellerfeld, in May 2019. The 12 full papers were carefully reviewed and selected from 47 submissions. The papers are organized according to the following topics: optimization and distributed simulations; simulation of materials; self-organized and porous structures; simulation of materials: finite element and multiscale methods.