Search results

DLT 2005 was the 9th Conference on Developments in Language Theory. It was intended to cover all important areas of language theory, such us gr- mars, acceptors and transducers for strings, trees, graphs, and arrays; e?cient text algorithms; algebraic theories for automata and languages; combinatorial andalgebraicpropertiesofwordsand languages;variable-lengthcodes; symbolic dynamics; decision problems; relations to complexity theory and logic; picture descriptionandanalysis;polyominoesandbidimen...

This book constitutes the refereed proceedings of the 5th International Conference on Unconventional Computation, UC 2006, held in York, UK, in September 2006. The 17 revised full papers presented together with four invited full papers were carefully reviewed and selected for inclusion in the book. All current aspects of unconventional computation are addressed - theory as well as experiments and applications.

DISC, the International Symposium on Distributed Computing, is an annual forum for presentationof researchon all facets of distributed computing, incl- ing the theory, design, analysis, implementation, and application of distributed systems and networks. The nineteenth edition of DISC was held on September 26-29, 2005, in Cracow, Poland. There were 162 ?fteen-page-long (in LNCS format) extended abstracts s- mitted to DISC this year,and this volume contains the 32 contributions selected by the Pr...

Stein/Drysdale/Bogart's Discrete Mathematics for Computer Scientists is ideal for computer science students taking the discrete math course.Written specifically for computer science students, this unique textbook directly addresses their needs by providing a foundation in discrete math while using motivating, relevant CS applications. This text takes an active-learning approach where activities are presented as exercises and the material is then fleshed out through explanations and extensions of...

Evolutionary computation (EC) involves the study of problem-solving and op- mization techniques inspired by principles of natural evolution and genetics. EC has been able to draw the attention of an increasing number of researchers and practitioners in several ?elds. Evolutionary algorithms have in particular been showntobee?ectivefordi?cultcombinatorialoptimizationproblemsappearing in various industrial, economics, and scienti?c domains. This volume contains the proceedings of EvoCOP 2005, the...

This volume contains papers presented at the Eighteenth Annual Conference on Learning Theory (previously known as the Conference on Computational Learning Theory) held in Bertinoro, Italy from June 27 to 30, 2005. The technical program contained 45 papers selected from 120 submissions, 3 open problems selected from among 5 contributed, and 2 invited lectures. The invited lectures were given by Sergiu Hart on "Uncoupled Dynamics and Nash Equilibrium", and by Satinder Singh on "Rethinking State, A...

The refereed proceedings from the 7th International Workshop on Algorithms in Bioinformatics are provided in this volume. Papers address current issues in algorithms in bioinformatics, ranging from mathematical tools to experimental studies of approximation algorithms to significant computational analyses. Biological problems examined include genetic mapping, sequence alignment and analysis, phylogeny, comparative genomics, and protein structure.

Mathematical logic is a fundamental tool in computer science which has wide and significant applications. Recently, there has been a move towards using logic as a programming language, and the considerable interest in Prolog can be seen as a step in this direction. Although formal logic is clearly a fundamental part of any degree programme, most of the current texts are designed for third year undergraduate or postgraduate mathematicians. This text is designed specifically for undergraduates and...

The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the background behind Petri's best-known contribution to computer science, the Petri net. In this way the book can be read as a first introduction to nets, but it also covers the theoretical, physical and philosophical foundations behind nets, thus facilitating a comprehensive understanding of the wider ra...

This volume contains current progress of a new class of finite element method, the Discontinuous Galerkin Method (DGM), which has been under rapid developments recently and has found its use very quickly in such diverse applications as aeroacoustics, semi-conductor device simulation, turbomachinery, turbulent flows, materials processing, Magneto-hydro-dynamics, plasma simulations and image processing. While there has been a lot of interest in DGM from mathematicians, physicists and engineers, on...

Hein (Portland State U.) offers an introductory textbook that aims to give the reader a holistic understanding of discrete mathematics and computer science, through careful illustration of relationships between key concepts. Focusing on computation and the construction of objects, the text is organi

This book constitutes the refereed proceedings of the 13th International Symposium on Experimental Algorithms, SEA 2014, held in Copenhagen, Denmark, in June/July 2014.The 36 revised full papers presented together with 3 invited presentations were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on combinatorial optimization, data structures, graph drawing, shortest path, strings, graph algorithms and suffix structures.

This book constitutes the refereed proceedings of the 20th International Conference on Computing and Combinatorics, COCOON 2014, held in Atlanta, GA, USA, in August 2014. The 51 revised full papers presented were carefully reviewed and selected from 110 submissions. There was a co-organized workshop on computational social networks (CSoNet 2014) where 8 papers were accepted. The papers cover the following topics: sampling and randomized methods; logic, algebra and automata; database and data str...

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012. The 37 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 94 regular and 30 short submissions. They present original research on all aspects of combinatorial optimization, ranging from mathematical foundations and theory of algorithms to computational stud...

This is the proceedings of the SIGAL International Symposium on Algorithms held at CSK Information Education Center, Tokyo, Japan, August 16-18, 1990. SIGAL (Special Interest Group on Algorithms) was organized within the Information Processing Society of Japan in 1988 to encourage research in the field of discrete algorithms, and held 6-8 research meetings each year. This symposium is the first international symposium organized by SIGAL. In response to the call for papers, 88 papers were submitt...

Constant improvements in technological applications have allowed for more opportunities to develop automated systems. This not only leads to higher success in smart data analysis, but also ensures that technological progression will continue. Ubiquitous Machine Learning and its Applications is a pivotal reference source for the latest research on the issues and challenges machines face in the new millennium. Featuring extensive coverage on relevant areas such as computational advertising, soft...

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and...

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics a...

This book constitutes the proceedings of the International Conference on Adaptive and Intelligent Systems, ICAIS 2011, held in Klagenfurt, Austria, in September 2011. The 36 full papers included in these proceedings together with the abstracts of 4 invited talks, were carefully reviewed and selected from 72 submissions. The contributions are organized under the following topical sections: incremental learning; adaptive system architecture; intelligent system engineering; data mining and patter...