Description: SAS Essentials provides an introduction to SAS statistical software, the premiere statistical data analysis tool for scientific research. Through its straightforward approach, the text presents SAS with step-by-step examples. With over fifteen years of teaching SAS courses and over fifty combined years of teaching and consulting by the authors, this valuable reference presents data manipulation and statistical techniques, including a website with examples. This textbook is essential for teachers because the chapters are self-contained and may be used accordingly to the teacher's preference, whether for a one-semester or two-semesters course.

Description: This book presents a unique state-of-the-art survey on progress in the field of program development making use of computational logic. The motivating idea behind this approach is the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as imperative paradigms.

Closely related to the international workshop and symposium series Logic Program Synthesis and Transformation, later on renamed Program Development in Computational logic, this book presents 15 carefully selected and reviewed articles and surveys by leading researchers in the area. The contributions are grouped in sections on specification and synthesis, semantics, analysis, transformation and specialization, termination, and systems.

Description: The crust of the Earth records the deformational processes of the inner Earth and the influence of the overlying atmosphere. The state of the Earth's crust at any time is therefore the result of internal and external processes, which occur on different time and spatial scales. In recent years important steps forward in the understanding of such complex processes have been made by integrating theory and observations with experimental and computer models. This volume presents state-of-the-art analogue and numerical models of processes that alter the Earth's crust. It shows the application of models in a broad range of geological problems with careful documentation of the modelling approach used. This volume contains contributions on analogue and numerical sandbox models, models of orogenic processes, models of sedimentary basins, models of surface processes and deformation, and models of faults and fluid flow.

Description: The hippocampus is thought to play a role in the short-term storage of declarative memories in the human brain. Our understanding of its anatomy, physiology and molecular structure has expanded rapidly in recent years. Yet much still needs to be done to decipher the function of the detailed microcircuits. This overview of our current knowledge of the hippocampus also provides a snapshot of the state of the art of ongoing research into these microcircuits.

Description: This book helps chemical and other engineers develop their skills for solving mathematical models using Maple. These mathematical models can consist of systems of algebraic, ordinary, and partial differential equations. Maple’s ‘dsolve’ is used to obtain solutions for many of these models. Maple worksheets are provided on the Springer website for use by readers to solve the example problems in this book.

Description: The book gives an introduction to computer-based modelling of oceanic processes. It is the first of its kind and contains over twenty practical exercises, using freely available Open-Source software, and covers a wide range of topics from long surface waves, geostrophic flows, through to the general wind-driven circulation including western boundary currents and mesoscale eddies. Results are animations rather than still images. Model codes and animation scripts for all exercises are supplied on a CD-ROM. The reader can adopt model codes for own independent studies. This author offers excellent interactive learning material for graduate students and researchers interested in dynamical processes occurring in the ocean and the computer-based modelling thereof. Only minimum mathematical background knowledge is required and the many exercises of this book are based on freely available open-source software. Complete model codes and animation scripts are provided for each exercise.

Description: Scilab is a free open-source software package for scientific computation. It includes hundreds of general purpose and specialized functions for numerical computation, organized in libraries called toolboxes, which cover such areas as simulation, optimization, systems and control, and signal processing. One important Scilab toolbox is Scicos. Scicos provides a block diagram graphical editor for the construction and simulation of dynamical systems. The objective of this book is to provide a tutorial for the use of Scilab/Scicos with a special emphasis on modeling and simulation tools.

Description: With the evolution in data storage, large databases have stimulated researchers from many areas, especially machine learning and statistics, to adopt and develop new techniques for data analysis in different fields of science. In particular, there have been notable successes in the use of statistical, computational, and machine learning techniques to discover scientific knowledge in the fields of biology, chemistry, physics, and astronomy. With the recent advances in ontologies and knowledge representation, automated scientific discovery (ASD) has further, great prospects in the future.

Description: The purpose of this book is to collect contributions that deal with the use of nature inspired metaheuristics for solving multi-objective combinatorial optimization problems. Such a collection intends to provide an overview of the state-of-the-art developments in this field, with the aim of motivating more researchers in operations research, engineering, and computer science, to do research in this area. As such, this book is expected to become a valuable reference for those wishing to do research on the use of nature inspired metaheuristics for solving multi-objective combinatorial optimization problems.

Description: Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.