Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Elements of dynamic and 2-SAT programming: paths, trees, and cuts
  • Language: en
  • Pages: 218

Elements of dynamic and 2-SAT programming: paths, trees, and cuts

In dieser Arbeit entwickeln wir schnellere exakte Algorithmen (schneller bezüglich der Worst-Case-Laufzeit) für Spezialfälle von Graphproblemen. Diese Algorithmen beruhen größtenteils auf dynamischem Programmieren und auf 2-SAT-Programmierung. Dynamisches Programmieren beschreibt den Vorgang, ein Problem rekursiv in Unterprobleme zu zerteilen, sodass diese Unterprobleme gemeinsame Unterunterprobleme haben. Wenn diese Unterprobleme optimal gelöst wurden, dann kombiniert das dynamische Programm diese Lösungen zu einer optimalen Lösung des Ursprungsproblems. 2-SAT-Programmierung bezeichnet den Prozess, ein Problem durch eine Menge von 2-SAT-Formeln (aussagenlogische Formeln in konjunkti...

Dualities in graphs and digraphs
  • Language: en
  • Pages: 294

Dualities in graphs and digraphs

In this thesis we describe dualities in directed as well as undirected graphs based on tools such as width-parameters, obstructions and substructures. We mainly focus on directed graphs and their structure. In the context of a long open conjecture that bounds the monotonicity costs of a version of the directed cops and robber game, we introduce new width-measures based on directed separations that are closely related to DAG-width. We identify a tangle-like obstruction for which we prove a duality theorem. Johnson, Reed, Robertson, Seymour and Thomas introduced the width measure directed treewidth as a generalisation of treewidth for directed graphs. We introduce a new width measure, the cycl...

Fundamentals of Computation Theory
  • Language: en
  • Pages: 448

Fundamentals of Computation Theory

  • Type: Book
  • -
  • Published: 2017-08-28
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

Combinatorial Algorithms
  • Language: en
  • Pages: 557

Combinatorial Algorithms

None

Combinatorial Algorithms
  • Language: en
  • Pages: 473

Combinatorial Algorithms

  • Type: Book
  • -
  • Published: 2019-07-15
  • -
  • Publisher: Springer

This book constitutes the refereed post-conference proceedings of the 30th International Workshop on Combinatorial Algorithms, IWOCA 2019, held in Pisa, Italy, in July 2019. The 36 regular papers presented in this volume were carefully reviewed and selected from 73 submissions. They cover diverse areas of combinatorical algorithms, complexity theory, graph theory and combinatorics, combinatorial optimization, cryptography and information security, algorithms on strings and graphs, graph drawing and labelling, computational algebra and geometry, computational biology, probabilistic and randomized algorithms, algorithms for big data analytics, and new paradigms of computation.

Algorithms for Sensor Systems
  • Language: en
  • Pages: 166

Algorithms for Sensor Systems

This book constitutes revised selected papers from the 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, held in Lisbon, Portugal*, in September 2021. The 10 full papers presented in this volume were carefully reviewed and selected from 28 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless networks. *The conference was held virtually due to the COVID-19 pandemic.

Graph-Theoretic Concepts in Computer Science
  • Language: en
  • Pages: 413

Graph-Theoretic Concepts in Computer Science

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019. The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic concepts can be applied in various areas of computer science. Another focus is on presenting recent results and on identifying and exploring promising directions of future research.

Graph-Theoretic Concepts in Computer Science
  • Language: en
  • Pages: 469

Graph-Theoretic Concepts in Computer Science

This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.The 32 full papers presented in this volume were carefully reviewed and selected from a total of 96 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from Graph Theory can be applied to various areas in Computer Science, or by extracting new graph theoretic problems from applications.

Topics in Theoretical Computer Science
  • Language: en
  • Pages: 139

Topics in Theoretical Computer Science

  • Type: Book
  • -
  • Published: 2017-10-12
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.

Complex Networks and Their Applications VIII
  • Language: en
  • Pages: 1047

Complex Networks and Their Applications VIII

This book highlights cutting-edge research in the field of network science, offering scientists, researchers, students, and practitioners a unique update on the latest advances in theory and a multitude of applications. It presents the peer-reviewed proceedings of the Eighth International Conference on Complex Networks and their Applications (COMPLEX NETWORKS 2019), which took place in Lisbon, Portugal, on December 10–12, 2019. The carefully selected papers cover a wide range of theoretical topics such as network models and measures; community structure, and network dynamics; diffusion, epidemics, and spreading processes; resilience and control as well as all the main network applications, including social and political networks; networks in finance and economics; biological and neuroscience networks; and technological networks.