掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International colloquium on automata, languages and programming
International colloquium on automata, languages and programming
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Sporadic Solutions to Zero-One Exclusion Tasks
机译:
零一排除任务的零星解决方案
作者:
Eli Gafni
;
Maurice Herlihy
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
2.
Verifying and Synthesizing Software with Recursive Functions (Invited Contribution)
机译:
验证和综合具有递归功能的软件(应邀贡献)
作者:
Viktor Kuncak
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
3.
Weak Parity
机译:
弱平价
作者:
Scott Aaronson
;
Andris Ambainis
;
Kaspars Balodis
;
Mohammad Bavarian
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
4.
Consequences of Faster Alignment of Sequences
机译:
序列比对更快的结果
作者:
Amir Abboud
;
Virginia Vassilevska Williams
;
Oren Weimann
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
5.
Distance Labels with Optimal Local Stretch
机译:
具有最佳局部拉伸的距离标签
作者:
Ittai Abraham
;
Shiri Chechik
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
6.
Time-Expanded Packings
机译:
时间膨胀包装
作者:
David Adjiashvili
;
Sandro Bosio
;
Robert Weismantel
;
Rico Zenklusen
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
7.
Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM
机译:
RAM上的确定性矩形机柜和脱机优势报告
作者:
Peyman Afshani
;
Timothy M. Chan
;
Konstantinos Tsakalidis
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
8.
The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average
机译:
热带阴影-顶点算法平均解决多项式时间内的平均收益博弈
作者:
Xavier Allamigeon
;
Pascal Benchimol
;
Stephane Gaubert
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
9.
Tighter Relations between Sensitivity and Other Complexity Measures
机译:
敏感性与其他复杂性度量之间的紧密关系
作者:
Andris Ambainis
;
Mohammad Bavarian
;
Yihan Gao
;
Jieming Mao
;
Xiaoming Sun
;
Song Zuo
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
10.
On Hardness of Jumbled Indexing
机译:
论混杂索引的难度
作者:
Amihood Amir
;
Timothy M. Chan
;
Moshe Lewenstein
;
Noa Lewenstein
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
11.
Morphing Planar Graph Drawings Optimally
机译:
优化平面图形图的变形
作者:
Patrizio Angelini
;
Giordano Da Lozzo
;
Giuseppe Di Battista
;
Fabrizio Frati
;
Maurizio Patrignani
;
Vincenzo Roselli
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
12.
Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs
机译:
维护无向图DFS树的增量算法
作者:
Surender Baswana
;
Shahbaz Khan
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
关键词:
dynamic;
incremental;
undirected graph;
depth first search;
13.
On the Role of Shared Randomness in Simultaneous Communication
机译:
共享随机性在同时交流中的作用
作者:
Mohammad Bavarian
;
Dmitry Gavinsky
;
Tsuyoshi Ito
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
14.
Short PCPs with Projection Queries
机译:
带有投影查询的简短PCP
作者:
Eli Ben-Sasson
;
Emanuele Viola
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
15.
Star Partitions of Perfect Graphs
机译:
完美图的星分区
作者:
Rene van Bevern
;
Robert Bredereck
;
Laurent Bulteau
;
Jiehua Chen
;
Vincent Froese
;
Rolf Niedermeier
;
Gerhard J. Woeginger
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
16.
Coordination Mechanisms for Selfish Routing over Time on a Tree
机译:
树上随时间自私路由的协调机制
作者:
Sayan Bhattacharya
;
Janardhan Kulkarni
;
Vahab Mirrokni
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
17.
On Area-Optimal Planar Graph Drawings
机译:
在面积最佳平面图上
作者:
Therese Biedl
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
18.
Shortest Two Disjoint Paths in Polynomial Time
机译:
多项式时间中最短的两个不相交路径
作者:
Andreas Bjoerklund
;
Thore Husfeldt
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
19.
Listing Triangles
机译:
列出三角形
作者:
Andreas Bjoerklund
;
Rasmus Pagh
;
Virginia Vassilevska Williams
;
Uri Zwick
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
20.
On DNF Approximators for Monotone Boolean Functions
机译:
关于单调布尔函数的DNF逼近器
作者:
Eric Blais
;
Johan Hastad
;
Rocco A. Servedio
;
Li-Yang Tan
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
21.
Internal DLA: Efficient Simulation of a Physical Growth Model
机译:
内部DLA:物理增长模型的有效模拟
作者:
Karl Bringmann
;
Fabian Kuhn
;
Konstantinos Panagiotou
;
Ueli Peter
;
Henning Thomas
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
22.
Lower Bounds for Approximate LDCs
机译:
大约最不发达国家的下限
作者:
Jop Brieet
;
Zeev Dvir
;
Guangda Hu
;
Shubhangi Saraf
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
23.
Holographic Algorithms Beyond Matchgates
机译:
超越匹配门的全息算法
作者:
Jin-Yi Cai
;
Heng Guo
;
Tyson Williams
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
24.
Testing Probability Distributions Underlying Aggregated Data
机译:
测试基础汇总数据的概率分布
作者:
Clement Canonne
;
Ronitt Rubinfeld
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
25.
Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost
机译:
通过叠加信息成本实现指数衰减的纠缠游戏的并行重复
作者:
Andre Chailloux
;
Giannicola Scarpa
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
26.
The Bose-Hubbard Model is QMA-complete
机译:
Bose-Hubbard模型是QMA完全的
作者:
Andrew M. Childs
;
David Gosset
;
Zak Webb
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
27.
Characterization of Binary Constraint System Games
机译:
二元约束系统博弈的刻画
作者:
Richard Cleve
;
Rajat Mittal
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
关键词:
Quantum information;
entanglement;
binary constraint systems;
28.
Fast Algorithms for Constructing Maximum Entropy Summary Trees
机译:
构造最大熵汇总树的快速算法
作者:
Richard Cole
;
Howard Karloff
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
29.
Thorp Shuffling, Butterflies, and Non-Markovian Couplings
机译:
p改组,蝴蝶和非马尔可夫联轴器
作者:
Artur Czumaj
;
Berthold Voecking
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
30.
Dynamic Complexity of Directed Reachability and Other Problems
机译:
定向可达性的动态复杂性及其他问题
作者:
Samir Datta
;
William Hesse
;
Raghav Kulkarni
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
31.
One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile
机译:
一砖一瓦地统治一切:使用单个通用砖块模拟任何砖块装配系统
作者:
Erik D. Demaine
;
Martin L. Demaine
;
Sandor P. Fekete
;
Matthew J. Patitz
;
Robert T. Schweller
;
Andrew Winslow
;
Damien Woods
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
关键词:
DNA computing;
algorithmic self-assembly;
hexagonal tiles;
32.
Canadians Should Travel Randomly
机译:
加拿大人应该随机旅行
作者:
Erik D. Demaine
;
Yamming Huang
;
Chung-Shou Liao
;
Kunihiko Sadakane
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
33.
Efficiency Guarantees in Auctions with Budgets
机译:
有预算的拍卖中的效率保证
作者:
Shahar Dobzinski
;
Renato Paes Lerae
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
34.
Parameterized Complexity of Bandwidth on Trees
机译:
树上带宽的参数化复杂度
作者:
Markus Sortland Dregi
;
Daniel Lokshtanov
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
35.
Testing Equivalence of Polynomials under Shifts
机译:
在移位下测试多项式的等价
作者:
Zeev Dvir
;
Rafael Mendes de Oliveira
;
Amir Shpilka
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
36.
Optimal Analysis of Best Fit Bin Packing
机译:
最佳匹配箱包装的优化分析
作者:
Gyoergy Dosa
;
Jiri Sgall
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
37.
Light Spanners
机译:
轻型扳手
作者:
Michael Elkin
;
Ofer Neiman
;
Shay Solomon
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
38.
Semi-Streaming Set Cover
机译:
半流布套
作者:
Yuval Emek
;
Adi Rosen
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
39.
Online Stochastic Reordering Buffer Scheduling
机译:
在线随机重排序缓冲区调度
作者:
Hossein Esfandiari
;
MohammadTaghi Hajiaghayi
;
Mohammad Reza Khani
;
Vahid Liaghat
;
Hamid Mahini
;
Harald Raecke
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
40.
Demand Queries with Preprocessing
机译:
预处理需求查询
作者:
Uriel Feige
;
Shlomo Jozeph
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
41.
Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs
机译:
正则图覆盖的算法方面及其在平面图上的应用
作者:
Jiri Fiala
;
Pavel Klavik
;
Jan Kratochvil
;
Roman Nedela
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
42.
Public vs Private Coin in Bounded-Round Information
机译:
有限信息中的公共与私人硬币
作者:
Mark Braverman
;
Ankit Garg
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
43.
En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations
机译:
进行对数秩猜想:新的归约法和等效公式
作者:
Dmitry Gavinsky
;
Shachar Lovett
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
44.
Improved Submatrix Maximum Queries in Monge Matrices
机译:
Monge矩阵中改进的子矩阵最大查询
作者:
Pawel Gawrychowski
;
Shay Mozes
;
Oren Weimann
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
45.
For-All Sparse Recovery in Near-Optimal Time
机译:
几乎最佳时间内的全部稀疏恢复
作者:
Anna C. Gilbert
;
Yi Li
;
Ely Porat
;
Martin J. Strauss
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
46.
Families with Infants: A General Approach to Solve Hard Partition Problems
机译:
婴儿家庭:解决硬分区问题的一般方法
作者:
Alexander Golovnev
;
Alexander S. Kulikov
;
Ivan Mihajlin
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
47.
Changing Bases: Multistage Optimization for Matroids and Matchings
机译:
不断变化的基础:针对类机器人和匹配的多阶段优化
作者:
Anupam Gupta
;
Kunal Talwar
;
Udi Wieder
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
48.
Near-Optimal Online Algorithms for Prize-Collecting Steiner Problems
机译:
奖收集斯坦纳问题的近乎最佳在线算法
作者:
MohammadTaghi Hajiaghayi
;
Vahid Liaghat
;
Debmalya Panigrahi
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
49.
Nearly Linear-Time Model-Based Compressive Sensing
机译:
基于线性时间的基于模型的压缩感知
作者:
Chinmay Hegde
;
Piotr Indyk
;
Ludwig Schmidt
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
关键词:
Model-based compressive sensing;
model-projection;
treesparsity;
restricted isometry property;
compressive sensing;
50.
Breaking the PPSZ Barrier for Unique 3-SAT
机译:
打破独特的3-SAT的PPSZ障碍
作者:
Timon Hertli
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
51.
Privately Solving Linear Programs
机译:
私下解决线性程序
作者:
Justin Hsu
;
Aaron Roth
;
Tim Roughgarden
;
Jonathan Ullman
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
52.
How Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions
机译:
不可拆分的流覆盖如何帮助计划与作业相关的成本函数
作者:
Wiebke Hoehn
;
Julian Mestre
;
Andreas Wiese
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
53.
Why Some Heaps Support Constant-Amortized-Time Decrease-Key Operations, and Others Do Not
机译:
为什么有些堆支持固定摊销时间的递减键操作,而另一些则不支持
作者:
John Iacono
;
OEzguer OEzkan
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
54.
Partial Garbling Schemes and Their Applications
机译:
部分赌博方案及其应用
作者:
Yuval Ishai
;
Hoeteck Wee
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
55.
On the Complexity of Trial and Error for Constraint Satisfaction Problems
机译:
关于约束满足问题的试错法的复杂性
作者:
Gabor Ivanyos
;
Raghav Kulkarni
;
Youming Qiao
;
Miklos Santha
;
Aarthi Sundaram
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
56.
Information Theoretical Cryptogenography
机译:
信息理论密码学
作者:
Sune K. Jakobsen
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
57.
The Complexity of Somewhat Approximation Resistant Predicates
机译:
某种近似抗性谓词的复杂性
作者:
Subhash Khot
;
Madhur Tulsiani
;
Pratik Worah
会议名称:
《》
|
2014年
58.
Approximate Nonnegative Rank Is Equivalent to the Smooth Rectangle Bound
机译:
近似非负秩等于平滑矩形边界
作者:
Gillat Kol
;
Shay Moran
;
Amir Shpilka
;
Amir Yehudayoff
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
59.
Distance Oracles for Time-Dependent Networks
机译:
随时间变化的网络的距离Oracle
作者:
Spyros Kontogiannis
;
Christos Zaroliagis
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
60.
Efficient Indexing of Necklaces and Irreducible Polynomials over Finite Fields
机译:
有限域上项链和不可约多项式的有效索引
作者:
Swastik Kopparty
;
Mrinal Kumar
;
Michael Saks
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
61.
Coloring Relatives of Interval Overlap Graphs via On-line Games
机译:
通过在线游戏为间隔重叠图着色
作者:
Tomasz Krawczyk
;
Bartosz Walczak
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
62.
Superpolynomial Lower Bounds for General Homogeneous Depth 4 Arithmetic Circuits
机译:
通用齐次深度4算术电路的超多项式下界
作者:
Mrinal Kumar
;
Shubhangi Saraf
会议名称:
《》
|
2014年
63.
Testing Forest-Isomorphism in the Adjacency List Model
机译:
在邻接表模型中测试森林同构
作者:
Mitsuru Kusumoto
;
Yuichi Yoshida
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
64.
Parameterized Approximation Schemes Using Graph Widths
机译:
使用图形宽度的参数化近似方案
作者:
Michael Lampis
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
65.
FPTAS for Weighted Fibonacci Gates and Its Applications
机译:
菲波纳契加权门的FPTAS及其应用
作者:
Pinyan Lu
;
Menghui Wang
;
Chihao Zhang
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
66.
Parameterized Algorithms to Preserve Connectivity
机译:
保留连接性的参数化算法
作者:
Manu Basavaraju
;
Fedor V. Fomin
;
Petr Golovach
;
Pranabendu Misra
;
M. S. Ramanujan
;
Saket Saurabh
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
67.
Nonuniform Graph Partitioning with Unrelated Weights
机译:
具有不相关权重的非均匀图分区
作者:
Konstantin Makarychev
;
Yury Makarychev
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
68.
Precedence-Constrained Scheduling of Malleable Jobs with Preemption
机译:
具有优先权的可塑性作业的优先约束调度
作者:
Konstantin Makarychev
;
Debmalya Panigrahi
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
69.
Unbounded Entanglement Can Be Needed to Achieve the Optimal Success Probability
机译:
可能需要无限制的纠缠以实现最佳成功概率
作者:
Laura Mancinska
;
Thomas Vidick
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
关键词:
nonlocal game;
value of the game;
entanglement;
dimension witness;
70.
QCSP on Semicomplete Digraphs
机译:
半完全有向图的QCSP
作者:
Petar Dapic
;
Petar Markovic
;
Barnaby Martin
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
71.
Fast Pseudorandomness for Independence and Load Balancing
机译:
独立和负载平衡的快速伪随机性
作者:
Raghu Meka
;
Omer Reingold
;
Guy N. Rothblum
;
Ron D. Rothblum
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
72.
Determining Majority in Networks with Local Interactions and Very Small Local Memory
机译:
确定具有本地交互和非常小的本地内存的网络中的多数
作者:
George B. Mertzios
;
Sotiris E. Nikoletseas
;
Christoforos L. Raptopoulos
;
Paul G. Spirakis
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
73.
Lower Bounds for Oblivious Subspace Embeddings
机译:
省略子空间嵌入的下界
作者:
Jelani Nelson
;
Huy L. Nguyen
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
74.
On Input Indistinguishable Proof Systems
机译:
输入不可区分的证明系统
作者:
Rafail Ostrovsky
;
Giuseppe Persiano
;
Ivan Visconti
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
75.
Secure Computation Using Leaky Tokens
机译:
使用泄漏令牌进行安全计算
作者:
Manoj Prabhakaran
;
Amit Sahai
;
Akshay Wadia
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
76.
An Improved Interactive Streaming Algorithm for the Distinct Elements Problem
机译:
一种改进的交互式流算法,用于离散元素问题
作者:
Hartmut Klauck
;
Ved Prakash
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
77.
A Faster Parameterized Algorithm for Treedepth
机译:
一种更快的树深参数化算法
作者:
Felix Reidl
;
Peter Rossmanith
;
Fernando Sanchez Villaamil
;
Somnath Sikdar
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
关键词:
treedepth;
vertex ranking;
centered coloring;
width measures;
parameterized algorithms;
78.
Pseudorandom Graphs in Data Structures
机译:
数据结构中的伪随机图
作者:
Omer Reingold
;
Ron D. Rothblum
;
Udi Wieder
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
79.
Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications
机译:
基于采样的近似周期证明和算法应用
作者:
Eli Ben-Sasson
;
Noga Ron-Zewi
;
Madhur Tulsiani
;
Julia Wolf
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
80.
The Mondshein Sequence
机译:
Mondshein序列
作者:
Jens M. Schmidt
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
81.
Balanced Allocations: A Simple Proof for the Heavily Loaded Case
机译:
均衡分配:重载案例的简单证明
作者:
Kunal Talwar
;
Udi Wieder
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
82.
Close to Uniform Prime Number Generation with Fewer Random Bits
机译:
几乎没有随机位的均匀素数生成
作者:
Pierre-Alain Fouque
;
Mehdi Tibouchi
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
关键词:
Number Theory;
Cryptography;
Prime Number Generation;
83.
Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs
机译:
低阈值秩图上投影游戏的最优强并行重复
作者:
Madhur Tulsiani
;
John Wright
;
Yuan Zhou
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
84.
Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem
机译:
稀疏随机3-SAT反驳算法和插值问题
作者:
Iddo Tzameret
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
85.
On Learning, Lower Bounds and (un)Keeping Promises
机译:
关于学习,下界和(未)保持承诺
作者:
Ilya Volkovich
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
86.
Certificates in Data Structures
机译:
数据结构中的证书
作者:
Yaoyu Wang
;
Yitong Yin
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
87.
Optimal Query Complexity for Estimating the Trace of a Matrix
机译:
估计矩阵轨迹的最佳查询复杂度
作者:
Karl Wimmer
;
Yi Wu
;
Peng Zhang
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
88.
Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles
机译:
通过动态近似距离Oracle,为浅色次要图提供更快的分隔符
作者:
Christian Wulff-Nilsen
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
89.
Spatial Mixing of Coloring Random Graphs
机译:
着色随机图的空间混合
作者:
Yitong Yin
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
90.
Preface
机译:
前言
作者:
Javier Esparza
;
Pierre Fraigniaud
;
Thore Husfeldt
;
Elias Koutsoupias
会议名称:
《International colloquium on automata, languages and programming》
|
2014年
意见反馈
回到顶部
回到首页