Books published by Atlantis Press

Over the past years, the appropriateness of Computational Intelligence (CI) techniques in modeling and optimization tasks pertaining to complex nonlinear dynamic systems has become indubitable, as attested by a large number of studies reporting on the successful application of CI models in nonlinear science (for example, adaptive control, signal processing, medical diagnostic, pattern formation, living systems, etc.). This volume summarizes the state-of-the-art of CI in the context of nonlinear dynamic systems and synchronization. Aiming at fostering new breakthroughs, the chapters in the book focus on theoretical, experimental and computational aspects of recent advances in nonlinear science intertwined with computational intelligence techniques. In addition, all the chapters have a tutorial-oriented structure.

In recent years, there has been a growing interest in the need for designing intelligent systems to address complex decision systems. One of the most challenging issues for the intelligent system is to effectively handle real-world uncertainties that cannot be eliminated. These uncertainties include various types of information that are incomplete, imprecise, fragmentary, not fully reliable, vague, contradictory, deficient, and overloading. The uncertainties result in a lack of the full and precise knowledge of the decision system, including the determining and selection of evaluation criteria, alternatives, weights, assignment scores, and the final integrated decision result. Computational intelligent techniques (including fuzzy logic, neural networks, and genetic algorithms etc.), which are complimentary to the existing traditional techniques, have shown great potential to solve these demanding, real-world decision problems that exist in uncertain and unpredictable environments. These technologies have formed the foundation for intelligent systems.

This book contains many important new results on the theory of wavelet transform, such as its relations with Hilbert transform and other fractional integral operators, convolution for wavelet transform. Wavelet transforms on certain distribution spaces, on spaces of type S and type W, and on generalized Sobolev space have been studied. Asymptotic expansions of the wavelet transform when translation or dilation parameter is large/small have been obtained. So far, these results are not published in book form. The results well-illustrated by means of specific examples and relevant figures will find applications in approximation theory, signal processing and in the study of partial differential equations. An overview of the various topics covered in the book facilitates easy reference. Research workers, interested in these topics, will find many open problems being treated in this book.

The book "Enaction, Embodiment, Evolutionary Robotics" proposes how a particular kind of simulation model, i.e. Evolutionary Robotics simulations, can help to solve several problems in Cognitive Science. Examples discussed in the book ranges from motor control, neuroscientific theory, social contingency and time perception. It is argued that methodological minimalism can be a merit, not a shortcoming, even when studying something as complex as the human mind. The book concludes by proposing a new minimalist interdisciplinary framework for the study of perception, combining simulation modeling, experimental methods and accounts of subjective experience. This book endorses an enactive and constructivist view on the human mind, in opposition to the traditional information-processing view. Furthermore, the book discusses and presents the enactive approach, clarifies the assets of this view and how it differs from other proposed alternatives to the computationalist paradigm in AI and Cognitive Science, crucial and missing in the ongoing "embodied turn." The book also presents new experimental results on a number of topics and points out connections between them. Finally, the book proposes a novel framework for the study of perception that combines a number of methods, including computational modeling, in a previously unseen and promising way.

This book highlights various topics on measure theory and vividly demonstrates that the different questions of this theory are closely connected with the central measure extension problem. Several important aspects of the measure extension problem are considered separately: set-theoretical, topological and algebraic. Also, various combinations (e.g., algebraic-topological) of these aspects are discussed by stressing their specific features. Several new methods are presented for solving the above mentioned problem in concrete situations. In particular, the following new results are obtained: the measure extension problem is completely solved for invariant or quasi-invariant measures on solvable uncountable groups; non-separable extensions of invariant measures are constructed by using their ergodic components; absolutely non-measurable additive functionals are constructed for certain classes of measures; the structure of algebraic sums of measure zero sets is investigated. The material presented in this book is essentially self-contained and is oriented towards a wide audience of mathematicians (including postgraduate students). New results and facts given in the book are based on (or closely connected with) traditional topics of set theory, measure theory and general topology such as: infinite combinatorics, Martin's Axiom and the Continuum Hypothesis, Luzin and Sierpinski sets, universal measure zero sets, theorems on the existence of measurable selectors, regularity properties of Borel measures on metric spaces, and so on. Essential information on these topics is also included in the text (primarily, in the form of Appendixes or Exercises), which enables potential readers to understand the proofs and follow the constructions in full details. This not only allows the book to be used as a monograph but also as a course of lectures for students whose interests lie in set theory, real analysis, measure theory and general topology.

Conventional on-chip communication design mostly use ad-hoc approaches that fail to meet the challenges posed by the next-generation MultiCore Systems-on-Chip (MCSoC) designs. These major challenges include wiring delay, predictability, diverse interconnection architectures, and power dissipation. A Network-on-Chip (NoC) paradigm is emerging as the solution for the problems of interconnecting dozens of cores into a single system-on-chip. However, there are many problems associated with the design of such systems. These problems arise from non-scalable global wire delays, failure to achieve global synchronization, and difficulties associated with non-scalable bus-based functional interconnects. The book consists of three parts, with each part being subdivided into four chapters. The first part deals with design and methodology issues. The architectures used in conventional methods of MCSoCs design and custom multiprocessor architectures are not flexible enough to meet the requirements of different application domains and not scalable enough to meet different computation needs and different complexities of various applications. Several chapters of the first part will emphasize on the design techniques and methodologies. The second part covers the most critical part of MCSoCs design the interconnections. One approach to addressing the design methodologies is to adopt the so-called reusability feature to boost design productivity. In the past years, the primitive design units evolved from transistors to gates, finite state machines, and processor cores. The network-on-chip paradigm offers this attractive property for the future and will be able to close the productivity gap. The last part of this book delves into MCSoCs validations and optimizations. A more qualitative approach of system validation is based on the use of formal techniques for hardware design. The main advantage of formal methods is the possibility to prove the validity of essential design requirements. As formal languages have a mathematical foundation, it is possible to formally extract and verify these desired properties of the complete abstract state space. Online testing techniques for identifying faults that can lead to system failure are also surveyed. Emphasis is given to analytical redundancy-based techniques that have been developed for fault detection and isolation in the automatic control area.

This monograph, a sequel to the author's highly successfull "A Mathematical Treatment of Economic Cooperation and Competition Among Nations: With Nigeria, USA, UK, China and Middle East Examples" (Academic Press, 2005), extends the study to all member states of the United Nations. It derives the equations of the key economic variables of gross domestic product, interest rate, employment value of capital stock prices (inflation) and cumulative balance of payment. The derivation is based on the differential market principle of supply and demand and on the rational expectation principle. The models are validated using economic time series of each country and MATLAB programs. The emerging dynamics is a differential game of pursuit which is converted to a hereditary control system for a single nation. Following the same method we derive the full hereditary economic model of all members of the United Nation joined together by external trade, investment capital flow consumption employment and governments' economic intervention all mirrored by interacting gross domestic products. The system is validated with IMF and World Bank data. Studies are made on how to arrest economic recession and depression and promote economic growth and prosperity. Diffusion of wealth is also touched upon. Policies regarding economic stimulus, how to dam the decay of capital flow, as well as conditions to promote full employment are discussed. Examination is made to test for the global systems controllability the possibility of steering any current bad economic state to a state of growth of its GDP, low interest rate, full employment, good value of capital stock, low inflation and a positive value of the cumulative balance of payment. The book prescribes verifiable broad policies for all nations together to promote prosperity, diffusion of wealth and longevity. The book comes with full programs, output and identified equations. These can be downloaded from the publishers' website. The book