دانلود کتاب SOFSEM 2019: Theory and Practice of Computer Science: 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

فهرست مطالب :

Front Matter ....Pages I-XIII
Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk) (Uwe Aßmann, Dominik Grzelak, Johannes Mey, Dmytro Pukhkaiev, René Schöne, Christopher Werner et al.)....Pages 1-20
Distance-Based Community Search (Invited Talk Extended Abstract) (Francesco Bonchi)....Pages 21-27
Minicomplexity (Christos A. Kapoutsis)....Pages 28-38
Action Research in Software Engineering: Metrics’ Research Perspective (Invited Talk) (Miroslaw Staron)....Pages 39-49
From Big Data to Big Knowledge (Martin Theobald)....Pages 50-53
Sorting Networks on Restricted Topologies (Indranil Banerjee, Dana Richards, Igor Shinkar)....Pages 54-66
Minimum Reload Cost Graph Factors (Julien Baste, Didem Gözüpek, Mordechai Shalom, Dimitrios M. Thilikos)....Pages 67-80
Stable Divisorial Gonality is in NP (Hans L. Bodlaender, Marieke van der Wegen, Tom C. van der Zanden)....Pages 81-93
Coalition Resilient Outcomes in Max k-Cut Games (Raffaello Carosi, Simone Fioravanti, Luciano Gualà, Gianpiero Monaco)....Pages 94-107
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability (Miloš Chromý, Petr Kučera)....Pages 108-121
On Infinite Prefix Normal Words (Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi)....Pages 122-135
Priority Scheduling in the Bamboo Garden Trimming Problem (Mattia D’Emidio, Gabriele Di Stefano, Alfredo Navarra)....Pages 136-149
Patrolling on Dynamic Ring Networks (Shantanu Das, Giuseppe A. Di Luna, Leszek A. Gasieniec)....Pages 150-163
Gathering of Robots in a Grid with Mobile Faults (Shantanu Das, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou)....Pages 164-178
Probabilistic Parameterized Polynomial Time (Nils Donselaar)....Pages 179-191
On Matrix Ins-Del Systems of Small Sum-Norm (Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman)....Pages 192-205
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints (Chong Gao, Taolue Chen, Zhilin Wu)....Pages 206-220
On the Complexity of Optimal Matching Reconfiguration (Manoj Gupta, Hitesh Kumar, Neeldhara Misra)....Pages 221-233
Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs (Frank Gurski, Carolin Rehs)....Pages 234-246
Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption (Lane A. Hemaspaandra, David E. Narváez)....Pages 247-259
On Point Set Embeddings for k-Planar Graphs with Few Bends per Edge (Michael Kaufmann)....Pages 260-271
Enumerating Connected Induced Subgraphs: Improved Delay and Experimental Comparison (Christian Komusiewicz, Frank Sommer)....Pages 272-284
Multi-stranded String Assembling Systems (Martin Kutrib, Matthias Wendlandt)....Pages 285-297
Towards Automatic Comparison of Cloud Service Security Certifications (Martin Labaj, Karol Rástočný, Daniela Chudá)....Pages 298-309
On the Expressive Power of GF(2)-Grammars (Vladislav Makarov, Alexander Okhotin)....Pages 310-323
An Efficient Algorithm for Combining Verification and Validation Methods (Isela Mendoza, Uéverton Souza, Marcos Kalinowski, Ruben Interian, Leonado Gresta Paulino Murta)....Pages 324-340
Robustness Radius for Chamberlin-Courant on Restricted Domains (Neeldhara Misra, Chinmay Sonar)....Pages 341-353
On the Complexity of Color-Avoiding Site and Bond Percolation (Roland Molontay, Kitti Varga)....Pages 354-367
Lackadaisical Quantum Walks with Multiple Marked Vertices (Nikolajs Nahimovs)....Pages 368-378
A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs (Hirotaka Ono, Hisato Yamanaka)....Pages 379-391
Minimizing the Cost of Team Exploration (Dorota Osula)....Pages 392-405
Two-Head Finite-State Acceptors with Translucent Letters (Benedek Nagy, Friedrich Otto)....Pages 406-418
Do Null-Type Mutation Operators Help Prevent Null-Type Faults? (Ali Parsai, Serge Demeyer)....Pages 419-434
Towards Combining Multitask and Multilingual Learning (Matus Pikuliak, Marian Simko, Maria Bielikova)....Pages 435-446
On the Size of Logical Automata (Martin Raszyk)....Pages 447-460
Bayesian Root Cause Analysis by Separable Likelihoods (Maciej Skorski)....Pages 461-472
Algorithms and Complexity Results for the Capacitated Vertex Cover Problem (Sebastiaan B. van Rooij, Johan M. M. van Rooij)....Pages 473-489
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems (Mahsa Varshosaz, Mohammad Reza Mousavi)....Pages 490-503
A Hierarchy of Polynomial Kernels (Jouke Witteveen, Ralph Bottesch, Leen Torenvliet)....Pages 504-518
Behavioral Strengths and Weaknesses of Various Models of Limited Automata (Tomoyuki Yamakami)....Pages 519-530
Back Matter ....Pages 531-534