掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
2014
召开地:
Philadelphia, PA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Hardness of Coloring 2-Colorable 12-Uniform Hypergraphs with exp(log^{Omega(1)} n) Colors
机译:
用exp(log ^ {Omega(1)} n)颜色着色2色12均匀超图的硬度
作者:
Khot Subhash
;
Saket Rishi
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Color;
Complexity theory;
Error correction;
Error correction codes;
Polynomials;
Symmetric matrices;
Coloring;
Hypergraph;
Inapproximability;
PCP;
2.
Novel Polynomial Basis and Its Application to Reed-Solomon Erasure Codes
机译:
新型多项式基础及其在里德所罗门删节码中的应用
作者:
Lin Sian-Jheng
;
Chung Wei-Ho
;
Han Yunghsiang S.
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Computational complexity;
Decoding;
Encoding;
Polynomials;
Reed-Solomon codes;
Transforms;
Polynomial Basis;
Reed-Solomon erasure code;
finite field;
3.
Barriers to Near-Optimal Equilibria
机译:
接近最佳平衡的障碍
作者:
Roughgarden Tim
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation methods;
Cost accounting;
Cost function;
Games;
Polynomials;
Protocols;
complexity of equilbria;
mechanism design;
price of anarchy;
4.
Why Walking the Dog Takes Time: Frechet Distance Has No Strongly Subquadratic Algorithms Unless SETH Fails
机译:
为什么Walking狗需要时间:除非SETH失败,否则Frechet距离没有强烈的次二次算法
作者:
Bringmann Karl
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Bismuth;
Polynomials;
Runtime;
Time measurement;
Vectors;
computational geometry;
curves;
inapproximability;
lower bounds;
5.
Noisy Interactive Quantum Communication
机译:
嘈杂的交互式量子通信
作者:
Brassard Gilles
;
Nayak Ashwin
;
Tapp Alain
;
Touchette Dave
;
Unger Falk
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Adaptation models;
Error analysis;
Noise measurement;
Protocols;
Quantum mechanics;
Registers;
Coding Theory;
Communication Complexity;
Quantum Computation and Information;
6.
Randomized Mutual Exclusion with Constant Amortized RMR Complexity on the DSM
机译:
DSM上具有恒定摊销RMR复杂度的随机互斥
作者:
Giakkoupis George
;
Woelfel Philipp
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Adaptation models;
Arrays;
Complexity theory;
Nominations and elections;
Registers;
Schedules;
System recovery;
DSM;
RMR complexity;
mutual exclusion;
oblivious adversary;
shared memory;
7.
Single Pass Spectral Sparsification in Dynamic Streams
机译:
动态流中的单程频谱稀疏
作者:
Kapralov Michael
;
Lee Yin Tat
;
Musco Cameron
;
Musco Christopher
;
Sidford Aaron
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Computational modeling;
Heuristic algorithms;
Laplace equations;
Resistance;
Sparse matrices;
dimensionality reduction;
sketching;
sparse recovery;
sparsification;
streaming;
8.
Understanding Alternating Minimization for Matrix Completion
机译:
了解矩阵完成的交替最小化
作者:
Hardt Moritz
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Coherence;
Convergence;
Minimization;
Noise measurement;
Standards;
Vectors;
9.
Dynamic Integer Sets with Optimal Rank, Select, and Predecessor Search
机译:
具有最佳排名,选择和前任搜索的动态整数集
作者:
Patrascu Mihai
;
Thorup Mikkel
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Computational modeling;
Data structures;
Indexes;
Polynomials;
Probes;
Random access memory;
Standards;
dynamic data structures;
integer data structures;
10.
Topology Matters in Communication
机译:
通讯中的拓扑问题
作者:
Chattopadhyay Arkadev
;
Radhakrishnan Jaikumar
;
Rudra Atri
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Computational modeling;
Measurement;
Network topology;
Protocols;
Topology;
Upper bound;
Communication Complexity;
Distributed Computing;
Metric Embeddings;
11.
New Algorithms and Lower Bounds for Monotonicity Testing
机译:
单调性测试的新算法和下界
作者:
Chen Xi
;
Servedio Rocco A.
;
Tan Li-Yang
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Boolean functions;
Complexity theory;
Random variables;
Testing;
Upper bound;
Vectors;
Boolean functions;
Monotonicity testing;
Property testing;
12.
One-Way Functions and (Im)Perfect Obfuscation
机译:
单向功能和(Im)完美混淆
作者:
Komargodski Ilan
;
Moran Tal
;
Naor Moni
;
Pass Rafael
;
Rosen Alon
;
Yogev Eylon
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Awards activities;
Electronic mail;
Encryption;
Inverters;
Polynomials;
Probabilistic logic;
13.
A Counter-example to Karlin's Strong Conjecture for Fictitious Play
机译:
卡林对虚拟游戏的强烈猜想的反例
作者:
Daskalakis Constantinos
;
Pan Qinxuan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Convergence;
Games;
Heuristic algorithms;
Linear programming;
Nash equilibrium;
Vectors;
Karlin's conjecture;
fictitious play;
zero-sum games;
14.
On the Power of Homogeneous Depth 4 Arithmetic Circuits
机译:
齐次深度4算术电路的功效
作者:
Kumar Mrinal
;
Saraf Shubhangi
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Computer science;
Educational institutions;
Input variables;
Logic gates;
Polynomials;
Upper bound;
Lower bounds;
arithmetic circuits;
depth reduction;
15.
Interactive Channel Capacity Revisited
机译:
再探互动渠道能力
作者:
Haeupler Bernhard
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Channel capacity;
Encoding;
Error analysis;
Noise;
Protocols;
Redundancy;
Robustness;
channel capacity;
conding for interactive communications;
16.
A Simple and Approximately Optimal Mechanism for an Additive Buyer
机译:
简单的,近似最优的加成购买者机制
作者:
Babaioff Moshe
;
Immorlica Nicole
;
Lucier Brendan
;
Weinberg S.Matthew
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Additives;
Approximation methods;
Computer science;
Cost accounting;
Polynomials;
Pricing;
Runtime;
17.
Improved Quantum Algorithm for Triangle Finding via Combinatorial Arguments
机译:
改进的通过组合参数查找三角形的量子算法
作者:
Gall Francois Le
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Complexity theory;
Computer science;
Quantum computing;
Quantum mechanics;
Search problems;
Upper bound;
quantum algorithms;
query complexity;
triangle finding;
18.
An Automatic Inequality Prover and Instance Optimal Identity Testing
机译:
自动不等式证明和实例最佳身份测试
作者:
Valiant Gregory
;
Valiant Paul
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Complexity theory;
Linear programming;
Polynomials;
Testing;
Vectors;
Automated Theorem Proving;
Cauchy-Schwarz inequality;
Identity Testing;
Instance Optimal;
Property Testing;
19.
Threesomes, Degenerates, and Love Triangles
机译:
三人一组,退化和三角恋
作者:
Gronlund Allan
;
Pettie Seth
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Computational geometry;
Decision trees;
Heuristic algorithms;
Random access memory;
Sorting;
Standards;
3sum;
decision tree complexity;
20.
Random Walks That Find Perfect Objects and the Lovasz Local Lemma
机译:
查找完美物体和Lovasz局部引理的随机游走
作者:
Achlioptas Dimitris
;
Iliopoulos Fotis
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Artificial intelligence;
Computer science;
Educational institutions;
Image color analysis;
Markov processes;
Probabilistic logic;
Trajectory;
Entropic Method;
Lovasz Local Lemma;
Random Walks;
21.
Path Finding Methods for Linear Programming: Solving Linear Programs in Õ(vrank) Iterations and Faster Algorithms for Maximum Flow
机译:
线性规划的路径查找方法:以Õ(vrank)迭代求解线性程序和更快的最大流量算法
作者:
Lee Yin Tat
;
Sidford Aaron
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation methods;
Convergence;
Laplace equations;
Linear programming;
Linear systems;
Polynomials;
Standards;
interior point;
linear program;
maximum flow;
22.
Sample-Optimal Fourier Sampling in Any Constant Dimension
机译:
在任何恒定维上的样本最佳傅里叶采样
作者:
Indyk Piotr
;
Kapralov Michael
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Approximation algorithms;
Approximation methods;
Complexity theory;
Compressed sensing;
Discrete Fourier transforms;
compressed sensing;
sample complexity;
sparse Fourier Transform;
sparse recovery;
23.
Generating k-Independent Variables in Constant Time
机译:
恒定时间生成k独立变量
作者:
Christiani Tobias
;
Pagh Rasmus
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Data structures;
Generators;
Graph theory;
Polynomials;
Probabilistic logic;
Random access memory;
Time complexity;
24.
Bi-Lipschitz Bijection between the Boolean Cube and the Hamming Ball
机译:
布尔多维数据集和汉明球之间的双Lipschitz双射
作者:
Benjamini Itai
;
Cohen Gil
;
Shinkar Igor
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Boolean functions;
Complexity theory;
Computer science;
Context;
Equations;
Hamming distance;
Partitioning algorithms;
25.
Digital Morphogenesis via Schelling Segregation
机译:
通过Schelling分离进行数字形态发生
作者:
Barmpalias George
;
Elwes Richard
;
Lewis-Pye Andy
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Analytical models;
Computational modeling;
Computer science;
Educational institutions;
Electronic mail;
Mathematical model;
Ising;
Schelling segregation;
algorithmic game theory;
morphogenesis;
networks;
spin glass;
26.
Satisfiability and Evolution
机译:
满足与发展
作者:
Livnat Adi
;
Papadimitriou Christos
;
Rubinstein Aviad
;
Valiant Gregory
;
Wan Andrew
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Boolean functions;
Couplings;
Educational institutions;
Genetics;
Sociology;
Standards;
Statistics;
Boolean functions;
algorithms;
evolution;
27.
Optimal Error Rates for Interactive Coding II: Efficiency and List Decoding
机译:
交互式编码的最佳错误率II:效率和列表解码
作者:
Ghaffari Mohsen
;
Haeupler Bernhard
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Computational complexity;
Decoding;
Encoding;
Error analysis;
Error correction codes;
Protocols;
Coding;
Efficiency;
Error-Rate;
Interactive Communication;
List-Decoding;
28.
Total Space in Resolution
机译:
总空间分辨率
作者:
Bonacina Ilario
;
Galesi Nicola
;
Thapen Neil
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Bipartite graph;
Computer science;
Memory management;
Polynomials;
Semantics;
Turing machines;
random CNFs;
resolution;
total space;
29.
Popular Conjectures Imply Strong Lower Bounds for Dynamic Problems
机译:
流行猜想暗示动态问题的强下界
作者:
Abboud Amir
;
Williams Virginia Vassilevska
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation algorithms;
Computer science;
Heuristic algorithms;
Image edge detection;
Polynomials;
Runtime;
Upper bound;
3SUM;
all pairs shortest paths;
dynamic algorithms;
lower bounds;
30.
On Learning and Testing Dynamic Environments
机译:
关于学习和测试动态环境
作者:
Goldreich Oded
;
Ron Dana
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Emulation;
Encoding;
Observers;
Probes;
Testing;
Three-dimensional displays;
Learning;
Multi-dimensional cellular automata;
Property Testing;
31.
On the Hardness of Signaling
机译:
论信令的难度
作者:
Dughmi Shaddin
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Bayes methods;
Clustering algorithms;
Complexity theory;
Game theory;
Games;
Linear programming;
Polynomials;
Mechanism Design;
Planted Clique;
Signaling;
32.
Bounds on the Permanent and Some Applications
机译:
永久性的界限和一些应用
作者:
Gurvits Leonid
;
Samorodnitsky Alex
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Bipartite graph;
Computer science;
Educational institutions;
Polynomials;
Upper bound;
approximation of the permanent;
bounds on the permanent;
33.
Solving Optimization Problems with Diseconomies of Scale via Decoupling
机译:
通过解耦解决规模不经济的优化问题
作者:
Makarychev Konstantin
;
Sviridenko Maxim
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
IP networks;
Linear programming;
Optimization;
Polynomials;
Random variables;
34.
Fixed-Parameter Tractable Canonization and Isomorphism Test for Graphs of Bounded Treewidth
机译:
有界树宽图的固定参数可伸缩规范化和同构测试
作者:
Lokshtanov Daniel
;
Pilipczuk Marcin
;
Pilipczuk Michal
;
Saurabh Saket
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Adhesives;
Algorithm design and analysis;
Complexity theory;
Heuristic algorithms;
Particle separators;
Polynomials;
Standards;
canonization;
graph isomorphism;
parameterized algorithms;
treewidth;
35.
(2 + epsilon)-Sat Is NP-Hard
机译:
(2 + epsilon)-Sat是NP-硬
作者:
Austrin Per
;
Hastad Johan
;
Guruswami Venkatesan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Color;
Complexity theory;
Computer science;
Labeling;
Polynomials;
Probabilistic logic;
Standards;
Constraint satisfaction;
complexity dichotomy;
discrepancy;
polymorphisms;
probabilistically checkable proofs;
promise problems;
36.
Complexity of Counting Subgraphs: Only the Boundedness of the Vertex-Cover Number Counts
机译:
子图计数的复杂性:仅顶点覆盖数计数的有界性
作者:
Curticapean Radu
;
Marx Daniel
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Bipartite graph;
Color;
Complexity theory;
Computer science;
Context;
Polynomials;
Standards;
37.
List and Unique Coding for Interactive Communication in the Presence of Adversarial Noise
机译:
对抗性噪声存在下交互式通信的列表和唯一编码
作者:
Braverman Mark
;
Efremenko Klim
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Decoding;
Encoding;
Error analysis;
Error correction;
Error correction codes;
Noise;
Protocols;
Interactive Communication;
List Decodable Codes;
Tree Codes;
38.
Chasing Ghosts: Competing with Stateful Policies
机译:
追逐幽灵:与有状态的政策竞争
作者:
Feige Uriel
;
Koren Tomer
;
Tennenholtz Moshe
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Adaptation models;
Algorithm design and analysis;
Decision making;
Games;
Switches;
Upper bound;
Vehicles;
39.
Outsourcing Private RAM Computation
机译:
外包专用RAM计算
作者:
Gentry Craig
;
Halevi Shai
;
Raykova Mariana
;
Wichs Daniel
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Databases;
Outsourcing;
Protocols;
Random access memory;
Security;
Servers;
obfuscation;
reusable garbled RAM;
reusable garbled circuits;
40.
O(log log Rank) Competitive Ratio for the Matroid Secretary Problem
机译:
拟阵秘书问题的O(log log Rank)竞争比
作者:
Lachish Oded
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Approximation algorithms;
Computer science;
Data preprocessing;
Flyback transformers;
Optimized production technology;
Testing;
Competitive-Ratio;
Matroid;
Secretary;
41.
Mechanism Design for Crowdsourcing: An Optimal 1-1/e Competitive Budget-Feasible Mechanism for Large Markets
机译:
众包机制设计:针对大型市场的最优1-1 / e竞争性预算可行机制
作者:
Anari Nima
;
Goel Gagan
;
Nikzad Afshin
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Additives;
Approximation methods;
Crowdsourcing;
Polynomials;
Pricing;
Resource management;
Standards;
Budget-feasibility;
Crowdsourcing;
Large Markets;
Truthful Mechanisms;
42.
Online Bipartite Matching in Offline Time
机译:
离线时间进行在线二分匹配
作者:
Bosek Bartlomiej
;
Leniowski Dariusz
;
Sankowski Piotr
;
Zych Anna
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Bipartite graph;
Computer science;
Greedy algorithms;
Heuristic algorithms;
Servers;
algorithm;
bipartite graph;
incremental;
matching;
online;
43.
Complexity Classification of Local Hamiltonian Problems
机译:
局部哈密顿问题的复杂性分类
作者:
Cubitt Toby S.
;
Montanaro Ashley
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Computer science;
Eigenvalues and eigenfunctions;
Lattices;
Matrix decomposition;
Physics;
Quantum computing;
Hamiltonian complexity;
QMA-completeness;
44.
Spectral Approaches to Nearest Neighbor Search
机译:
最近邻居搜索的频谱方法
作者:
Abdullah Amirali
;
Andoni Alexandr
;
Kannan Ravindran
;
Krauthgamer Robert
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Data structures;
Nearest neighbor searches;
Noise;
Partitioning algorithms;
Principal component analysis;
Vectors;
Nearest neighbor search;
spectral algorithms;
45.
An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas
机译:
齐次深度四个算术公式的指数下界
作者:
Kayal Neeraj
;
Limaye Nutan
;
Saha Chandan
;
Srinivasan Srikanth
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Computational modeling;
Electronic mail;
Logic gates;
Polynomials;
Silicon;
Vectors;
Arithmetic circuits;
lower bounds;
shifted partial derivatives;
46.
Non-malleable Codes against Constant Split-State Tampering
机译:
不可篡改的代码,用于恒定的分裂状态篡改
作者:
Chattopadhyay Eshan
;
Zuckerman David
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Computer science;
Decoding;
Educational institutions;
Encoding;
Monte Carlo methods;
Random variables;
Robustness;
coding theory;
non-malleable codes;
non-malleable extractors;
randomness extractors;
47.
An Algebraic Approach to Non-malleability
机译:
不可恶意的代数方法
作者:
Goyal Vipul
;
Richelson Silas
;
Rosen Alon
;
Vald Margarita
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Educational institutions;
Error correction codes;
Protocols;
Receivers;
Security;
Vectors;
commitments;
non-malleability;
zero-knowledge;
48.
Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs
机译:
平面图和有界图上的Steiner问题的网络稀疏性
作者:
Pilipczuk Marcin
;
Pilipczuk Michal
;
Sankowski Piotr
;
Leeuwen Erik Jan van
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Approximation algorithms;
Face;
Kernel;
Polynomials;
Steiner trees;
Vegetation;
(Edge) Multiway Cut;
Planar graphs;
Steiner Forest;
Steiner Tree;
parameterized algorithms;
polynomial kernel;
49.
Shrinkage of De Morgan Formulae by Spectral Techniques
机译:
光谱技术对De Morgan公式的收缩
作者:
Tal Avishay
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation methods;
Boolean functions;
Complexity theory;
Logic gates;
Polynomials;
Switches;
De Morgan formulas;
Fourier analysis;
random restrictions;
shrinkage;
50.
The Dyck Language Edit Distance Problem in Near-Linear Time
机译:
接近线性时间的戴克语言编辑距离问题
作者:
Saha Barna
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Approximation algorithms;
Approximation methods;
Context;
Dynamic programming;
Grammar;
Heuristic algorithms;
approximation algorithms;
edit distance;
formal language;
linear time algorithm design;
51.
Settling the APX-Hardness Status for Geometric Set Cover
机译:
设置几何布套的APX硬度状态
作者:
Mustafa Nabil H.
;
Raman Rajiv
;
Ray Saurabh
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Complexity theory;
Computer science;
Optimized production technology;
Particle separators;
Hitting Sets;
Pseudodisks;
Quasi PTAS;
k-admissible regions;
52.
Constructive Discrepancy Minimization for Convex Sets
机译:
凸集的建设性差异最小化
作者:
Rothvoss Thomas
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Convex functions;
Geometry;
Linear programming;
Polynomials;
Silicon;
Strips;
Vectors;
Discrepancy theory;
combinatorics;
convex optimization;
53.
Circuit Complexity, Proof Complexity, and Polynomial Identity Testing
机译:
电路复杂度,证明复杂度和多项式身份测试
作者:
Grochow Joshua A.
;
Pitassi Toniann
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Calculus;
Complexity theory;
Frequency modulation;
Polynomials;
Standards;
Testing;
AC0p-Frege;
Grobner bases;
algebraic circuit complexity;
lower bounds;
polynomial identity testing;
proof complexity;
syzygies;
54.
The Complexity of Counting Edge Colorings and a Dichotomy for Some Higher Domain Holant Problems
机译:
计数边缘着色的复杂性和某些高域Holant问题的二分法
作者:
Cai Jin-Yi
;
Guo Heng
;
Williams Tyson
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Color;
Complexity theory;
Eigenvalues and eigenfunctions;
Interpolation;
Lattices;
Polynomials;
Transmission line matrix methods;
Holant problems;
counting problems;
dichotomy theorem;
edge coloring;
55.
Pre-reduction Graph Products: Hardnesses of Properly Learning DFAs and Approximating EDP on DAGs
机译:
还原前图产品:正确学习DFA和DAG上近似EDP的硬度
作者:
Chalermsook Parinya
;
Laekhanukit Bundit
;
Nanongkai Danupon
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation algorithms;
Approximation methods;
Automata;
Complexity theory;
Cryptography;
Educational institutions;
Upper bound;
56.
Decremental Single-Source Shortest Paths on Undirected Graphs in Near-Linear Total Update Time
机译:
近线性总更新时间中无向图上的递减单源最短路径
作者:
Henzinger Monika
;
Krinninger Sebastian
;
Nanongkai Danupon
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Approximation algorithms;
Approximation methods;
Computer science;
Educational institutions;
Europe;
Heuristic algorithms;
dynamic graph algorithms;
single-source shortest paths;
57.
Parallel Repetition from Fortification
机译:
从设防平行重复
作者:
Moshkovitz Dana
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Additives;
Approximation methods;
Bipartite graph;
Computer science;
Games;
Polynomials;
Silicon;
PCP;
fortification;
hardness of approximation;
parallel repetition;
projection game;
58.
On the AC0 Complexity of Subgraph Isomorphism
机译:
子图同构的AC0复杂度
作者:
Li Yuan
;
Razborov Alexander
;
Rossman Benjamin
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Computer science;
Context;
Educational institutions;
Integrated circuit modeling;
Standards;
Upper bound;
AC0;
average-case complexity;
subgraph isomorphism;
treewidth;
59.
Ramanujan Complexes and Bounded Degree Topological Expanders
机译:
Ramanujan络合物和界度拓扑扩展器
作者:
Kaufman Tali
;
Kazhdan David
;
Lubotzky Alexander
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Buildings;
Computer science;
Educational institutions;
Graph theory;
Lattices;
Measurement;
Stress;
Ramanujan complexes;
high dimensional expanders;
topological expanders;
topological overlapping;
60.
LP-Based Algorithms for Capacitated Facility Location
机译:
基于LP的容量设施定位算法
作者:
An Hyung-Chan
;
Singh Mohit
;
Svensson Ola
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Approximation algorithms;
Approximation methods;
Linear programming;
Measurement;
Polynomials;
Standards;
approximation algorithms;
facility location;
linear programming;
61.
SelfishMigrate: A Scalable Algorithm for Non-clairvoyantly Scheduling Heterogeneous Processors
机译:
SelfishMigrate:非千篇一律的异构处理器调度算法
作者:
Im Sungjin
;
Kulkarni Janardhan
;
Munagala Kamesh
;
Pruhs Kirk
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Delays;
Games;
Processor scheduling;
Program processors;
Single machine scheduling;
Flow-time;
Online Scheduling;
energy;
non-clairvoyance;
62.
Achieving Target Equilibria in Network Routing Games without Knowing the Latency Functions
机译:
在不知道延迟功能的情况下实现网络路由游戏中的目标平衡
作者:
Bhaskar Umang
;
Ligett Katrina
;
Schulman Leonard J.
;
Swamy Chaitanya
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Computational modeling;
Delays;
Ellipsoids;
Games;
Polynomials;
Routing;
Network routing;
Stackelberg routing;
approximate equilibria;
ellipsoid method;
multicommodity flows;
tolls;
63.
Private Empirical Risk Minimization: Efficient Algorithms and Tight Error Bounds
机译:
私人经验风险最小化:高效算法和严格错误界限
作者:
Bassily Raef
;
Smith Adam
;
Thakurta Abhradeep
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Algorithm design and analysis;
Convex functions;
Noise measurement;
Optimization;
Privacy;
Risk management;
Support vector machines;
64.
Quantum Attacks on Classical Proof Systems: The Hardness of Quantum Rewinding
机译:
经典证明系统的量子攻击:量子倒带的难度
作者:
Ambainis Andris
;
Rosmanis Ansis
;
Unruh Dominique
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Computational modeling;
Cryptography;
Protocols;
Quantum computing;
Quantum mechanics;
Registers;
quantum cryptography;
quantum query complexity;
random oracles;
rewinding;
65.
The Communication Complexity of Distributed epsilon-Approximations
机译:
分布epsilon近似的通信复杂度
作者:
Huang Zengfeng
;
Yi Ke
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Approximation methods;
Complexity theory;
Computational modeling;
Data models;
Distributed databases;
Protocols;
Standards;
epsi;
-approximations;
communication complexity;
discrepancy;
distributed data;
66.
Preventing False Discovery in Interactive Data Analysis Is Hard
机译:
防止交互式数据分析中的错误发现很难
作者:
Hardt Moritz
;
Ullman Jonathan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Accuracy;
Adaptation models;
Algorithm design and analysis;
Encryption;
Polynomials;
Privacy;
Standards;
67.
Exponential Separation of Information and Communication
机译:
信息与通信的指数分离
作者:
Ganor Anat
;
Kol Gillat
;
Raz Ran
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Complexity theory;
Entropy;
Games;
Noise;
Noise measurement;
Protocols;
Random variables;
amortized communication complexity;
communication complexity;
communication compression;
direct sum;
information complexity;
68.
Local Tests of Global Entanglement and a Counterexample to the Generalized Area Law
机译:
全球纠缠的本地检验和广义区域法的反例
作者:
Aharonov Dorit
;
Harrow Aram W.
;
Landau Zeph
;
Nagaj Daniel
;
Szegedy Mario
;
Vazirani Umesh
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2014年
关键词:
Entropy;
Lattices;
Protocols;
Quantum entanglement;
Stationary state;
Testing;
Vectors;
意见反馈
回到顶部
回到首页