This book is the result of a NATO sponsored workshop entitled "Student Modelling: The Key to Individualized Knowledge-Based Instruction" which was held May 4-8, 1991 at Ste. Adele, Quebec, Canada. The workshop was co-directed by Gordon McCalla and Jim Greer of the ARIES Laboratory at the University of Saskatchewan. The workshop focused on the problem of student modelling in intelligent tutoring systems. An intelligent tutoring system (ITS) is a computer program that is aimed at providing knowledgeable, individualized instruction in a one-on-one interaction with a learner. In order to individualize this interaction, the ITS must keep track of many aspects of the leamer: how much and what he or she has leamed to date; what leaming styles seem to be successful for the student and what seem to be less successful; what deeper mental models the student may have; motivational and affective dimensions impacting the leamer; and so ono Student modelling is the problem of keeping track of alI of these aspects of a leamer's leaming.

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. Illustrative example problems in continuous system simulation are presented throughout the book, supported by extended case studies from a number of interdisciplinary applications. Topics and features: provides an emphasis on practical issues of model quality and validation, along with questions concerning the management of simulation models, the use of model libraries, and generic models; contains numerous step-by-step examples; presents detailed case studies, often with accompanying datasets; includes discussion of hybrid models, which involve a combination of continuous system and discrete-event descriptions; examines experimental modeling approaches that involve system identification and parameter estimation; offers supplementary material at an associated website.

"Soft matter" is nowadays used to describe an increasingly important class of - terials that encompasses polymers, liquid crystals, molecular assemblies building hierarchical structures, organic-inorganic hybrids, and the whole area of colloidal science. Common to all is that ?uctuations, and thus the thermal energy k T and B entropy, play an important role. "Soft" then means that these materials are in a state of matter that is neither a simple liquid nor a hard solid of the type studied in hard condensed matter, hence sometimes many types of soft matter are also named "c- plex ?uids. " Soft matter, either of synthetic or biological origin, has been a subject of physical and chemical research since the early ?nding of Staudinger that long chain mo- cules exist. From then on, synthetic chemistry as well as physical characterization underwent an enormous development. One of the outcomes is the abundant pr- ence of polymeric materials in our everyday life. Nowadays, methods developed for synthetic polymers are being more and more applied to biological soft matter. The link between modern biophysics and soft matter physics is quite close in many respects. This also means that the focus of research has moved from simple - mopolymers to more complex structures, such as branched objects, heteropolymers (random copolymers, proteins), polyelectrolytes, amphiphiles and so on.

This book describes, from a computer science viewpoint the software, methods of simulating and analysing crowds with a particular focus on the effects of panic in emergency situations. The power of modern technology impacts on modern life in multiple ways every day. A variety of scientific models and computational tools have been developed to improve human safety and comfort in built environments. In particular, understanding pedestrian behaviours during egress situations is of considerable importance in such contexts. Moreover, some places are built for large numbers of people (such as train stations and airports and high volume special activities such as sporting events). Simulating Crowds in Egress Scenarios discusses the use of computational crowd simulation to reproduce and evaluate egress performance in specific scenarios. Several case studies are included, evaluating the work and different analyses, and comparisons of simulation data versus data obtained from real-life experiments are given.

Implicit objects have gained increasing importance in geometric modeling, visualisation, animation, and computer graphics, because their geometric properties provide a good alternative to traditional parametric objects. This book presents the mathematics, computational methods and data structures, as well as the algorithms needed to render implicit curves and surfaces, and shows how implicit objects can easily describe smooth, intricate, and articulatable shapes, and hence why they are being increasingly used in graphical applications.

Divided into two parts, the first introduces the mathematics of implicit curves and surfaces, as well as the data structures suited to store their sampled or discrete approximations, and the second deals with different computational methods for sampling implicit curves and surfaces, with particular reference to how these are applied to functions in 2D and 3D spaces.

