الصفحة 28
الصفحة 28
Computational logic in multi-agent systems ; 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming.
Computational logic in multi-agent systems ; 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing methods suffer from two flaws. First, a centralized survivability algorithm (CSA) ensures survivability of the MAS – unfortunately, if the node on which the CSA exists goes down, the survivability of the MAS is questionable. Second, no mechanism exists to change how the MAS is deployed when external factors trigger a re-evaluation of the survivability of the MAS. In this paper, we present three algorithms to address these two important problems. Our algorithms can be built on top of any CSA. Our algorithms are completely distributed and can handle external triggers to compute a new deployment. We report on experiments assessing the efficiency of these algorithms.
Computational linguistics and intelligent text processing ; 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings
The CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural language processing research and the best practices in its applications. This volume contains the papers accepted for oral presentation at the c- ference, as well as several of the best papers accepted for poster presentation.
Computational intelligence paradigms : Innovative Applications
The book includes a sample of research on the innovative applications of advanced computational intelligence paradigms. The characteristics of computational intelligence paradigms such as learning, generalization based on learned knowledge, knowledge extraction from imprecise and incomplete data are the extremely important for the implementation of intelligent machines.
Computational intelligence in biomedicine and bioinformatics : Current trends and applications
The purpose of this book is to provide an overview of powerful state-of-the-art methodologies that are currently utilized for biomedicine and/ or bioinformatics-oriented applications, so that researchers working in those fields could learn of new methods to help them tackle their problems.
Computational intelligence based on lattice theory
The emergence of lattice theory within the field of computational intelligence (CI) is partially due to its proven effectiveness in neural computation. Moreover, lattice theory has the potential to unify a number of diverse concepts and aid in the cross-fertilization of both tools and ideas within the numerous subfields of CI. The compilation of this eighteen-chapter book is an initiative towards proliferating established knowledge in the hope to further expand it. This edited book is a balanced synthesis of four parts emphasizing, in turn, neural computation, mathematical morphology, machine learning, and (fuzzy) inference/logic. The articles here demonstrate how lattice theory may suggest viable alternatives in practical clustering, classification, pattern analysis, and regression applications.
Computational intelligence and bioinspired systems ; 8th International Work-conference on artificial neural networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005, Proceedings
We present in this volume the collection of finally accepted papers of the eighth edition of the “IWANN” conference (“International Work-Conference on Artificial Neural Networks”). This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, fuzzy logic and evolutionary systems). For scientists, engineers and professionals working in the area, this is a very good way to get solid and competitive applications. We are facing a real revolution with the emergence of embedded intelligence in many artificial systems (systems covering diverse fields: industry, domotics, leisure, healthcare, … ). So we are convinced that an enormous amount of work must be, and should be, still done. Many pieces of the puzzle must be built and placed into their proper positions, offering us new and solid theories and models (necessary tools) for the application and praxis of these current paradigms. The above-mentioned concepts were the main reason for the subtitle of the IWANN 2005 edition: “Computational Intelligence and Bioinspired Systems.” papers was addressing the following topics: 1. Mathematical and theoretical methods in computational intelligence.
Computational intelligence : Methods and techniques
This book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. Those techniques are today commonly applied issues of artificial intelligence, e.g. to process speech and natural language, build expert systems and robots.
Computational Fluid Dynamics for Wind Engineering
Covers topics such as: Fluid mechanics, turbulence in fluid mechanics, turbulence modelling, and mathematical modelling of wind engineering problems The finite difference method for CFD, solutions to the incompressible Navier-Stokes equations, visualization, and animation in CFD, and the application of CFD to building and bridge aerodynamics How to compare CFD analysis with wind tunnel measurements, field measurements, and the ASCE-7 pressure coefficients Wind effects and strain on large structures
Computational Fluid Dynamics 2004 ; Proceedings of the Third International Conference on Computational Fluid Dynamics, ICCFD3, Toronto, 12-16 July 2004
The International Conference on Computational Fluid Dynamics (ICCFD) is the merger of the International Conference on Numerical Methods in Fluid Dynamics (ICNMFD) and the International Symposium on Computational Fluid Dynamics (ISCFD). It is held every two years and brings together physicists, mathematicians and engineers to review and share recent advances in mathematical and computational techniques for modeling fluid dynamics. The proceedings of the 2004 conference held in Toronto, Canada, contain a selection of refereed contributions and are meant to serve as a source of reference for all those interested in the state of the art in computational fluid dynamics.
Computational Electronic Circuits : Simulation and Analysis with MATLAB®
This textbook teaches in one, coherent presentation the three distinct topics of analysis of electronic circuits, mathematical numerical algorithms and coding in a software such as MATLAB®. By combining the capabilities of circuit simulators and mathematical software, the author teaches key concepts of circuit analysis and algorithms, using a modern approach. The DC, Transient, AC, Noise and behavioral analyses are implemented in MATLAB to study the complete characteristics of a variety of electronic circuits, such as amplifiers, rectifiers, hysteresis circuits, harmonic traps and passes, polyphaser filters, directional couplers, electro-static discharge and piezoelectric crystals. This book teaches basic and advanced circuit analysis, by incorporating algorithms and simulations that teach readers how to develop their own simulators and fully characterize and design electronic circuits.
Comfort and Perception in Architecture
This book discusses the design of comfortable buildings and shows that design perception and, as a result, comfort should be an intentional feature of architectural design. Modern buildings are often sealed boxes without operable windows or daylighting design. However, contemporary designers increasingly find themselves faced with the task of creating spaces that are comfortable in terms of thermal and visual aspects.
Combustion : Physical and Chemical Fundamentals, Modeling and Simulation, Experiments, Pollutant Formation
The actual fourth edition presents a completely restructured book: Mathematical Formulae and derivations as well as the space-consuming reaction mechanisms have been replaced from the text to appendix. A new chapter discusses the impact of combustion processes on the earth’s atmosphere, the chapter on auto-ignition is extended to combustion in Otto- and Diesel-engines, and the chapters on heterogeneous combustion and on soot formation appear heavily revised.
Combinatorial Optimization : Theory and Algorithms
Puts special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It has arisen as the basis of several courses on combinatorial optimization and more special topics at graduate level. Since the complete book contains enough material for at least four semesters (4 hours a week), one usually selects material in a suitable way. The book contains complete but concise proofs, also for many deep results, some of which did not appear in a book before. Many very recent topics are covered as well, and many references are provided. Thus this book represents the state of the art of combinatorial optimization. This third edition contains a new chapter on facility location problems, an area which has been extremely active in the past few years. Furthermore there are several new sections and further material on various topics. New exercises and updates in the bibliography were added.
Combinatorial Optimization : Theory and Algorithms
Places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It has arisen as the basis of several courses on combinatorial optimization and more special topics at graduate level. It contains complete but concise proofs, also for many deep results, some of which did not appear in a textbook before. Many very recent topics are covered as well, and many references are provided. Thus this book represents the state of the art of combinatorial optimization.
Collective Consciousness and its Discontents: Institutional distributed cognition, racial policy, and public health in the United States
This book expands a recent mathematical treatment of the Baars model of individual consciousness to an institutional venue in which multiple ‘Global Workspaces’ cooperate, communicate, and compete. The result is an expansion of Dretske’s necessary conditions communications theory approach to high level cognition.
Cognitive engineering : A distributed approach to machine intelligence
Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering systems. Beginning with the foundations of psychological modeling of the human mind, the main emphasis is given to parallel and distributed realization of intelligent models for application in reasoning, learning, planning and multi-agent co-ordination problems. The last two chapters provide case studies on human-mood detection and control, and behavioral co-operation of mobile robots. This is the first comprehensive text of its kind, bridging the gap between Cognitive Science and Cognitive Systems Engineering. Each chapter includes plenty of numerical examples and exercises with sufficient hints, so that the reader can solve the exercises on their own. Computer simulations are also included in most chapters to give a clear idea about the application of the algorithms undertaken in the book. In addition, mathematical analysis on convergence and stability of the neuro-fuzzy models will enable the reader to pursue their research career in cognitive engineering.
Coding for Data and Computer Communications
In a unique, single volume, this highly versatile text/reference introduces readers to the importance of channel coding (error-correcting codes), secure coding (cryptography), and source coding (data compression). It is organized in three main parts and uses clear, nonmathematical explanations to develop the concepts, principles, and techniques in each area of coding. Requiring only a general familiarity with computer methods, the book deals with all aspects of coding and its relevance to fast, secure, and reliable data transmission and storage. Features & Benefits: Presents comprehensive coverage of areas of coding often found in separate books, and stresses data coding’s relevance in today’s world / Provides a wealth of examples and exercises (with solutions) to help readers easily grasp the material / Incorporates an extensive chapter on data hiding, a sparsely documented topic of increasing importance in the community / Includes an author-supplied website with supplementary material / Possesses a detailed bibliography and helpful glossary, index, and appendixes (including projects for self-study).
Codes : An Introduction to Information Communication and Cryptography
Information is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle it, for example, mobile phones, digital cameras, and personal computers. This book is an integrated introduction to the mathematics of coding, that is, replacing information expressed in symbols, such as a natural language or a sequence of bits, by another message using (possibly) different symbols. There are three main reasons for doing this: economy, reliability, and security, and each is covered in detail. Only a modest mathematical background is assumed, the mathematical theory being introduced at a level that enables the basic problems to be stated carefully, but without unnecessary abstraction.
Closed-Loop Control of Blood Glucose
Introduces the ?eld of closed-loop blood g- cose control, in a simple manner, to the reader. This includes the hardware and software components that make up the control system (see Chapter 2). The hardware components involved the di?erent types of glucose sensor (- vasive, minimally-invasive and non-invasive) and the di?erent types of insulin.
