Böcker utgivna av Atlantis Press (Zeger Karssen)

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.

The book aims to provide an unifying view of a variety (a 'zoo') of mathematical models with some kind of singular nonlinearity, in the sense that it becomes infinite when the state variable approaches a certain point. Each chapter starts with a discussion of the basic model and its physical significance.

Bayesian methods are growing more and more popular, finding new practical applications in the fields of health sciences, engineering, environmental sciences, business and economics and social sciences, among others.

The basic building block of Ordered Random Variables is Order Statistics which has several applications in extreme value theory and ordered estimation. The general model for ordered random variables, known as Generalized Order Statistics has been introduced relatively recently by Kamps (1995).

A variety of introductory articles is provided on a wide range of topics, including variational problems on curves and surfaces with anisotropic curvature. The ten chapters are the result of various doctoral courses which were held in 2009 and 2010 at universities in Leuven, Serbia, Romania and Spain.

Part three presents new methods, processes and materials at nano levels that can bring innovative solutions to conservation and restoration issues, linked with the understanding of the alteration processes involved at different scales.

The second volume of the two volumes book is dedicated to various extensions and generalizations of Dyadic (Walsh) analysis and related applications.

Dyadic (Walsh) analysis emerged as a new research area in applied mathematics and engineering in early seventies within attempts to provide answers to demands from practice related to application of spectral analysis of different classes of signals, including audio, video, sonar, and radar signals.

The book rwill be useful o applied statisticians as well statisticians interrested to work in the area of extremen value distributions.vmonograph presents the central ideas and results of extreme value distributions.The monograph gives self-contained of theory and applications of extreme value distributions.

The chapters are "The origin of generalized metric spaces", "Mappings on metric spaces" and "Classes of generalized metric spaces".

This book offers the reader a new approach to the solvability of boundary value problems with state-dependent impulses and provides recently obtained existence results for state dependent impulsive problems with general linear boundary conditions.

This book presents the theory of order statistics in a way, such that beginners can get easily acquainted with the very basis of the theory without having to work through heavily involved techniques.

This book enables a reader to check his/her level of understanding of the theory of record values. An upgraded list of bibliography which will help a reader to enrich his/her theoretical knowledge and widen the experience of dealing with ordered observations, is also given in the book.

The 6th International Asia Conference on Industrial Engineering and Management Innovation is sponsored by the Chinese Industrial Engineering Institution and organized by Tianjin University.

Provides in an organized manner characterizations of univariate probability distributions with many new results published in this area since the 1978 work of Golambos & Kotz "Characterizations of Probability Distributions" (Springer), together with applications of the theory in model fitting and predictions.

The book "Single variable Differential and Integral Calculus" is an interesting text book for students of mathematics and physics programs, and a reference book for graduate students in any engineering field.

This book provides an enduring response to modern economic problems and the consequent crises, dealing with the economic modelling of nations and the forecasting of economic growth.

The book covers a wide range of topics, yet essential, in Computational Finance (CF), understood as a mix of Finance, Computational Statistics, and Mathematics of Finance.

This manual provides solutions to approximately 500 problems appeared in various chapters of the text Principles of Mathematical Economics. In some cases, a detailed solution with the additional discussion is provided. At the end of each chapter, new sets of exercises are given.

Introduction to Global Variational Geometry

The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the previous editions (North Holland, 1992 and 2002).

The fourth category of topic will be dedicated to representative applications of activity recognition in intelligent environments, which address the life cycle of activity recognition and their use for novel functions of the end-user systems with comprehensive implementation, prototyping and evaluation.

Under the assumption of a basic knowledge of algebra and analysis, micro and macro economics, this self-contained and self-sufficient textbook is targeted towards upper undergraduate audiences in economics and related fields such as business, management and the applied social sciences.

The work outlines a detailed blueprint for the creation of an Artificial General Intelligence system with capability at the human level and ultimately beyond, according to the Cog Prime AGI design and the Open Cog software architecture.

The work outlines a novel conceptual and theoretical framework for understanding Artificial General Intelligence and based on this framework outlines a practical roadmap for the development of AGI with capability at the human level and ultimately beyond.

Data compression is mandatory to manage massive datasets, indexing is fundamental to query them.

This book treats state-of-the-art computational methods for power flow studies and contingency analysis. Furthermore, traditional methods to solve such problems are compared to modern solvers, developed using the knowledge of the first part of the book.

The most important properties of normal and Student t-distributions are presented. New related results dealing with the distributions of the sum, product and ratio of the independent normal and Student distributions are presented.

Nanotechnology in a Nutshell

In addition, essential and critical information systems management skills including using information systems for competitive advantages, planning and evaluating information systems, system development & implementing information systems, and managing information systems operations will be a critical part of the book.