"Multi-finger Haptic Interaction "presents a panorama of technologies and methods for multi-finger haptic interaction, together with an analysis of the benefits and implications of adding multiple-fingers to haptic applications.

Research topics covered include: design and control of advanced haptic devices;multi-contact point simulation algorithms;interaction techniques and implications in human perception when interacting with multiple fingers.

These multi-disciplinary results are integrated into applications such as medical simulators for training manual skills, simulators for virtual prototyping and precise manipulations in remote environments.

"Multi-finger Haptic Interaction "presents the current and potential applications that can be developed with these systems, and details the systems' complexity. The research is focused on enhancing haptic interaction by providing multiple contact points to the user.

This state-of-the-art volume is oriented towards researchers who are involved in haptic device design, rendering methods and perception studies, as well as readers from different disciplines who are interested in applying multi-finger haptic technologies and methods to their field of interest.

This is a volume consisting of selected papers that were presented at the 3rd St. Petersburg Workshop on Simulation held at St. Petersburg, Russia, during June 28-July 3, 1998. The Workshop is a regular international event devoted to mathematical problems of simulation and applied statistics organized by the Department of Stochastic Simulation at St. Petersburg State University in cooperation with INFORMS College on Simulation (USA). Its main purpose is to exchange ideas between researchers from Russia and from the West as well as from other coun tries throughout the World. The 1st Workshop was held during May 24-28, 1994, and the 2nd workshop was held during June 18-21, 1996. The selected proceedings of the 2nd Workshop was published as a special issue of the Journal of Statistical Planning and Inference. Russian mathematical tradition has been formed by such genius as Tchebysh eff, Markov and Kolmogorov whose ideas have formed the basis for contempo rary probabilistic models. However, for many decades now, Russian scholars have been isolated from their colleagues in the West and as a result their mathe matical contributions have not been widely known. One of the primary reasons for these workshops is to bring the contributions of Russian scholars into lime light and we sincerely hope that this volume helps in this specific purpose."

This book offers an accessible guide to ubiquitous computing, with an emphasis on pervasive networking. It addresses various technical obstacles, such as connectivity, levels of service, performance, reliability and fairness. The focus is on describing currently available off-the-shelf technologies, novel algorithms and techniques in areas such as: underwater sensor networks, ant colony based routing, heterogeneous networks, agent based distributed networks, cognitive radio networks, real-time WSN applications, machine translation, intelligent computing and ontology based bit masking. By introducing the core topics and exploring assistive pervasive systems that draw on pervasive networking, the book provides readers with a robust foundation of knowledge on this growing field of research. Written in a straightforward style, the book is also accessible to a broad audience of researchers and designers who are interested in exploring pervasive computing further.

Growth in the pharmaceutical market has slowed down - almost to a standstill. One reason is that governments and other payers are cutting costs in a faltering world economy. But a more fundamental problem is the failure of major companies to discover, develop and market new drugs. Major drugs losing patent protection or being withdrawn from the market are simply not being replaced by new therapies - the pharmaceutical market model is no longer functioning effectively and most pharmaceutical companies are failing to produce the innovation needed for success. This multi-authored new book looks at a vital strategy which can bring innovation to a market in need of new ideas and new products: Systems Biology (SB). Modeling is a significant task of systems biology. SB aims to develop and use efficient algorithms, data structures, visualization and communication tools to orchestrate the integration of large quantities of biological data with the goal of computer modeling. It involves the use of computer simulations of biological systems, such as the networks of metabolites comprise signal transduction pathways and gene regulatory networks to both analyze and visualize the complex connections of these cellular processes. SB involves a series of operational protocols used for performing research, namely a cycle composed of theoretical, analytic or computational modeling to propose specific testable hypotheses about a biological system, experimental validation, and then using the newly acquired quantitative description of cells or cell processes to refine the computational model or theory.

The Pacific Symposium on Biocomputing (PSB) 2019 is an international, multidisciplinary conference for the presentation and discussion of current research in the theory and application of computational methods in problems of biological significance. Presentations are rigorously peer reviewed and are published in an archival proceedings volume. PSB 2019 will be held on January 3 - 7, 2019 in Kohala Coast, Hawaii. Tutorials and workshops will be offered prior to the start of the conference.PSB 2019 will bring together top researchers from the US, the Asian Pacific nations, and around the world to exchange research results and address open issues in all aspects of computational biology. It is a forum for the presentation of work in databases, algorithms, interfaces, visualization, modeling, and other computational methods, as applied to biological problems, with emphasis on applications in data-rich areas of molecular biology.The PSB has been designed to be responsive to the need for critical mass in sub-disciplines within biocomputing. For that reason, it is the only meeting whose sessions are defined dynamically each year in response to specific proposals. PSB sessions are organized by leaders of research in biocomputing's 'hot topics.' In this way, the meeting provides an early forum for serious examination of emerging methods and approaches in this rapidly changing field.

This book is one of very few in the maritime literature that solely focus on the latest developments in information technology (IT) methodologies in this field. It provides the reader with a concise overview of how IT can truly improve the efficacy of operations in the maritime industry. It consists of seven chapters that address a range of topics related to the synergy between Computer Science and Maritime Science. Specifically, Chapters 1 and 2 explore two important problems in maritime logistics pertaining to quayside operational planning, while Chapters 3 and 4 focus on maritime routing methodologies. Chapters 5 and 6 present decision-making support systems for safe shipping and port security. Last, Chapter 7 presents simulation methodologies for modeling maritime traffic. The intended readership of the book spans both an academic audience and professionals in the areas of Operational Research, Transportation Science, and Maritime Science interested in applying IT methodologies in their areas of expertise.

The gathering and storage of data indexed in space and time are experiencing unprecedented growth, demanding for advanced and adapted tools to analyse them. This thesis deals with the exploration and modelling of complex high-frequency and non-stationary spatio-temporal data. It proposes an efficient framework in modelling with machine learning algorithms spatio-temporal fields measured on irregular monitoring networks, accounting for high dimensional input space and large data sets. The uncertainty quantification is enabled by specifying this framework with the extreme learning machine, a particular type of artificial neural network for which analytical results, variance estimation and confidence intervals are developed. Particular attention is also paid to a highly versatile exploratory data analysis tool based on information theory, the Fisher-Shannon analysis, which can be used to assess the complexity of distributional properties of temporal, spatial and spatio-temporal data sets. Examples of the proposed methodologies are concentrated on data from environmental sciences, with an emphasis on wind speed modelling in complex mountainous terrain and the resulting renewable energy assessment. The contributions of this thesis can find a large number of applications in several research domains where exploration, understanding, clustering, interpolation and forecasting of complex phenomena are of utmost importance.

Computational molecular and materials modeling has emerged to deliver solid technological impacts in the chemical, pharmaceutical, and materials industries. It is not the all-predictive science fiction that discouraged early adopters in the 1980s. Rather, it is proving a valuable aid to designing and developing new products and processes. People create, not computers, and these tools give them qualitative relations and quantitative properties that they need to make creative decisions.
With detailed analysis and examples from around the world, Applying Molecular and Materials Modeling describes the science, applications, and infrastructures that have proven successful. Computational quantum chemistry, molecular simulations, informatics, desktop graphics, and high-performance computing all play important roles. At the same time, the best technology requires the right practitioners, the right organizational structures, and - most of all - a clearly understood blend of imagination and realism that propels technological advances. This book is itself a powerful tool to help scientists, engineers, and managers understand and take advantage of these advances.

Here is a comprehensive guide to the incorporation of computer simulation in all levels of the planning function of an organization. Writing for managers of planning, planners, and programmers, the author enables readers to gain an overall understanding of the potential role of simulation in planning, to apply simulation to their own particular needs, and to translate planning concepts into computer instructions. Nersesian demonstrates that for manager, planner, and programmer alike, simulation is not difficult in concept nor complicated to put into practice. The author argues that simulation is a necessary activity in a planning environment characterized by uncertain futures and rapidly changing conditions.

