中国机械工程学会生产工程分会知识服务平台

会议文集


文集名SOFSEM 2020: Theory and Practice of Computer Science
会议名46th International Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2020)
中译名《第四十六届国际信息学理论与实践最新趋势会议》
会议日期January 20–24, 2020
会议地点Limassol, Cyprus
出版年2020
馆藏号333020


题名作者出版年
Certified Machine-Learning ModelsErnesto Damiani; Claudio A. Ardagna2020
The Lost Recipes from the Four Schools of Amathus: Invited Talk Extended AbstractGunnar W. Klau2020
Sharing Energy for Optimal Edge PerformanceErol Gelenbe; Yunxiao Zhang2020
A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete AutomataFriedrich Otto2020
A Constructive Arboricity Approximation SchemeMarkus Blumenstock; Frank Fischer2020
A Game of Cops and Robbers on Graphs with Periodic Edge-ConnectivityThomas Erlebach; Jakob T. Spooned2020
Approximating Shortest Connected Graph Transformation for TreesNicolas Bousquet; Alice Joffard2020
Approximating Weighted Completion Time for Order Scheduling with Setup TimesAlexander Macker; Friedhelm Meyer auf der Heide; Simon Pukrop2020
Bounds for the Number of Tests in Non-adaptive Randomized Algorithms for Group TestingNader H. Bshouty; George Haddad; Catherine A. Haddad-Zaknoon2020
Burning Two Worlds: Algorithms for Burning Dense and Tree-Like GraphsShahin Kamali; Avery Miller; Kenny Zhang2020
Faster STR-EC-LCS ComputationKohei Yamada; Yuto Nakashima; Shunsuke Inenaga; Hideo Bannai; Masayuki Takeda2020
Kernels of Sub-classes of Context-Free LanguagesMartin Kutrib2020
Minimal Unique Substrings and Minimal Absent Words in a Sliding WindowTakuya Mieno; Yuki Kuhara; Tooru Akagi; Yuta Fujishige; Yuto Nakashima; Shunsuke Inenaga; Hideo Bannai; Masayuki Takeda2020
On Synthesis of Specifications with ArithmeticRachel Faran; Orna Kupferman2020
On the Average State Complexity of Partial Derivative TransducersStavros Konstantinidis; Antonio Machiavelo; Nelma Moreira; Rogerio Reis2020
On the Difference Between Finite-State and Pushdown DepthLiam Jordon; Philippe Moser2020
Online Scheduling with Machine Cost and a Quadratic Objective FunctionJ. Csirik; Gy. Dosa; D. Koszo2020
Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern MatchingDavaajav Jargalsaikhan; Diptarama Hendrian; Ryo Yoshinaka; Ayumi Shinohara2020
Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-SystemsRonny Tredup2020
Parameterized Dynamic Variants of Red-Blue Dominating SetFaisal N. Abu-Khzam; Cristina Bazgan; Henning Femau2020
123



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024