Page 2
Page 2
Innovations in robot mobility and control
The most important aspects of this book is that the principles and models introduced in the text are all field-tested, and thus can readily be used in solving real world problems, such as factory automation, disposal of nuclear wastes, landmine clearing and computerized surgery.
Information Sharing on the Semantic Web
The more information is available, the harder it is to locate any particular piece of it. And even when it has been successfully found, it is even harder still to usefully combine it with other information we may already possess. It is commonly understood that this problem of information sharing can only be solved by giving computers better access to the semantics of the information. While it has been recognized that ontologies play a crucial role in solving the open problems, most approaches rely on the existence of well-established data structures. To overcome these shortcomings, Stuckenschmidt and van Harmelen describe ontology-based approaches for resolving semantic heterogeneity in weakly structured environments, in particular the World Wide Web. Addressing problems like missing conceptual models, unclear system boundaries, and heterogeneous representations, they design a framework for ontology-based information sharing in weakly structured environments like the Semantic Web. For researchers and students in areas related to the Semantic Web, the authors provide not only a comprehensive overview of the State of the art, but also present in detail recent research in areas like ontology design for information integration, metadata generation and management, and representation and management of distributed ontologies. For professionals in areas such as e-commerce and knowledge management, the book provides decision support on the use of novel technologies, information about potential problems, and guidelines for the successful application of existing technologies.
Informatics in the Future ; Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on the notion of an “abstract” machine, which can be instantiated by software to any concrete problem-solving machine, changing its behavior in response to external and internal states, allowing for self-reflective and “intelligent” behavior. However, current phenomena such as the Web, cyber physical systems or the Internet of Things show us that we might already have gone beyond this idea, exemplifying a metamorphosis from a stand-alone calculator to the global operating system of our society.
Inconsistency tolerance
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.
Hybrid metaheuristics ; Vol. 4030 ; 3rd International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
The selection of papers for HM 2006 consolidated some of the mainstream issues that have emerged from the past editions. Firstly, there are prominent examples of e?ective hybrid techniques whose design and implementation were motivated by challenging real-world applications. We believe this is particularly important for two reasons: on the one hand, researchers are conscious that the primary goal of developing algorithms is to solve relevant real-life problems; on the other hand, the path towarde?cient solving methods for practical problems is a source of new outstanding ideas and theories. A second important issue is that the research community on metaheur- tics has become increasingly interested in and open to techniques and methods known from arti?cial intelligence (AI) and operations research (OR). So far, the most representative examples of such integration have been the use of AI/OR techniques as subordinates of metaheuristic methods. As a historical and - ymological note, this is in perfect accordance with the original meaning of a metaheuristic as a “general strategy controlling a subordinate heuristic. ” The awareness of the need for a sound experimental methodology is a third keypoint.
Hybrid metaheuristics ; 5th International Workshop, HM 2008, Málaga, Spain, October 8-9, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held in Malaga, Spain, in October 2008.The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers discuss specific aspects of combinations of metaheuristics and other solving techniques for tackling particular relevant constrained optimization problems, such as fiber optic networks, time tabling and freight train scheduling problems.
Holonic and multi-agent systems for manufacturing ; 2nd International conference on industrial applications of holonic and multi-agent systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005, Proceedings
The challenge faced in today’s manufacturing and business environments is the question of how to satisfy increasingly stringent customer requirements while managing growing system complexity. For example, customers expect high-quality, customizable, low-cost products that can be delivered quickly. The systems that deliver these expectations are by nature distributed, concurrent, and stochastic, and, as a result, increasingly difficult to manage. Unfortunately, the traditional hierarchical, strictly centralized approach to control used in these domains is characteristically inflexible, fragile, and difficult to maintain. These shortcomings have led to the development of a new class of manufacturing and supply-chain decision-making approaches in recent years. Solutions based on these approaches usually explore a set of highly distributed decision-making units that are capable of autonomous operations while cooperating interactively to resolve larger problems. The units, referred to as agents in classical computer science and software engineering, or holons if physically integrated with the manufacturing hardware, interact by exchanging information. These units are motivated by arriving at local solutions as well as collaborating and sharing resources and goals in solving the overall problem in question collectively.
High performance computing for computational science - VECPAR 2008 ; 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance Computing for Computational Science, VECPAR 2008, held in Toulouse, France, in June 2008.The 51 revised full papers presented together with the abstract of a surveying and look-ahead talk were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on parallel and distributed computing, cluster and grid computing, problem solving environment and data centric, numerical methods, linear algebra, computing in geosciences and biosciences, imaging and graphics.
High performance computing - HiPC 2004 ; 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
Keynote Addresses.- Rethinking Computer Architecture Research.- Event Servers for Crisis Management.- DIET: Building Problem Solving Environments for the Grid.- The Future Evolution of High-Performance Microprocessors.- Low Power Robust Computing.- Networks and Games.- Plenary Session - Best Papers.- An Incentive Driven Lookup Protocol for Chord-Based Peer-to-Peer (P2P) Networks.- A Novel Battery Aware MAC Protocol for Ad Hoc Wireless Networks, and other
Handbook of Fractional Calculus for Engineering and Science
Provides reliable methods for solving fractional-order models in science and engineering. Contains efficient numerical methods and algorithms for engineering-related equations. Contains comparison of various methods for accuracy and validity. Demonstrates the applicability of fractional calculus in science and engineering. Examines qualitative as well as quantitative properties of solutions of various types of science- and engineering-related equations.
Grid-based problem solving environments ; IFIP TC2/WG2.5 Working Conference on Grid-based problem solving environments : Implications for development and deployment of numerical software, July 17-21, 2006, Prescott, Arizona, USA
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Grid computing : Experiment management, Tool Integration, and Scientific Workflows
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application developers to aggregate resources scattered around the globe for solving large-scale scientific problems. This monograph addresses four critical software development aspects for the engineering and execution of applications on parallel and Grid architectures.
Global optimization and constraint satisfaction ; 2nd International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem,eitherto?ndthebestsolution,ortoobtainacompact, explicit representation of the whole feasible set. The 2nd Workshop on Global Constrained Optimization and Constraint S- isfaction, COCOS 2003, which took place during November 18–21, 2003 in L- sanne, Switzerland, was dedicated to theoretical, algorithmic, and application oriented advances in answering these questions. Here global optimization refers to ?nding the absolutely best feasible point, while constraint satisfaction refers to?ndingallpossiblefeasiblepoints.AsinCOCOS2002,the?rstsuchworkshop (see the proceeedings [1]), the emphasis was on complete solving techniques for problems involving continuous variables that provide all solutions with full rigor, and on applications which, however, were allowed to have relaxed standards of rigor.
Geometry for Computer Graphics : Formulae, Examples and Proofs
Geometry is the cornerstone of computer graphics and computer animation, and provides the framework and tools for solving problems in two and three dimensions. This may be in the form of describing simple shapes such as a circle, ellipse, or parabola, or complex problems such as rotating 3D objects about an arbitrary axis. Geometry for Computer Graphics draws together a wide variety of geometric information that will provide a sourcebook of facts, examples, and proofs for students, academics, researchers, and professional practitioners.
Genetic rogramming ; Vol. 3447 : 8th European conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings
In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference took place from 30 March to 1 April in Lausanne, Switzerland. EuroGP is a well-established conf- ence and the only one exclusively devoted to genetic programming. All previous proceedings were published by Springer in the LNCS series. From the outset, EuroGP has been co-located with the EvoWorkshops focusing on applications of evolutionary computation. Since 2004, EvoCOP, the conference on evolutionary combinatorial optimization, has also been co-located with EuroGP, making this year’s combined events one of the largest dedicated to evolutionary computation in Europe. Genetic programming (GP) is evolutionary computation that solves complex problems or tasks by evolving and adapting a population of computer programs, using Darwinian evolution and Mendelian genetics as its sources of inspiration. Some of the 34 papers included in these proceedings address foundational and theoretical issues and there is also a wide variety of papers dealing with di?erent application areas, such as computer science, engineering, language processing, biology and computational design, demonstrating that GP is a powerful and practical problem-solving paradigm.
Genetic programming : Theory and practice II
This volume explores the emerging interaction between theory and practice in the cutting-edge, machine learning method of Genetic Programming (GP). The contributions developed from a second workshop at the University of Michigan's Center for the Study of Complex Systems where leading international genetic programming theorists from major universities and active practitioners from leading industries and businesses met to examine how GP theory informs practice and how GP practice impacts GP theory. Chapters include such topics as financial trading rules, industrial statistical model building, population sizing, the roles of structure in problem solving by computer, stock picking, automated design of industrial-strength analog circuits, topological synthesis of robust systems, algorithmic chemistry, supply chain reordering policies, post docking filtering, an evolved antenna for a NASA mission and incident detection on highways.
Frontiers of Combining Systems ; 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
Frontiers of combining systems ; 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.
Foundations of fuzzy logic and soft computing ; 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings
This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of fuzzy logic and soft computing. methodologies. Soft computing consists of several computing paradigms which can be used to produce powerful intelligent systems for solving real-world problems.
Foundations of augmented cognition ; 3rd International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings
These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. This volume contains papers in the thematic area of Augmented Cognition.