The book is organized into separate chapters, each of which acts as a case study of an aspect in the use of simulation. The synopsis that begins every chapter provides the manager of a planning operation with an appreciation of the general application of simulation to one facet of planning. The chapters themselves focus on particular situations which might befall a planner within the general application of simulation to the planning process. Special appendices--designed to aid programmers who have not had much previous experience in setting up simulation programs--follow each chapter and provide descriptive material and the applicable simulation program. As a comprehensive yet easily understood guide to the benefits of utilizing simulation in the planning process, this book will be an invaluable resource for planners, corporate executives, and programmers.

Simulation-Based Optimization: Parametric Optimization Techniques and Reinforcement Learning introduce the evolving area of static and dynamic simulation-based optimization. Covered in detail are model-free optimization techniques - especially designed for those discrete-event, stochastic systems which can be simulated but whose analytical models are difficult to find in closed mathematical forms. Key features of this revised and improved Second Edition include: * Extensive coverage, via step-by-step recipes, of powerful new algorithms for static simulation optimization, including simultaneous perturbation, backtracking adaptive search and nested partitions, in addition to traditional methods, such as response surfaces, Nelder-Mead search and meta-heuristics (simulated annealing, tabu search, and genetic algorithms) * Detailed coverage of the Bellman equation framework for Markov Decision Processes (MDPs), along with dynamic programming (value and policy iteration) for discounted, average, and total reward performance metrics * An in-depth consideration of dynamic simulation optimization via temporal differences and Reinforcement Learning: Q-Learning, SARSA, and R-SMART algorithms, and policy search, via API, Q-P-Learning, actor-critics, and learning automata * A special examination of neural-network-based function approximation for Reinforcement Learning, semi-Markov decision processes (SMDPs), finite-horizon problems, two time scales, case studies for industrial tasks, computer codes (placed online) and convergence proofs, via Banach fixed point theory and Ordinary Differential Equations Themed around three areas in separate sets of chapters - Static Simulation Optimization, Reinforcement Learning and Convergence Analysis - this book is written for researchers and students in the fields of engineering (industrial, systems, electrical and computer), operations research, computer science and applied mathematics.

This book presents a theoretical and practical overview of computational modeling in bioengineering, focusing on a range of applications including electrical stimulation of neural and cardiac tissue, implantable drug delivery, cancer therapy, biomechanics, cardiovascular dynamics, as well as fluid-structure interaction for modelling of organs, tissues, cells and devices. It covers the basic principles of modeling and simulation with ordinary and partial differential equations using MATLAB and COMSOL Multiphysics numerical software. The target audience primarily comprises postgraduate students and researchers, but the book may also be beneficial for practitioners in the medical device industry.

At the intersection of astronautics, computer science, and social science, this book introduces the challenges and insights associated with computer simulation of human society in outer space, and of the dynamics of terrestrial enthusiasm for space exploration. Never before have so many dynamic representations of space-related social systems existed, some deeply analyzing the logical implications of social-scientific theories, and others open for experience by the general public as computer-generated virtual worlds. Fascinating software ranges from multi-agent artificial intelligence models of civilization, to space-oriented massively multiplayer online games, to educational programs suitable for schools or even for the world's space exploration agencies. At the present time, when actual forays by humans into space are scarce, computer simulations of space societies are an excellent way to prepare for a renaissance of exploration beyond the bounds of Earth.

