134 Ergebnisse - Zeige 21 von 40.

Keine Beschreibung.

Utilizing heuristics to present some fundamentals of probability theory, this book discusses the ideas and concepts common to all random problems. It provides readers with the elementary basis of calculation of probabilities so that it can solve the vast majority of problems it encounters in signal processing, then brings the reader to a more precise knowledge of the theory of measure and Lebesgue integration from the limitations of the tools ...

The paradigm of Graph Rewriting is used very little in the field of Natural Language Processing. But graphs are a natural way of representing the deep syntax and the semantics of natural languages. Deep syntax is an abstraction of syntactic dependencies towards semantics in the form of graphs and there is a compact way of representing the semantics in an underspecified logical framework also with graphs. Then, Graph Rewriting reconciles effici...

This series of five volumes proposes an integrated description of physical processes modeling used by scientific disciplines from meteorology to coastal morphodynamics. * Volume 1 describes the physical processes and identifies the main measurement devices used to measure the main parameters that are indispensable to implement all these simulation tools. * Volume 2 presents the different theories in an integrated approach: mathematical models ...

This is the first book to be published on the topic of data quality exploration, analytics and quantitative data cleaning. The author provides a sound technical grounding in the subject and shows readers, through examples and practical case studies, how to apply statistics and data mining techniques to their own data quality issues. An overview of data quality analytics and techniques for data quality improvement is provided, and the author al...

Technological needs for chemical, ionic and biological species detection are giving rise to continuous research and development in physico-chemistry and biology. The constant progress being made in the theoretical and technological aspects concerning studies and developments of chemical sensors, biosensors and biochips is presented in this book by different scientists and professors from different universities and constitutes an updating of th...

This book offers a comprehensive review of the state-of-the-art in innovative Beyond-CMOS nanodevices for developing novel functionalities, logic and memories dedicated to researchers, engineers and students.

Filling a void in current literature, Mathematical Foundations of Image Processing and Analysis jointly addresses image processing and analysis, whereas most books on this topic solely focus on the processing aspects.

It is commonly recognized that logistics has become a major strategic issue for all companies, whether they are part of the primary, secondary or tertiary sector. Faced with the external pressures of globalization and competition, logistics optimizes processes and reduces production and delivery cycles. The use of Sustainable Supply Chain Management (SuSCM) is now increasingly at the center of thought, due to the numerous factors favoring its ...

Bringing together 18 chapters written by leading experts in dynamical systems, operator theory, partial differential equations, and solid and fluid mechanics, this book presents state-of-the-art approaches to a wide spectrum of new and challenging stability problems.

A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints. The objective is to assign a value for each variable such that all constraints are satisfied.

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata. The inverse method is introduce...

This work presents ad hoc networks and their characteristics. It explains a new protocol of routing with QoS as well as its implementation in a network simulator and compares it with the existing protocols.

Software radio ideally provides the opportunity to communicate with any radio communication standard by modifying only the software, without any modification to hardware components.

Marine renewable energy is a significant resource for generating electricity, and if some conversion technologies have already reached a certain level of maturity, others are emerging. The originality of this multidisciplinary book is to offer a broad spectrum of knowledge from academic and industry experts of various origins.

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

Constraint programming (CP) is a declarative programming paradigm that has relevance for academics and industrial applications (from n-queens to planning, vehicle routing, and optimization, among other fields). This book presents the most current information about musical CP systems from both the scientist's and composer's point-of-view.

It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full desc...

The aim of this book is to give a broad overview of the TLM (Transmission Line Matrix) method, which is one of the "time-domain numerical methods". These methods are reputed for their significant reliance on computer resources. However, they have the advantage of being highly general. The TLM method has acquired a reputation for being a powerful and effective tool by numerous teams and still benefits today from significant theoretical developm...

Keine Beschreibung.