Buch, Englisch, Band 12607, 624 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 955 g
SOFSEM 2021: Theory and Practice of Computer Science
1. Auflage 2021
ISBN: 978-3-030-67730-5
Verlag: Springer International Publishing
47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings
Buch, Englisch, Band 12607, 624 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 955 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-67730-5
Verlag: Springer International Publishing
The 33 full and 7 short papers included in the volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections on: foundations of computer science; foundations of software engineering; foundations of data science and engineering; and foundations of algorithmic computational biology. The book also contains 5 invited papers.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Invited Papers.- Algorithms that Access the Input via Queries.- Towards Knowledge Exchange: State-of-the-Art and Open Problems.- Invited Talk: Resilient Distributed Algorithms.- Towards Minimally Conscious Finite-State Controlled Cyber-Physical Systems – A Manifesto.- Reconstructing Phylogenetic Networks from Sequences: Where we Stand and What to do Next.- Foundations of Computer Science – Full Papers.- Amnesiac Flooding: Synchronous Stateless Information Dissemination.- Asymptotic Approximation by Regular Languages.- Balanced Independent and Dominating Sets on Colored Interval Graphs.- Bike Assisted Evacuation on a Line.- Blocksequences of k-local Words.- Complexity of limit-cycle problems in Boolean networks.- Concatenation Operations and Restricted Variants of Two-Dimensional Automata.- Distance Hedonic Games.- Distributed Independent Set in Interval and Segment Intersection Graphs.- Hierarchical b-Matching.- Improved algorithms for online load balancing.- Iterated Uniform Finite-State Transducers on Unary Languages.- New bounds on the half-duplex communication complexity.- Novel Results on the Number of Runs of the Burrows-Wheeler-Transform.- On the Redundancy of D-ary Fano Codes.- On the Terminal Connection Problem.- Parameterized Complexity of d-Hitting Set with Quotas.- Parameterizing Role Coloring on Forests.- The Balanced Satisfactory Partition Problem.- The Multiple Traveling Salesman Problem on Spiders.- Tightness of Sensitivity and Proximity Bounds for Integer Linear Programs.- Using the Metro-Map Metaphor for Drawing Hypergraphs.- Weighted Microscopic Image Reconstruction.- Foundations of Computer Science – Short Papers.- A Normal Sequence Compressed by PPM* but not by Lempel-Ziv 78.- Clusters of repetition roots: single chains.- Drawing Two Posets.- Fair Division is Hard even for Amicable Agents.- The Complexity of Flow Expansion and Electrical Flow Expansion.- Foundations of Software Engineering – Full papers.- An Infrastructure for Platform-Independent Experimentation of Software Changes.- Using Process Models to understand Security Standards.- Web Test Automation: Insights from the Grey Literature.- Foundations of Data Science and Engineering – Full Papers.- A Pipeline for Measuring Brand Loyalty through Social Media Mining.- Predicting Tennis Match Outcomes With Network Analysis and Machine Learning.- Role-Based Access Control on Graph Databases.- Semi-Automatic Column Type Inference for CSV Table Understanding.- Foundations of Data Science and Engineering – Short papers.- Metadata Management on Data Processing in Data Lakes.- S2CFT: A new approach for paper submission recommendation.- Foundations of Algorithmic Computational Biology – Full Papers.- Adding Matrix Control: Insertion-Deletion Systems With Substitutions III.- Sorting by Multi-Cut Rearrangements.- Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails.
