الصفحة 4
الصفحة 4
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 Science – ICCS 2007; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I
This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data,
Computational Science – ICCS 2007 ; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.
Computational Science – ICCS 2007 ; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.
Computational Science – ICCS 2007 ; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II
This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory to tools for program development.
Computational Intelligence, Theory and Applications ; International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 Proceedings
This book constitutes the refereed proceedings of the 9th Dortmund Fuzzy Days, held in Dortmund, Germany, 2006. The Fuzzy Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational and practical issues in fuzzy systems, neural networks, evolutionary algorithms, and machine learning and thus cover the whole range of computational intelligence.
Computational Intelligence, Theory and Applications ; International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29-Oct. 01, 2004 Proceedings
This book constitutes the refereed proceedings of the 8th Dortmund Fuzzy Days, held in Dortmund, Germany, 2004. The Fuzzy-Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational and practical issues in fuzzy systems, neural networks, evolutionary algorithms, and machine learning and thus cover the whole range of computational intelligence.
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 : 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 intelligence : A compendium
Computational Intelligence paradigms have proven effective on real-world problems in virtually all disciplines including Science, Engineering, Business, healthcare, Management and Avionics. This handbook includes contributions from the leading international experts in their respective fields. There are twenty five chapters grouped in the following ten parts covering theoretical aspects and practical applications.
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.
Linear Genetic Programming
Linear Genetic Programming examines the evolution of imperative computer programs written as linear sequences of instructions. In contrast to functional expressions or syntax trees used in traditional Genetic Programming (GP), Linear Genetic Programming (LGP) employs a linear program structure as genetic material whose primary characteristics are exploited to achieve acceleration of both execution time and evolutionary progress.
Learning Classifier Systems ; International Workshops, IWLCS 2003-2005, Revised Selected Papers
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took place in Chicago (2003), Seattle (2004), and Washington (2005). The Genetic and Evolutionary Computation Conference, the main ACM SIGEvo conference, hosted these three editions.
Cellular Genetic Algorithms
CELLULAR GENETIC ALGORITHMS defines a new class of optimization algorithms based on the concepts of structured populations and Genetic Algorithms (GAs). The authors explain and demonstrate the validity of these cellular genetic algorithms throughout the book. This class of genetic algorithms is shown to produce impressive results on a whole range of domains, including complex problems that are epistatic, multi-modal, deceptive, discrete, continuous, multi-objective, and random in nature. The focus of this book is twofold. On the one hand, the authors present new algorithmic models and extensions to the basic class of Cellular GAs in order to tackle complex problems more efficiently. On the other hand, practical real world tasks are successfully faced by applying Cellular GA methodologies to produce workable solutions of real-world applications.
Bioinspired optimization methods and their applications ; 9th International conference, BIOMA 2020, Brussels, Belgium, November 19–20, 2020, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2020, held in Brussels, Belgium, in November 2020. The 24 full papers presented in this book were carefully reviewed and selected from 68 submissions. The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other.
Bio-inspired modeling of cognitive tasks ; 2nd International Work-conference on the interplay between natural and artificial computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I
This volume includes all the contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition.
Artificial intelligence in theory and practice ; IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Artificial intelligence and soft computing ; 19th International conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020, held in Zakopane, Poland*, in October 2020. The 112 revised full papers presented were carefully reviewed and selected from 265 submissions. The papers included in the first volume are organized in the following six parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; pattern classification; bioinformatics, biometrics and medical applications; artificial intelligence in modeling and simulation. The papers included in the second volume are organized in the following four parts: computer vision, image and speech analysis; data mining; various problems of artificial intelligence; agent systems, robotics and control.
Artificial intelligence and soft computing ; 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2020, held in Zakopane, Poland*, in October 2020. The 112 revised full papers presented were carefully reviewed and selected from 265 submissions. The papers included in the first volume are organized in the following six parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; pattern classification; bioinformatics, biometrics and medical applications; artificial intelligence in modeling and simulation. The papers included in the second volume are organized in the following four parts: computer vision, image and speech analysis; data mining; various problems of artificial intelligence; agent systems, robotics and control.
