Choose an application

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

Euro-Par Conference Series Euro-Par is an annual series of international conferences dedicated to the p- motion and advancement of all aspectsof parallelcomputing. The major themes can be divided into the broad categories of hardware, software, algorithms and applications for parallel computing. The objective of Euro-Par is to provide a forum within which to promote the development of parallel computing both as an industrial technique and an academic discipline, extending the frontier of both the state of the art and the state of the practice. This is particularly - portant at a time when parallel computing is undergoing strong and sustained development and experiencing real industrial take-up. The main audience for, and participants in, Euro-Par are seen as researchers in academic departments, government laboratories and industrial organizations. Euro-Par's objective is to be the primary choice of such professionals for the presentation of new results in their speci?c areas. Euro-Par is also interested in applications which dem- strate the e?ectiveness of the main Euro-Parthemes. Previous Euro-Par conf- ences took place in Stockholm, Lyon, Passau, Southampton, Toulouse, Munich, Manchester, Paderborn, Klagenfurt, and Pisa. Next year, the conference will take place in Dresden. Euro-Parhas a permanent Web site whereits history and organization are described: http://www. europar. org. The Euro-Par conference series is traditionally organized in cooperation with the International Fede- tion for Information Processing (IFIP), in cooperation with the Association for Computer Machinery (ACM), and in cooperationwith the Institute ofElectrical and Electronics Engineers (IEEE) Computer Society, Technical Committee on Parallel Processing (TCPP).

Computer networks. --- Computer systems. --- Computer engineering. --- Software engineering. --- Computer science. --- Numerical analysis. --- Computer Communication Networks. --- Computer System Implementation. --- Computer Engineering and Networks. --- Software Engineering. --- Theory of Computation. --- Numerical Analysis. --- Mathematical analysis --- Computer software engineering --- Engineering --- Informatics --- Science --- Computers --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Design and construction --- Distributed processing

Choose an application

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

During the past decades, we have witnessed the thriving development of new mathematical, computational and theoretical approaches such as bioinformatics and neuroinformatics to tackle some fundamental issues in biology. These scientific approaches focus no longer on individual units, such as nerve cells or genes, but rather on the emerging dynamic patterns of interactions between them. These concentrate on the interplay between the local dynamics and activity transmissions on one side and the global structure of the underlying connection scheme on the other hand. In this light, the concept of a network emerges as a powerful and stimulating research paradigm in mathematics, physics and computer science, and demonstrates a very lively interaction between experimental findings, simulation studies, and theoretical investigations that then in turn lead to new experimental questions. This volume explores this concept in full and features contributions from a truly global set of contributors, many of whom are pre-eminent in their respective fields.

Computational biology --- Bioinformatics --- System analysis --- Information Technology --- Computer Science (Hardware & Networks) --- Computer Communication Networks. --- Bioinformatics. --- Computational Biology/Bioinformatics. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Systems biology --- Data processing --- Computer communication systems. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Distributed processing

Choose an application

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

With the advent of the Internet and other modern information and communication technologies, a magnificent opportunity has opened up for introducing new, innovative models of commerce, markets, and business. Creating these innovations calls for significant interdisciplinary interaction among researchers in computer science, communication networks, operations research, economics, mathematics, sociology, and management science. In the emerging era of new problems and challenges, one particular tool that has found widespread applications is mechanism design. The focus of this book is to explore game theoretic modeling and mechanism design for problem solving in Internet and network economics. It provides a sound foundation of relevant concepts and theory, to help apply mechanism design to problem solving in a rigorous way.

Computer. Automation --- robots --- Computer architecture. Operating systems --- informatica --- computernetwerken --- speltheorie --- Social sciences (general) --- Mathematics --- Artificial intelligence. Robotics. Simulation. Graphics --- wiskunde --- sociale wetenschappen --- Operational research. Game theory --- Computer networks --- Game theory --- 519.8 --- Games, Theory of --- Theory of games --- Mathematical models --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- 519.8 Operational research --- Operational research --- Distributed processing

