STACS 2001
STACS 2001

Author: Afonso Ferreira

Publisher: Springer

Published: 2003-06-29

Total Pages: 591

ISBN-13: 3540446931

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2001, held in Dresden, Germany in February 2001. The 46 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 153 submissions. The papers address foundational aspects from all current areas of theoretical computer science including algorithms, data structures, automata, formal languages, complexity, verification, logic, graph theory, optimization, etc.

STACS 2002
STACS 2002

Author: Helmut Alt

Publisher: Springer

Published: 2003-08-03

Total Pages: 673

ISBN-13: 3540458417

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2002, held in Antibes - Juan les Pins, France, in March 2002. The 50 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 209 submissions. The book offers topical sections on algorithms, current challenges, computational and structural complexity, automata and formal languages, and logic in computer science.

STACS 2004
STACS 2004

Author: Volker Diekert

Publisher: Springer Science & Business Media

Published: 2004-03-18

Total Pages: 674

ISBN-13: 3540212361

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS 2004, held in Montpellier, France, in March 2004. The 54 revised full papers presented together with two invited contributions were carefully reviewed and selected from more than 200 submissions. The papers are organized in topical sections on structural complexity, graph algorithms, quantum computing, satisfiability - constraint satisfaction problems, scheduling, algorithms, networks, automata theory and words, path algorithms, cryptography, logic and formal languages, game theory and complexity, and algorithmic information.

Approximation and Online Algorithms
Approximation and Online Algorithms

Author: Klaus Jansen

Publisher: Springer

Published: 2004-02-03

Total Pages: 278

ISBN-13: 3540245928

DOWNLOAD EBOOK

The Workshop on Approximation and Online Algorithms (WAOA 2003) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications ar- ing from a variety of ?elds. The workshop also covered experimental research on approximation and online algorithms. WAOA 2003 took place in Budapest, Hungary, from September 16 to September 18. The workshop was part of the ALGO 2003 event, which also hosted ESA 2003, WABI 2003, and ATMOS 2003. TopicsofinterestforWAOA2003were:competitiveanalysis,inapproximab- ityresults,randomizationtechniques,approximationclasses,scheduling,coloring and partitioning, cuts and connectivity, packing and covering, geometric pr- lems, network design, and applications to game theory and ?nancial problems. In response to our call for papers we received 41 submissions. Each submission was reviewed by at least 3 referees, who judged the papers on originality, quality, and consistency with the topics of the conference. Based on these reviews the program committee selected 19 papers for presentation at the workshop and for publication in this proceedings. This volume contains the 19 selected papers and 5 invited abstracts from an ARACNE minisymposium which took place as part of WAOA.

Fundamentals of Computation Theory
Fundamentals of Computation Theory

Author: Andrzej Lingas

Publisher: Springer

Published: 2003-12-15

Total Pages: 444

ISBN-13: 3540450777

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Symposium Fundamentals of Computation Theory, FCT 2003, held in Malmö, Sweden in August 2003. The 36 revised full papers presented together with an invited paper and the abstracts of 2 invited talks were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on approximibility, algorithms, networks and complexity, computational biology, computational geometry, computational models and complexity, structural complexity, formal languages, and logic.

Language and Automata Theory and Applications
Language and Automata Theory and Applications

Author: Adrian-Horia Dediu

Publisher: Springer Science & Business Media

Published: 2012-02-20

Total Pages: 565

ISBN-13: 3642283314

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.

Mathematical Foundations of Computer Science 2007
Mathematical Foundations of Computer Science 2007

Author: Ludek Kucera

Publisher: Springer Science & Business Media

Published: 2007-08-15

Total Pages: 779

ISBN-13: 354074455X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Ceský Krumlov, Czech Republic, August 2007. The 61 revised full papers presented together with the full papers or abstracts of five invited talks address all current aspects in theoretical computer science and its mathematical foundations.

Stochastic Algorithms: Foundations and Applications
Stochastic Algorithms: Foundations and Applications

Author: Juraj Hromkovič

Publisher: Springer Science & Business Media

Published: 2007-09-06

Total Pages: 174

ISBN-13: 3540748709

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and Applications, SAGA 2007. The nine revised full papers and five invited papers presented were carefully selected for inclusion in the book. The contributed papers included in this volume cover both theoretical as well as applied aspects of stochastic computations with a special focus on investigating the power of randomization in algorithmics.

Ad Hoc Wireless Networking
Ad Hoc Wireless Networking

Author: Xiuzhen Cheng

Publisher: Springer Science & Business Media

Published: 2013-12-01

Total Pages: 622

ISBN-13: 1461302234

DOWNLOAD EBOOK

Wireless networking enables two or more computers to communicate using standard network protocols without network cables. Since their emergence in the 1970s, wireless networks have become increasingly pop ular in the computing industry. In the past decade, wireless networks have enabled true mobility. There are currently two versions of mobile wireless networks. An infrastructure network contains a wired backbone with the last hop being wireless. The cellular phone system is an exam ple of an infrastructure network. A multihop ad hoc wireless network has no infrastructure and is thus entirely wireless. A wireless sensor network is an example of a multihop ad hoc wireless network. Ad hoc wireless networking is a technique to support robust and ef ficient operation in mobile wireless networks by incorporating routing functionality into mobile hosts. This technique will be used to realize the dream of "anywhere and anytime computing", which is termed mo bile computing. Mobile computing is a new paradigm of computing in which users carrying portable devices have access to shared infrastruc ture in any location at any time. Mobile computing is a very challenging topic for scientists in computer science and electrical engineering. The representative system for ad hoc wireless networking is called MANET, an acronym for "Mobile Ad hoc NETworks". MANET is an autonomous system consisting of mobile hosts connected by wireless links which can be quickly deployed.

Theory of Quantum Computation, Communication, and Cryptography
Theory of Quantum Computation, Communication, and Cryptography

Author: Yasuhito Kawano

Publisher: Springer

Published: 2008-11-05

Total Pages: 122

ISBN-13: 3540893040

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the Third Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC 2008, held in Tokyo, Japan, in January/February 2008. The 10 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers present current original research and focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are part of a larger interdisciplinary field that casts information science in a quantum mechanical framework.