Computational Creativity, Concept Invention, and General Intelligence in their own right all are flourishing research disciplines producing surprising and captivating results that continuously influence and change our view on where the limits of intelligent machines lie, each day pushing the boundaries a bit further. By 2014, all three fields also have left their marks on everyday life - machine-composed music has been performed in concert halls, automated theorem provers are accepted tools in enterprises' R&D departments, and cognitive architectures are being integrated in pilot assistance systems for next generation airplanes. Still, although the corresponding aims and goals are clearly similar (as are the common methods and approaches), the developments in each of these areas have happened mostly individually within the respective community and without closer relationships to the goings-on in the other two disciplines. In order to overcome this gap and to provide a common platform for interaction and exchange between the different directions, the International Workshops on "Computational Creativity, Concept Invention, and General Intelligence" (C3GI) have been started. At ECAI-2012 and IJCAI-2013, the first and second edition of C3GI each gathered researchers from all three fields, presenting recent developments and results from their research and in dialogue and joint debates bridging the disciplinary boundaries. The chapters contained in this book are based on expanded versions of accepted contributions to the workshops and additional selected contributions by renowned researchers in the relevant fields. Individually, they give an account of the state-of-the-art in their respective area, discussing both, theoretical approaches as well as implemented systems. When taken together and looked at from an integrative perspective, the book in its totality offers a starting point for a (re)integration of Computational Creativity, Concept Invention, and General Intelligence, making visible common lines of work and theoretical underpinnings, and pointing at chances and opportunities arising from the interplay of the three fields.

This edited volume focuses on how we can protect our environment and enhance environmental sustainability when faced with changes and pressures imposed by our expansive needs. The volume unites multiple subject areas within sustainability, enabling the techniques and philosophy in the chapters to be applied to research areas in environmental science, plant sciences, energy, biodiversity and conservation. The chapters from expert contributors cover topics such as mathematical modelling tools used to monitor diversity of plant species, and the stability of ecosystem services such as biogeochemical cycling. Empirical research presented here also brings together mathematical developments in the important fields of robotics including kinematics, dynamics, path planning, control, vision, and swarmanoids. Through this book readers will also discover about rainfall-runoff modelling which will give them a better idea of the effects of climate change on the sustainability of water resources at the watershed scale. Modelling approaches will also be examined that maximize readers insights into the global problem of energy transition, i.e. the switch to an energy production system using renewable resources only. Collective and discrete insights are made to assist with synergy which should progress well beyond this book. Insight is also given to assist policy formations, development and implementations. The book has a strong multi-disciplinary nature at its core, and will appeal to both generalist readers and specialists in information technology, mathematics, biology, physics, chemistry and environmental sciences.

This book provides a detailed overview of the concepts, techniques, applications, and methodological approaches involved in land use and cover change (LUCC) modeling, also known simply as land change modeling. More than 40 international experts in this field have participated in this book, which illustrates recent advances in LUCC modeling with examples from North and South America, the Middle East, and Europe. Given the broad range of geomatic approaches available, it helps readers select the approach that best meets their needs. The book is structured into five parts preceded by a foreword written by Roger White and a general introduction. Part I consists of four chapters, each of which focuses on a specific stage in the modeling process: calibration, simulation, validation, and scenarios. It presents and explains the fundamental ideas and concepts underlying LUCC modeling. This is complemented by a comparative analysis of the selected software packages, practically applied in various case studies in Part II and Part III. Part II discusses recently proposed methodological developments that have enhanced modeling procedures and results while Part III offers case studies as well as interesting, innovative methodological proposals. Part IV revises different fundamental techniques used in LUCC modeling and finally Part V describes the best-known software packages used in the applications presented in Parts II and III.

Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire of computer simulation techniques available to the modelers of dynamic systems. Unlike other books on simulation, this book includes a complete and balanced description of all essential issues relevant to computer simulation of discrete event systems, and it teaches simulation users how to design, program and exploit their own computer simulation models. In addition, it uses the object-oriented methodology throughout the book as its main programming platform. The reader is expected to have some background in the theory of probability and statistics and only a little programming experience in C++, as the book is not tied down to any particular simulation language. The book also provides 50 complete simulation problems to assist with writing such simulation programs. Object-Oriented Computer Simulation of Discrete-Event Systems demonstrates the basic and generic concepts used in computer simulation of discrete-event systems in a comprehensive, uniform and self-contained manner.

