Information Content of Online Problems
Information Content of Online Problems

Author: Jasmin Smula

Publisher: Cuvillier Verlag

Published: 2015-08-11

Total Pages: 174

ISBN-13: 3736980736

DOWNLOAD EBOOK

In online computation, an algorithm has to solve some optimization problem while receiving the input instance gradually, without any knowledge about the future input. Such an online algorithm has to compute parts of the output for parts of the input, based on what it knows about the input so far and without being able to revoke its decisions later. Almost inevitably, the algorithm makes a bad choice at some point that leads to a solution that is suboptimal with respect to the whole input instance. Compared to an offline algorithm that is given the entire input instance at once, the online algorithm thus has a substantial handicap. Developing online algorithms that nonetheless compute solutions of some adequate quality is a large and rich field of research within computer science.

Mathematical Foundations of Computer Science 2010
Mathematical Foundations of Computer Science 2010

Author: Petr Hlineny

Publisher: Springer

Published: 2010-08-14

Total Pages: 730

ISBN-13: 3642151558

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, held in Brno, Czech Republic, in August 2010. The 56 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 149 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.

Automata, Languages and Programming
Automata, Languages and Programming

Author: Luca Aceto

Publisher: Springer Science & Business Media

Published: 2011-06-27

Total Pages: 825

ISBN-13: 3642220053

DOWNLOAD EBOOK

The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.

SOFSEM 2015: Theory and Practice of Computer Science
SOFSEM 2015: Theory and Practice of Computer Science

Author: Giuseppe Italiano

Publisher: Springer

Published: 2015-01-14

Total Pages: 631

ISBN-13: 3662460785

DOWNLOAD EBOOK

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.

SOFSEM 2016: Theory and Practice of Computer Science
SOFSEM 2016: Theory and Practice of Computer Science

Author: Rūsiņš Mārtiņš Freivalds

Publisher: Springer

Published: 2016-01-14

Total Pages: 637

ISBN-13: 3662491923

DOWNLOAD EBOOK

This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016. The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software engineering: methods, tools, applications; and data, information, and knowledge engineering. The volume also contains 7 invited talks in full paper length.

Combinatorial Algorithms
Combinatorial Algorithms

Author: Veli Mäkinen

Publisher: Springer

Published: 2016-08-08

Total Pages: 464

ISBN-13: 331944543X

DOWNLOAD EBOOK

This book constitutes the proceedings of the 27th International Workshop on Combinatorial Algorithms, IWOCA 2016, held in Helsinki, Finland, in August 2016. The 35 papers presented in this volume were carefully reviewed and selected from 87 submissions. They were organized in topical sessions named: computational complexity; computational geometry; networks; enumeration; online algorithms; algorithmic graph theory; dynamic programming; combinatorial algorithms; graph algorithms; combinatorics; and probabilistics.

Adventures Between Lower Bounds and Higher Altitudes
Adventures Between Lower Bounds and Higher Altitudes

Author: Hans-Joachim Böckenhauer

Publisher: Springer

Published: 2018-09-04

Total Pages: 658

ISBN-13: 3319983555

DOWNLOAD EBOOK

This Festschrift volume is published in honor of Juraj Hromkovič on the occasion of his 60th birthday. Juraj Hromkovič is a leading expert in the areas of automata and complexity theory, algorithms for hard problems, and computer science education. The contributions in this volume reflect the breadth and impact of his work. The volume contains 35 full papers related to Juraj Hromkovič’s research. They deal with various aspects of the complexity of finite automata, the information content of online problems, stability of approximation algorithms, reoptimization algorithms, computer science education, and many other topics within the fields of algorithmics and complexity theory. Moreover, the volume contains a prologue and an epilogue of laudatios from several collaborators, colleagues, and friends.

Languages Alive
Languages Alive

Author: Henning Bordihn

Publisher: Springer

Published: 2012-07-18

Total Pages: 299

ISBN-13: 3642316441

DOWNLOAD EBOOK

This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online computation, word equations, biologically motivated formal systems, controlled derivations, descriptional complexity, as well as 'classical' topics of automata and language theory, the articles presented span the range of the scientific work of Jürgen Dassow.

SOFSEM 2011: Theory and Practice of Computer Science
SOFSEM 2011: Theory and Practice of Computer Science

Author: Ivana Cerná

Publisher: Springer

Published: 2011-01-10

Total Pages: 584

ISBN-13: 3642183816

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, held in Nový, Smokovec, Slovakia in January 2011. The 41 revised full papers, presented together with 5 invited contributions, were carefully reviewed and selected from 122 submissions. SOFSEM 2011 was organized around the following four tracks: foundations of computer science; software, systems, and services; processing large datasets; and cryptography, security, and trust.

Digitalization and Management Innovation II
Digitalization and Management Innovation II

Author: R.J. Dwyer

Publisher: IOS Press

Published: 2023-11-14

Total Pages: 456

ISBN-13: 1643684531

DOWNLOAD EBOOK

Information technology and digitalization are closely related topics, and both are intrinsic to many aspects of modern life. One important area to which they have particularly close links is lifelong education. This book presents the proceedings of DMI 2023, the 2nd International Conference on Digitalization and Management Innovation, held as a hybrid event from 1 to 4 August 2023 in Seoul, South Korea. The theme of the conference was Building a New Ecology of Lifelong Education, and the aim of the conference was to enable experts and scholars worldwide to share and debate the latest ideas in digitalization and management innovation as related to this subject. The 47 papers included here were selected from over 150 submitted papers after a thorough peer review process carried out by expert reviewers. Topics covered include the modern management of big data; interdisciplinary applications of digitalization and management innovation; and organizational behavior in digital transformation, among others. Offering an up to date overview of many aspects of digitalization and management innovation, the book provides a range of global perspectives which will be of interest to all those working in related fields.