Choose an application

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

This monograph describes a new family of algorithms for the simultaneous localization and mapping problem in robotics (SLAM). SLAM addresses the problem of acquiring an environment map with a roving robot, while simultaneously localizing the robot relative to this map. This problem has received enormous attention in the robotics community, reaching a peak of popularity on the occasion of the DARPA Grand Challenge in October 2005, which was won by the team headed by the authors. The FastSLAM family of algorithms applies particle filters to the SLAM Problem, which provides new insights into the data association problem that is paramount in SLAM. The FastSLAM-type algorithms have enabled robots to acquire maps of unprecedented size and accuracy in a number of robot application domains and have been successfully applied in different dynamic environments, including the solution to the problem of people tracking.

statistische kwaliteitscontrole --- Applied physical engineering --- robots --- automatisering --- systeemtheorie --- Statistical physics --- grafische vormgeving --- Artificial intelligence. Robotics. Simulation. Graphics --- systeembeheer --- regeltechniek --- industriële statistieken --- procesautomatisering --- Cartography --- Data transmission systems --- Mobile robots --- Robots --- 681.3*I29 --- Robot control --- Robotics --- Data communication systems --- Transmission of data --- Digital communications --- Electronic data processing --- Electronic systems --- Information theory --- Telecommunication systems --- Cartography, Primitive --- Chartography --- Map-making --- Mapmaking --- Mapping (Cartography) --- Mathematical geography --- Surveying --- Map projection --- Maps --- 681.3*I29 Robotics: manipulators; propelling mechanisms; sensors (Artificial intelli- gence) --- Robotics: manipulators; propelling mechanisms; sensors (Artificial intelli- gence) --- Control systems

Choose an application

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

New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, termed system-on-chip (SOC), together with its associated manufacturing problems, represents a real challenge for designers. As well as giving rise to new design practices, SOC is also reshaping approaches to test and validation activities. These are beginning to migrate from the traditional register-transfer or gate levels of abstraction to the system level. Until now, test and validation have not been supported by system-level design tools so designers have lacked the necessary infrastructure to exploit all the benefits stemming from the adoption of the system level of abstraction such as higher functional performance and greater operating speed. Research efforts are already addressing this issue. System-level Test and Validation of Hardware/Software Systems provides a state-of-the-art overview of the current validation and test techniques by covering all aspects of the subject including: • modeling of bugs and defects; • stimulus generation for validation and test purposes (including timing errors; • design for testability. For researchers working on system-level validation and testing, for tool vendors involved in developing hardware-software co-design tools and for graduate students working in embedded systems and SOC design and implementation, System-level Test and Validation of Hardware/Software Systems will be an invaluable source of reference.

Computer systems --- Computer programs --- Logiciels --- Testing --- Essais --- Production management --- elektrische circuits --- Computer architecture. Operating systems --- Electronics --- elektronica --- hardware --- Programming --- DFMA (design for manufacture and assembly) --- Materials sciences --- Electrical engineering --- programmeren (informatica) --- fysica --- Solid state physics --- Engineering. --- Computer hardware. --- Computer programming. --- Condensed matter. --- Engineering design. --- Electronics. --- Microelectronics. --- Electronic circuits. --- Circuits and Systems. --- Electronics and Microelectronics, Instrumentation. --- Engineering Design. --- Computer Hardware. --- Programming Techniques. --- Condensed Matter Physics. --- Testing. --- Computer program testing --- Debugging in computer science --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Systems engineering. --- Computer science. --- Informatics --- Science --- Design, Engineering --- Engineering --- Industrial design --- Strains and stresses --- Physical sciences --- Engineering systems --- System engineering --- Industrial engineering --- System analysis --- Design --- Design and construction --- Condensed materials --- Condensed media --- Condensed phase --- Materials, Condensed --- Media, Condensed --- Phase, Condensed --- Liquids --- Matter --- Solids --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Electron-tube circuits --- Electric circuits --- Electron tubes