Dotnetcat » .NET Books » Algorithms books

The papers in this volume present theoretical insights and report practical applications both for neural networks, genetic algorithms and evolutionary computation. In the field of natural computing, swarm optimization, bioinformatics and computational biology contributions are no less compelling. A wide selection of contributions report applications of neural networks to process engineering, robotics and control. Contributions also abound in the field of evolutionary computation particularly in combinatorial and optimization problems. Many papers are dedicated to machine learning and heuristics, hybrid intelligent systems and soft computing applications. Some papers are devoted to quantum computation. In addition, kernel based algorithms, able to solve tasks other than classification, represent a revolution in pattern recognition bridging existing gaps. Further topics are intelligent signal processing and computer vision.

This book constitutes the refereed proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN 2004, held in Bologna, Italy in June 2004. The 19 revised full regular papers and 5 revised tool presentation papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, modular systems development, formal specification, model validation, model checking, workflow management, flow charts, networking, formal methods in software engineering, etc.

This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking.

This book constitutes the refereed proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN 2005, held in Miami, USA in June 2005. The 20 revised full regular papers and 3 revised tool presentation papers presented together with 4 invited papers were carefully reviewed and selected from 69 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, modular systems development, formal specification, model validation, model checking, workflow management, flow charts, networking, formal methods in software engineering, etc.

This book constitutes the refereed proceedings of the 5th International Workshop on Experimental and Efficient Algorithms, WEA 2006, held in Menorca, Spain, May 2006. The book presents 26 revised full papers together with 3 invited talks. The application areas addressed include most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, scheduling, searching, sorting, string matching, coding, networking, and more.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Algorithm Engineering, WAE 2000, held in Saarbrücken, Germany in September 2000. The 19 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 30 submissions. Among the topics addressed are software repositories allowing for the use and experimentation with efficient discrete algorithms; novel uses of discrete algorithms; methodological issues on algorithms and data structures; and methodological issues on converting user requirements into efficient algorithmic and implementation solutions.

This book constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002. The 29 revised full papers presented together with one invited paper and four tool papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on real-time and probabilistic systems, scheduling, miscellaneous, software verification, infinite-state and parametric systems, model checking: logics and algorithms, model checking and testing, partial-order and simulation techniques, and debugging with model checking.

This book constitutes the strictly refereed post-workshop proceedings of the Second International Workshop on Graphics Recognition, GREC'97, held in Nancy, France, in August 1997. The 34 thoroughly revised full papers presented were carefully selected for inclusion in the book on the basis of a second round of post-workshop reviewing. The book is divided into sections on vectorization and segmentation, symbol recognition, form processing, map processing, engineering drawings, applications and systems, performance evaluation, and a graphics recognition contest.

This book constitutes the refereed proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99, held in Williamsburg, Virginia, USA, in June 1999. The 21 revised full papers presented were carefully selected from 45 submissions. Also included are three invited presentations. The book presents state-of-the-art research results on all current aspects of Petri nets as well as advanced applications in a variety of areas.

This book constitutes the refereed proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS 2007, held in Halifax, Canada, in August 2005.

The 54 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 142 submissions. The papers present original research on the theory and application of algorithms and data structures in all areas, including combinatorics, computational geometry, databases, graphics, parallel and distributed computing.