掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
共
235
条结果
1.
Deterministic Preparation of Dicke States
机译:
DiCke州的确定性制剂
作者:
Andreas B?rtschi
;
Stephan Eidenbenz
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
2.
Largest Common Prefix of a Regular Tree Language
机译:
常规树语的最大共同前缀
作者:
Markus Lohrey
;
Sebastian Maneth
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
3.
Space Efficient Algorithms for Breadth-Depth Search
机译:
用于广度深度搜索的空间高效算法
作者:
Sankardeep Chakraborty
;
Anish Mukherjee
;
Srinivasa Rao Satti
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
4.
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;
5.
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;
6.
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;
7.
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年
8.
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年
9.
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年
10.
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;
11.
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;
12.
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;
13.
On the Tractability of Covering a Graph with 2-Clubs
机译:
用2杆覆盖图形的陶工
作者:
Riccardo Dondi
;
Manuel Lafond
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
14.
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;
15.
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;
16.
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;
17.
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年
18.
Succinct Representations of Finite Groups
机译:
有限群体的简洁表示
作者:
Bireswar Das
;
Shivdutt Sharma
;
P. R. Vaidyanathan
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
19.
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;
20.
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;
21.
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;
22.
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;
23.
Two Characterizations of Finite-State Dimension
机译:
有限状态维度的两个特征
作者:
Alexander Kozachinskiy
;
Alexander Shen
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Finite-state dimension;
Superadditive complexity functions;
Normal sequences;
24.
Preface
机译:
前言
作者:
Leszek G?sieniec
;
Jesper Jansson
;
Christos Levcopoulos
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
25.
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
机译:
罕见的兄弟姐妹加速确定性检测和小图案图的计数
作者:
Miros?aw Kowaluk
;
Andrzej Lingas
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
26.
Extension of Some Edge Graph Problems: Standard and Parameterized Complexity
机译:
扩展一些边缘图问题:标准和参数化复杂性
作者:
Katrin Casel
;
Henning Fernau
;
Mehdi Khosravian Ghadikolaei
;
Jér?me Monnot
;
Florian Sikora
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2019年
关键词:
Extension problems;
Edge cover;
Matching;
Edge domination;
NP-completeness;
Parameterized complexity;
Approximation;
27.
Contextuality in Multipartite Pseudo-Telepathy Graph Games
机译:
多部分伪心灵感应图游戏中的语境
作者:
Anurag Anshu
;
Peter Hoyer
;
Mehdi Mhalla
;
Simon Perdrix
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
28.
Generalized Satisfiability Problems via Operator Assignments
机译:
通过操作员分配的广义可满足性问题
作者:
Albert Atserias
;
Phokion G. Kolaitis
;
Simone Severini
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
29.
New Results on Routing via Matchings on Graphs
机译:
通过图上的匹配进行路由的新结果
作者:
Indranil Banerjee
;
Dana Richards
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
30.
Energy-Efficient Fast Delivery by Mobile Agents
机译:
通过移动代理实现节能高效的快速交付
作者:
Andreas Baertschi
;
Thomas Tschager
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
31.
Parameterized Aspects of Triangle Enumeration
机译:
三角枚举的参数化方面
作者:
Matthias Bentert
;
Till Fluschnik
;
Andre Nichterlein
;
Rolf Niedermeier
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
32.
Testing Polynomial Equivalence by Scaling Matrices
机译:
通过缩放矩阵测试多项式等价
作者:
Markus Blaeser
;
B.V. Raghavendra Rao
;
Jayalal Sarma
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
33.
Strong Duality in Horn Minimization
机译:
喇叭最小化的强对偶
作者:
Endre Boros
;
Ondrej Cepek
;
Kazuhisa Makino
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
34.
Token Jumping in Minor-Closed Classes
机译:
小型封闭课程中的代币跳跃
作者:
Nicolas Bousquet
;
Arnaud Mary
;
Aline Parreau
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
35.
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;
36.
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年
37.
Deterministic Oblivious Local Broadcast in the SINR Model
机译:
SINR模型中的确定性遗忘本地广播
作者:
Tomasz Jurdzinski
;
Michal Rozanski
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
38.
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年
39.
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
机译:
有限和无限词的有理关系子类的决策问题
作者:
Christof Loeding
;
Christopher Spinrath
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
关键词:
Rational relations;
Automatic relations;
w-automata;
Finite transducers;
Visibly pushdown automata;
40.
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;
41.
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;
42.
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;
43.
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;
44.
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年
45.
FO Model Checking on Map Graphs
机译:
地图图形上的FO模型检查
作者:
Kord Eickmeyer
;
Ken-ichi Kawarabayashi
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
46.
Determinism and Computational Power of Real Measurement-Based Quantum Computation
机译:
基于实测的量子计算的确定性和计算能力
作者:
Simon Perdrix
;
Luc Sanselme
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
47.
Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars
机译:
多个无上下文树语法和多分量树邻接语法
作者:
Joost Engelfriet
;
Andreas Maletti
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
48.
Busy Beaver Scores and Alphabet Size
机译:
繁忙的海狸乐谱和字母大小
作者:
Holger Petersen
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
49.
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年
50.
Automatic Kolmogorov Complexity and Normality Revisited
机译:
重新考虑自动Kolmogorov的复杂性和常态性
作者:
Alexander Shen
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
51.
Decidable Weighted Expressions with Presburger Combinators
机译:
Presburger组合器的可确定加权表达式
作者:
Emmanuel Filiot
;
Nicolas Mazzocchi
;
Jean-Francois Raskin
会议名称:
《》
|
2017年
52.
The Complexity of Routing with Few Collisions
机译:
冲突少的路由的复杂性
作者:
Till Fluschnik
;
Marco Morik
;
Manuel Sorge
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
53.
Parikh Image of Pushdown Automata
机译:
下推式自动机的Parikh图像
作者:
Pierre Ganty
;
Elena Gutierrez
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
54.
Tropical Combinatorial Nullstellensatz and Fewnomials Testing
机译:
热带组合Nullstellensatz和雌性体检
作者:
Dima Grigoriev
;
Vladimir V. Podolskii
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
55.
On Weak-Space Complexity over Complex Numbers
机译:
关于复数上的弱空间复杂度
作者:
Pushkar S. Joglekar
;
B.V. Raghavendra Rao
;
Siddhartha Sivakumar
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
56.
What One Has to Know When Attacking P vs. NP (Extended Abstract)
机译:
攻击P对NP时必须知道的内容(扩展摘要)
作者:
Juraj Hromkovic
;
Peter Rossmanith
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
57.
Optimal Dual-Pivot Quicksort: Exact Comparison Count
机译:
最佳双轴Quicksort:精确比较计数
作者:
Martin Dietzfelbinger
会议名称:
《》
|
2017年
58.
Some Results of Zoltan Esik on Regular Languages
机译:
Zoltan Esik关于常规语言的一些结果
作者:
Jean-Eric Pin
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
59.
Preface
机译:
前言
作者:
Ralf Klasing
;
Marc Zeitoun
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
60.
Automata and Program Analysis
机译:
自动机和程序分析
作者:
Thomas Colcombet
;
Laure Daviaud
;
Florian Zuleger
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
61.
A Tour of Recent Results on Word Transducers
机译:
单词转换器的最新结果之旅
作者:
Anca Muscholl
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
62.
Automata and Program Analysis
机译:
自动机和程序分析
作者:
Thomas Colcombet
;
Laure Daviaud
;
Florian Zuleger
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
63.
What One Has to Know When Attacking P vs. NP (Extended Abstract)
机译:
攻击P对NP时必须知道的内容(扩展摘要)
作者:
Juraj Hromkovic
;
Peter Rossmanith
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
64.
A Tour of Recent Results on Word Transducers
机译:
单词转换器的最新结果之旅
作者:
Anca Muscholl
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
65.
Some Results of Zoltan Esik on Regular Languages
机译:
Zoltan Esik关于常规语言的一些结果
作者:
Jean-Eric Pin
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
66.
Token Jumping in Minor-Closed Classes
机译:
令牌跳跃在次要封闭的课程中
作者:
Nicolas Bousquet
;
Arnaud Mary
;
Aline Parreau
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
67.
Strong Duality in Horn Minimization
机译:
喇叭最小化的强烈二元性
作者:
Endre Boros
;
Ondrej Cepek
;
Kazuhisa Makino
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
68.
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;
69.
Busy Beaver Scores and Alphabet Size
机译:
繁忙的海狸分数和字母大小
作者:
Holger Petersen
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
70.
Energy-Efficient Fast Delivery by Mobile Agents
机译:
通过移动代理节能快速送货
作者:
Andreas Bartschi
;
Thomas Tschager
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
71.
Parikh Image of Pushdown Automata
机译:
下推自动机的Parikh图像
作者:
Pierre Ganty
;
Elena Gutierrez
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
72.
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;
73.
On Weak-Space Complexity over Complex Numbers
机译:
关于复杂数字的弱空间复杂性
作者:
Pushkar S. Joglekar
;
B. V. Raghavendra Rao
;
Siddhartha Sivakumar
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
74.
Testing Polynomial Equivalence by Scaling Matrices
机译:
通过缩放矩阵测试多项式等价性
作者:
Markus Blaser
;
B. V. Raghavendra Rao
;
Jayalal Sarma
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
75.
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年
76.
FO Model Checking on Map Graphs
机译:
模型检查地图图形
作者:
Kord Eickmeyer
;
Ken-ichi Kawarabayashi
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
77.
Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars
机译:
多个无背景树语法和多组分树相邻语法
作者:
Joost Engelfriet
;
Andreas Maletti
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
78.
New Results on Routing via Matchings on Graphs
机译:
通过图表上的匹配路由的新结果
作者:
Indranil Banerjee
;
Dana Richards
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
79.
Generalized Satisfiability Problems via Operator Assignments
机译:
通过操作员分配的广义可满足性问题
作者:
Albert Atserias
;
Phokion G. Kolaitis
;
Simone Severini
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
80.
What One Has to Know When Attacking P vs. NP
机译:
攻击P与NP何时需要知道什么
作者:
Juraj Hromkovic
;
Peter Rossmanith
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
81.
Contextuality in Multipartite Pseudo-Telepathy Graph Games
机译:
Multiparite伪心图游戏中的语境性
作者:
Anurag Anshu
;
Peter Hoyer
;
Mehdi Mhalla
;
Simon Perdrix
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
82.
Parameterized Aspects of Triangle Enumeration
机译:
三角枚举的参数化方面
作者:
Matthias Bentert
;
Till Fluschnik
;
Andre Nichterlein
;
Rolf Niedermeier
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
83.
Automatic Kolmogorov Complexity and Normality Revisited
机译:
自动kolmogorov复杂性和正常重新讨论
作者:
Alexander Shen
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
84.
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;
85.
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;
86.
Some Results of Zoltan Esik on Regular Languages
机译:
Zoltan Esik常规语言的结果
作者:
Jean-Eric Pin
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
87.
Determinism and Computational Power of Real Measurement-Based Quantum Computation
机译:
基于真正测量的量子计算的确定主义和计算能力
作者:
Simon Perdrix
;
Luc Sanselme
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
88.
A Tour of Recent Results on Word Transducers
机译:
近期换能器近期结果之旅
作者:
Anca Muscholl
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
89.
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;
90.
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;
91.
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年
92.
Tropical Combinatorial Nullstellensatz and Fewnomials Testing
机译:
热带组合无核和少量测试
作者:
Dima Grigoriev
;
Vladimir V. Podolskii
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
93.
The Complexity of Routing with Few Collisions
机译:
少数碰撞路由的复杂性
作者:
Till Fluschnik
;
Marco Morik
;
Manuel Sorge
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
94.
Decidable Weighted Expressions with Presburger Combinators
机译:
使用PRESBURGER组合器可判定的加权表达式
作者:
Emmanuel Filiot
;
Nicolas Mazzocchi
;
Jean-Francois Raskin
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
95.
Deterministic Oblivious Local Broadcast in the SINR Model
机译:
SINR模型中的确定性忽略当地广播
作者:
Tomasz Jurdzinski
;
Michal Rozanski
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
96.
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年
97.
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年
98.
Automata and Program Analysis
机译:
自动机和计划分析
作者:
Thomas Colcombet
;
Laure Daviaud
;
Florian Zuleger
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2017年
99.
On the Expressive Power of Read-Once Determinants
机译:
关于阅读次数的表现力
作者:
N. R. Aravind
;
Pushkar S. Joglekar
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
100.
On the Mathematics of Data Centre Network Topologies
机译:
关于数据中心网络拓扑的数学
作者:
Iain A. Stewart
会议名称:
《International Symposium on Fundamentals of Computation Theory》
|
2015年
上一页
1
2
3
下一页
意见反馈
回到顶部
回到首页