掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE Annual Symposium on Foundations of Computer Science
IEEE Annual Symposium on Foundations of Computer Science
召开年:
2013
召开地:
Berkeley, CA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Learning Sums of Independent Integer Random Variables
机译:
独立整数随机变量的学习和
作者:
Daskalakis Constantinos
;
Diakonikolas Ilias
;
ODonnell Ryan
;
Servedio Rocco A.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
discrete distribution learning;
limit theorem;
sums of independent integer random variables;
2.
Element Distinctness, Frequency Moments, and Sliding Windows
机译:
元素区别度,频率矩和滑动窗口
作者:
Beame Paul
;
Clifford Raphael
;
Machmouchi Widad
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Branching programs;
Collision finding;
Frequency moments;
Time-space tradeoffs;
3.
Spatial Mixing and Approximation Algorithms for Graphs with Bounded Connective Constant
机译:
有界连接常数图的空间混合和逼近算法
作者:
Sinclair Alistair
;
Srivastava Piyush
;
Yin Yitong
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Decay of correlations;
approximate counting;
connective constant;
phase transitions;
4.
Simple Tabulation, Fast Expanders, Double Tabulation, and High Independence
机译:
简单列表,快速扩展器,双重列表和高度独立
作者:
Thorup Mikkel
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
expanders;
hashing;
independence;
5.
Extractors for a Constant Number of Independent Sources with Polylogarithmic Min-Entropy
机译:
具有多对数最小熵的恒定数量独立来源的提取器
作者:
Li Xin
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
extractor;
independent source;
randomness;
6.
A Polynomial Time Algorithm for Lossy Population Recovery
机译:
有损种群恢复的多项式时间算法
作者:
Moitra Ankur
;
Saks Michael
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
complex analysis;
inverse problems;
learning;
7.
OSNAP: Faster Numerical Linear Algebra Algorithms via Sparser Subspace Embeddings
机译:
OSNAP:通过稀疏子空间嵌入实现更快的数值线性代数算法
作者:
Nelson Jelani
;
Nguyen Huy L.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Johnson-Lindenstrauss lemma;
numerical linear algebra;
subspace embedding;
8.
Iterative Row Sampling
机译:
迭代行采样
作者:
Li Mu
;
Miller Gary L.
;
Peng Richard
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Regression;
Sampling;
Well-conditioned Basis;
9.
Algebraic Algorithms for B-Matching, Shortest Undirected Paths, and F-Factors
机译:
B匹配,最短无向路径和F因子的代数算法
作者:
Gabow Harold N.
;
Sankowski Piotr
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
b-matching;
f-factors;
matrix multiplication;
min-cost max-flow;
shortest undirected paths;
10.
Efficient Accelerated Coordinate Descent Methods and Faster Algorithms for Solving Linear Systems
机译:
求解线性系统的高效加速坐标下降方法和更快算法
作者:
Lee Yin Tat
;
Sidford Aaron
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Kaczmarz method;
convex optimization;
coordinate descent;
symmetric diagonally dominant matrix;
11.
Optimal Bounds on Approximation of Submodular and XOS Functions by Juntas
机译:
Juntas逼近亚模和XOS函数的最佳界
作者:
Feldman Vitaly
;
Vondrak Jan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
PAC learning;
approximation;
fractionally-subadditive;
junta;
submodular;
testing;
12.
Estimating the Distance from Testable Affine-Invariant Properties
机译:
从可检验的仿射不变性质估计距离
作者:
Hatami Hamed
;
Lovett Shachar
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
affine invariant properties;
higher-order fourier analysis;
property testing;
13.
Quasipolynomial-Time Identity Testing of Non-commutative and Read-Once Oblivious Algebraic Branching Programs
机译:
非可交换和一次过遗忘的代数分支程序的拟多项式时间身份测试
作者:
Forbes Michael A.
;
Shpilka Amir
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
branching programs;
derandomization;
noncommutative polynomials;
polynomial identity testing;
14.
Navigating Central Path with Electrical Flows: From Flows to Matchings, and Back
机译:
用电气流导航中心路径:从流到匹配再返回
作者:
Madry Aleksander
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Laplacian linear systems;
bipartite matchings;
central path;
electrical flows;
interior-point methods;
maximum flow problem;
minimum s-t cut problem;
15.
Nearly Maximum Flows in Nearly Linear Time
机译:
近似线性时间内的近似最大流量
作者:
Sherman Jonah
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
16.
Towards a Better Approximation for Sparsest Cut?
机译:
寻求更好的近似稀疏切割?
作者:
Arora Sanjeev
;
Ge Rong
;
Sinop Ali Kemal
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
approximation algorithms;
expander flows;
graph partitioning;
small set expansion;
sparsest cut;
17.
Layered Separators for Queue Layouts, 3D Graph Drawing and Nonrepetitive Coloring
机译:
用于队列布局,3D图形绘制和非重复着色的分层分隔符
作者:
Dujmovic Vida
;
Morin Pat
;
Wood David R.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
graph;
graph drawing;
minor;
nonrepetitive colouring;
queue layout;
separator;
track layout;
18.
Klee's Measure Problem Made Easy
机译:
克莱的度量问题变得简单
作者:
Chan Timothy M.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
boxes;
computational geometry;
volume;
19.
Playing Non-linear Games with Linear Oracles
机译:
使用线性Oracle玩非线性游戏
作者:
Garber Dan
;
Hazan Elad
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Convex Optimization;
Online Algorithms;
Regret Minimization;
20.
Local Privacy and Statistical Minimax Rates
机译:
本地隐私和统计最低费用率
作者:
Duchi John C.
;
Jordan Michael I.
;
Wainwright Martin J.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Differential privacy;
estimation;
minimax rates;
21.
Coupled-Worlds Privacy: Exploiting Adversarial Uncertainty in Statistical Data Privacy
机译:
耦合世界的隐私:利用统计数据隐私中的对抗性不确定性
作者:
Bassily Raef
;
Groce Adam
;
Katz Jonathan
;
Smith Adam
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
data privacy;
22.
Knowledge-Preserving Interactive Coding
机译:
保留知识的交互式编码
作者:
Chung Kai-Min
;
Pass Rafael
;
Telang Sidharth
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
23.
Adaptive Seeding in Social Networks
机译:
社交网络中的自适应播种
作者:
Seeman Lior
;
Singer Yaron
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
approximation algorithms;
influence maximization;
social networks;
stochastic optimization;
submodularity;
24.
The Moser-Tardos Framework with Partial Resampling
机译:
具有部分重采样的Moser-Tardos框架
作者:
Harris David G.
;
Srinivasan Aravind
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Lovasz Local Lemma;
approximation algorithms;
graph transversals;
independent transversals;
packet routing;
randomized algorithms;
25.
A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits
机译:
稀疏深度两个阈值电路的可满足性算法
作者:
Impagliazzo Russell
;
Paturi Ramamohan
;
Schneider Stefan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Satisfiability Algorithms;
Threshold Circuits;
26.
Strong Backdoors to Bounded Treewidth SAT
机译:
有限树宽SAT的强大后门
作者:
Gaspers Serge
;
Szeider Stefan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
#SAT;
algorithms;
graph minors;
parameterized complexity;
27.
An O(c^k n) 5-Approximation Algorithm for Treewidth
机译:
树宽的O(c ^ k n)5逼近算法
作者:
Bodlaender Hans L.
;
Drange Pal Gronas
;
Dregi Markus S.
;
Fomin Fedor V.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
approximation;
fixed-parameter tractability;
treewidth;
28.
Improved Approximation for 3-Dimensional Matching via Bounded Pathwidth Local Search
机译:
通过有界路径宽度本地搜索改进了3维匹配的近似
作者:
Cygan Marek
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
3-dimensional matching;
approximation;
fixed parameter tractability;
k-set packing;
local search;
29.
On Kinetic Delaunay Triangulations: A Near Quadratic Bound for Unit Speed Motions
机译:
关于动力学Delaunay三角剖分:单位速度运动的近似二次界
作者:
Rubin Natan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Delaunay triangulation;
Voronoi diagram;
combinatorial complexity;
discrete changes;
moving points;
30.
Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees
机译:
交错家庭I:所有度的二分拉曼努扬图
作者:
Marcus Adam
;
Spielman Daniel A.
;
Srivastava Nikhil
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Lifts of Graphs;
Matching Polynomial;
Ramanujan Graph;
31.
Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(mn) Barrier and Derandomization
机译:
动态近似全对最短路径:打破O(mn)障碍和去随机化
作者:
Henzinger Monika
;
Krinninger Sebastian
;
Nanongkai Danupon
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
all-pairs shortest paths;
derandomization;
dynamic graph algorithms;
emulator;
32.
Fully Dynamic (1+ e)-Approximate Matchings
机译:
全动态(1+ e)-近似匹配
作者:
Gupta Manoj
;
Peng Richard
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
approximation;
dynamic algorithms;
matching;
33.
Online Node-Weighted Steiner Forest and Extensions via Disk Paintings
机译:
在线节点加权的Steiner Forest和通过磁盘绘画进行的扩展
作者:
Hajiaghayi Mohammad Taghi
;
Liaghat Vahid
;
Panigrahi Debmalya
会议名称:
《》
|
2013年
关键词:
Network Design;
Online Algorithm;
Steiner Forest;
Steiner Tree;
34.
An LMP O(log n)-Approximation Algorithm for Node Weighted Prize Collecting Steiner Tree
机译:
节点加权奖池斯坦纳树的LMP O(log n)逼近算法
作者:
Konemann Jochen
;
Sadeghian Sina
;
Sanita Laura
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Lagrangean multiplier preserving;
Node-weighted Steiner trees;
approximation algorithms;
prize-collecting problems;
35.
Arithmetic Circuits: A Chasm at Depth Three
机译:
算术电路:深度三的鸿沟
作者:
Gupta Ankit
;
Kamath Pritish
;
Kayal Neeraj
;
Saptharishi Ramprasad
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
VNP;
VP;
arithmetic circuits;
depth reduction;
depth three circuits;
determinant;
permanent;
36.
Improved Average-Case Lower Bounds for DeMorgan Formula Size
机译:
改进了DeMorgan公式大小的平均大小下界
作者:
Komargodski Ilan
;
Raz Ran
;
Tal Avishay
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
average-case;
bit-fixing extractors;
correlation bounds;
deMorgan formulas;
lower bounds;
random restrictions;
shrinkage;
37.
Average Case Lower Bounds for Monotone Switching Networks
机译:
单调交换网络的平均情况下界
作者:
Filmus Yuval
;
Pitassi Toniann
;
Robere Robert
;
Cook Stephen A.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
switching networks;
38.
Explicit Subspace Designs
机译:
显式子空间设计
作者:
Guruswami Venkatesan
;
Kopparty Swastik
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Algebraic coding;
List-decoding;
Polynomial Method;
Pseudorandomness;
Reed-Solomon codes;
39.
Understanding Incentives: Mechanism Design Becomes Algorithm Design
机译:
理解激励:机制设计成为算法设计
作者:
Cai Yang
;
Daskalakis Constantinos
;
Weinberg S.Matthew
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Black Box;
Mechanism Design;
Optimal Auctions;
Optimization;
Reductions;
Revenue Maximization;
40.
The Simple Economics of Approximately Optimal Auctions
机译:
近似最优拍卖的简单经济学
作者:
Alaei Saeed
;
Fu Hu
;
Haghpanah Nima
;
Hartline Jason
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Bayesian mechanism design;
approximation;
marginal revenue;
41.
The Price of Stability for Undirected Broadcast Network Design with Fair Cost Allocation Is Constant
机译:
具有公平成本分配的无向广播网络设计的稳定价格不变
作者:
Bilo Vittorio
;
Flammini Michele
;
Moscardelli Luca
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Nash equilibria;
Network Design Games;
Price of Stability;
42.
Rational Protocol Design: Cryptography against Incentive-Driven Adversaries
机译:
合理的协议设计:针对激励驱动的对手的密码学
作者:
Garay Juan
;
Katz Jonathan
;
Maurer Ueli
;
Tackmann Bjorn
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Composition;
Game Theory;
Protocols;
Secure Computation;
43.
Fourier Sparsity, Spectral Norm, and the Log-Rank Conjecture
机译:
傅里叶稀疏度,谱范数和对数秩猜想
作者:
Tsang Hing Yin
;
Wong Chung Hoi
;
Xie Ning
;
Zhang Shengyu
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Fourier analysis;
Fourier sparsity;
Log-rank conjecture;
low-degree polynomials;
44.
A Tight Bound for Set Disjointness in the Message-Passing Model
机译:
消息传递模型中集合不相交的严格界限
作者:
Braverman Mark
;
Ellen Faith
;
Oshman Rotem
;
Pitassi Toniann
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
communication complexity;
message passing;
set disjointness;
45.
On the Communication Complexity of Sparse Set Disjointness and Exists-Equal Problems
机译:
稀疏集不相交和存在平等问题的沟通复杂性
作者:
Saglam Mert
;
Tardos Gabor
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
communication complexity;
direct-sum;
isoperimetric inequality;
round-elimination;
46.
Common Information and Unique Disjointness
机译:
共同信息和独特的脱节
作者:
Braun Gabor
;
Pokutta Sebastian
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
common information;
correlation polytope;
extended formulations;
extension complexity;
information theory;
nonnegative rank;
unique disjointness;
47.
A Linear Time Approximation Scheme for Euclidean TSP
机译:
欧氏TSP的线性时间近似方案
作者:
Bartal Yair
;
Gottlieb Lee-Ad
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Computations on discrete structures;
Geometrical problems and computations;
48.
A Forward-Backward Single-Source Shortest Paths Algorithm
机译:
前向后向单源最短路径算法
作者:
Wilson David B.
;
Zwick Uri
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
graph algorithms;
shortest paths;
49.
Approximating Minimization Diagrams and Generalized Proximity Search
机译:
逼近最小化图和广义邻近搜索
作者:
Har-Peled Sariel
;
Kumar Nirman
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Computational geometry;
Voronoi diagrams;
approximation algorithms;
proximity search;
50.
The Parity of Directed Hamiltonian Cycles
机译:
有向哈密顿环的奇偶性
作者:
Bjorklund Andreas
;
Husfeldt Thore
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
51.
Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers
机译:
非确定性直接乘积约简和SAT解算器的成功概率
作者:
Drucker Andrew
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Satisfiability;
direct product theorems;
hardness amplification;
52.
Direct Products in Communication Complexity
机译:
沟通复杂的直接产品
作者:
Braverman Mark
;
Rao Anup
;
Weinstein Omri
;
Yehudayoff Amir
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Communication Complexity;
Direct Products;
Information Complexity;
53.
Quantum 3-SAT Is QMA1-Complete
机译:
量子3-SAT已完成QMA1
作者:
Gosset David
;
Nagaj Daniel
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Computational complexity;
Quantum computing;
54.
Three-Player Entangled XOR Games Are NP-Hard to Approximate
机译:
三层纠缠的异或游戏是NP难近似的
作者:
Vidick Thomas
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Bell inequalities;
PCP theorem;
XOR games;
entangled games;
55.
An Improved Competitive Algorithm for Reordering Buffer Management
机译:
一种改进的竞争算法,用于重新排序缓冲区管理
作者:
Avigdor-Elgrabli Noa
;
Rabani Yuval
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
online computing;
randomized algorithms;
reordering buffer management;
56.
On Randomized Memoryless Algorithms for the Weighted K-Server Problem
机译:
加权K服务器问题的随机无记忆算法
作者:
Chiplunkar Ashish
;
Vishwanathan Sundar
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Competitive Ratio;
Memoryless Randomized Algorithms;
Weighted k-server;
57.
Approximating Bin Packing within O(log OPT * Log Log OPT) Bins
机译:
在O(log OPT * Log Log OPT)箱中近似箱装箱
作者:
Rothvoss Thomas
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
approximation algorithms;
bin packing;
discrepancy theory;
58.
Approximating Minimum-Cost k-Node Connected Subgraphs via Independence-Free Graphs
机译:
通过无独立图逼近最小成本的k节点连通子图
作者:
Cheriyan Joseph
;
Vegh Laszlo A.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Approximation algorithms;
Graph connectivity;
Iterative rounding;
Linear Programming;
59.
Candidate Indistinguishability Obfuscation and Functional Encryption for all Circuits
机译:
所有电路的候选者不可区分性混淆和功能加密
作者:
Garg Sanjam
;
Gentry Craig
;
Halevi Shai
;
Raykova Mariana
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
functional encryption;
multilinear maps;
obfuscation;
60.
Constant-Round Concurrent Zero Knowledge from P-Certificates
机译:
来自P证书的恒圆并发零知识
作者:
Chung Kai-Min
;
Lin Huijia
;
Pass Rafael
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Concurrent Zero-Knowledge;
Cryptography;
Non-Black-Box Technique;
61.
Simultaneous Resettability from One-Way Functions
机译:
单向功能可同时复位
作者:
Chung Kai-Min
;
Ostrovsky Rafail
;
Pass Rafael
;
Visconti Ivan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
proof systems;
resettable WI/ZK/soundness;
62.
From Unprovability to Environmentally Friendly Protocols
机译:
从不可证明性到环保协议
作者:
Canetti Ran
;
Lin Huijia
;
Pass Rafael
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Angel-Based Security;
Black-Box Unprovability;
Cryptography;
Environmentally Friendliness;
63.
How to Approximate a Set without Knowing Its Size in Advance
机译:
如何在不事先知道大小的情况下近似集合
作者:
Pagh Rasmus
;
Segev Gil
;
Wieder Udi
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Approximate Set membership;
Bloom filters;
Data Structures;
64.
Faster Canonical Forms for Strongly Regular Graphs
机译:
强正则图的更快规范形式
作者:
Babai Laszlo
;
Chen Xi
;
Sun Xiaorui
;
Teng Shang-Hua
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
algorithms;
graph isomorphism;
strongly regular graphs;
65.
Approximation Algorithms for Euler Genus and Related Problems
机译:
Euler属的逼近算法及相关问题
作者:
Chekuri Chandra
;
Sidiropoulos Anastasios
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Euler genus;
approximation algorithms;
crossing number;
minimum planarization;
non-orientable genus;
orientable genus;
66.
Non-positive Curvature and the Planar Embedding Conjecture
机译:
非正曲率与平面嵌入猜想
作者:
Sidiropoulos Anastasios
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
L_1;
metric embeddings;
multi-commodity flows;
non-positive curvature;
planar embedding conjecture;
planar graphs;
sparsest cut;
67.
All-or-Nothing Multicommodity Flow Problem with Bounded Fractionality in Planar Graphs
机译:
平面图中有界分数阶的全有或全无的多商品流问题
作者:
Kawarabayashi Ken-ichi
;
Kobayashi Yusuke
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
edge-disjoint paths;
multicommodity flow;
planar graphs;
68.
The Planar Directed K-Vertex-Disjoint Paths Problem Is Fixed-Parameter Tractable
机译:
平面定向K顶点不相交路径问题是固定参数可牵引的
作者:
Cygan Marek
;
Marx Daniel
;
Pilipczuk Marcin
;
Pilipczuk Michal
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
directed graphs;
disjoint paths;
fixed parameter tractability;
planar graphs;
69.
Bandits with Knapsacks
机译:
带背包土匪
作者:
Badanidiyuru Ashwinkumar
;
Kleinberg Robert
;
Slivkins Aleksandrs
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Multi-armed bandits;
dynamic ad allocation;
dynamic pricing;
dynamic procurement;
exploration-exploitation tradeoff;
regret;
stochastic packing;
70.
Polar Codes: Speed of Polarization and Polynomial Gap to Capacity
机译:
极地代码:极化速度和容量的多项式差距
作者:
Guruswami Venkatesan
;
Xia Patrick
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Information theory;
channel polarization;
entropy;
error-correction codes;
linear codes;
maximum likelihood decoding;
symmetric capacity;
71.
Constant Rate PCPs for Circuit-SAT with Sublinear Query Complexity
机译:
具有亚线性查询复杂性的Circuit-SAT恒定速率PCP
作者:
Ben-Sasson Eli
;
Kaplan Yohay
;
Kopparty Swastik
;
Meir Or
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
AG codes;
computational complexity;
probabilistically checkable proofs;
72.
Strong LTCs with Inverse Poly-Log Rate and Constant Soundness
机译:
具有反向多对数速率和恒定稳健性的强大LTC
作者:
Viderman Michael
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
PCPs;
error-correcting codes;
locally testable codes;
73.
PCPs via Low-Degree Long Code and Hardness for Constrained Hypergraph Coloring
机译:
PCP通过低度长码和硬度实现约束超图着色
作者:
Dinur Irit
;
Guruswami Venkatesan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Hardness of approximation;
PCP;
short code;
74.
Approximate Constraint Satisfaction Requires Large LP Relaxations
机译:
近似约束满足要求较大的LP松弛
作者:
Chan Siu On
;
Lee James R.
;
Raghavendra Prasad
;
Steurer David
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
LP hierarchies;
approximation complexity;
constraint satisfaction problems;
extended formulations;
linear programming;
lower bounds;
75.
The Complexity of Approximating Vertex Expansion
机译:
近似顶点扩展的复杂度
作者:
Louis Anand
;
Raghavendra Prasad
;
Vempala Santosh
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Graph Partitioning;
Hardness of Approximation;
Small Set Expansion;
Vertex Expansion;
76.
Independent Set, Induced Matching, and Pricing: Connections and Tight (Subexponential Time) Approximation Hardnesses
机译:
独立集合,诱导匹配和定价:连接和紧(次指数时间)近似硬度
作者:
Chalermsook Parinya
;
Laekhanukit Bundit
;
Nanongkai Danupon
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Algorithmic Pricing;
Approximation Algorithms;
Subexponential-Time Algorithms;
77.
Chasing the K-Colorability Threshold
机译:
追逐K可着色性阈值
作者:
Coja-Oghlan Amin
;
Vilenchik Dan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
graph coloring;
phase transitions;
random structures;
78.
On Clustering Induced Voronoi Diagrams
机译:
关于聚类诱导的Voronoi图
作者:
Chen Danny Z.
;
Huang Ziyun
;
Liu Yangwei
;
Xu Jinhui
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
关键词:
Voronoi diagram;
approximate influence decomposition;
clustering;
clustering induced Voronoi diagram;
influence function;
79.
Approximation Schemes for Maximum Weight Independent Set of Rectangles
机译:
最大权重独立矩形集的逼近方案
作者:
Adamaszek Anna
;
Wiese Andreas
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2013年
80.
Improved Bounds for Geometric Permutations
机译:
改进几何排列的边界
作者:
Rubin Natan
;
Kaplan Haim
;
Sharir Micha
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
arrangements;
convex sets;
geometric permutations;
line transversals;
81.
Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity
机译:
编辑距离和非对称查询复杂性的PolyGarithmic近似
作者:
Andoni Alexandr
;
Krauthgamer Robert
;
Onak Krzysztof
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
edit distance;
linear-time algorithms;
query complexity;
sampling;
sublinear algorithms;
82.
Replacement Paths via Fast Matrix Multiplication
机译:
通过快速矩阵乘法替换路径
作者:
Weimann Oren
;
Yuster Raphael
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
83.
Black-Box Randomized Reductions in Algorithmic Mechanism Design
机译:
算法机制设计中的黑匣子随机减少
作者:
Dughmi Shaddin
;
Roughgarden Tim
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
Mechanism Design;
Smoothed Analysis;
Truthful Approximation Algorithms;
84.
Pseudorandom Generators for CC0p and the Fourier Spectrum of Low-Degree Polynomials over Finite Fields
机译:
用于CC0 P的伪随机发生器和有限田中的低度多项式的傅里叶谱
作者:
Lovett Shachar
;
Mukhopadhyay Partha
;
Shpilka Amir
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
constant depth circuits;
fourier spectrum;
low degree polynomials;
pseudorandom generator;
85.
Corrigendum: A Random Sampling Algorithm for Learning an Intersection of Halfspaces
机译:
逆变:一种用于学习半个空间交叉的随机采样算法
作者:
Vempala Santosh S.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
86.
Min st-cut Oracle for Planar Graphs with Near-Linear Preprocessing Time
机译:
Min St-Cut Oracle用于平面图,具有近线性预处理时间
作者:
Borradaile Glencora
;
Sankowski Piotr
;
Wulff-Nilsen Christian
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
Algorithms;
Graph theory;
Networks;
87.
Fast Approximation Algorithms for Cut-Based Problems in Undirected Graphs
机译:
快速近似算法,无向图中的切割问题
作者:
Madry Aleksander
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
balanced separator;
cut-based problems;
fast approximation algorithms;
generalized sparsest cut;
graph decomposition;
graph partitioning;
88.
An Efficient Test for Product States with Applications to Quantum Merlin-Arthur Games
机译:
对Quantum Merlin-Arthur游戏的应用有效测试产品状态
作者:
Harrow Aram W.
;
Montanaro Ashley
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
product states;
quantum Merlin-Arthur;
separability;
89.
Adaptive Hardness and Composable Security in the Plain Model from Standard Assumptions
机译:
从标准假设的平原模型中的自适应硬度和可协调安全性
作者:
Canetti Ran
;
Lin Huijia
;
Pass Rafael
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
adaptive hardness;
composable security;
cryptography;
secure multi-party computation;
90.
Cryptography against Continuous Memory Attacks
机译:
加密反对连续记忆攻击
作者:
Dodis Yevgeniy
;
Haralambiev Kristiyan
;
Lopez-Alt Adriana
;
Wichs Daniel
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
Leakage-Resilient Cryptography;
Public-Key Cryptography;
Signatures;
91.
All-Pairs Shortest Paths in O(n#x0B2;) Time with High Probability
机译:
o(n²)时间的全对最短路径,具有高概率
作者:
Peres Yuval
;
Sotnikov Dmitry
;
Sudakov Benny
;
Zwick Uri
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
graph algorithms;
random graphs;
shortest paths;
92.
A Fourier-Analytic Approach to Reed-Muller Decoding
机译:
Reed-Muller解码的傅里叶分析方法
作者:
Gopalan Parikshit
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
Fourier analysis;
Polynomials;
Reed-Muller codes;
error-correcting codes;
93.
Frugal and Truthful Auctions for Vertex Covers, Flows and Cuts
机译:
顶点覆盖,流动和切割的节俭和真实拍卖
作者:
Kempe David
;
Salek Mahyar
;
Moore Cristopher
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
Cuts;
Flows;
Vertex Covers;
frugality;
mechanism design;
spectral;
94.
Polynomial Learning of Distribution Families
机译:
分销家庭多项式学习
作者:
Belkin Mikhail
;
Sinha Kaushik
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
Gaussian mixture learning;
Polynomial Learnability;
95.
The Geometry of Scheduling
机译:
调度的几何形状
作者:
Bansal Nikhil
;
Pruhs Kirk
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
Geometric Set Cover;
Scheduling;
Weighted Flow Time;
96.
Boosting and Differential Privacy
机译:
提升和差别隐私
作者:
Dwork Cynthia
;
Rothblum Guy N.
;
Vadhan Salil
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
97.
On the Insecurity of Parallel Repetition for Leakage Resilience
机译:
关于泄漏弹性的平行重复的不安全感
作者:
Lewko Allison
;
Waters Brent
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
98.
Subcubic Equivalences between Path, Matrix and Triangle Problems
机译:
路径,矩阵和三角形问题之间的子电平等效
作者:
Williams Virginia Vassilevska
;
Williams Ryan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
all pairs shortest paths;
equivalences;
matrix multiplication;
minimum cycle;
reductions;
replacement paths;
subcubic algorithms;
triangle detection;
99.
A Multiplicative Weights Mechanism for Privacy-Preserving Data Analysis
机译:
一种乘法保存数据分析的权重机制
作者:
Hardt Moritz
;
Rothblum Guy N.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
100.
The Coin Problem and Pseudorandomness for Branching Programs
机译:
对分支计划的硬币问题和伪随机性
作者:
Brody Joshua
;
Verbin Elad
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2010年
关键词:
branching programs;
lower bounds;
pseudorandomness;
意见反馈
回到顶部
回到首页