掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Symposium on Theoretical Aspects of Computer Science
Symposium on Theoretical Aspects of Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
On Buchi One-Counter Automata
机译:
o NB U池one-counter automata
作者:
Bohm Stanislav
;
Goller Stefan
;
Halfon Simon
;
Hofman Piotr
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
infinite words;
deterministic pushdown automata;
2.
Voting and Bribing in Single-Exponential Time
机译:
单指数时间投票和贿赂
作者:
Knop Dusan
;
Koutecky Martin
;
Mnich Matthias
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Parameterized algorithm;
swap bribery;
n-fold integer programming;
3.
List Approximation for Increasing Kolmogorov Complexity
机译:
列出增加kolmogorov复杂性的近似
作者:
Zimand Marius
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Kolmogorov complexity;
list approximation;
randomness extractor;
4.
Parameterized Complexity of Small Weight Automorphisms
机译:
小重量同自的参数化复杂性
作者:
Arvind Vikraman
;
Kobler Johannes
;
Kuhnert Sebastian
;
Toran Jacobo
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Parameterized algorithms;
hypergraph isomorphism;
5.
Combining Treewidth and Backdoors for CSP
机译:
结合树木宽和后门的CSP
作者:
Ganian Robert
;
Ramanujan M. S.
;
Szeider Stefan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Algorithms and data structures;
Fixed Parameter Tractability;
Constraint Satisfaction;
6.
Lower Bounds for Elimination via Weak Regularity
机译:
通过弱规律消除的下限
作者:
Chattopadhyay Arkadev
;
Dvorak Pavel
;
Koucky Michal
;
Loff Bruno
;
Mukhopadhyay Sagnik
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
communication complexity;
elimination;
discrepancy;
regularity;
greater-than;
7.
Robust and Adaptive Search
机译:
强大和自适应搜索
作者:
Disser Yann
;
Kratsch Stefan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
searching;
robustness;
adaptive algorithms;
memory faults;
array disorder;
8.
On the Complexity of Partial Derivatives
机译:
论偏衍生物的复杂性
作者:
Garcia-Marco Ignacio
;
Koiran Pascal
;
Pecatte Timothee
;
Thomasse Stephan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
counting complexity;
simplicial complex;
lower bounds;
arithmetic circuits;
9.
On the Size of Lempel-Ziv and Lyndon Factorizations
机译:
关于LEMPEL-ZIV和Lyndon Impicationations的大小
作者:
Karkkainen Juha
;
Kempa Dominik
;
Nakashima Yuto
;
Puglisi Simon J.
;
Shur Arseny M.
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Lempel-Ziv factorization;
Lempel-Ziv parsing;
LZ;
Lyndon word;
Lyndon factorization;
Standard factorization;
10.
The Parameterized Complexity of Finding a 2-Sphere in a Simplicial Complex
机译:
在单纯复杂地区找到2范围的参数化复杂性
作者:
Burton Benjamin
;
Cabello Sergio
;
Kratsch Stefan
;
Pettersson William
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
computational topology;
parameterized complexity;
simplicial complex;
11.
Towards Tighter Space Bounds for Counting Triangles and Other Substructures in Graph Streams
机译:
朝向缩短空间界限,用于计算图形流中的三角形和其他子结构
作者:
Bera Suman K.
;
Chakrabarti Amit
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
data streaming;
graph algorithms;
triangles;
subgraph counting;
lower bounds;
12.
On the Decomposition of Finite-Valued Streaming String Transducers
机译:
关于有限型流弦串换能器的分解
作者:
Gallot Paul
;
Muscholl Anca
;
Puppis Gabriele
;
Salvati Sylvain
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Streaming Transducers;
finite valuedness;
equivalence;
13.
Multiple Random Walks on Paths and Grids
机译:
在路径和网格上多次随机散步
作者:
Ivaskovic Andrej
;
Kosowski Adrian
;
Pajak Dominik
;
Sauerwald Thomas
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
random walks;
randomized algorithms;
parallel computing;
14.
Trimming and Gluing Gray Codes
机译:
修剪和胶合灰色码
作者:
Gregor Petr
;
Mutze Torsten
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Gray code;
subset;
combination;
loopless algorithm;
15.
On the Sensitivity Complexity of k-Uniform Hypergraph Properties
机译:
关于k均匀超图特性的敏感性复杂性
作者:
Li Qian
;
Sun Xiaoming
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Sensitivity Complexity;
k-uniform Hypergraph Properties;
Boolean Function;
Turan's question;
16.
Extended Learning Graphs for Triangle Finding
机译:
三角形查找的扩展学习图
作者:
Carette Titouan
;
Lauriere Mathieu
;
Magniez Frederic
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Quantum query complexity;
learning graphs;
triangle finding;
17.
Fractional Coverings, Greedy Coverings, and Rectifier Networks
机译:
分数覆盖物,贪婪覆盖物和整流网络
作者:
Chistikov Dmitry
;
Ivan Szabolcs
;
Lubiw Anna
;
Shallit Jeffrey
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
rectifier network;
OR-circuit;
biclique covering;
fractional covering;
greedy covering;
18.
Independent Sets near the Lower Bound in Bounded Degree Graphs
机译:
界限度图中下限附近的独立集
作者:
Dvorak Zdenek
;
Lidicky Bernard
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
independent set;
bounded degree;
Delta-colorable;
fixed parameter tractability;
19.
Matrix Rigidity from the Viewpoint of Parameterized Complexity
机译:
从参数化复杂性的角度来看,矩阵刚度
作者:
Fomin Fedor V.
;
Lokshtanov Daniel
;
Meesum S. M.
;
Saurabh Saket
;
Zehavi Meirav
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Matrix Rigidity;
Parameterized Complexity;
Linear Algebra;
20.
Set Membership with Non-Adaptive Bit Probes
机译:
使用非自适应位探针设置成员资格
作者:
Garg Mohit
;
Radhakrishnan Jaikumar
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Data Structures;
Bit-probe model;
Compression;
Bloom filters;
Expansion;
21.
Counting Edge-Injective Homomorphisms and Matchings on Restricted Graph Classes
机译:
在限制图形类上计算边缘注射的同态和匹配
作者:
Curticapean Radu
;
Dell Holger
;
Roth Marc
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
matchings;
homomorphisms;
line graphs;
counting complexity;
parameterized complexity;
22.
Graphic TSP in Cubic Graphs
机译:
立方图中的图形TSP
作者:
Dvorak Zdenek
;
Kral Daniel
;
Mohar Bojan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Graphic TSP;
approximation algorithms;
cubic graphs;
23.
The Operator Approach to Entropy Games
机译:
熵游戏的操作员方法
作者:
Akian Marianne
;
Gaubert Stephane
;
Grand-Clement Julien
;
Guillaud Jeremie
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Stochastic games;
Shapley operators;
policy iteration;
Perron eigenvalues;
Risk sensitive control;
24.
Existential-R-Complete Decision Problems about Symmetric Nash Equilibria in Symmetric Multi-Player Games
机译:
对称多人游戏对称纳什均衡的存在性-R完全决策问题
作者:
Bilo Vittorio
;
Mavronicolas Marios
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Nash equilibrium;
complexity of equilibria;
Existential-R-completeness;
25.
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
机译:
kannan-lipton轨道问题的半级伯基不变合成
作者:
Fijalkow Nathanael
;
Ohlmann Pierre
;
Ouaknine Joel
;
Pouly Amaury
;
Worrell James
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Verification;
algebraic computation;
Skolem Problem;
Orbit Problem;
invariants;
26.
On Long Words Avoiding Zimin Patterns
机译:
在长字上避免津宾模式
作者:
Carayol Arnaud
;
Goller Stefan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Unavoidable patterns;
combinatorics on words;
lower bounds;
27.
Mixing of Permutations by Biased Transposition
机译:
通过偏置转置混合置换
作者:
Haddadan Shahrzad
;
Winkler Peter
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Markov chains;
permutations;
self organizing lists;
mixing time;
28.
Deterministic Regular Expressions with Back-References
机译:
使用后引用确定定期的正则表达式
作者:
Freydenberger Dominik D.
;
Schmid Markus L.
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Deterministic Regular Expression;
Regex;
Glushkov Automaton;
29.
Optimizing Tree Decompositions in MSO
机译:
优化MSO中的树分解
作者:
Bojanczyk Mikolaj
;
Pilipczuk Michal
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
tree decomposition;
treewidth;
transduction;
monadic second-order logic;
30.
On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables
机译:
在基于OBDD的算法和证明系统,动态地改变变量顺序
作者:
Itsykson Dmitry
;
Knop Alexander
;
Romashchenko Andrey
;
Sokolov Dmitry
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Proof complexity;
OBDD;
error-correcting codes;
Tseitin formulas;
expanders;
31.
Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates
机译:
恒定深度多数电路计算大部分,扇形大扇形
作者:
Kulikov Alexander S.
;
Podolskii Vladimir V.
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
circuit complexity;
computational complexity;
threshold;
majority;
lower bound;
upper bound;
32.
Energy-Efficient Delivery by Heterogeneous Mobile Agents
机译:
通过异构移动代理节能递送
作者:
Bartschi Andreas
;
Chalopin Jeremie
;
Das Shantanu
;
Disser Yann
;
Graf Daniel
;
Hackfeld Jan
;
Penna Paolo
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
message delivery;
mobile agents;
energy optimization;
approximation algorithms;
33.
Lower Bounds on Key Derivation for Square-Friendly Applications
机译:
广场友好应用的关键推导下的下限
作者:
Skorski Maciej
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
key derivation;
square-friendly applications;
lower bounds;
34.
Parameterized and Approximation Results for Scheduling with a Low Rank Processing Time Matrix
机译:
用低排名处理时间矩阵调度的参数化和近似结果
作者:
Chen Lin
;
Marx Daniel
;
Ye Deshi
;
Zhang Guochuan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
APX-hardness;
Parameterized algorithm;
Scheduling;
Exponential Time Hypothesis;
35.
Word Equations Where a Power Equals a Product of Powers
机译:
权力等于权力产品的字形方程
作者:
Saarela Aleksi
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Combinatorics on words;
Word equations;
36.
Applications of Algorithmic Metatheorems to Space Complexity and Parallelism (Invited Talk)
机译:
算法Metatheorems对空间复杂性和平行度的应用(邀请谈话)
作者:
Tantau Till
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Algorithmic metatheorems;
Courcelle's Theorem;
tree width;
monadic second-order logic;
logarithmic space;
parallel computations;
37.
Split Contraction: The Untold Story
机译:
分裂收缩:无尽的故事
作者:
Agrawal Akanksha
;
Lokshtanov Daniel
;
Saurabh Saket
;
Zehavi Meirav
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Split Graph;
Parameterized Complexity;
Edge Contraction;
38.
Complexity of Token Swapping and its Variants
机译:
令牌交换的复杂性及其变种
作者:
Bonnet Edouard
;
Miltzow Tillmann
;
Rzazewski Pawel
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
token swapping;
parameterized complexity;
NP-hardness;
W1-hardness;
39.
Structural Properties and Constant Factor-Approximation of Strong Distance-r Dominating Sets in Sparse Directed Graphs
机译:
稀疏定向图中强距离-R主导集的结构特性和恒定因子近似
作者:
Kreutzer Stephan
;
Rabinovich Roman
;
Siebertz Sebastian
;
Weberstadt Grischa
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Directed Graph Structure Theory;
Bounded Expansion;
Generalised Colouring Numbers;
Splitter Game;
Approximation Algorithms;
Dominating Set;
40.
Monte Carlo Computability
机译:
蒙特卡罗计算能力
作者:
Brattka Vasco
;
Holzl Rupert
;
Kuyper Rutger
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Weihrauch degrees;
Weak Weak Konig's Lemma;
Monte Carlo computability;
algorithmic randomness;
sorting;
41.
Separability of Reachability Sets of Vector Addition Systems
机译:
载体加法系统可分离性集合
作者:
Clemente Lorenzo
;
Czerwinski Wojciech
;
Lasota Slawomir
;
Paperman Charles
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
separability;
Petri nets;
modular sets;
unary sets;
decidability;
42.
Improved Distance Queries and Cycle Counting by Frobenius Normal Form
机译:
通过Frobenius正常形式改进距离查询和循环计数
作者:
Sankowski Piotr
;
Wegrzycki Karol
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Frobenius Normal Form;
Graph Algorithms;
All Nodes Shortest Cycles;
43.
On Polynomial Approximations Over Z/2^kZ~*
机译:
在z / 2 ^ kz〜*上的多项式近似
作者:
Bhrushundi Abhishek
;
Harsha Prahladh
;
Srinivasan Srikanth
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Polynomials over rings;
Approximation by polynomials;
Boolean functions;
Non-classical polynomials;
44.
Circuit Evaluation for Finite Semirings
机译:
有限彩色的电路评估
作者:
Ganardi Moses
;
Hucke Danny
;
Konig Daniel
;
Lohrey Markus
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
circuit value problem;
finite semirings;
circuit complexity;
45.
Efficient Quantum Walk on the Grid with Multiple Marked Elements
机译:
高效的量子在网格上带有多个标记元素
作者:
Hoyer Peter
;
Komeili Mojtaba
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Quantum walks;
random walks;
query complexity;
spatial search;
46.
The Complexity of Knapsack in Graph Groups
机译:
背包在图表组中的复杂性
作者:
Lohrey Markus
;
Zetzsche Georg
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
knapsack;
subset sum;
graph groups;
decision problems in group theory;
47.
Pro-Aperiodic Monoids via Saturated Models
机译:
通过饱和型号的促细胞周期性大单醇
作者:
van Gool Samuel J.
;
Steinberg Benjamin
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
aperiodic monoids;
profinite monoids;
Stone duality;
saturated models;
48.
The First-Order Logic of Hyperproperties
机译:
高度的一阶逻辑
作者:
Finkbeiner Bernd
;
Zimmermann Martin
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Hyperproperties;
Linear Temporal Logic;
First-order Logic;
49.
Improved Time-Space Trade-Offs for Computing Voronoi Diagrams
机译:
改进计算Voronoi图的时间空间权衡
作者:
Banyassady Bahareh
;
Korman Matias
;
Mulzer Wolfgang
;
van Renssen Andre
;
Roeloffzen Marcel
;
Seiferth Paul
;
Stein Yannik
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
memory-constrained model;
Voronoi diagram;
time-space trade-off;
50.
Recompression: New Approach to Word Equations and Context Unification (Invited Talk)
机译:
重新调整:Word方程和上下文统一的新方法(邀请谈话)
作者:
Jez Artur
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Word equations;
exponent of periodicity;
semantic unification;
string unification;
context unification;
compression;
51.
Algorithmic Information, Plane Kakeya Sets, and Conditional Dimension
机译:
almorithmic信息,宫殿kakeya套和condicym维度
作者:
Lutz Jack H.
;
Lutz Neil
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
algorithmic randomness;
conditional dimension;
geometric measure theory;
Kakeya sets;
Kolmogorov complexity;
52.
Minkowski Games
机译:
Minkowski Games
作者:
Le Roux Stephane
;
Pauly Arno
;
Raskin Jean-Francois
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Control in R^d;
determinacy;
polytopic/arbitrary;
coNP-complete;
undecidable;
53.
On the Synchronisation Problem over Cellular Automata
机译:
关于蜂窝自动机的同步问题
作者:
Richard Gaetan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
cellular automata;
dynamical systems;
aperiodic tiling;
synchronisation;
54.
A Complexity Dichotomy for Poset Constraint Satisfaction
机译:
POSET约束满足的复杂性二分法
作者:
Kompatscher Michael
;
Pham Trung Van
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Constraint Satisfaction;
Random Partial Order;
Computational Complexity;
Universal Algebra;
Ramsey Theory;
55.
Improving and Extending the Testing of Distributions for Shape-Restricted Properties
机译:
改进和延长形状限制特性的分布测试
作者:
Fischer Eldar
;
Lachish Oded
;
Vasudev Yadu
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
conditional sampling;
distribution testing;
property testing;
statistics;
56.
What Can Be Verified Locally
机译:
可以在本地核实什么
作者:
Balliu Alkida
;
DAngelo Gianlorenzo
;
Fraigniaud Pierre
;
Olivetti Dennis
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2017年
关键词:
Distributed Network Computing;
Distributed Algorithm;
Distributed Decision;
Locality;
57.
On Singleton Arc Consistency for CSPs Defined by Monotone Patterns
机译:
关于单调图案定义的CSP的Singleton弧度一致性
作者:
Clement Carbonnel
;
David A. Cohen
;
Martin C. Cooper
;
Stanislav Zivny
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
constraint satisfaction problems;
forbidden patterns;
singleton arc consistency;
58.
Computing the Longest Common Prefix of a Context-free Language in Polynomial Time
机译:
计算多项式时间中的无背景语言的最长常见前缀
作者:
Michael Luttenberger
;
Raphaela Palenta
;
Helmut Seidl
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
longest common prefix;
context-free languages;
combinatorics on words;
59.
Genuine Lower Bounds for QBF Expansion
机译:
QBF扩展的真正下限
作者:
Olaf Beyersdorff
;
Joshua Blinkhorn
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
QBF;
proof complexity;
lower-bound techniques;
resolution;
60.
Efficient Oracles and Routing Schemes for Replacement Paths
机译:
更换路径的高效oracles和路由方案
作者:
Davide Bilo
;
Keerti Choudhary
;
Luciano Guala
;
Stefano Leucci
;
Merav Parter
;
Guido Proietti
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Fault tolerant;
Shortest path;
Oracle;
Routing;
61.
Space-Efficient Algorithms for Longest Increasing Subsequence
机译:
节省空间高效算法,以最长的递增率
作者:
Masashi Kiyomi
;
Hirotaka Ono
;
Yota Otachi
;
Pascal Schweitzer
;
Jun Tarui
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
longest increasing subsequence;
patience sorting;
space-efficient algorithm;
62.
Approximating Airports and Railways
机译:
近似机场和铁路
作者:
Anna Adamaszek
;
Antonios Antoniadis
;
Amit Kumar
;
Tobias Momke
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Network Design;
Facility Location;
Approximation Algorithms;
PTAS;
Metric;
Euclidean;
63.
Communicating Finite-State Machines and Two-Variable Logic
机译:
传送有限状态机和两个可变逻辑
作者:
Benedikt Bollig
;
Marie Fortin
;
Paul Gastin
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
communicating finite-state machines;
MSO logic;
message sequence charts;
64.
Solving the Rubik's Cube Optimally is NP-complete
机译:
解决魔方的立方体最佳是NP-Complete
作者:
Erik D. Demaine
;
Sarah Eisenstat
;
Mikhail Rudoy
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
combinatorial puzzles;
NP-hardness;
group theory;
Hamiltonicity;
65.
Closure of Resource-Bounded Randomness Notions Under Polynomial-Time Permutations
机译:
多项式时间置换下的资源有限随机性概念
作者:
Andre Nies
;
Frank Stephan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Computational complexity;
Randomness via resource-bounded betting strategies;
Martingales;
Closure under permutations;
66.
Approximation Algorithms for Scheduling with Resource and Precedence Constraints
机译:
用资源和优先约束调度的近似算法
作者:
Gokalp Demirci
;
Henry Hoffmann
;
David H. K. Kim
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
scheduling;
resource;
precedence;
weighted completion time;
67.
Colouring Square-Free Graphs without Long Induced Paths
机译:
无长诱导路径的无广场图形
作者:
Serge Gaspers
;
Shenwei Huang
;
Daniel Paulusma
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
graph colouring;
hereditary graph class;
clique-width;
cycle;
path;
68.
Width of Non-deterministic Automata
机译:
非确定性自动机的宽度
作者:
Denis Kuperberg
;
Anirban Majumdar
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
width;
non-deterministic automata;
determinisation;
good-for-games;
complexity;
69.
The Open Shop Scheduling Problem
机译:
开放式商店调度问题
作者:
WGerhard J. Woeginger
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Algorithms;
Complexity;
Scheduling;
Approximation;
70.
Recursion Schemes and the WMSO+U Logic
机译:
递归方案和WMSO + U逻辑
作者:
Pawel Parys
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
higher-order recursion schemes;
intersection types;
WMSO+U logic;
boundedness;
71.
The Intersection Problem for Finite Monoids
机译:
有限龙眼的交叉点问题
作者:
Lukas Fleischer
;
Manfred Kufleitner
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
intersection problem;
finite monoid;
recognizing morphism;
complexity;
72.
Lower Bound Techniques for QBF Proof Systems
机译:
QBF校对系统的下限技术
作者:
Meena Mahajan
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Proof Complexity;
Quantified Boolean formulas;
Resolution;
Lower Bound Techniques;
73.
Property Testing for Bounded Degree Databases
机译:
有限度数据库的物业测试
作者:
Isolde Adler
;
Frederik Harwath
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
logic and databases;
property testing;
logical meta-theorems;
bounded degree model;
sublinear algorithms;
74.
Relations Between Greedy and Bit-Optimal LZ77 Encodings
机译:
贪婪与比特 - 最佳LZ77编码的关系
作者:
Dmitry Kosolobov
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Lempel-Ziv;
LZ77 encoding;
greedy LZ77;
bit optimal LZ77;
75.
On the Tree Conjecture for the Network Creation Game
机译:
关于网络创建游戏的树猜想
作者:
Davide Bilo
;
Pascal Lenzner
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Algorithmic Game Theory;
Network Creation Game;
Price of Anarchy;
Quality of Nash Equilibria;
76.
Small Resolution Proofs for QBF using Dependency Treewidth
机译:
使用依赖性树木宽度的QBF的小分辨率证明
作者:
Eduard Eiben
;
Robert Ganian
;
Sebastian Ordyniak
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
QBF;
treewidth;
fixed parameter tractability;
dependency schemes;
77.
Sums of Palindromes: an Approach via Automata
机译:
palindromes的总和:通过自动机的方法
作者:
Aayush Rajasekaran
;
Jeffrey Shallit
;
Tim Smith
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
finite automaton;
nested-word automaton;
decision procedure;
palindrome;
additive number theory;
78.
Optimal Dislocation with Persistent Errors in Subquadratic Time
机译:
子地区时间持续错误的最佳错位
作者:
Barbara Geissmann
;
Stefano Leucci
;
Chih-Hung Liu
;
Paolo Penna
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
sorting;
recurrent comparison errors;
maximum dislocation;
79.
On the Power of Tree-Depth for Fully Polynomial FPT Algorithms
机译:
关于完全多项式FPT算法的树木深度的力量
作者:
Yoichi Iwata
;
Tomoaki Ogasawara
;
Naoto Ohsaka
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Fully Polynomial FPT Algorithm;
Tree-Depth;
Divide-and-Conquer;
80.
Lower Bounds on Black-Box Reductions of Hitting to Density Estimation
机译:
黑盒子减少对密度估计的下限
作者:
Roei Tell
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Approximate Counting;
Lower Bounds;
Derandomization;
Parallel Algorithms;
Query Complexity;
81.
On Low for Speed Oracles
机译:
在速度柔软时
作者:
Laurent Bienvenu
;
Rodney Downey
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Lowness for speed;
Oracle computations;
Turing degrees;
82.
Beyond JWP: A Tractable Class of Binary VCSPs via M-Convex Intersection
机译:
超越JWP:通过M-Convex交叉点的一类贸易类别二进制VCSP
作者:
Hiroshi Hirai
;
Yuni Iwamasa
;
Kazuo Murota
;
Stanislav Zivny
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
valued constraint satisfaction problems;
discrete convex analysis;
M-convexity;
83.
Finding List Homomorphisms from Bounded-treewidth Graphs to Reflexive Graphs: a Complete Complexity Characterization
机译:
从有界树木宽度图中查找表现形式,以反射图:完整的复杂性表征
作者:
Laszlo Egri
;
Daniel Marx
;
Pawel Rzazewski
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
graph homomorphism;
list homomorphism;
reflexive graph;
treewidth;
84.
A Unified Polynomial-Time Algorithm for Feedback Vertex Set on Graphs of Bounded Mim-Width
机译:
界限MIM宽度图中的反馈顶点统一多项式算法
作者:
Lars Jaffke
;
O-joung Kwon
;
Jan Arne Telle
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
graph width parameters;
graph classes;
feedback vertex set;
leaf powers;
85.
Surjective H-Colouring over Reflexive Digraphs
机译:
身体上的形状过反射数字
作者:
Benoit Larose
;
Barnaby Martin
;
Daniel Paulusma
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Surjective H-Coloring;
Computational Complexity;
Algorithmic Graph Theory;
Universal Algebra;
Constraint Satisfaction;
86.
Computing Hitting Set Kernels By AC~0-Circuits
机译:
通过AC〜0电路计算击中设置内核
作者:
Max Bannach
;
Till Tantau
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
parallel computation;
fixed-parameter tractability;
kernelization;
87.
Succinct Oblivious RAM
机译:
简洁的疏忽的Ram.
作者:
Taku Onodera
;
Tetsuo Shibuya
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Oblivious RAM;
Succinct data structure;
Balls-into-bins;
88.
Lossy Kernels for Connected Dominating Set on Sparse Graphs
机译:
有损内核,用于连接稀疏图中的主导
作者:
Eduard Eiben
;
Mithilesh Kumar
;
Amer E. Mouawad
;
Fahad Panolan
;
Sebastian Siebertz
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Lossy Kernelization;
Connected Dominating Set;
Sparse Graph Classes;
89.
On the Containment Problem for Linear Sets
机译:
关于线性集的遏制问题
作者:
Hans U. Simon
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
polynomial hierarchy;
completeness;
containment problem;
linear sets;
90.
An Improved Bound for Random Binary Search Trees with Concurrent Insertions
机译:
随机二进制搜索树具有并发插入的改进绑定
作者:
George Giakkoupis
;
Philipp Woelfel
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
random binary search tree;
buffer;
average depth;
concurrent data structures;
91.
Improving the Upper Bound on the Length of the Shortest Reset Word
机译:
改善最短重置字的长度上限
作者:
Marek Szykula
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
avoiding word;
Cerny conjecture;
reset length;
reset threshold;
reset word;
synchronizing automaton;
synchronizing word;
92.
The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs
机译:
多项式微积分,索尼亚 - 亚当派和方块证明之间的关系
作者:
Christoph Berkholz
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Proof Complexity;
Polynomial Calculus;
Sum-of-Squares;
Sherali-Adams;
93.
Generalizing the Kawaguchi-Kyan Bound to Stochastic Parallel Machine Scheduling
机译:
概括kawaguchi-kyan绑定到随机平行机器调度
作者:
Sven Jager
;
Martin Skutella
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Stochastic Scheduling;
Parallel Machines;
Approximation Algorithm;
List Scheduling;
Weighted Shortest (Expected) Processing Time Rule;
94.
On the Positive Calculus of Relations with Transitive Closure
机译:
论变差闭井关系
作者:
Damien Pous
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Relation Algebra;
Kleene Algebra;
Allegories;
Automata;
Graphs;
95.
Pumping Lemmas for Weighted Automata
机译:
加权自动机的射击lemmas
作者:
Filip Mazowiecki
;
Cristian Riveros
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Weighted automata;
regular functions over words;
pumping lemmas;
96.
Knapsack Problems for Wreath Products
机译:
花圈产品的背包问题
作者:
Moses Ganardi
;
Daniel Konig
;
Markus Lohrey
;
Georg Zetzsche
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
knapsack;
wreath products;
decision problems in group theory;
97.
Parameterized Approximation Schemes for Steiner Trees with Small Number of Steiner Vertices
机译:
具有少量施坦纳顶点的施蒂纳树的参数化近似方案
作者:
Pavel Dvorak
;
Andreas Emil Feldmann
;
Dusan Knop
;
Tomas Masarik
;
Tomavs Toufar
;
Pavel Vesely
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Steiner Tree;
Steiner Forest;
Approximation Algorithms;
Parameterized Algorithms;
Lossy Kernelization;
98.
Automata Theory on Sliding Windows
机译:
滑动窗口的自动机理论
作者:
Moses Ganardi
;
Danny Hucke
;
Daniel Konig
;
Markus Lohrey
;
Konstantinos Mamouras
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
regular languages;
sliding window algorithms;
99.
Dependences in Strategy Logic
机译:
策略逻辑中的依赖性
作者:
Patrick Gardy
;
Patricia Bouyer
;
Nicolas Markey
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
strategic reasoning;
strategy logic;
dependences;
behavioural strategies;
100.
On Approximating the Stationary Distribution of Time-reversible Markov Chains
机译:
近似时间可逆马尔可夫链的静止分布
作者:
Marco Bressan
;
Enoch Peserico
;
Luca Pretto
会议名称:
《Symposium on Theoretical Aspects of Computer Science》
|
2018年
关键词:
Markov chains;
MCMC sampling;
large graph algorithms;
randomized algorithms;
sublinear algorithms;
意见反馈
回到顶部
回到首页