The purpose of this book is to disseminate the research results and best practice from researchers and practitioners interested in and working on modeling methods and methodologies. Though the need for such studies is well recognized, there is a paucity of such research in the l…
The purpose of this book is to disseminate the research results and best practice from researchers and practitioners interested in and working on modeling methods and methodologies. Though the need for such studies is well recognized, there is a paucity of such research in the l…
Annotation
"Preface To the student: We think that the theory dealing with what is hard about computation (and what is impossible!) is challenging but fun. This book grows out of these ideas, and our approach to teaching a course in computational complexity. There is no doubt that some of t…
Every workday we wrestle with cumbersome and unintuitive technologies. Our response is usually "That's just the way it is." Even technology designers and workplace managers believe that certain technological changes are inevitable and that they will bring specific, unavoidable o…
"The technical and cultural boundaries between modeling, simulation, and games are increasingly blurring, providing broader access to capabilities in modeling and simulation and further credibility to game-based applications. The purpose of this study is to provide a technical a…
What is a conceptual model? How is conceptual modeling performed in general and in specific modeling domains? What is the role of established approaches in conceptual modeling? This book addresses these issues.
Since Hopfield proposed neural network computing for optimization and combinatorics problems, many neural network investigators have been working on optimization problems. In this book a variety of optimization problems and combinatorics problems are presented by respective expe…
Handling biological data effectively requires an in-depth knowledge of machine learning techniques and computational skills, along with an understanding of how to use tools such as edgeR and DESeq. With the R Bioinformatics Cookbook, you'll explore all this and more, tackling co…
This book constitutes the refereed proceedings of the 13th International Symposium on Algorithmic Game Theory, SAGT 2020, held in Augsburg, Germany, in September 2020.* The 21 full papers presented together with 3 abstract papers were carefully reviewed and selected from 53 subm…
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers …
This book presents and describes an innovative method to simulate the growth of natural fractural networks in different geological environments, based on their geological history and fundamental geomechanical principles. The book develops techniques to simulate the growth and in…
This book presents a range of current research topics in biological network modeling, as well as its application in studies on human hosts, pathogens, and diseases. Systems biology is a rapidly expanding field that involves the study of biological systems through the mathematica…