Information architecture

This book provides readers with the skills they need to write computer codes that simulate convection, internal gravity waves, and magnetic field generation in the interiors and atmospheres of rotating planets and stars.

From controlling disease outbreaks to predicting heart attacks, dynamic models are increasingly crucial for understanding biological processes.

The@ first graduate-level textbook to focus on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical methods based on generalized polynomial chaos (gPC).

Presents the state of the technology and points to future directions for semantic computing Semantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience.

Presents the state of the technology and points to future directions for semantic computing Semantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience.

This was the sixth in the sequence of the international conferences promoted and organized by the European Association for Signal Processing.

North-Holland Mathematical Library, Volume 12: Abstract Analytic Number Theory focuses on the approaches, methodologies, and principles of the abstract analytic number theory.

Comparison Theorems in Riemannian Geometry

Individual-based models are an exciting and widely used new tool for ecology.

The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero.

How two pioneers of math and technology ushered in the computer revolutionBoolean algebra, also called Boolean logic, is at the heart of the electronic circuitry in everything we use-from our computers and cars, to home appliances.

Probability, Markov Chains, Queues, and Simulation provides a modern and authoritative treatment of the mathematical processes that underlie performance modeling.

Provides a practical overview of the most common database management tasks for those who need to manage data.

Individual-based models are an exciting and widely used new tool for ecology.

The ambition of this volume is twofold: to provide a comprehensive overview of the field and to serve as an indispensable reference work for anyone who wants to work in it.

The Final Volume of the Groundbreaking Trilogy on Agent-Based ModelingIn this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero.

The Vector-Valued Maximin

Differential Equations with Applications to Mathematical Physics

Analysis and Control of Nonlinear Infinite Dimensional Systems

Scientific Computing with Automatic Result Verification

Stability and Time-Optimal Control of Hereditary Systems

Differential Equations and Mathematical Physics: Proceedings of the International Conference held at the University of Alabama at Birmingham, March 15-21, 1990

Nonlinear Equations in the Applied Sciences

Decentralized Control of Complex Systems

Overall, our object has been to provide an applications-oriented text that is reasonably self-contained.

Constructible Sets with Applications

Constructive Order Types

The Collected Papers of Gerhard Gentzen

Intuitionistic Logic Model Theory and Forcing

SET THEORY

Logic, Methodology and Philosophy of Science III

The Problem of Inductive Logic

Contributions to Mathematical Logic

Problems in the Philosophy of Science

Elements of Mathematical Logic

Problems in the Philosophy of Mathematics

Sets, Models and Recursion Theory

A Deductive Theory of Space and Time

Aspects of Inductive Logic

Studies in Logic and the Foundations of Mathematics

Formal Systems and Recursive Functions

The Foundations of Intuitionistic Mathematics

Introduction to the Theory of Finite Automata

A Transfinite Type Theory with Type Variables

Languages with Expressions of Infinite Length

Computer Programming and Formal Systems

The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book.

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection