掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Symposium on Mathematical Foundations of Computer Science
International Symposium on Mathematical Foundations of Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
721
条结果
1.
Near-Optimal Asymmetric Binary Matrix Partitions
机译:
近乎最佳不对称二进制矩阵分区
作者:
Fidaa Abed
;
Ioannis Caragiannis
;
Alexandros A. Voudouris
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
2.
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
机译:
转型系统中的路径:模态MU - 微积分的下降
作者:
Catalin Dima
;
Bastien Maubert
;
Sophie Pinchinat
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
3.
Optimal Bounds for Estimating Entropy with PMF Queries
机译:
用PMF查询估算熵的最佳边界
作者:
Cafer Caferov
;
Baris Kaya
;
Ryan ODonnell
;
A. C. Cem Say
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
4.
Eliminating Recursion from Monadic Datalog Programs on Trees
机译:
消除树木上的Monadic Datalog程序的递归
作者:
Filip Mazowiecki
;
Joanna Ochremiak
;
Adam Witkowski
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
5.
Synchronizing Automata with Extremal Properties
机译:
使用极值属性同步自动机
作者:
Andrzej Kisielewicz
;
Marek Szykula
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
6.
Classes of Languages Generated by the Kleene Star of a Word
机译:
由Kleene明星生成的语言的课程
作者:
Laure Daviaud
;
Charles Paperman
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
7.
Efficient Computations over Encrypted Data Blocks
机译:
对加密数据块的有效计算
作者:
Giovanni Di Crescenzo
;
Brian Coan
;
Jonathan Kirsch
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
8.
Metastability of Asymptotically Well-Behaved Potential Games
机译:
渐近良好表现良好的潜在游戏的亚稳态
作者:
Diodato Ferraioli
;
Carmine Ventre
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
9.
On the Complexity of Master Problems
机译:
论硕士问题的复杂性
作者:
Martijn van Ee
;
Rene Sitters
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Computational complexity;
Polynomial hierarchy;
Universal optimization;
Unique optimal solutions;
10.
Bounding the Clique-Width of H-free Chordal Graphs
机译:
绑定了无线电视图的集团宽度
作者:
Andreas Brandstadt
;
Konrad K. Dabrowski
;
Shenwei Huang
;
Daniel Paulusma
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
11.
Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract)
机译:
可数秩序和Hausdorff-Kuratowski定理的可计算性(扩展摘要)
作者:
Arno Pauly
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
12.
Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview
机译:
Cartesian类别的固定点操作的实际属性:概述
作者:
Zoltan Esik
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
13.
Fast Dynamic Weight Matchings in Convex Bipartite Graphs
机译:
凸二角形图中快速动态权重匹配
作者:
Quan Zu
;
Miaomiao Zhang
;
Bin Yu
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
14.
Upper and Lower Bounds on Long Dual Paths in Line Arrangements
机译:
在线安排的长双径上的上限和下限
作者:
Udo Hoffmann
;
Linda Kleist
;
Tillmann Miltzow
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
15.
On Probabilistic Space-Bounded Machines with Multiple Access to Random Tape
机译:
在概率空间限制机上,多次访问随机磁带
作者:
Debasis Mandal
;
A. Pavan
;
N. V. Vinodchandran
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
16.
Weighted Automata and Logics on Graphs
机译:
加权自动机和图形上的逻辑
作者:
Manfred Droste
;
Stefan Duck
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Quantitative automata;
Graphs;
Quantitative logic;
Weighted automata;
Buchi;
Nivat;
17.
On Sampling Simple Paths in Planar Graphs According to Their Lengths
机译:
根据它们的长度对平面图中的简单路径进行采样
作者:
Sandro Montanari
;
Paolo Penna
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
18.
Strong Inapproximability of the Shortest Reset Word
机译:
最短的重置词的强烈不可识别
作者:
Pawel Gawrychowski
;
Damian Straszak
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
19.
Almost All Functions Require Exponential Energy
机译:
几乎所有功能都需要指数能量
作者:
Neal Barcelo
;
Michael Nugent
;
Kirk Pruhs
;
Michele Scquizzato
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
20.
Algorithmic Applications of Tree-Cut Width
机译:
树木切割宽度的算法应用
作者:
Robert Ganian
;
Eun Jung Kim
;
Stefan Szeider
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
21.
Densest Subgraph in Dynamic Graph Streams
机译:
动态图形流中最密集的子图
作者:
Andrew McGregor
;
David Tench
;
Sofya Vorotnikova
;
Hoa T. Vu
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
22.
Differential Bisimulation for a Markovian Process Algebra
机译:
Markovian Process代数的差异分配
作者:
Giulio Iacobelli
;
Mirco Tribastone
;
Andrea Vandin
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
23.
Minimal and Monotone Minimal Perfect Hash Functions
机译:
最小和单调最小完美的散列函数
作者:
Paolo Boldi
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
24.
Degree-Constrained Subgraph Reconfiguration is in P
机译:
程度约束的子图重新配置是p
作者:
Moritz Muhlenthaler
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
25.
Parallel Identity Testing for Skew Circuits with Big Powers and Applications
机译:
具有大功率和应用的偏斜电路的并行标识测试
作者:
Daniel Konig
;
Markus Lohrey
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
26.
A Shortcut to (Sun)Flowers: Kernels in Logarithmic Space or Linear Time
机译:
(太阳)花的快捷方式:对数空间或线性时间内的核
作者:
Stefan Fafianie
;
Stefan Kratsch
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
27.
Uniform Generation in Trace Monoids
机译:
痕量的痕量痕量
作者:
Samy Abbes
;
Jean Mairesse
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Trace monoid;
Uniform generation;
Mobius polynomial;
28.
Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases
机译:
关于有限基础的布尔公式的可靠性算法和下限
作者:
Ruiwen Chen
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Boolean formula;
Satisfiability algorithm;
Average-case lower bound;
Random restriction;
29.
New Bounds for the CLIQUE-GAP Problem Using Graph Decomposition Theory
机译:
使用曲线分解理论的集团 - 差距问题的新界限
作者:
Vladimir Braverman
;
Zaoxing Liu
;
Tejasvam Singh
;
N. V. Vinodchandran
;
Lin F. Yang
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
30.
Oblivious Transfer from Weakly Random Self-Reducible Public-Key Cryptosystem
机译:
从弱随机性的自我减少的公钥密码系统中忘记转移
作者:
Claude Crepeau
;
Raza Ali Kazmi
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
31.
Mutual Dimension and Random Sequences
机译:
相互维度和随机序列
作者:
Adam Case
;
Jack H. Lutz
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
32.
On the Complexity of Hub Labeling (Extended Abstract)
机译:
论集线器标签的复杂性(扩展摘要)
作者:
Maxim Babenko
;
Andrew V. Goldberg
;
Haim Kaplan
;
Ruslan Savchenko
;
Mathias Weller
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
33.
Modal Inclusion Logic: Being Lax is Simpler than Being Strict
机译:
模态包容逻辑:LAX比严格更简单
作者:
Lauri Hella
;
Antti Kuusisto
;
Arne Meier
;
Heribert Vollmer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
34.
On the Complexity of Reconfiguration in Systems with Legacy Components
机译:
论遗留组件系统中重新配置的复杂性
作者:
Jacopo Mauro
;
Gianluigi Zavattaro
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
35.
Quasiperiodicity and Non-computability in Tilings
机译:
曲线中的QuaSiperiodicity和不可计算的
作者:
Bruno Durand
;
Andrei Romashchenko
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Tiling;
Wang tiles;
Computability;
Quasiperiodicity;
Fixed point;
36.
On Dynamic DFS Tree in Directed Graphs
机译:
在有向图中的动态DFS树
作者:
Surender Baswana
;
Keerti Choudhary
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Dynamic;
Decremental;
Directed;
Graph;
Depth first search;
37.
When Are Prime Formulae Characteristic?
机译:
什么时候是主要公式特征?
作者:
L. Aceto
;
D. Della Monica
;
I. Fabregas
;
A. Ingolfsdottir
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
38.
Reversible and Irreversible Computations of Deterministic Finite-State Devices
机译:
确定性有限状态设备的可逆和不可逆转的计算
作者:
Martin Kutrib
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Reversibility;
Finite state devices;
Minimality;
Queue and pushdown storage;
Decidability;
Closure properties;
39.
Robust Inference and Local Algorithms
机译:
强大的推论和本地算法
作者:
Yishay Mansour
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
40.
Polynomial Kernels for Weighted Problems
机译:
用于加权问题的多项式核
作者:
Michael Etscheid
;
Stefan Kratsch
;
Matthias Mnich
;
Heiko Roglin
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
41.
Locally Chain-Parsable Languages
机译:
局部链可释放语言
作者:
Stefano Crespi Reghizzi
;
Violetta Lonati
;
Dino Mandrioli
;
Matteo Pradella
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
42.
Emergence on Decreasing Sandpile Models
机译:
出现在减少Sandpile模型
作者:
Kevin Perrot
;
Eric Remila
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Sandpile models;
Fixed points;
Emergence;
43.
Stochastization of Weighted Automata
机译:
加权自动机的随机化
作者:
Guy Avni
;
Orna Kupferman
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
44.
A Numbers-on-Foreheads Game
机译:
数字额头游戏
作者:
Sune K. Jakobsen
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
45.
The Transitivity Problem of Turing Machines
机译:
图灵机的传递问题
作者:
Anahi Gajardo
;
Nicolas Ollinger
;
Rodrigo Torres-Aviles
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Reversible computing;
Discrete dynamical systems;
Symbolic dynamics;
Topological dynamics;
Computability;
46.
Longest Gapped Repeats and Palindromes
机译:
最长的撕裂重复和parindromes
作者:
Marius Dumitran
;
Florin Manea
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
47.
On Tinhofer's Linear Programming Approach to Isomorphism Testing
机译:
Tinhofer的同构检测线性规划方法
作者:
V. Arvind
;
Johannes Kobler
;
Gaurav Rattan
;
Oleg Verbitsky
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
48.
Active Linking Attacks
机译:
主动链接攻击
作者:
Henning Schnoor
;
Oliver Woizekowski
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
49.
Exponential-Size Model Property for PDL with Separating Parallel Composition
机译:
分离平行组成的PDL指数尺寸模型特性
作者:
Joseph Boudou
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
50.
The Shifted Partial Derivative Complexity of Elementary Symmetric Polynomials
机译:
基本对称多项式的偏移部分衍生复杂性
作者:
Herve Fournier
;
Nutan Limaye
;
Meena Mahajan
;
Srikanth Srinivasan
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
51.
The Offline Carpool Problem Revisited
机译:
脱机码头问题重新审议
作者:
Saad Mneimneh
;
Saman Farhat
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Carpool problem;
Fair scheduling;
Graphs;
Flows;
Online and offline algorithms;
52.
Finding Consensus Strings with Small Length Difference Between Input and Solution Strings
机译:
在输入和解决方案字符串之间找到具有小的长度差异的共识字符串
作者:
Markus L. Schmid
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Parameterised complexity;
Hard string problems;
53.
Optimal Algorithms and a PTAS for Cost-Aware Scheduling
机译:
用于成本感知调度的最佳算法和PTA
作者:
Lin Chen
;
Nicole Megow
;
Roman Rischke
;
Leen Stougie
;
Jose Verschae
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
54.
Network Creation Games: Think Global - Act Local
机译:
网络创建游戏:认为全球 - ACT当地
作者:
Andreas Cord-Landwehr
;
Pascal Lenzner
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
55.
QMA with Subset State Witnesses
机译:
QMA具有子集状态证人
作者:
Alex Bredariol Grilo
;
Iordanis Kerenidis
;
Jamie Sikora
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
56.
Equations and Coequations for Weighted Automata
机译:
加权自动机的方程和凝固
作者:
Julian Salamanca
;
Marcello Bonsangue
;
Jan Rutten
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
57.
An Algebraic Proof of the Real Number PCP Theorem
机译:
实数PCP定理的代数证明
作者:
Martijn Baartse
;
Klaus Meer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
58.
Metric Dimension of Bounded Width Graphs
机译:
有界宽度图的度量尺寸
作者:
Remy Belmonte
;
Fedor V. Fomin
;
Petr A. Golovach
;
M. S. Ramanujan
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
59.
Phase Transition for Local Search on Planted SAT
机译:
用于本地搜索的阶段转换
作者:
Andrei A. Bulatov
;
Evgeny S. Skvortsov
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
60.
Log-Concavity and Lower Bounds for Arithmetic Circuits
机译:
算术电路的日志凹部和下限
作者:
Ignacio Garcia-Marco
;
Pascal Koiran
;
Sebastien Tavenas
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
61.
Recurrence Function on Sturmian Words: A Probabilistic Study
机译:
Sturmian词的复发功能:概率研究
作者:
Valerie Berthe
;
Eda Cesaratto
;
Pablo Rotondo
;
Brigitte Vallee
;
Alfredo Viola
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
62.
Algebraic Synchronization Criterion and Computing Reset Words
机译:
代数同步标准和计算重置字
作者:
Mikhail Berlinkov
;
Marek Szykula
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
63.
Visibly Counter Languages and the Structure of NC~1
机译:
明显的计量语言和NC〜1的结构
作者:
Michael Hahn
;
Andreas Krebs
;
Klaus-Jorn Lange
;
Michael Ludwig
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
64.
Ratio and Weight Quantiles
机译:
比例和体重量
作者:
Daniel Krahmann
;
Jana Schubert
;
Christel Baier
;
Clemens Dubslaff
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
65.
Complexity of Propositional Independence and Inclusion Logic
机译:
命题独立性和包涵逻辑的复杂性
作者:
Miika Hannula
;
Juha Kontinen
;
Jonni Virtema
;
Heribert Vollmer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Propositional logic;
Team semantics;
Dependence;
Independence;
Inclusion;
Satisfiability;
Validity;
Model-checking;
66.
On the Complexity of Noncommutative Polynomial Factorization
机译:
论非传染性多项式分解的复杂性
作者:
V. Arvind
;
Gaurav Rattan
;
Pushkar Joglekar
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
67.
The Price of Connectivity for Cycle Transversals
机译:
循环横向的连接价格
作者:
Tatiana R. Hartinger
;
Matthew Johnson
;
Martin Milanic
;
Daniel Paulusma
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
68.
Parameterized Algorithms for Parity Games
机译:
奇偶校验游戏的参数化算法
作者:
Jakub Gajarsky
;
Michael Lampis
;
Kazuhisa Makino
;
Valia Mitsou
;
Sebastian Ordyniak
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
69.
Efficient Algorithm for Computing All Low s-t Edge Connectivities in Directed Graphs
机译:
用于计算定向图中所有低S-T边缘连接性的高效算法
作者:
Xiaowei Wu
;
Chenzi Zhang
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
70.
On the Hardness of Almost-Sure Termination
机译:
关于几乎肯定的终止的硬度
作者:
Benjamin Lucien Kaminski
;
Joost-Pieter Katoen
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Probabilistic programs;
Expected outcomes;
Almost-sure termination;
Positive almost-sure termination;
Computational hardness;
71.
Easy Multiple-Precision Divisors and Word-RAM Constants
机译:
易于多精度除数和Word-RAM常量
作者:
Torben Hagerup
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
72.
Efficient Equilibria in Polymatrix Coordination Games
机译:
Polyatrix协调游戏中有效均衡
作者:
Mona Rahn
;
Guido Schafer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
73.
Graphs Identified by Logics with Counting
机译:
通过计数逻辑标识的图表
作者:
Sandra Kiefer
;
Pascal Schweitzer
;
Erkal Selman
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
74.
Definability by Weakly Deterministic Regular Expressions with Counters is Decidable
机译:
通过与计数器的弱确定规则表达式的可定性是可判定的
作者:
Markus Latte
;
Matthias Niewerth
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
75.
Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel
机译:
广义伪最删除:算法和统一内核
作者:
Geevarghese Philip
;
Ashutosh Rai
;
Saket Saurabh
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
76.
Randomized Polynomial Time Protocol for Combinatorial Slepian-Wolf Problem
机译:
组合斜羽问题的随机多项式时间方案
作者:
Daniyar Chumbalov
;
Andrei Romashchenko
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Slepian-Wolf coding;
Communication complexity;
Coding theory;
Randomized encoding;
Pseudo-random permutations;
77.
A Circuit Complexity Approach to Transductions
机译:
转换的电路复杂性方法
作者:
Michael Cadilhac
;
Andreas Krebs
;
Michael Ludwig
;
Charles Paperman
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
78.
Maximum Minimal Vertex Cover Parameterized by Vertex Cover
机译:
顶点盖板参数化的最大最小顶点盖
作者:
Meirav Zehavi
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
79.
Finitary Semantics of Linear Logic and Higher-Order Model-Checking
机译:
线性逻辑和高阶模型检查的合成语义
作者:
Charles Grellois
;
Paul-Andre Mellies
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
关键词:
Higher-order model-checking;
Linear logic;
Selection problem;
Finitary semantics;
Parity games;
80.
Lost in Self-Stabilization
机译:
迷失在自我稳定
作者:
Damien Regnault
;
Eric Remila
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
81.
On the Complexity of Speed Scaling
机译:
论速度缩放的复杂性
作者:
Neal Barcelo
;
Peter Kling
;
Michael Nugent
;
Kirk Pruhs
;
Michele Scquizzato
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
82.
Dual VP Classes
机译:
双副总裁课程
作者:
Eric Allender
;
Anna Gal
;
Ian Mertz
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
83.
Faster Lightweight Lempel-Ziv Parsing
机译:
更快的轻量级LEMPEL-ZIV解析
作者:
Dmitry Kosolobov
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
84.
Equality, Revisited
机译:
平等,重新审视
作者:
Ralph Bottesch
;
Dmitry Gavinsky
;
Hartmut Klauck
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
85.
Precise Upper and Lower Bounds for the Monotone Constraint Satisfaction Problem
机译:
单调约束满足问题的精确上限和下限
作者:
Victor Lagerkvist
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2015年
86.
Undecidable Properties of Self-affine Sets and Multi-tape Automata
机译:
自助组和多磁带自动机的未定定性质
作者:
Timo Jolivet
;
Jarkko Kari
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
87.
Determinising Parity Automata
机译:
确定奇偶校验自动机构
作者:
Sven Schewe
;
Thomas Varghese
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
88.
Classifying Recognizable Infinitary Trace Languages Using Word Automata
机译:
使用Word Automata进行分类可识别的无限跟踪语言
作者:
Namit Chaturvedi
;
Marcus Gelderie
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
89.
Random Deterministic Automata
机译:
随机确定性自动机
作者:
Cyril Nicaud
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
90.
Communication Complexity Theory: Thirty-Five Years of Set Disjointness
机译:
通信复杂性理论:三十五年的设定差异
作者:
Alexander A. Sherstov
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
关键词:
Set disjointness problem;
Communication complexity;
Communication lower bounds;
91.
Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis
机译:
鉴于指数时假设的优化问题的时间复杂性
作者:
Peter Jonsson
;
Victor Lagerkvist
;
Johannes Schmidt
;
Hannes Uppman
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
92.
Alternating Parity Krivine Automata
机译:
交替的奇偶诊断krivine自动机
作者:
Florian Bruse
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
关键词:
Higher-Order Modal Fixpoint Logic;
Fixpoint Logic;
Krivine Machine;
λ-Calculus;
93.
Size-Change Abstraction and Max-Plus Automata
机译:
尺寸更改抽象和MAX-Plus自动机
作者:
Thomas Colcombet
;
Laure Daviaud
;
Florian Zuleger
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
94.
Complexity of Equivalence and Learning for Multiplicity Tree Automata
机译:
不同树木自动机的等价与学习的复杂性
作者:
Ines Marusic
;
James Worrell
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
95.
An H_(n/2) Upper Bound on the Price of Stability of Undirected Network Design Games
机译:
一个H_(n / 2)上限对无向网络设计游戏的稳定性价格
作者:
Akaki Mamageishvili
;
Matus Mihalak
;
Simone Montemezzani
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
96.
Asymptotic Monadic Second-Order Logic
机译:
渐近的Monadic二阶逻辑
作者:
Achim Blumensath
;
Olivier Carton
;
Thomas Colcombet
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
97.
On Upper and Lower Bounds on the Length of Alternating Towers
机译:
在交替塔的长度上上下边界
作者:
Stepan Holub
;
Galina Jiraskova
;
Tomas Masopust
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
98.
The Two Queries Assumption and Arthur-Merlin Classes
机译:
两个查询和亚瑟 - Merlin课程
作者:
Vyas Ram Selvam
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
关键词:
Computational complexity;
Two queries assumption;
SAT oracle;
Arthur-Merlin classes;
99.
Transforming Two-Way Alternating Finite Automata to One-Way Nondeterministic Automata
机译:
将双向交替有限自动机转换为单向无限制的自动机
作者:
Viliam Geffert
;
Alexander Okhotin
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
100.
Knocking Out P_k-free Graphs
机译:
敲掉免费图形
作者:
Matthew Johnson
;
Daniel Paulusma
;
Anthony Stewart
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2014年
上一页
1
2
3
4
5
6
7
8
下一页
意见反馈
回到顶部
回到首页