Testing and Validation of Computer Simulation Models: Principles, Methods and Applications, Murray-Smith David J.
Автор: Lamprecht Название: Leveraging Applications of Formal Methods, Verification, and Validation ISBN: 331951640X ISBN-13(EAN): 9783319516400 Издательство: Springer Рейтинг: Цена: 48450.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial 'Automata Learning in Practice' with the post-conference publication of selected contributions from the Tracks 'Process-Oriented Geoinformation Systems and Applications' and 'Processes and Data Integration in the Networked Healthcare' of ISoLA 2012.
Автор: Hjort Blindell Gabriel Название: Instruction Selection: Principles, Methods, and Applications ISBN: 3319816586 ISBN-13(EAN): 9783319816586 Издательство: Springer Рейтинг: Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The survey is structured according to two dimensions: approaches to instruction selection from the past 45 years are organized and discussed according to their fundamental principles, and according to the characteristics of the supported machine instructions.
Название: Mathematical models, methods and applications ISBN: 9812879714 ISBN-13(EAN): 9789812879714 Издательство: Springer Рейтинг: Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The present volume contains invited talks of 11th biennial conference on "Emerging Mathematical Methods, Models and Algorithms for Science and Technology".
Автор: Цzmen Ayşe Название: Robust Optimization of Spline Models and Complex Regulatory Networks: Theory, Methods and Applications ISBN: 3319808907 ISBN-13(EAN): 9783319808901 Издательство: Springer Рейтинг: Цена: 99780.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book introduces methods of robust optimization in multivariateadaptive regression splines (MARS) and Conic MARS in order to handleuncertainty and non-linearity.
Автор: David J. Murray-Smith Название: Testing and Validation of Computer Simulation Models ISBN: 3319150987 ISBN-13(EAN): 9783319150987 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This must-read text/reference provides a practical guide to processes involved in the development and application of dynamic simulation models, covering a wide range of issues relating to testing, verification and validation.
Автор: O`Kelly Jonah Название: Computer Simulation: Advanced Techniques, Methods and Applications ISBN: 1682856674 ISBN-13(EAN): 9781682856673 Издательство: Неизвестно Рейтинг: Цена: 164150.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Computer simulations are the tools used to mathematically model natural systems in diverse fields of chemistry, astrophysics, biology, computational physics, social science, climatology, psychology, etc. They can be categorized into small simulations and large-scale simulations depending upon their usage. The different types of computer simulations are dynamic system simulation, stochastic or deterministic, local or distributed, and continuous or discrete simulations. Research in the field of computer simulation has extended its applications in the domains of weather forecasting, organizational management, traffic engineering, crop-soil systems, etc. This book is compiled in such a manner, that it will provide in-depth knowledge about the theory and development of computer simulation. It presents researches and studies performed by experts across the globe. Scientists and students actively engaged in this field will find this book full of crucial and unexplored concepts.
Автор: Franscisca Adamatti, Pereira Dim Название: Interdisciplinary Applications Of Agent-Based Social Simulation And Modeling ISBN: 1466659548 ISBN-13(EAN): 9781466659544 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 218990.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Social simulation can be a difficult discipline to encompass fully. There are many methods, models, directions, and theories that can be discussed and applied to various social sciences. Anthropology, sociology, political science, economy, government, and management can all benefit from social simulation.Interdisciplinary Applications of Agent-Based Social Simulation and Modeling aims to bring a different perspective to this interdisciplinary topic. This book presents current discussions and new insights on social simulation as a whole, focusing on its dangers, pitfalls, deceits, and challenges. This book is an essential reference for researchers in this field, professionals using social simulation, and even students studying this discipline.
Автор: Chen Название: Performance Evaluation by Simulation and Analysis with Applications to Computer Networks ISBN: 1848217471 ISBN-13(EAN): 9781848217478 Издательство: Wiley Рейтинг: Цена: 146730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is devoted to the most used methodologies for performance evaluation: simulation using specialized software and mathematical modeling. An important part is dedicated to the simulation, particularly in its theoretical framework and the precautions to be taken in the implementation of the experimental procedure.
Автор: Tai-hoon Kim; Carlos Ramos; Jemal Abawajy; Byeong- Название: Computer Applications for Modeling, Simulation, and Automobile ISBN: 3642352472 ISBN-13(EAN): 9783642352478 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Modeling and simulation.- Automotive science and technology.
As data holdings get bigger and questions get harder, data scientists and analysts must focus on the systems, the tools and techniques, and the disciplined process to get the correct answer, quickly Whether you work within industry or government, this book will provide you with a foundation to successfully and confidently process large amounts of quantitative data.
Here are just a dozen of the many questions answered within these pages:
What does quantitative analysis of a system really mean?
What is a system?
What are big data and analystics?
How do you know your numbers are good?
What will the future data science environment look like?
How do you determine data provenance?
How do you gather and process information, and then organize, store, and synthesize it?
How does an organization implement data analytics?
Do you really need to think like a Chief Information Officer?
What is the best way to protect data?
What makes a good dashboard?
What is the relationship between eating ice cream and getting attacked by a shark?
The nine chapters in this book are arranged in three parts that address systems concepts in general, tools and techniques, and future trend topics. Systems concepts include contrasting open and closed systems, performing data mining and big data analysis, and gauging data quality. Tools and techniques include analyzing both continuous and discrete data, applying probability basics, and practicing quantitative analysis such as descriptive and inferential statistics. Future trends include leveraging the Internet of Everything, modeling Artificial Intelligence, and establishing a Data Analytics Support Office (DASO).
Many examples are included that were generated using common software, such as Excel, Minitab, Tableau, SAS, and Crystal Ball. While words are good, examples can sometimes be a better teaching tool. For each example included, data files can be found on the companion website. Many of the data sets are tied to the global economy because they use data from shipping ports, air freight hubs, largest cities, and soccer teams. The appendices contain more detailed analysis including the 10 T's for Data Mining, Million Row Data Audit (MRDA) Processes, Analysis of Rainfall, and Simulation Models for Evaluating Traffic Flow.
The 19 revised full papers and 5 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on simulation and modeling methodology; numerical and Monte Carlo simulation; simulation applications: blockchain, deep learning and cloud; simulation and visualization; simulation applications; short papers.
Автор: Liang Li; Kyoko Hasegawa; Satoshi Tanaka Название: Methods and Applications for Modeling and Simulation of Complex Systems ISBN: 9811328528 ISBN-13(EAN): 9789811328527 Издательство: Springer Рейтинг: Цена: 85710.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the proceedings of the 18th Asia Simulation Conference, AsiaSim 2018, held in Kyoto, Japan, in August 2018.The 45 revised full papers presented in this volume were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on modeling and simulation technology; soft computing and machine learning; high performance computing and cloud computing; simulation technology for industry; simulation technology for intelligent society; simulation of instrumentation and control application; computational mathematics and computational science; flow simulation; visualization and computer vision to support simulation.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
