Page 8
Page 8
Distributed computing in sensor systems ; 3rd IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007, Proceedings
The book covering the areas of algorithms, applications, and systems, thus bridging the gap between theory and practice and between the broader field of distributed computing and the specific issues arising in sensor networks and related systems.
Differential Evolution : A Practical Approach to Global Optimization
Problems demanding globally optimal solutions are ubiquitous, yet many are intractable when they involve constrained functions having many local optima and interacting, mixed-type variables. The differential evolution (DE) algorithm is a practical approach to global numerical optimization which is easy to understand, simple to implement, reliable, and fast. Packed with illustrations, computer code, new insights, and practical advice, this volume explores DE in both principle and practice. It is a valuable resource for professionals needing a proven optimizer and for students wanting an evolutionary perspective on global numerical optimization.
Device Applications of Nonlinear Dynamics
This edited book is devoted specifically to the applications of complex nonlinear dynamic phenomena to real systems and device applications. While in the past decades there has been significant progress in the theory of nonlinear phenomena under an assortment of system boundary conditions and preparations, there exist comparatively few devices that actually take this rich behavior into account. "Device Applications of Nonlinear Dynamics" applies and exploits this knowledge to make devices which operate more efficiently and cheaply, while affording the promise of much better performance. Given the current explosion of ideas in areas as diverse as molecular motors, nonlinear filtering theory, noise-enhanced propagation, stochastic resonance and networked systems, the time is right to integrate the progress of complex systems research into real devices.
Data mining with computational intelligence
Finding information hidden in data is as theoretically difficult as it is practically important. With the objective of discovering unknown patterns from data, the methodologies of data mining were derived Wang and Fu present in detail the state of the art on how to utilize fuzzy neural networks, multilayer perceptron neural networks, radial basis function neural networks, genetic algorithms, and support vector machines in such applications. They focus on three main data mining tasks: data dimensionality reduction, classification, and rule extraction. The book is targeted at researchers in both academia and industry, while graduate students and developers of data mining systems will also profit from the detailed algorithmic descriptions.
Current aopics in artificial intelligence ; 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007, Selected Papers
The book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects to advanced applications in various fields.
Current aopics in artificial intelligence ; 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, held in Santiago de Compostela, Spain in November 2005.
Control of Traffic Systems in Buildings
Control of Traffic Systems in Buildings presents the state of the art in the analysis and control of transportation systems in buildings focusing primarily on elevator groups. The theory and design of passenger traffic and cargo transport systems are covered, together with actual operational examples and topics of special current interest such as: • noisy, on-line and algorithmic optimization; • simulation-based modeling of passengers and goods; • control of cooperative agent-oriented systems; • proposal for a benchmark to compare new control methods; • deployment and testing of transportation systems.
Computer Music Modeling and Retrieval ; Vol. 3310
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR is an annualevent focusing on important aspects of computer music. CMMR 2004 is the sec-ond event in this series. The use of computers in music is well established. CMMR 2004 provided aunique opportunity to meet and interact with peers concerned with the cross-influence of the technological and creative in computer music. The field of com-puter music is interdisciplinary by nature and closely related to a number of com-puter science and engineering areas such as information retrieval, programming,human computer interaction, digital libraries, hypermedia, artificial intelligence,acoustics, signal processing, etc. The event gathered many interesting people(researchers, educators, composers, performers, and others). There were manyhigh-quality keynote and paper presentations, that fostered inspiring discussions.
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
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 time series forecasting : Theory and engineering applications
Deals with the power of intelligent technologies individually and in combination. This book includes examples of the particular systems and processes susceptible to each technique. It is suitable for industrial training purposes, as well as serving as a useful reference material for experimental researchers.
Computational Intelligence in Reliability Engineering : Evolutionary Techniques in Reliability Analysis and Optimization
This book covers the recent applications of computational intelligence techniques in reliability engineering. This volume contains a survey of the contributions made to the optimal reliability design literature in the resent years and chapters devoted to different applications of a genetic algorithm in reliability engineering and to combinations of this algorithm with other computational intelligence techniques. Genetic algorithms are one of the most widely used metaheuristics, inspired by the optimization procedure that exists in nature, the biological phenomenon of evolution.
Computational Intelligence in Multimedia Processing : Recent Advances
This book presents a large number of interesting applications to intelligent multimedia processing of various Computational Intelligence techniques, such as rough sets, Neural Networks; Fuzzy Logic; Evolutionary Computing; Artificial Immune Systems; Swarm Intelligence; Reinforcement Learning and evolutionary computation.
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 for remote sensing
This book is a composition of different points of view regarding the application of Computational Intelligence techniques and methods to Remote Sensing data and applications. The book covers a broad range of topics, starting from the hardware design of hyperspectral sensors, and data handling problems, namely data compression and watermarking issues, as well as autonomous web services.
Computational intelligence ; Vol. 174 : Engineering of hybrid systems
Hybrid Intelligent Systems has become an important research topic in computer science and a key application field in science and engineering. This book offers a gentle introduction to the engineering aspects of hybrid intelligent systems, also emphasizing the interrelation with the main intelligent technologies such as genetic algorithms? evolutionary computation, neural networks, fuzzy systems, evolvable hardware, DNA computing, artificial immune systems. A unitary whole of theory and application, the book provides readers with the fundamentals, background information, and practical methods.
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.
Machine Learning and Probabilistic Graphical Models for Decision Support Systems
Presents recent advancements in research, a review of new methods and techniques, and applications in decision support systems (DSS) with Machine Learning and Probabilistic Graphical Models, which are very effective techniques in gaining knowledge from Big Data and in interpreting decisions. It explores Bayesian network learning, Control Chart, Reinforcement Learning for multicriteria DSS, Anomaly Detection in Smart Manufacturing with Federated Learning, DSS in healthcare, DSS for supply chain management, etc. Researchers and practitioners alike will benefit from this book to enhance the understanding of machine learning, Probabilistic Graphical Models, and their uses in DSS in the context of decision making with uncertainty. The real-world case studies in various fields with guidance and recommendations for the practical applications of these studies are introduced in each chapter.
Linkage in Evolutionary Computation
The whole volume consisting of 19 chapters is divided into 3 parts: Models and Theories; Operators and Frameworks; Applications. This edited volume will serve as a useful guide and reference for researchers who are currently working in the area of linkage. For postgraduate research students, this volume will serve as a good source of reference. It is also suitable as a text for a graduate level course focusing on linkage issues.
