الصفحة 41
الصفحة 41
img

Adaptive Motion of Animals and Machines

Apparently, the ability of animals and robots to adapt in a real world cannot be explained or realized by one single function in a control system and mechanism. That is, adaptation in motion is induced at every level from the central nervous system to the musculoskeletal system.Thus,weorganized the International Symposium on Adaptive Motion in Animals and Machines (AMAM) forscientist sandengineersconcerned with adaptation on various level stobebrought together todiscussprinciplesateachleveland to investigate principles governing total systems.

img

Adaptive Learning of Polynomial Networks : Genetic Programming, Backpropagation and Bayesian Methods

This book provides theoretical and practical knowledge for develop­ ment of algorithms that infer linear and nonlinear models. It offers a methodology for inductive learning of polynomial neural network mod­ els from data. The design of such tools contributes to better statistical data modelling when addressing tasks from various areas like system identification, chaotic time-series prediction, financial forecasting and data mining. The main claim is that the model identification process involves several equally important steps: finding the model structure, estimating the model weight parameters, and tuning these weights with respect to the adopted assumptions about the underlying data distrib­ ution. When the learning process is organized according to these steps, performed together one after the other or separately, one may expect to discover models that generalize well.

img

Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2008, held in Hannover, Germany in July 2008.

img

Adaptive and natural computing algorithms ; Proceedings of the International Conference in Coimbra, Portugal, 2005

The ICANNGA series of Conferences has been organised since 1993 and has a long history of promoting the principles and understanding of computational intelligence paradigms within the scientific community and is a reference for established workers in this area.and this book about Proceedings of the International Conference in Coimbra, Portugal, 2005 including Topics Artificial Intelligence Simulation and Modeling / Mathematics of Computing / Computer Applications

img

Adaptive and Natural Computing Algorithms ; 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding of computational intelligence paradigms within the scientifc community. the ICANNGA series has established itself as a reference for scientists and practitioners in this area. The series has also been of value to young researchers wishing both to extend their knowledge and experience and to meet experienced professionals in their ?elds. In a rapidly advancing world, where technology and engineering change d- matically, new challenges in computer science compel us to broaden the c- ference scope in order to take into account new developments.

img

Adaptive and Natural Computing Algorithms ; 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

Constitutes the refereed proceedings of the 8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007, held in Warsaw, Poland, in April 2007. The 178 revised full papers presented were carefully reviewed and selected from a total of 474 submissions. The 94 papers of the first volume are organized in topical sections on evolutionary computation, genetic algorithms, particle swarm optimization, learning, optimization and games, fuzzy and rough systems, just as classification and clustering. The second volume contains 84 contributions related to neural networks, support vector machines, biomedical signal and image processing, biometrics, computer vision, as well as to control and robotics.

img

Active Networks : IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers

The proceedings of the sixth Annual International Working Conference on Active Networks, which took place in October 2004 at The Information and Telecommunications Technology Center, The University of Kansas, USA. The proceedings of IWAN 2004 mark a transition between the funded active networking programs in Europe, Japan, and the United States and a strong, continued interest in the architectures of programmable networks.The papers are organized into sections on active network systems and architectures, security in active networking, active network applications, mobile active networks and active network management.

img

Active mining ; 2nd International workshop, AM 2003, Maebashi, Japan, October 28, 2003, revised selected papers

"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) which was organized in conju- tion with the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS 2003), The workshop was organized by the Maebashi Institute of Technology for shed light on the future development of active mining. "This volume contains : Topics Database Management / Artificial Intelligence / Algorithm Analysis and Problem Complexity / Health Informatics / Bioinformatics

img

Achievements in European Research on Grid Systems ; CoreGRID Integration Workshop 2006 (Selected Papers)

Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop (CGIW'2006), held October 2006 in Krakow, Poland.

img

Accelerator Programming Using Directives ; 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019. The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are organized in the following three sections: porting scientific applications to heterogeneous architectures using directives; directive-based programming for math libraries; and performance portability for heterogeneous architectures.

img

Abstraction, refinement and proof for probabilistic systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.

img

Abstract Computing Machines : A Lambda Calculus Perspective

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.

img

A software process model handbook for incorporating peoples capabilities

Offers the most advanced approach to date, empirically validated at software development organizations. This handbook adds a valuable contribution to the much-needed literature on people-related aspects in software engineering. The primary focus is on the particular challenge of extending software process definitions to more explicitly address people-related considerations. The capability concept is not present nor has it been considered in most software process models. The authors have developed a capabilities-oriented software process model, which has been formalized in UML and implemented as a tool. A Software Process Model Handbook for Incorporating People's Capabilities guides readers through the incorporation of the individual’s capabilities into the software process. Structured to meet the needs of research scientists and graduate-level students in computer science and engineering, A Software Process Model Handbook for Incorporating People's Capabilities is also suitable for practitioners in industry.

img

A Brief History of Computing

This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise manner. It covers the significant areas and events in the field.

عدد النتائج بكل صفحة