Wyniki wyszukiwania:

Failure Rate Modeling for Reliability and Risk focuses on reliability theory and, specifically, to the failure rate (the hazard rate, the force of mortality) modeling and its generalizations to systems operating in a random environment and to repairable systems. The failure rate is one of the crucial probabilistic characteristics for a number of disciplines; including reliability, survival analysis, risk analysis and demography.

Failure Rate Modeling for Reliability and Risk presents a systematic study of the failure rate and related indices, and covers a number of...

This book contains extended versions of select papers from the International Conference on Intelligent Unmanned Systems, ICIUS 2007. It presents theories and applications that address the current and future challenges in the area of unmanned systems.

This book updates the knowledge that we have accumulated over the last couple of decades on yeast research. The yeasts are eukaryotic unicellular microfungi that are widely distributed in the natural environment, and can also be found in more specialized or extreme environments, such as low temperatures, low oxygen availabilities and water potential. Approximately 1500 species of yeasts belonging to over 100 genera have been described so far. Although the vast majority of yeasts are beneficial to human life, only a few are opportunistic human pathogens. Yeasts play an important role in the...

This textbook provides a comprehensive introduction to the main fundamental problems of concern to developers of middleware for mobile environments. Each chapter is structured as a self-contained tutorial presenting an overview of a specific topic.

1. A self-contained introduction to probability, exchangeability and Bayes rule provides a theoretical understanding of the applied material.

2. Numerous examples with R-code that can be run "as-is" allow the reader to perform the data analyses themselves.

3. The development of Monte Carlo and Markov chain Monte Carlo methods in the context of data analysis examples provides motivation for these computational methods.

In this book the author presents the Opial, Poincare, Sobolev, Hilbert, and Ostrowski fractional differentiation inequalities. Results for the above are derived using three different types of fractional derivatives, namely by Canavati, Riemann-Liouville and Caputo. The univariate and multivariate cases are both examined. Each chapter is self-contained. The theory is presented systematically along with the applications. The application to information theory is also examined.

This monograph is suitable for researchers and graduate students in pure mathematics. Applied mathematicians,...

Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing captures and makes accessible the most recent practical developments in service-oriented high-assurance systems.

An edited volume contributed by well-established researchers in this field worldwide, this book reports the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems. Available...

Symmetry is a key ingredient in many mathematical, physical, and biological theories. Using representation theory and invariant theory to analyze the symmetries that arise from group actions, and with strong emphasis on the geometry and basic theory of Lie groups and Lie algebras, Symmetry, Representations, and Invariants is a significant reworking of an earlier highly-acclaimed work by the authors. The result is a comprehensive introduction to Lie theory, representation theory, invariant theory, and algebraic groups, in a new presentation that is more accessible to students and includes a...

Apoptosis: Involvement of Oxidative Stress and Intracellular Ca²⁺ Homeostasis, presents a concise synthesis of the current knowledge and recent advances in the mechanisms of apoptosis in different cells and the role of oxidative stress and Ca²⁺ signalling. Particular attention is given to the different features of apoptosis in distinct cell types, ranging from hepatocytes to cardiovascular and blood cells, nervous cells or spermatozoa.

Cutting-edge and user-friendly, this volume serves as a comprehensive resource for those interested in the...

A model-based approach to the design and implementation of Computational Sensor Networks (CSNs) is proposed. This high-level paradigm for the development and application of sensor device networks provides a strong scientific computing foundation, as well as the basis for robust software engineering practice. The three major components of this approach include (1) models of phenomena to be monitored, (2) models of sensors and actuators, and (3) models of the sensor network computation. We propose guiding principles to identify the state or structure of the phenomenon being sensed, or of the...

Advances in Mathematical Economics is a publication of the Research Center for Mathematical Economics, which was founded in 1997 as an international scientific association that aims to promote research activities in mathematical economics.

Our publication was launched to realize our long-term goal of bringing together those mathematicians who are seriously interested in obtaining new challenging stimuli from economic theories and those economists who are seeking effective mathematical tools for their research.

The scope of Advances in Mathematical Economics includes, but is...

This is a book designed with the teacher educator in mind. It provides in depth examination of specific methods used effectively in self-study research. The chapters are written by researchers engaged in self-study of their practice.

Defining a formal domain ontology is generally considered a useful, not to say necessary step in almost every software project. This is because software deals with ideas rather than with self-evident physical artefacts. However, this development step is hardly ever done, as ontologies rely on well-defined and semantically powerful AI concepts such as description logics or rule-based systems, and most software engineers are largely unfamiliar with these.

Ga evic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the...