掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Symposium on Fundamentals of Computation Theory
International Symposium on Fundamentals of Computation Theory
召开年:
2017
召开地:
Bordeaux(FR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Expressivity of Time-Varying Graphs
机译:
时变图的表达性
作者:
Arnaud Casteigts
;
Paola Flocchini
;
Emmanuel Godard
;
Nicola Santoro
;
Masafumi Yamashita
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
2.
Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree
机译:
有界树木宽度和有界度的局部约束的同态性
作者:
Steven Chaplick
;
Jiri Fiala
;
Pim vant Hof
;
Daniel Paulusma
;
Marek Tesar
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
3.
Online Parallel Scheduling of Non-uniform Tasks: Trading Failures for Energy
机译:
非统一任务的在线并行调度:能源的交易失败
作者:
Antonio Fernandez Anta
;
Chryssis Georgiou
;
Dariusz R. Kowalski
;
Elli Zavou
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
关键词:
Scheduling;
Non-uniform Tasks;
Failures;
Competitiveness;
Online Algorithms;
Energy Efficiency;
4.
An O~*(1.84~k) Parameterized Algorithm for the Multiterminal Cut Problem
机译:
一个o〜*(1.84〜k)参数化算法的多星际切割问题
作者:
Yixin Cao
;
Jianer Chen
;
Jia-Hao Fan
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
5.
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals
机译:
线性信号广义超微晶硅图理论的公理化
作者:
Eleftherios Matsikoudis
;
Edward A. Lee
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
6.
Approximation Algorithms for the Antenna Orientation Problem
机译:
天线方向问题的近似算法
作者:
Evangelos Kranakis
;
Fraser MacQuarrie
;
Oscar Morales Ponce
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
关键词:
Antenna Orientation Problem;
Beamwidth;
Connectivity;
Directional Antenna;
Wireless Sensor Networks;
7.
On the Isomorphism Problem for Decision Trees and Decision Lists
机译:
关于决策树木和决策列表的同构问题
作者:
Vikraman Arvind
;
Johannes Kobler
;
Sebastian Kuhnert
;
Gaurav Rattan
;
Yadu Vasudev
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
8.
Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks
机译:
统一 - 电力临时无线网络中的分布式确定性广播
作者:
Tomasz Jurdzinski
;
Dariusz R. Kowalski
;
Grzegorz Stachowiak
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
关键词:
Ad hoc wireless networks;
Uniform-power;
Signal-to-Interference-and-Noise-Ratio (SINR);
Broadcast problem;
Local leader election;
9.
The Frequent Items Problem in Online Streaming under Various Performance Measures
机译:
在各种绩效措施下在线流中的频繁问题问题
作者:
Joan Boyar
;
Kim S. Larsen
;
Abyayananda Maiti
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
10.
On Independence Domination
机译:
关于独立统治
作者:
Wing-Kai Hon
;
Ton Kloks
;
Hsiang-Hsuan Liu
;
Sheung-Hung Poon
;
Yue-Li Wang
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
关键词:
Independence domination;
Domination;
Cograph;
Distance-hereditary graph;
Permutation graph;
Exact algorithm;
11.
Decision Problems for Linear Recurrence Sequences
机译:
线性复发序列的决策问题
作者:
Joel Ouaknine
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
12.
Parameterized Complexity of Weak Odd Domination Problems
机译:
弱奇数问题的参数化复杂性
作者:
David Cattaneo
;
Simon Perdrix
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
13.
Groups with a Recursively Enumerable Irreducible Word Problem
机译:
群体具有递归令人令人令人难以置信的词问题
作者:
Gabriela Ash Rino Nesin
;
Richard M. Thomas
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
关键词:
Word problem;
Irreducible word problem;
Cayley graph;
Recursive;
Recursively enumerable;
14.
Randomized Distributed Decision (Invited Lecture Abstract)
机译:
随机分布式决定(邀请讲座摘要)
作者:
David Peleg
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
15.
Real-Time Vector Automata
机译:
实时矢量自动机
作者:
Ozlem Salehi
;
Abuzer Yakaryilmaz
;
A. C. Cem Say
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
关键词:
Vector automata;
Counter automata;
Automata with multiplication;
Generalized automata;
16.
On the Complexity of Finding a Largest Common Subtree of Bounded Degree
机译:
关于寻找最大常见程度的复杂性
作者:
Tatsuya Akutsu
;
Takeyuki Tamura
;
Avraham A. Melkman
;
Atsuhiro Takasu
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2013年
关键词:
Tree edit distance;
Unordered trees;
Dynamic programming;
Parameterized complexity;
17.
On the Expressive Power of Read-Once Determinants
机译:
关于阅读次数的表现力
作者:
N. R. Aravind
;
Pushkar S. Joglekar
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
18.
On the Mathematics of Data Centre Network Topologies
机译:
关于数据中心网络拓扑的数学
作者:
Iain A. Stewart
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
19.
Recurring Comparison Faults: Sorting and Finding the Minimum
机译:
重复比较故障:排序和查找最小值
作者:
Barbara Geissmann
;
Matus Mihalak
;
Peter Widmayer
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
20.
Interprocedural Reachability for Flat Integer Programs
机译:
平面整数节目的移植到可达性
作者:
Pierre Ganty
;
Radu Iosif
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
21.
Multidimensional Binary Vector Assignment Problem: Standard, Structural and Above Guarantee Parameterizations
机译:
多维二进制矢量分配问题:标准,结构和高于保证参数化
作者:
Marin Bougeret
;
Guillerme Duvillie
;
Rodolphe Giroudeau
;
Remi Watrigant
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
22.
Complexity of Suffix-Free Regular Languages
机译:
无缀无常规语言的复杂性
作者:
Janusz Brzozowski
;
Marek Szykula
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
关键词:
Most complex;
Regular language;
State complexity;
Suffix-free;
Syntactic complexity;
Transition semigroup;
23.
On Equivalences, Metrics, and Polynomial Time
机译:
在等效性,指标和多项式时间
作者:
Alberto Cappai
;
Ugo Dal Lago
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
24.
On the Structure of Solution-Graphs for Boolean Formulas
机译:
关于布尔公式的解决方案图结构
作者:
Patrick Scharpfenecker
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
关键词:
Partial cube;
Succinct;
Embedding;
St-Connectivity;
Connectivity;
Satisfiability;
25.
Alternation Hierarchies of First Order Logic with Regular Predicates
机译:
具有常规谓词的一阶逻辑的交替层次结构
作者:
Luc Dartois
;
Charles Paperman
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
26.
β-skeletons for a Set of Line Segments in R~2
机译:
β-骨架用于r〜2中的一组线段
作者:
Miroslaw Kowaluk
;
Gabriela Majewska
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
27.
Depth, Highness and DNR Degrees
机译:
深度,亮度和DNR度
作者:
Philippe Moser
;
Frank Stephan
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
28.
A Note on Decidable Separability by Piecewise Testable Languages
机译:
通过分段可测试语言的可解除可分离可分辨性的说明
作者:
Wojciech Czerwinski
;
Wim Martens
;
Lorijn van Rooijen
;
Marc Zeitoun
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
29.
Pairs Covered by a Sequence of Sets
机译:
由一系列套装覆盖的对
作者:
Peter Damaschke
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
30.
Incremental Complexity of a Bi-objective Hypergraph Transversal Problem
机译:
双目标超图横向问题的增量复杂性
作者:
Ricardo Andrade
;
Etienne Birmele
;
Arnaud Mary
;
Thomas Picchetti
;
Marie-France Sagot
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
31.
Longest α-Gapped Repeat and Palindrome
机译:
最长的α-螺纹重复和parindrome
作者:
Pawel Gawrychowski
;
Florin Manea
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
32.
On the Power of Color Refinement
机译:
论彩色细化的力量
作者:
V. Arvind
;
Johannes Kobler
;
Gaurav Rattan
;
Oleg Verbitsky
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
33.
∈-Almost Selectors and Their Applications
机译:
∈ - 几乎选择器及其应用程序
作者:
Annalisa De Bonis
;
Ugo Vaccaro
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
34.
Conjunctive Visibly-Pushdown Path Queries
机译:
联合明显下行路径查询
作者:
Martin Lange
;
Etienne Lozes
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
35.
Nearest Fixed Points and Concurrent Priority Games
机译:
最近的固定点和并发优先级游戏
作者:
Bruno Karelovic
;
Wieslaw Zielonka
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
36.
Derandomized Construction of Combinatorial Batch Codes
机译:
组合批量代码的替代结构
作者:
Srimanta Bhattacharya
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
37.
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS
机译:
关于概率大气长期平均特性的存在和可计算性
作者:
Antonin Kucera
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
38.
Reasoning with Global Assumptions in Arithmetic Modal Logics
机译:
在算术模态逻辑中的全球假设推理
作者:
Clemens Kupke
;
Dirk Pattinson
;
Lutz Schroder
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
39.
On the Enumeration of Permutominoes
机译:
关于纯化的枚举
作者:
Ana Paula Tomas
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
40.
Constructive Relationships Between Algebraic Thickness and Normality
机译:
代数厚度与正常性之间的建设性关系
作者:
Joan Boyar
;
Magnus Gausdal Find
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
41.
Towards Better Inapproximability Bounds for TSP: A Challenge of Global Dependencies
机译:
为TSP的更好不可估量的界限:全球依赖性的挑战
作者:
Marek Karpinski
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
42.
Stabbing Segments with Rectilinear Objects
机译:
用直线物体刺伤段
作者:
Merce Claverol
;
Delia Garijo
;
Matias Korman
;
Carlos Seara
;
Rodrigo I. Silveira
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
43.
Privacy in Elections: k-Anonymizing Preference Orders
机译:
选举中的隐私:K-匿名偏好订单
作者:
Nimrod Talmon
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
44.
Block Representation of Reversible Causal Graph Dynamics
机译:
可逆因果图动态的块表示
作者:
Pablo Arrighi
;
Simon Martiel
;
Simon Perdrix
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
关键词:
Bijective;
Invertible;
Locality;
Cayley graphs;
Reversible cellular automata;
45.
Minimal Disconnected Cuts in Planar Graphs
机译:
平面图中的最小断开条
作者:
Marcin Kaminski
;
Daniel Paulusma
;
Anthony Stewart
;
Dimitrios M. Thilikos
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
46.
Token Jumping in Minor-Closed Classes
机译:
令牌跳跃在次要封闭的课程中
作者:
Nicolas Bousquet
;
Arnaud Mary
;
Aline Parreau
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
47.
Strong Duality in Horn Minimization
机译:
喇叭最小化的强烈二元性
作者:
Endre Boros
;
Ondrej Cepek
;
Kazuhisa Makino
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
48.
Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time
机译:
在最佳时间内列出所有固定长度的简单周期
作者:
George Manoussakis
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
关键词:
Sparse graphs;
K-degenerate;
Fixed-size cycles listing;
49.
Busy Beaver Scores and Alphabet Size
机译:
繁忙的海狸分数和字母大小
作者:
Holger Petersen
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
50.
Energy-Efficient Fast Delivery by Mobile Agents
机译:
通过移动代理节能快速送货
作者:
Andreas Bartschi
;
Thomas Tschager
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
51.
Parikh Image of Pushdown Automata
机译:
下推自动机的Parikh图像
作者:
Pierre Ganty
;
Elena Gutierrez
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
52.
The Snow Team Problem (Clearing Directed Subgraphs by Mobile Agents)
机译:
雪队问题(通过移动代理清除定向子图)
作者:
Dariusz Dereniowski
;
Andrzej Lingas
;
Mia Persson
;
Dorota Urbanska
;
Pawel Zylinski
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
关键词:
Graph searching;
FPT-algorithm;
NP-hardness;
Monomial;
53.
On Weak-Space Complexity over Complex Numbers
机译:
关于复杂数字的弱空间复杂性
作者:
Pushkar S. Joglekar
;
B. V. Raghavendra Rao
;
Siddhartha Sivakumar
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
54.
Testing Polynomial Equivalence by Scaling Matrices
机译:
通过缩放矩阵测试多项式等价性
作者:
Markus Blaser
;
B. V. Raghavendra Rao
;
Jayalal Sarma
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
55.
Polynomial-Time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs
机译:
子集反馈顶点的多项式时间算法在间隔图和排列图上设置问题
作者:
Charis Papadopoulos
;
Spyridon Tzimas
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
56.
FO Model Checking on Map Graphs
机译:
模型检查地图图形
作者:
Kord Eickmeyer
;
Ken-ichi Kawarabayashi
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
57.
Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars
机译:
多个无背景树语法和多组分树相邻语法
作者:
Joost Engelfriet
;
Andreas Maletti
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
58.
New Results on Routing via Matchings on Graphs
机译:
通过图表上的匹配路由的新结果
作者:
Indranil Banerjee
;
Dana Richards
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
59.
Generalized Satisfiability Problems via Operator Assignments
机译:
通过操作员分配的广义可满足性问题
作者:
Albert Atserias
;
Phokion G. Kolaitis
;
Simone Severini
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
60.
What One Has to Know When Attacking P vs. NP
机译:
攻击P与NP何时需要知道什么
作者:
Juraj Hromkovic
;
Peter Rossmanith
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
61.
Contextuality in Multipartite Pseudo-Telepathy Graph Games
机译:
Multiparite伪心图游戏中的语境性
作者:
Anurag Anshu
;
Peter Hoyer
;
Mehdi Mhalla
;
Simon Perdrix
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
62.
Parameterized Aspects of Triangle Enumeration
机译:
三角枚举的参数化方面
作者:
Matthias Bentert
;
Till Fluschnik
;
Andre Nichterlein
;
Rolf Niedermeier
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
63.
Automatic Kolmogorov Complexity and Normality Revisited
机译:
自动kolmogorov复杂性和正常重新讨论
作者:
Alexander Shen
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
64.
Subquadratic Non-adaptive Threshold Group Testing
机译:
子例非自适应阈值组测试
作者:
Gianluca De Marco
;
Tomasz Jurdzinski
;
Michal Rozanski
;
Grzegorz Stachowiak
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
关键词:
Group testing;
Threshold group testing;
Non-adaptive strategies;
Randomized algorithms;
65.
Reliable Communication via Semilattice Properties of Partial Knowledge
机译:
通过部分知识的半统一性能可靠的沟通
作者:
Aris Pagourtzis
;
Giorgos Panagiotakos
;
Dimitris Sakavalas
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
关键词:
Reliable message transmission;
Partial knowledge;
Semilattices;
General adversary;
Byzantine adversary;
66.
Some Results of Zoltan Esik on Regular Languages
机译:
Zoltan Esik常规语言的结果
作者:
Jean-Eric Pin
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
67.
Determinism and Computational Power of Real Measurement-Based Quantum Computation
机译:
基于真正测量的量子计算的确定主义和计算能力
作者:
Simon Perdrix
;
Luc Sanselme
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
68.
A Tour of Recent Results on Word Transducers
机译:
近期换能器近期结果之旅
作者:
Anca Muscholl
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
69.
Expressive Power of Evolving Neural Networks Working on Infinite Input Streams
机译:
在无限输入流工作的神经网络的表现力量
作者:
Jeremie Cabessa
;
Olivier Finkel
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
关键词:
Neural networks;
Attractors;
Formal languages;
ω-languages;
Borel sets;
Analytic sets;
Effective Borel and analytic sets;
70.
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
机译:
关于有限和无限词汇的理性关系子类的决策问题
作者:
Christof Loding
;
Christopher Spinrath
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
关键词:
Rational relations;
Automatic relations;
ω-automata;
Finite transducers;
Visibly pushdown automata;
71.
Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching
机译:
在滑动窗口和应用程序中最小的缺席单词,以便在线模式匹配
作者:
Maxime Crochemore
;
Alice Heliou
;
Gregory Kucherov
;
Laurent Mouchard
;
Solon P. Pissis
;
Yann Ramusat
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
72.
Tropical Combinatorial Nullstellensatz and Fewnomials Testing
机译:
热带组合无核和少量测试
作者:
Dima Grigoriev
;
Vladimir V. Podolskii
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
73.
The Complexity of Routing with Few Collisions
机译:
少数碰撞路由的复杂性
作者:
Till Fluschnik
;
Marco Morik
;
Manuel Sorge
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
74.
Decidable Weighted Expressions with Presburger Combinators
机译:
使用PRESBURGER组合器可判定的加权表达式
作者:
Emmanuel Filiot
;
Nicolas Mazzocchi
;
Jean-Francois Raskin
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
75.
Deterministic Oblivious Local Broadcast in the SINR Model
机译:
SINR模型中的确定性忽略当地广播
作者:
Tomasz Jurdzinski
;
Michal Rozanski
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
76.
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities
机译:
利用子尺寸和括号模态的Lambek微积分的不可剥离性
作者:
Max Kanovich
;
Stepan Kuznetsov
;
Andre Scedrov
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
77.
On Σ ∧ Σ ∧ Σ Circuits: The Role of Middle Σ Fan-In, Homogeneity and Bottom Degree
机译:
在σ∧Σ∧Σ电路:中间σ风扇的作用,均匀性和底部度
作者:
Christian Engels
;
B. V. Raghavendra Rao
;
Karteek Sreenivasaiah
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
78.
Automata and Program Analysis
机译:
自动机和计划分析
作者:
Thomas Colcombet
;
Laure Daviaud
;
Florian Zuleger
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
79.
Deterministic Preparation of Dicke States
机译:
DiCke州的确定性制剂
作者:
Andreas B?rtschi
;
Stephan Eidenbenz
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
80.
Largest Common Prefix of a Regular Tree Language
机译:
常规树语的最大共同前缀
作者:
Markus Lohrey
;
Sebastian Maneth
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
81.
Space Efficient Algorithms for Breadth-Depth Search
机译:
用于广度深度搜索的空间高效算法
作者:
Sankardeep Chakraborty
;
Anish Mukherjee
;
Srinivasa Rao Satti
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
82.
Complete Disjoint CoNP-Pairs but No Complete Total Polynomial Search Problems Relative to an Oracle
机译:
完整的不相交CONP-eA,但没有完整的总多项式搜索问题相对于Oracle
作者:
Titus Dose
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Total polynomial search problem;
Disjoint coNP-pair;
Oracle;
83.
On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties
机译:
关于Weisfeiler-Leman Invariance:子图计数和相关图形属性
作者:
Vikraman Arvind
;
Frank Fuhlbrück
;
Johannes K?bler
;
Oleg Verbitsky
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Isomorphism and similarity of graphs;
Weisfeiler-Leman algorithm;
Subgraph counts;
84.
Highly Succinct Dynamic Data Structures
机译:
高度简洁的动态数据结构
作者:
Torben Hagerup
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Space efficiency;
In-place chain technique;
Constant-time initialization;
Choice dictionaries;
Arrays;
85.
Circular Pattern Matching with k Mismatches
机译:
与k不匹配匹配的圆形图案
作者:
Panagiotis Charalampopoulos
;
Tomasz Kociumaka
;
Solon P. Pissis
;
Jakub Radoszewski
;
Wojciech Rytter
;
Juliusz Straszyński
;
Tomasz Waleń
;
Wiktor Zuba
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
86.
Fault-Tolerant Parallel Scheduling of Arbitrary Length Jobs on a Shared Channel
机译:
对共享通道上任意长度作业的容错并行调度
作者:
Marek Klonowski
;
Dariusz R. Kowalski
;
Jaros?aw Mirek
;
Prudence W. H. Wong
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
87.
On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest
机译:
在循环横向和它们的连接变体上,在没有小线性森林的情况下
作者:
Carl Feghali
;
Matthew Johnson
;
Giacomo Paesani
;
Dani?l Paulusma
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
88.
Some Observations on Dynamic Random Walks and Network Renormalization
机译:
关于动态随机散步和网络重整化的一些观察
作者:
Bernard Chazelle
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Markov influence systems;
Dynamic random walks;
Network renormalization;
89.
The Fault-Tolerant Metric Dimension of Cographs
机译:
变焦的容错度量维度
作者:
Duygu Vietz
;
Egon Wanke
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Graph algorithm;
Complexity;
Metric dimension;
Fault-tolerant metric dimension;
Resolving set;
Cograph;
90.
Bivariate B-Splines from Convex Pseudo-circle Configurations
机译:
来自Convex伪圆形配置的双变量B样条
作者:
Dominique Schmitt
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
B-spline;
Simplex spline;
Convex pseudo-circles;
91.
On the Tractability of Covering a Graph with 2-Clubs
机译:
用2杆覆盖图形的陶工
作者:
Riccardo Dondi
;
Manuel Lafond
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
92.
Winning Strategies for Streaming Rewriting Games
机译:
赢得重写游戏的胜利策略
作者:
Christian Coester
;
Thomas Schwentick
;
Martin Schuster
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Context-free games;
Rewriting games;
Streaming;
Incomplete information;
strategies;
93.
Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting
机译:
标称语法与Atom替代:匹配,统一,重写
作者:
Jesús Domínguez
;
Maribel Fernández
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Nominal syntax;
Non-capturing substitution;
Rewriting;
Unification;
94.
An Efficient Algorithm for the Fast Delivery Problem
机译:
一种快速交付问题的有效算法
作者:
Iago A. Carvalho
;
Thomas Erlebach
;
Kleitos Papadopoulos
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Mobile agents;
Dijkstra's algorithm;
Polynomial-time algorithm;
Time-dependent shortest paths;
95.
Algorithms for Some Classes of Infinite-State MDPs and Stochastic Games (Abstract of Invited Talk)
机译:
某些类别的无限状态MDP和随机游戏的算法(邀请谈话)
作者:
Kousha Etessami
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
96.
Succinct Representations of Finite Groups
机译:
有限群体的简洁表示
作者:
Bireswar Das
;
Shivdutt Sharma
;
P. R. Vaidyanathan
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
97.
Optimal Channel Utilization with Limited Feedback
机译:
具有有限反馈的最佳信道利用率
作者:
Gianluca De Marco
;
Tomasz Jurdziński
;
Dariusz R. Kowalski
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Multiple-access channel;
Limited feedback;
Group testing;
Threshold group testing;
Distributed;
Algorithm;
Lower bound;
98.
Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps
机译:
代数承诺束缚满足问题,第一步
作者:
Libor Barto
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Computational complexity;
Promise constraint satisfaction;
Polymorphism;
99.
Maximum Rectilinear Convex Subsets
机译:
最大直线凸子集
作者:
Hernán González-Aguilar
;
David Orden
;
Pablo Pérez-Lantero
;
David Rappaport
;
Carlos Seara
;
Javier Tejel
;
Jorge Urrutia
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Erd?s-Szekeres problems;
Convex subsets;
Optimization;
Orthoconvexity;
Rectilinear convex hull;
100.
Computing Digraph Width Measures on Directed Co-graphs (Extended Abstract)
机译:
在指向的协议上计算数字宽度测量(扩展摘要)
作者:
Frank Gurski
;
Dominique Komander
;
Carolin Rehs
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
DFVS-number;
Cycle rank;
DAG-depth;
DAG-width;
Kelly-width;
Directed co-graphs;
意见反馈
回到顶部
回到首页