Advanced Simulation of Alternative Energy: Simulations with Simulink (R) and SimPowerSystems (TM) considers models of new and promising installations of renewable energy sources, as well as the new trends in this technical field. The book is focused on wind generators with multiphase generators, models of different offshore parks, wind shear and tower shadow effect, active damping, system inertia support, synchronverter modeling, photovoltaic cells with cascaded H-Bridge multilevel inverters, operation of fuel cells with electrolyzers and microturbines, utilization of ocean wave and ocean tide energy sources, pumped storage hydropower simulation, and simulation of some hybrid systems. Simulink (R) and its toolbox, SimPowerSystems (TM) (its new name Electrical/Specialized Power Systems), are the most popular means for simulation of these systems. More than 100 models of the renewable energy systems that are made with use of this program environment are appended to the book. The aims of these models are to aid students studying various electrical engineering fields including industrial electronics, electrical machines, electrical drives, and production and distribution of electrical energy; to facilitate the understanding of various renewable energy system functions; and to create a platform for the development of systems by readers in their fields. This book can be used by engineers and investigators as well as undergraduate and graduate students to develop new electrical systems and investigate the existing ones.

'Points, questions, stories, and occasional rants introduce the 24 chapters of this engaging volume. With a focus on mathematics and peppered with a scattering of computer science settings, the entries range from lightly humorous to curiously thought-provoking. Each chapter includes sections and sub-sections that illustrate and supplement the point at hand. Most topics are self-contained within each chapter, and a solid high school mathematics background is all that is needed to enjoy the discussions. There certainly is much to enjoy here.'CHOICEEver notice how people sometimes use math words inaccurately? Or how sometimes you instinctively know a math statement is false (or not known)?Each chapter of this book makes a point like those above and then illustrates the point by doing some real mathematics through step-by-step mathematical techniques.This book gives readers valuable information about how mathematics and theoretical computer science work, while teaching them some actual mathematics and computer science through examples and exercises. Much of the mathematics could be understood by a bright high school student. The points made can be understood by anyone with an interest in math, from the bright high school student to a Field's medal winner.

Colloids are ubiquitous in the food, medical, cosmetics, polymers, water purification, and pharmaceutical industries. The thermal, mechanical, and storage properties of colloids are highly dependent on their interface morphology and their rheological behavior. Numerical methods provide a convenient and reliable tool for the study of colloids.

"Accelerated Lattice Boltzmann Model for Colloidal Suspensions" introduce the main building-blocks for an improved lattice Boltzmann based numerical tool designed for the study of colloidal rheology and interface morphology. This book also covers the migrating multi-block used to simulate single component, multi-component, multiphase, and single component multiphase flows and their validation by experimental, numerical, and analytical solutions.

Among other topics discussed are the hybrid lattice Boltzmann method (LBM) for surfactant-covered droplets; biological suspensions such as blood; used in conjunction with the suppression of coalescence for investigating the rheology of colloids and microvasculature blood flow.

The presented LBM model provides a flexible numerical platform consisting of various modules that could be used separately or in combination for the study of a variety of colloids and biological flow deformation problems."

Vibration of Functionally Graded Beams and Plates uses numerically efficient computational techniques to analyze vibration problems associated with FG beams and plates. Introductory material on FG materials and structural members, as well as a range of vibration and shear deformation theories are discussed, providing a valuable summary of these broader themes. The latest research and analysis of vibration in FG materials is presented in an application-oriented manner, linking the research to its importance in fields such as aerospace, nuclear power, and automotive engineering. The book also features research on the complicating effects of thermal environments, piezoelectricity, and elastic foundations. The innovative computational procedures and simulation results are shown in full throughout, providing a uniquely valuable resource for users of numerical modeling software. This book is essential reading for any researcher or practitioner interested in FG materials, or the design of technology for the nuclear power, aerospace, and automotive industries.