掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
2017
召开地:
Berkeley(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Dichotomy for Regular Expression Membership Testing
机译:
正则表达式成员资格测试的二分法
作者:
Karl Bringmann
;
Allan Grønlund
;
Kasper Green Larsen
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Pattern matching;
Testing;
Computer science;
Electronic mail;
Dictionaries;
Fast Fourier transforms;
Informatics;
2.
A Dichotomy Theorem for Nonuniform CSPs
机译:
非均匀CSP的二分法定理
作者:
Andrei A. Bulatov
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Algebra;
Complexity theory;
Computer science;
Standards;
Algorithm design and analysis;
Terminology;
Electronic mail;
3.
Deterministic Search for CNF Satisfying Assignments in Almost Polynomial Time
机译:
在几乎多项式时间内确定CNF满足分配的确定性搜索
作者:
Rocco A. Servedio
;
Li-Yang Tan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Search problems;
Generators;
Computer science;
Complexity theory;
Runtime;
Standards;
4.
First Efficient Convergence for Streaming k-PCA: A Global, Gap-Free, and Near-Optimal Rate
机译:
流式k-PCA的第一个有效收敛:全局,无间隙和接近最佳速率
作者:
Zeyuan Allen-Zhu
;
Yuanzhi Li
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Convergence;
Principal component analysis;
Algorithm design and analysis;
Approximation algorithms;
Complexity theory;
Eigenvalues and eigenfunctions;
Covariance matrices;
5.
A Characterization of Testable Hypergraph Properties
机译:
可测试超图属性的表征
作者:
Felix Joos
;
Jaehoon Kim
;
Daniela Kühn
;
Deryk Osthus
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Testing;
Complexity theory;
Computer science;
Electronic mail;
Systematics;
6.
A Nearly Optimal Lower Bound on the Approximate Degree of AC^0
机译:
AC ^ 0的近似度的下最佳下界
作者:
Mark Bun
;
Justin Thaler
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Boolean functions;
Frequency modulation;
Upper bound;
Computer science;
Cryptography;
7.
Sample Efficient Estimation and Recovery in Sparse FFT via Isolation on Average
机译:
通过平均隔离实现稀疏FFT中的样本有效估计和恢复
作者:
Michael Kapralov
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Estimation;
Fourier transforms;
Signal processing algorithms;
Complexity theory;
Runtime;
Algorithm design and analysis;
Time-domain analysis;
8.
Subdeterminant Maximization via Nonconvex Relaxations and Anti-Concentration
机译:
通过非凸松弛和反集中实现子行列式最大化
作者:
Javad B. Ebrahimi
;
Damian Straszak
;
Nisheeth K. Vishnoi
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Partitioning algorithms;
Estimation;
Optimized production technology;
Computer science;
Algorithm design and analysis;
9.
Active Classification with Comparison Queries
机译:
具有比较查询的主动分类
作者:
Daniel M. Kane
;
Shachar Lovett
;
Shay Moran
;
Jiapeng Zhang
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Computer science;
Inference algorithms;
Standards;
Labeling;
Context modeling;
10.
Fine-Grained Complexity of Analyzing Compressed Data: Quantifying Improvements over Decompress-and-Solve
机译:
分析压缩数据的细粒度复杂性:量化解压缩解决方案的改进
作者:
Amir Abboud
;
Arturs Backurs
;
Karl Bringmann
;
Marvin Künnemann
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Time complexity;
Grammar;
Computer science;
Gold;
Standards;
11.
Approximating Geometric Knapsack via L-Packings
机译:
通过L形包装近似几何背包
作者:
Waldo Gálvez
;
Fabrizio Grandoni
;
Sandy Heydrich
;
Salvatore Ingala
;
Arindam Khan
;
Andreas Wiese
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Containers;
Approximation algorithms;
Strips;
Algorithm design and analysis;
Electronic mail;
Partitioning algorithms;
Computer science;
12.
Approximating the Held-Karp Bound for Metric TSP in Nearly-Linear Time
机译:
近似线性时间中公制TSP的保持卡普界
作者:
Chandra Chekuri
;
Kent Quanrud
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Data structures;
Measurement;
Programming;
Algorithm design and analysis;
Optimization;
13.
Fast and Compact Exact Distance Oracle for Planar Graphs
机译:
适用于平面图的快速紧凑的精确距离Oracle
作者:
Vincent Cohen-Addad
;
Søren Dahlgaard
;
Christian Wulff-Nilsen
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Face;
Transmission line matrix methods;
Routing;
Particle separators;
Computer science;
Table lookup;
14.
Generalized Uniformity Testing
机译:
通用均匀性测试
作者:
Tugkan Batu
;
Clément L. Canonne
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Testing;
Probability distribution;
Complexity theory;
Digital TV;
Algorithm design and analysis;
Computer science;
15.
Quantum Speed-Ups for Solving Semidefinite Programs
机译:
解决半定程序的量子加速
作者:
Fernando G.S.L. Brandao
;
Krysta M. Svore
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Quantum computing;
Approximation algorithms;
Upper bound;
Electronic mail;
Size measurement;
Quantum mechanics;
Optimization;
16.
Testing Hereditary Properties of Ordered Graphs and Matrices
机译:
测试有序图和矩阵的遗传特性
作者:
Noga Alon
;
Omri Ben-Eliezer
;
Eldar Fischer
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Testing;
Computer science;
Electronic mail;
Image edge detection;
Complexity theory;
Periodic structures;
17.
A Rounds vs. Communication Tradeoff for Multi-Party Set Disjointness
机译:
多方集合不相交的回合与通信权衡
作者:
Mark Braverman
;
Rotem Oshman
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Protocols;
Upper bound;
Computer science;
Bandwidth;
Electronic mail;
Estimation;
18.
Better Guarantees for k-Means and Euclidean k-Median by Primal-Dual Algorithms
机译:
通过原始对偶算法更好地保证k均值和欧几里德k值
作者:
Sara Ahmadian
;
Ashkan Norouzi-Fard
;
Ola Svensson
;
Justin Ward
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Standards;
Clustering algorithms;
Algorithm design and analysis;
Measurement;
Computer science;
Electronic mail;
19.
Eldan's Stochastic Localization and the KLS Hyperplane Conjecture: An Improved Lower Bound for Expansion
机译:
Eldan的随机局部化和KLS超平面猜想:改进的扩展下界
作者:
Yin Tat Lee
;
Santosh Srinivas Vempala
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Covariance matrices;
Density measurement;
Convergence;
Geometry;
Standards;
Computer science;
Needles;
20.
How to Achieve Non-Malleability in One or Two Rounds
机译:
如何在一两回合中实现非残害性
作者:
Dakshita Khurana
;
Amit Sahai
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Standards;
Protocols;
Receivers;
Cryptography;
Computer science;
Complexity theory;
21.
Sublinear Time Low-Rank Approximation of Positive Semidefinite Matrices
机译:
半正定矩阵的亚线性时间低秩逼近
作者:
Cameron Musco
;
David P. Woodruff
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Symmetric matrices;
Covariance matrices;
Runtime;
Matrix decomposition;
Kernel;
Standards;
22.
The Matching Problem in General Graphs Is in Quasi-NC
机译:
通用图的匹配问题在准NC中
作者:
Ola Svensson
;
Jakub Tarnawski
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Bipartite graph;
Parallel algorithms;
Program processors;
Computer science;
Electronic mail;
Complexity theory;
Algorithm design and analysis;
23.
Capacity of Neural Networks for Lifelong Learning of Composable Tasks
机译:
神经网络终身学习可组合任务的能力
作者:
Leslie G. Valiant
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Neurons;
Brain modeling;
Computational modeling;
Knowledge engineering;
Biological neural networks;
24.
Local Hamiltonians Whose Ground States Are Hard to Approximate
机译:
基态很难估计的当地哈密顿人
作者:
Lior Eldar
;
Aram W. Harrow
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Quantum entanglement;
Stationary state;
Robustness;
Complexity theory;
Graph theory;
25.
Local List Recovery of High-Rate Tensor Codes Applications
机译:
高速张量代码和应用程序的本地列表恢复
作者:
Brett Hemenway
;
Noga Ron-Zewi
;
Mary Wootters
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Decoding;
Complexity theory;
Error correction codes;
Tensile stress;
Silicon;
Computer science;
26.
On Learning Mixtures of Well-Separated Gaussians
机译:
关于分离高斯的混合学习
作者:
Oded Regev
;
Aravindan Vijayaraghavan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Iterative methods;
Standards;
Clustering algorithms;
Mathematical model;
Parameter estimation;
Gaussian mixture model;
27.
The Ising Partition Function: Zeros and Deterministic Approximation
机译:
Ising分区函数:零点和确定性逼近
作者:
Jingcheng Liu
;
Alistair Sinclair
;
Piyush Srivastava
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Partitioning algorithms;
Correlation;
Computational modeling;
Taylor series;
Physics;
Electronic mail;
28.
Boolean Unateness Testing with Õ(n^{3/4}) Adaptive Queries
机译:
使用Õ(n ^ {3/4})自适应查询的布尔不一致性测试
作者:
Xi Chen
;
Erik Waingarten
;
Jinyu Xie
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Testing;
Boolean functions;
Algorithm design and analysis;
Computer science;
Adaptive algorithms;
Hypercubes;
29.
Distributed Exact Weighted All-Pairs Shortest Paths in Õ(n^{5/4}) Rounds
机译:
Õ(n ^ {5/4})个回合中的分布式精确加权全对最短路径
作者:
Chien-Chung Huang
;
Danupon Nanongkai
;
Thatchaphol Saranurak
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Distributed algorithms;
Computational modeling;
Upper bound;
Additives;
Time complexity;
Routing;
30.
Short Presburger Arithmetic Is Hard
机译:
简短的Presburger算法很难
作者:
Danny Nguyen
;
Igor Pak
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
IP networks;
Linear programming;
Electronic mail;
Computational complexity;
Linear systems;
31.
Variable-Version Lovász Local Lemma: Beyond Shearer's Bound
机译:
可变版本Lovász本地引理:超出Shearer的界限
作者:
Kun He
;
Liang Li
;
Xingwu Liu
;
Yuyi Wang
;
Mingji Xia
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Algorithm design and analysis;
Electronic mail;
Random variables;
Clustering algorithms;
Approximation algorithms;
Physics;
Computer science;
32.
Learning Graphical Models Using Multiplicative Weights
机译:
使用乘法权重学习图形模型
作者:
Adam Klivans
;
Raghu Meka
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Markov processes;
Graphical models;
Algorithm design and analysis;
Computer science;
Machine learning algorithms;
Mathematical model;
33.
Learning Multi-Item Auctions with (or without) Samples
机译:
学习带有(或不带有)样本的多项目拍卖
作者:
Yang Cai
;
Constantinos Daskalakis
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Cost accounting;
Additives;
Approximation algorithms;
Complexity theory;
Computer science;
Bayes methods;
Standards;
34.
Derandomization Beyond Connectivity: Undirected Laplacian Systems in Nearly Logarithmic Space
机译:
连接之外的非随机化:近对数空间中的无向拉普拉斯系统
作者:
Jack Murtagh
;
Omer Reingold
;
Aaron Sidford
;
Salil Vadhan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Laplace equations;
Approximation algorithms;
Complexity theory;
Linear systems;
Computer science;
Electronic mail;
Symmetric matrices;
35.
Efficient Bayesian Estimation from Few Samples: Community Detection and Related Problems
机译:
基于少量样本的有效贝叶斯估计:社区检测和相关问题
作者:
Samuel B. Hopkins
;
David Steurer
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Stochastic processes;
Algorithm design and analysis;
Complexity theory;
Correlation;
Estimation;
Inference algorithms;
Prediction algorithms;
36.
An Input Sensitive Online Algorithm for the Metric Bipartite Matching Problem
机译:
公制二分匹配问题的输入敏感在线算法
作者:
Krati Nayyar
;
Sharath Raghvendra
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Algorithm design and analysis;
Servers;
Extraterrestrial measurements;
Analytical models;
Partitioning algorithms;
Optimal matching;
37.
Weighted k-Server Bounds via Combinatorial Dichotomies
机译:
通过组合二分法加权的k服务器边界
作者:
Nikhil Bansal
;
Marek Eliáš
;
Grigorios Koumoutsos
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Servers;
Algorithm design and analysis;
Upper bound;
Extraterrestrial measurements;
Standards;
Labeling;
38.
Determinant-Preserving Sparsification of SDDM Matrices with Applications to Counting and Sampling Spanning Trees
机译:
SDDM矩阵的行列式保稀疏及其在生成树计数和采样中的应用
作者:
David Durfee
;
John Peebles
;
Richard Peng
;
Anup B. Rao
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Laplace equations;
Runtime;
Estimation;
Eigenvalues and eigenfunctions;
Computer science;
Graph theory;
39.
Much Faster Algorithms for Matrix Scaling
机译:
矩阵缩放的更快算法
作者:
Zeyuan Allen-Zhu
;
Yuanzhi Li
;
Rafael Oliveira
;
Avi Wigderson
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Linear systems;
Optimization;
Convergence;
Ellipsoids;
Manganese;
Computer science;
40.
A Proof of CSP Dichotomy Conjecture
机译:
CSP二分法猜想的证明
作者:
Dmitriy Zhuk
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Algebra;
Cloning;
Standards;
Computer science;
Electronic mail;
Time factors;
41.
Fast Similarity Sketching
机译:
快速相似素描
作者:
Søren Dahlgaard
;
Mathias Bæk Tejs Knudsen
;
Mikkel Thorup
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Optimized production technology;
Support vector machines;
Estimation;
Search problems;
Computer science;
Standards;
Data structures;
42.
Two-Round and Non-Interactive Concurrent Non-Malleable Commitments from Time-Lock Puzzles
机译:
时间锁定难题的两轮和非交互并发非恶意承诺
作者:
Huijia Lin
;
Rafael Pass
;
Pratik Soni
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Cryptography;
Protocols;
Resistance;
Engineering profession;
Standards;
Computer science;
43.
White-Box vs. Black-Box Complexity of Search Problems: Ramsey and Graph Property Testing
机译:
搜索问题的白盒与黑盒复杂性:Ramsey和图属性测试
作者:
Ilan Komargodski
;
Moni Naor
;
Eylon Yogev
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Search problems;
Resistance;
Complexity theory;
Testing;
Computational modeling;
Integrated circuit modeling;
Cryptography;
44.
On Preparing Ground States of Gapped Hamiltonians: An Efficient Quantum Lovász Local Lemma
机译:
关于准备有缺口的哈密顿量的基态:一个有效的量子Lovász局部引理
作者:
András Pál Gilyén
;
Or Sattath
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Algorithm design and analysis;
Quantum computing;
Stationary state;
Computer science;
NP-complete problem;
Search problems;
45.
On Small-Depth Frege Proofs for Tseitin for Grids
机译:
网格Tseitin的小深度Frege证明
作者:
Johan Håstad
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Switches;
Cognition;
Switching circuits;
Computer science;
Graph theory;
Input variables;
Decision trees;
46.
A Time-Space Lower Bound for a Large Class of Learning Problems
机译:
大量学习问题的时空下界
作者:
Ran Raz
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Memory management;
Computational modeling;
Random variables;
Computer science;
Computational complexity;
Cryptography;
47.
Exponentially-Hard Gap-CSP and Local PRG via Local Hardcore Functions
机译:
通过本地硬核函数实现指数级硬间隙CSP和本地PRG
作者:
Benny Applebaum
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Cryptography;
Search problems;
Complexity theory;
Computer science;
Generators;
Tools;
48.
Weak Decoupling, Polynomial Folds and Approximate Optimization over the Sphere
机译:
球上的弱解耦,多项式折叠和近似优化
作者:
Vijay Bhattiprolu
;
Mrinalkanti Ghosh
;
Venkatesan Guruswami
;
Euiwoong Lee
;
Madhur Tulsiani
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Optimization;
Approximation algorithms;
Computer science;
Tensile stress;
Quantum mechanics;
Tools;
Convergence;
49.
On the Power of Statistical Zero Knowledge
机译:
论统计零知识的力量
作者:
Adam Bouland
;
Lijie Chen
;
Dhiraj Holden
;
Justin Thaler
;
Prashant Nalini Vasudevan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Protocols;
Computational modeling;
Computer science;
Cryptography;
Quantum computing;
Games;
50.
On the Quantitative Hardness of CVP
机译:
关于CVP的定量硬度
作者:
Huck Bennett
;
Alexander Golovnev
;
Noah Stephens-Davidowitz
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Lattices;
Complexity theory;
Cryptography;
Electronic mail;
Linear programming;
Heuristic algorithms;
51.
Dynamic Minimum Spanning Forest with Subpolynomial Worst-Case Update Time
机译:
具有次多项式最坏情况更新时间的动态最小生成林
作者:
Danupon Nanongkai
;
Thatchaphol Saranurak
;
Christian Wulff-Nilsen
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Heuristic algorithms;
Graph theory;
Approximation algorithms;
Vegetation;
Topology;
Monte Carlo methods;
52.
Fast Space-Efficient Approximations of Language Edit Distance and RNA Folding: An Amnesic Dynamic Programming Approach
机译:
语言编辑距离和RNA折叠的快速且节省空间的近似方法:一种健忘的动态编程方法
作者:
Barna Saha
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Grammar;
Light emitting diodes;
RNA;
Heuristic algorithms;
Dynamic programming;
Algorithm design and analysis;
53.
A Time Hierarchy Theorem for the LOCAL Model
机译:
LOCAL模型的时间层次定理
作者:
Yi-Jun Chang
;
Seth Pettie
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Ports (Computers);
Labeling;
Computational modeling;
Topology;
Electronic mail;
Upper bound;
54.
Average-Case Reconstruction for the Deletion Channel: Subpolynomially Many Traces Suffice
机译:
删除通道的平均情况重构:亚多项式的许多迹线就足够了
作者:
Yuval Peres
;
Alex Zhai
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Greedy algorithms;
Indexes;
Electronic mail;
Computer science;
Computational biology;
Algorithm design and analysis;
55.
Optimal Interactive Coding for Insertions, Deletions, and Substitutions
机译:
插入,删除和替换的最佳交互式编码
作者:
Alexander A. Sherstov
;
Pei Wu
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Protocols;
Communication channels;
Channel coding;
Computational modeling;
Computer science;
56.
Optimal Las Vegas Locality Sensitive Data Structures
机译:
最佳的拉斯维加斯地区敏感数据结构
作者:
Thomas Dybdahl Ahle
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Data structures;
Partitioning algorithms;
Approximation algorithms;
Search problems;
Measurement;
Force;
Filtering algorithms;
57.
Deterministic Distributed Edge-Coloring via Hypergraph Maximal Matching
机译:
通过超图最大匹配进行确定性的分布式边缘着色
作者:
Manuela Fischer
;
Mohsen Ghaffari
;
Fabian Kuhn
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Distributed algorithms;
Color;
Partitioning algorithms;
Computer science;
Computational modeling;
Standards;
58.
Fooling Intersections of Low-Weight Halfspaces
机译:
低重量半空间的傻瓜相交
作者:
Rocco A. Servedio
;
Li-Yang Tan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Generators;
Boolean functions;
Standards;
Complexity theory;
Computer science;
Random variables;
Approximation algorithms;
59.
Hashing-Based-Estimators for Kernel Density in High Dimensions
机译:
基于散列的高维核密度估计器
作者:
Moses Charikar
;
Paris Siminelakis
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Kernel;
Estimation;
Data structures;
Approximation algorithms;
Computer science;
Algorithm design and analysis;
Complexity theory;
60.
Tight Lower Bounds for Differentially Private Selection
机译:
严格的下限用于差异化私人选择
作者:
Thomas Steinke
;
Jonathan Ullman
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Privacy;
Sociology;
Statistics;
Testing;
Approximation algorithms;
Genetics;
61.
Distributed PCP Theorems for Hardness of Approximation in P
机译:
P近似硬度的分布式PCP定理
作者:
Amir Abboud
;
Aviad Rubinstein
;
Ryan Williams
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Complexity theory;
Probabilistic logic;
Protocols;
Search problems;
Algorithm design and analysis;
Computer science;
62.
Optimal Repair of Reed-Solomon Codes: Achieving the Cut-Set Bound
机译:
里德-所罗门代码的最佳修复:实现剪切定界
作者:
Itzhak Tamo
;
Min Ye
;
Alexander Barg
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Maintenance engineering;
Bandwidth;
Distributed databases;
Linear codes;
Reed-Solomon codes;
63.
Optimality of the Johnson-Lindenstrauss Lemma
机译:
Johnson-Lindenstrauss引理的最优性
作者:
Kasper Green Larsen
;
Jelani Nelson
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Upper bound;
Encoding;
Additives;
Computer science;
Distortion;
Complexity theory;
64.
Random Θ(log n)-CNFs Are Hard for Cutting Planes
机译:
随机Θ(log n)-CNF很难切割平面
作者:
Noah Fleming
;
Denis Pankratov
;
Toniann Pitassi
;
Robert Robere
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Semantics;
Interpolation;
Games;
Boolean functions;
Computer science;
Physics;
65.
Garbled Protocols and Two-Round MPC from Bilinear Maps
机译:
双线性映射的乱码协议和两点MPC
作者:
Sanjam Garg
;
Akshayaram Srinivasan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Protocols;
Encryption;
Random access memory;
Encoding;
Standards;
Computational modeling;
66.
Oracle-Efficient Online Learning and Auction Design
机译:
Oracle高效的在线学习和拍卖设计
作者:
Miroslav Dudík
;
Nika Haghtalab
;
Haipeng Luo
;
Robert E. Schapire
;
Vasilis Syrgkanis
;
Jennifer Wortman Vaughan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Algorithm design and analysis;
Optimization;
Approximation algorithms;
Stability analysis;
Electronic mail;
Cost accounting;
History;
67.
Robust Polynomial Regression up to the Information Theoretic Limit
机译:
鲁棒的多项式回归,直至信息论的极限
作者:
Daniel Kane
;
Sushrut Karmalkar
;
Eric Price
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Chebyshev approximation;
Robustness;
Approximation algorithms;
Decoding;
Complexity theory;
Computer science;
Additives;
68.
Faster (and Still Pretty Simple) Unbiased Estimators for Network (Un)reliability
机译:
更快(且仍然非常简单)的网络(Un)可靠性无偏估计器
作者:
David R. Karger
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Reliability;
Algorithm design and analysis;
Approximation algorithms;
Computer network reliability;
Runtime;
Monte Carlo methods;
Estimation;
69.
Hardness Results for Structured Linear Systems
机译:
结构化线性系统的硬度结果
作者:
Rasmus Kyng
;
Peng Zhang
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Linear systems;
Transmission line matrix methods;
Laplace equations;
Two dimensional displays;
Approximation algorithms;
Algorithm design and analysis;
Iterative methods;
70.
Prophet Inequalities Made Easy: Stochastic Optimization by Pricing Non-Stochastic Inputs
机译:
先知不等式变得容易:通过对非随机输入定价来进行随机优化
作者:
Paul Düetting
;
Michal Feldman
;
Thomas Kesselheim
;
Brendan Lucier
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Resource management;
Cost accounting;
Pricing;
Electronic mail;
Approximation algorithms;
Computer science;
Optimization;
71.
Scheduling to Minimize Total Weighted Completion Time via Time-Indexed Linear Programming Relaxations
机译:
通过时间索引线性规划松弛来计划以最小化总加权完成时间
作者:
Shi Li
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Schedules;
Linear programming;
Computational modeling;
Algorithm design and analysis;
Job shop scheduling;
72.
The Independence Number of the Birkhoff Polytope Graph, and Applications to Maximally Recoverable Codes
机译:
Birkhoff多面体图的独立数及其在最大可恢复代码中的应用
作者:
Daniel Kane
;
Shachar Lovett
;
Sankeerth Rao
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Labeling;
Topology;
Network topology;
Upper bound;
Bipartite graph;
Eigenvalues and eigenfunctions;
Computer science;
73.
From Gap-ETH to FPT-Inapproximability: Clique, Dominating Set, and More
机译:
从差距ETH到FPT不可近似性:集团,支配集等等
作者:
Parinya Chalermsook
;
Marek Cygan
;
Guy Kortsarz
;
Bundit Laekhanukit
;
Pasin Manurangsi
;
Danupon Nanongkai
;
Luca Trevisan
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Optimized production technology;
Electronic mail;
Standards;
Bipartite graph;
Minimization;
Computer science;
74.
High Dimensional Expanders Imply Agreement Expanders
机译:
高尺寸扩展器意味着协议扩展器
作者:
Irit Dinur
;
Tali Kaufman
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Buildings;
Graph theory;
Computer science;
Convergence;
Eigenvalues and eigenfunctions;
Skeleton;
Electronic mail;
75.
Linear Algebraic Analogues of the Graph Isomorphism Problem and the Erdős-Rényi Model
机译:
图同构问题和Erdős-Rényi模型的线性代数类似物
作者:
Yinan Li
;
Youming Qiao
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Testing;
Time complexity;
Computational modeling;
Algorithm design and analysis;
Frequency modulation;
Quantum computing;
Software;
76.
Polylogarithmic Approximation for Minimum Planarization (Almost)
机译:
最小平面化的对数近似(几乎)
作者:
Ken-Ichi Kawarabayashi
;
Anastasios Sidiropoulos
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Planarization;
Face;
Particle separators;
Skeleton;
Computer science;
Electronic mail;
77.
Optimal Compression of Approximate Inner Products and Dimension Reduction
机译:
近似内部产品的最佳压缩和尺寸缩减
作者:
Noga Alon
;
Boaz Klartag
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Additives;
Correlation;
Tools;
Data structures;
Computer science;
78.
Lockable Obfuscation
机译:
可锁定的混淆
作者:
Rishab Goyal
;
Venkata Koppula
;
Brent Waters
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Encryption;
Standards;
Electronic mail;
Computer science;
Complexity theory;
79.
The Power of Sum-of-Squares for Detecting Hidden Structures
机译:
平方和对隐藏结构的检测能力
作者:
Samuel B. Hopkins
;
Pravesh K. Kothari
;
Aaron Potechin
;
Prasad Raghavendra
;
Tselil Schramm
;
David Steurer
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Algorithm design and analysis;
Tensile stress;
Principal component analysis;
Programming;
Robustness;
Mathematical model;
Inference algorithms;
80.
Quantum SDP-Solvers: Better Upper and Lower Bounds
机译:
Quantum SDP-Solvers:更好的上下界
作者:
Joran Van Apeldoorn
;
András Gilyén
;
Sander Gribling
;
Ronald de Wolf
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Optimized production technology;
Complexity theory;
Approximation algorithms;
Quantum computing;
Manganese;
Upper bound;
Runtime;
81.
Optimal Lower Bounds for Universal Relation, and for Samplers and Finding Duplicates in Streams
机译:
通用关系,采样器和流中重复项的最佳下界
作者:
Michael Kapralov
;
Jelani Nelson
;
Jakub Pachocki
;
Zhengyu Wang
;
David P. Woodruff
;
Mobin Yahyazadeh
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Upper bound;
Heuristic algorithms;
Indexes;
Complexity theory;
Data structures;
Computer science;
82.
Query-to-Communication Lifting for BPP
机译:
BPP的查询到通信提升
作者:
Mika Göös
;
Toniann Pitassi
;
Thomas Watson
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Complexity theory;
Decision trees;
Protocols;
Indexes;
Computer science;
Electronic mail;
Boolean functions;
83.
Matrix Scaling and Balancing via Box Constrained Newton's Method and Interior Point Methods
机译:
通过框约束牛顿法和内点法进行矩阵缩放和平衡
作者:
Michael B. Cohen
;
Aleksander Madry
;
Dimitris Tsipras
;
Adrian Vladu
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Robustness;
Newton method;
Linear systems;
Optimization;
Laplace equations;
Iterative methods;
84.
Random Formulas, Monotone Circuits, and Interpolation
机译:
随机公式,单调电路和插值
作者:
Pavel Hrubeš
;
Pavel Pudlák
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Interpolation;
Complexity theory;
Computational modeling;
Games;
Boolean functions;
Semantics;
85.
Minor-Free Graphs Have Light Spanners
机译:
次要免费图形具有轻型扳手
作者:
Glencora Borradaile
;
Hung Le
;
Christian Wulff-Nilsen
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Computer science;
Standards;
Steiner trees;
Electrical engineering;
Terminology;
Greedy algorithms;
Approximation algorithms;
86.
Removing Depth-Order Cycles among Triangles: An Efficient Algorithm Generating Triangular Fragments
机译:
删除三角形之间的深度循环:生成三角形碎片的高效算法
作者:
Mark de Berg
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Partitioning algorithms;
Optimized production technology;
Weaving;
Computer science;
Upper bound;
Electronic mail;
Computer graphics;
87.
On the Local Structure of Stable Clustering Instances
机译:
关于稳定聚类实例的局部结构
作者:
Vincent Cohen-Addad
;
Chris Schwiegelshohn
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Clustering algorithms;
Approximation algorithms;
Algorithm design and analysis;
Stability analysis;
Extraterrestrial measurements;
Resilience;
88.
Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices
机译:
半正定矩阵永久性的简单指数逼近
作者:
Nima Anari
;
Leonid Gurvits
;
Shayan Oveis Gharan
;
Amin Saberi
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Approximation algorithms;
Eigenvalues and eigenfunctions;
Algorithm design and analysis;
Linear matrix inequalities;
Computer science;
Standards;
Symmetric matrices;
89.
Obfuscating Compute-and-Compare Programs under LWE
机译:
LWE下的混淆计算和比较程序
作者:
Daniel Wichs
;
Giorgos Zirdelis
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Encryption;
Standards;
Public key;
Integrated circuit modeling;
90.
Statistical Query Lower Bounds for Robust Estimation of High-Dimensional Gaussians and Gaussian Mixtures
机译:
统计查询下界,用于高维高斯和高斯混合的稳健估计
作者:
Ilias Diakonikolas
;
Daniel M. Kane
;
Alistair Stewart
会议名称:
《IEEE Annual Symposium on Foundations of Computer Science》
|
2017年
关键词:
Robustness;
Estimation;
Machine learning algorithms;
Testing;
Computational complexity;
Gaussian distribution;
意见反馈
回到顶部
回到首页