掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Annual conference on theory and applications of models of computation
Annual conference on theory and applications of models of computation
召开年:
2017
召开地:
Bern(CH)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
57
条结果
1.
Cognitive Reasoning and Trust in Human-Robot Interactions
机译:
人机交互中的认知推理和信任
作者:
Marta Kwiatkowska
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
2.
On Choice Rules in Dependent Type Theory
机译:
相依类型理论中的选择规则
作者:
Maria Emilia Maietti
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
3.
Natural Language Processing, Moving from Rules to Data
机译:
自然语言处理,从规则到数据的转换
作者:
Adrian-Horia Dediu
;
Joana M. Matos
;
Carlos Martin-Vide
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Computational models;
Computational linguistics;
Speech processing methods;
Machine translation;
4.
An All-or-Nothing Flavor to the Church-Turing Hypothesis
机译:
教堂转向假说的全有或全无
作者:
Stefan Wolf
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
5.
Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis
机译:
具有FPT子例程的涡轮增压支配装置:进一步的改进和实验分析
作者:
Faisal N. Abu-Khzam
;
Shaowei Cai
;
Judith Egan
;
Peter Shaw
;
Kai Wang
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
6.
Multi-interval Pairwise Compatibility Graphs (Extended Abstract)
机译:
多间隔成对兼容性图(扩展摘要)
作者:
Shareef Ahmed
;
Md. Saidur Rahman
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Pairwise compatibility graphs;
Phylogenetic trees;
Series-parallel graphs;
7.
A Note on Effective Categoricity for Linear Orderings
机译:
关于线性订购有效有效度的一个注记
作者:
Nikolay Bazhenov
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Linear ordering;
Computable categoricity;
Computable structure;
Categoricity spectrum;
Degree of categoricity;
Autostability spectrum;
Ordered abelian group;
Decidable structure;
Autostability relative to strong constructivizations;
8.
On the Shortest Common Superstring of NGS Reads
机译:
关于NGS阅读的最短公共超串
作者:
Tristan Braquelaire
;
Marie Gasparoux
;
Mathieu Raffinot
;
Raluca Uricaru
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Shortest Superstring Problem;
Approximation algorithms;
Next Generation Sequencing;
9.
On the Cost of Simulating a Parallel Boolean Automata Network by a Block-Sequential One
机译:
用块序一模拟并行布尔自动机网络的代价
作者:
Florian Bridoux
;
Pierre Guillon
;
Kevin Perrot
;
Sylvain Sene
;
Guillaume Theyssier
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Boolean automata networks;
Intrinsic simulation;
Block-sequential update schedules;
10.
On Resource-Bounded Versions of the van Lambalgen Theorem
机译:
van Lambalgen定理的资源有界版本
作者:
Diptarka Chakraborty
;
Satyadev Nandakumar
;
Himanshu Shukla
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
11.
Scheduling Fully Parallel Jobs with Integer Parallel Units
机译:
使用整数并行单元调度完全并行作业
作者:
Vincent Chau
;
Minming Li
;
Kai Wang
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
12.
Continuous Firefighting on Infinite Square Grids
机译:
在无限方格上连续灭火
作者:
Xujin Chen
;
Xiaodong Hu
;
Changjun Wang
;
Ying Zhang
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Firefighter problem;
Continuous firefighting;
Fire containment;
Infinite square grids;
13.
Mediated Population Protocols: Leader Electior and Applications
机译:
中介的人口协议:领导电子及其应用
作者:
Shantanu Das
;
Giuseppe Antonio Di Luna
;
Paola Flocchini
;
Nicola Santoro
;
Giovanni Viglietta
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
14.
Learning AC~0 Under k-Dependent Distributions
机译:
在k依赖分布下学习AC〜0
作者:
Ning Ding
;
Yanli Ren
;
Dawu Gu
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
15.
Parikh Images of Matrix Ins-Del Systems
机译:
矩阵Ins-Del系统的Parikh图像
作者:
Henning Fernau
;
Lakshmanan Kuppusamy
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Parikh images;
Semilinearity;
Ins-del systems;
Matrix grammars;
16.
Algorithmic Aspects of the Maximum Colorful Arborescence Problem
机译:
最大彩色树状结构问题的算法方面
作者:
Guillaume Fertin
;
Julien Fradin
;
Geraldine Jean
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
17.
Incompleteness Theorems, Large Cardinals, and Automata over Finite Words
机译:
不完整定理,大基数和有限词自动机
作者:
Olivier Finkel
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Automata and formal languages;
Logic in computer science;
Finite words;
Context-free grammars;
2-tape automaton;
Post correspondence problem;
Weighted automaton;
Finitely generated matrix subsemigroups of Z~(3×3);
Models of set theory;
Incompleteness theorems;
Large cardinals;
Inaccessible cardinals;
Independence from the axiomatic system "ZFC + there exist n inaccessible cardinals";
Independence from Peano Arithmetic;
18.
Scheduling Tasks to Minimize Active Time on a Processor with Unlimited Capacity
机译:
计划任务以最大程度地减少无限容量处理器上的活动时间
作者:
Ken C.K. Fong
;
Minming Li
;
Yungao Li
;
Sheung-Hung Poon
;
Weiwei Wu
;
Yingchao Zhao
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
19.
The Strength of the SCT Criterion
机译:
SCT标准的优势
作者:
Emanuele Frittaion
;
Silvia Steila
;
Keita Yokoyama
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Ramsey's theorem for pairs;
Size-change termination;
Reverse Mathematics;
Σ_2~0-induction;
20.
Covering Polygons with Rectangles
机译:
用矩形覆盖多边形
作者:
Roland Gliick
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
21.
The Complexity of Perfect Packings in Dense Graphs
机译:
密集图中完美堆积的复杂性
作者:
Jie Han
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Perfect packing;
Computational complexity;
Absorbing method;
22.
On the Maximum Weight Minimal Separator
机译:
在最大重量最小分离器上
作者:
Tesshu Hanaka
;
Hans L. Bodlaender
;
Tom C. van der Zanden
;
Hirotaka Ono
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Parameterized algorithm;
Minimal separator;
Treewidth;
23.
Pebble Games over Ordered Structural Abstractions
机译:
有序结构抽象上的卵石游戏
作者:
Yuguo He
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Finite model theory;
Pebble games;
Structural abstraction;
24.
Counting Minimal Dominating Sets
机译:
计算最小的支配集
作者:
Mamadou Moustapha Kante
;
Takeaki Uno
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
25.
On the Computational Complexity of Variants of Combinatorial Voter Control in Elections
机译:
选举中组合选民控制变量的计算复杂性
作者:
Leon Kellerhals
;
Viatcheslav Korenwein
;
Philipp Zschoche
;
Robert Bredereck
;
Jiehua Chen
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
26.
On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas
机译:
2CNF公式中一次读取分辨率决定性的计算复杂性
作者:
Hans Kleine Buning
;
Piotr Wojciechowski
;
K. Subramani
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
2SAT;
Resolution;
Read-once;
27.
Vector Ambiguity and Freeness Problems in SL(2,Z)
机译:
SL(2,Z)中的向量歧义和自由问题
作者:
Sang-Ki Ko
;
Igor Potapov
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Matrix semigroup;
SL(2,Z);
Vector ambiguity;
Vector freeness;
Decidability;
NP-completeness;
28.
An O(n~2) Algorithm for Computing Optimal Continuous Voltage Schedules
机译:
O(n〜2)算法计算最佳连续电压表
作者:
Minming Li
;
Prances F. Yao
;
Hao Yuan
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
29.
Towards an Almost Quadratic Lower Bound on the Monotone Circuit Complexity of the Boolean Convolution
机译:
走向布尔卷积单调电路复杂度的几乎二次下界
作者:
Andrzej Lingas
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Semi-disjoint bilinear form;
Boolean vector convolution;
Monotone Boolean circuit complexity;
30.
Bounds for Semi-disjoint Bilinear Forms in a Unit-Cost Computational Model
机译:
单位成本计算模型中半不相交双线性形式的界
作者:
Andrzej Lingas
;
Mia Persson
;
Dzmitry Sledneu
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Semi-disjoint bilinear form;
Semi-ring;
Vector convolution;
Matrix multiplication;
Distance product;
Circuit complexity;
Unit-cost ram;
Time complexity;
31.
Bounding the Dimension of Points on a Line
机译:
界定直线上点的尺寸
作者:
Neil Lutz
;
D.M. Stull
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
32.
Buchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order
机译:
Buchi自动机识别具有加法和阶数的一阶逻辑中可定义的实数集
作者:
Arthur Milchior
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
33.
qPCF: A Language for Quantum Circuit Computations
机译:
qPCF:一种用于量子电路计算的语言
作者:
Luca Paolini
;
Margherita Zorzi
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
34.
Blocking Independent Sets for H-Free Graphs via Edge Contractions and Vertex Deletions
机译:
通过边缘收缩和顶点删除为无H图阻塞独立集
作者:
Daniel Paulusma
;
Christophe Picouleau
;
Bernard Ries
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
35.
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces
机译:
可分度量空间上极限空间层次的一个密度定理
作者:
Iosif Petrakis
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
36.
On the Conjecture of the Smallest 3-Cop-Win Planar Graph
机译:
关于最小3 Cop Win平面图的猜想
作者:
Photchchara Pisantechakool
;
Xuehou Tan
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Cops and Robbers game;
Cop number;
Capture strategy;
Winning vertices;
37.
On Complexity of Total Vertex Cover on Subcubic Graphs
机译:
次三次图上总顶点覆盖的复杂度
作者:
Sheung-Hung Poon
;
Wei-Lin Wang
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
38.
Nondeterministic Communication Complexity of Random Boolean Functions (Extended Abstract)
机译:
随机布尔函数的不确定通信复杂度(扩展摘要)
作者:
Mozhgan Pourmoradnasseri
;
Dirk Oliver Theis
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Communication complexity;
Random structures;
39.
The Smoothed Number of Pareto-Optimal Solutions in Non-integer Bicriteria Optimization
机译:
非整数双准则优化中的帕累托最优解的光滑数
作者:
Heiko Roglin
;
Clemens Rosner
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
40.
From Nonstandard Analysis to Various Flavours of Computability Theory
机译:
从非标准分析到可计算性理论的各种形式
作者:
Sam Sanders
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
41.
Hardness of Routing for Minimizing Superlinear Polynomial Cost in Directed Graphs
机译:
有向图的最小化超线性多项式代价的路由难度
作者:
Yangguang Shi
;
Fa Zhang
;
Zhiyong Liu
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Hardness of approximation;
Superlinear polynomial cost;
Directed graphs;
Network energy efficiency;
42.
A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds
机译:
正则表达式的密码学观点:更简单的统一证明和精确边界
作者:
Maciej Skorski
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Regularity lemmas;
Boosting;
Low-complexity approximations;
Convex optimization;
Computational indistinguishability;
43.
On the Complexity of Breaking Pseudoentropy
机译:
关于打破伪熵的复杂性
作者:
Maciej Skorski
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Nonuniform attacks;
Pseudoentropy;
Smooth entropy;
Hardness of boolean functions;
44.
Efficient Algorithms for Touring a Sequence of Convex Polygons and Related Problems
机译:
求解凸多边形序列和相关问题的高效算法
作者:
Xuehou Tan
;
Bo Jiang
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
45.
Parameterized Complexity of Fair Deletion Problems
机译:
公平删除问题的参数化复杂度
作者:
Tomas Masafik
;
Tomas Toufar
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
46.
Degrees of Word Problem for Algebras Without Finitely Presented Expansions
机译:
没有有限表示扩展的代数的单词问题度
作者:
Guohua Wu
;
Huishan Wu
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
关键词:
Computably enumerable universal algebra;
Finitely presented expansion;
Word problem;
47.
Kernelization and Parameterized Algorithms for 3-Path Vertex Cover
机译:
3路径顶点覆盖的内核化和参数化算法
作者:
Mingyu Xiao
;
Shaowei Kou
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
48.
Fast Searching on Cartesian Products of Graphs
机译:
快速搜索图的笛卡尔积
作者:
Yuan Xue
;
Boting Yang
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
49.
Sequentialization Using Timestamps
机译:
使用时间戳序列化
作者:
Anand Yeolekar
;
Kumar Madhukar
;
Dipali Bhutada
;
R. Venkatesh
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
50.
Preface
机译:
前言
作者:
T.V. Gopal
;
Gerhard Jager
;
Silvia Steila
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
51.
Cognitive Reasoning and Trust in Human-Robot Interactions
机译:
人机交互中的认知推理和信任
作者:
Marta Kwiatkowska
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
52.
Approximate Counting via Correlation Decay
机译:
通过相关衰减进行近似计数
作者:
Pinyan Lu
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
53.
On Extraction of Programs from Constructive Proofs
机译:
从构造证明中提取程序
作者:
Maria Emilia Maietti
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
54.
Computational Complexity for Real Valued Graph Parameters
机译:
实值图参数的计算复杂度
作者:
Johann A. Makowsky
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
55.
Natural Language Processing, Moving from Rules to Data
机译:
自然语言处理,从规则到数据的转换
作者:
Carlos Martin-Vide
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
56.
An All-or-Nothing Flavor to the Church-Turing Hypothesis
机译:
教会转向假说的全有或全无
作者:
Stefan Wolf
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
57.
Computing on Streams and Analog Networks
机译:
流和模拟网络上的计算
作者:
Jeffery Zucker
会议名称:
《Annual conference on theory and applications of models of computation》
|
2017年
上一页
1
下一页
意见反馈
回到顶部
回到首页