Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book delivers the state of the art in deep learning (DL) methods hybridized with evolutionary computation (EC). Over the last decade, DL has dramatically reformed many domains: computer vision, speech recognition, healthcare, and automatic game playing, to mention only a few. All DL models, using different architectures and algorithms, utilize multiple processing layers for extracting a hierarchy of abstractions of data. Their remarkable successes notwithstanding, these powerful models are facing many challenges, and this book presents the collaborative efforts by researchers in EC to solve some of the problems in DL. EC comprises optimization techniques that are useful when problems are complex or poorly understood, or insufficient information about the problem domain is available. This family of algorithms has proven effective in solving problems with challenging characteristics such as non-convexity, non-linearity, noise, and irregularity, which dampen the performance of most classic optimization schemes. Furthermore, EC has been extensively and successfully applied in artificial neural network (ANN) research —from parameter estimation to structure optimization. Consequently, EC researchers are enthusiastic about applying their arsenal for the design and optimization of deep neural networks (DNN). This book brings together the recent progress in DL research where the focus is particularly on three sub-domains that integrate EC with DL: (1) EC for hyper-parameter optimization in DNN; (2) EC for DNN architecture design; and (3) Deep neuroevolution. The book also presents interesting applications of DL with EC in real-world problems, e.g., malware classification and object detection. Additionally, it covers recent applications of EC in DL, e.g. generative adversarial networks (GAN) training and adversarial attacks. The book aims to prompt and facilitate the research in DL with EC both in theory and in practice.

Programming --- Computer. Automation --- neuronale netwerken --- programmeren (informatica)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume provides an overview of applications of conceptual spaces theory, beginning with an introduction to the modeling tool that unifies the chapters. The first section explores issues of linguistic semantics, including speakers’ negotiation of meaning. Further sections address computational and ontological aspects of constructing conceptual spaces, while the final section looks at philosophical applications. Domains include artificial intelligence and robotics, epistemology and philosophy of science, lexical semantics and pragmatics, agent-based simulation, perspectivism, framing, contrast, sensory modalities, and music, among others. This collection provides evidence of the wide application range of this theory of knowledge representation. The papers in this volume derive from international experts across different fields including philosophy, cognitive science, linguistics, robotics, computer science and geography. Each contributor has successfully applied conceptual spaces theory as a modeling tool in their respective areas of expertise. Graduates as well as researchers in the areas of epistemology, linguistics, geometric knowledge representation, and the mathematical modeling of cognitive processes should find this book of particular interest.

Theory of knowledge --- Mathematics --- Computer. Automation --- neuronale netwerken --- kennisleer --- wiskunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline, which can be succinctly called cognitive metamathematics, with the ultimate goal of achieving a global instance of concrete Artificial Mathematical Intelligence (AMI). In other words, AMI looks for the construction of an (ideal) global artificial agent being able to (co-)solve interactively formal problems with a conceptual mathematical description in a human-style way. It first gives formal guidelines from the philosophical, logical, meta-mathematical, cognitive, and computational points of view supporting the formal existence of such a global AMI framework, examining how much of current mathematics can be completely generated by an interactive computer program and how close we are to constructing a machine that would be able to simulate the way a modern working mathematician handles solvable mathematical conjectures from a conceptual point of view. The thesis that it is possible to meta-model the intellectual job of a working mathematician is heuristically supported by the computational theory of mind, which posits that the mind is in fact a computational system, and by the meta-fact that genuine mathematical proofs are, in principle, algorithmically verifiable, at least theoretically. The introduction to this volume provides then the grounding multifaceted principles of cognitive metamathematics, and, at the same time gives an overview of some of the most outstanding results in this direction, keeping in mind that the main focus is human-style proofs, and not simply formal verification. The first part of the book presents the new cognitive foundations of mathematics’ program dealing with the construction of formal refinements of seminal (meta-)mathematical notions and facts. The second develops positions and formalizations of a global taxonomy of classic and new cognitive abilities, and computational tools allowing for calculation of formal conceptual blends are described. In particular, a new cognitive characterization of the Church-Turing Thesis is presented. In the last part, classic and new results concerning the co-generation of a vast amount of old and new mathematical concepts and the key parts of several standard proofs in Hilbert-style deductive systems are shown as well, filling explicitly a well-known gap in the mechanization of mathematics concerning artificial conceptual generation.

Mathematics --- Computer. Automation --- neuronale netwerken --- computers --- informatica --- externe fixatie (geneeskunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is devoted to one of the most interesting and rapidly developing areas of modern nonlinear physics and mathematics - the theoretical, analytical and advanced numerical, study of the structure and dynamics of one-dimensional as well as two- and three-dimensional solitons and nonlinear waves described by Korteweg-de Vries (KdV), Kadomtsev-Petviashvili (KP), nonlinear Schrödinger (NLS) and derivative NLS (DNLS) classes of equations. Special attention is paid to generalizations (relevant to various complex physical media) of these equations, accounting for higher-order dispersion corrections, influence of dissipation, instabilities, and stochastic fluctuations of the wave fields. The book addresses researchers working in the theory and numerical simulations of dispersive complex media in such fields as hydrodynamics, plasma physics, and aerodynamics. It will also be useful as a reference work for graduate students in physics and mathematics.

Mathematical physics --- Solid state physics --- Computer science --- neuronale netwerken --- wiskunde --- fysica

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The volume includes a set of selected papers extended and revised from the International Conference on Teaching and Computational Science (WTCS 2009) held on December 19- 20, 2009, Shenzhen, China.   WTCS 2009 best papers Volume 1 is to provide a forum for researchers, educators, engineers, and government officials involved in the general areas of Intelligent Ubiquitous Computing and Education to disseminate their latest research results and exchange views on the future research directions of these fields. 128 high-quality papers are included in the volume. Each paper has been peer-reviewed by at least 2 program committee members and selected by the volume editor Prof.Wu.   On behalf of the WTCS 2009, we would like to express our sincere appreciation to all of authors and referees for their efforts reviewing the papers. Hoping you can find lots of profound research ideas and results on the related fields of Intelligent Ubiquitous Computing and Education.

Artificial intelligence. Robotics. Simulation. Graphics --- neuronale netwerken --- fuzzy logic --- cybernetica --- KI (kunstmatige intelligentie) --- robots