掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
)
清除
导出
1.
Adversarial Queueing Model for Continuous Network Dynamics
机译:
持续网络动态的对抗排队模型
作者:
Maria J. Blesa
;
Daniel Calzada
;
Antonio Fernandez
;
Luis Lopez
;
Andres L. Martinez
;
Agustin Santos
;
Maria Serna
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
2.
Reconstructing an Ultrametric Galled Phylogenetic Network from a Distance Matrix
机译:
从距离矩阵重建超空白的粘附系统
作者:
Ho-Leung Chan
;
Jesper Jansson
;
Tak-Wah Lam
;
Siu-Ming Yiu
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
3.
Page Migration in Dynamic Networks
机译:
动态网络中的页面迁移
作者:
Marcin Bienkowski
;
Friedhelm Meyer auf der Heide
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
4.
Packing Weighted Rectangles into a Square
机译:
将加权矩形包装成正方形
作者:
Aleksei V. Fishkin
;
Olga Gerber
;
Klaus Jansen
;
Roberto Solis-Oba
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
5.
D-Width: A More Natural Measure for Directed Tree Width
机译:
D-宽度:针对树木宽度的更自然度量
作者:
Mohammad Ali Safari
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
6.
Finding Exact and Maximum Occurrences of Protein Complexes in Protein-Protein Interaction Graphs
机译:
在蛋白质 - 蛋白质相互作用图中发现精确和最大的蛋白质复合物出现
作者:
Guillaume Fertin
;
Romeo Rizzi
;
Stephane Vialette
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
7.
Basic Mereology with Equivalence Relations
机译:
与等价关系的基本情况
作者:
Ryszard Janicki
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
8.
Basic Properties for Sand Automata
机译:
砂自动机的基本属性
作者:
J. Cervelle
;
E. Formenti
;
B. Masson
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
关键词:
sand automata;
reversibility;
undecidability;
ultimate periodicity;
9.
Removing Bidirectionality from Nondeterministic Finite Automata
机译:
从非匹配的有限自动机中删除双向
作者:
Christos Kapoutsis
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
10.
Isomorphic Implication
机译:
同构含义
作者:
Michael Bauland
;
Edith Hemaspaandra
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
11.
An Invitation to Play
机译:
邀请玩
作者:
Wieslaw Zielonka
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
12.
Random Databases and Threshold for Monotone Non-recursive Datalog
机译:
单调非递归数据记录的随机数据库和阈值
作者:
Konstantin Korovin
;
Andrei Voronkov
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
13.
Combining Self-reducibility and Partial Information Algorithms
机译:
结合自我还原性和部分信息算法
作者:
Andre Hernich
;
Arfst Nickelsen
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
14.
Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications
机译:
整数中线性不等式系统解决方案的基础:计算和应用
作者:
D. Chubarov
;
A. Voronkov
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
15.
Goals in the Propositional Horn Language Are Monotone Boolean Circuits
机译:
命题喇叭语言的目标是单调布尔电路
作者:
J. Gaintzarain
;
M. Hermo
;
M. Navarro
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
16.
Explicit Inapproximability Bounds for the Shortest Superstring Problem
机译:
最短的超级问题的明确不可达到的界限
作者:
Virginia Vassilevska
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
17.
Coloring Sparse Random k-Colorable Graphs in Polynomial Expected Time
机译:
在多项式预期时间中着色稀疏随机k可色图
作者:
Julia Boettcher
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
18.
A BDD-Representation for the Logic of Equality and Uninterpreted Functions
机译:
用于平等和未解释功能的逻辑的BDD表示
作者:
Jaco van de Pol
;
Olga Tveretina
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
19.
On Small Hard Leaf Languages
机译:
关于小硬盘语言
作者:
Falk Unger
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
关键词:
computational complexity;
leaf languages;
seeds;
sparseness;
20.
On the Complexity of Mixed Discriminants and Related Problems
机译:
论混合判别和相关问题的复杂性
作者:
Leonid Gurvits
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
21.
On the Complexity of Depth-2 Circuits with Threshold Gates
机译:
阈值门的深度2电路的复杂性
作者:
Kazuyuki Amano
;
Akira Maruoka
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
22.
New Resource Augmentation Analysis of the Total Stretch of SRPT and SJF in Multiprocessor Scheduling
机译:
多处理器调度中SRPT总延伸和SJF的新资源增强分析
作者:
Wun-Tat Chan
;
Tak-Wah Lam
;
Kin-Shing Liu
;
Prudence W.H. Wong
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
23.
Zeta-Dimension
机译:
Zeta维
作者:
David Doty
;
Xiaoyang Gu
;
Jack H. Lutz
;
Elvira Mayordomo
;
Philippe Moser
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
24.
Online and Dynamic Recognition of Squarefree Strings
机译:
在线和动态识别SquareFree字符串
作者:
Jesper Jansson
;
Zeshan Peng
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
25.
Abstract Numeration Systems and Tilings
机译:
抽象数量系统和划线
作者:
Valerie Berthe
;
Michel Rigo
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
26.
Some Computational Issues in Membrane Computing
机译:
膜计算中的一些计算问题
作者:
Oscar H. Ibarra
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
27.
An Exact 2.9416{sup}n Algorithm for the Three Domatic Number Problem
机译:
三个统治数问题的精确2.9416 {sup} n算法
作者:
Tobias Riege
;
Jorg Rothe
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
关键词:
Exact algorithms;
Domatic number problem;
28.
Tight Approximability Results for the Maximum Solution Equation Problem over Z_p
机译:
Z_P最大解决方案问题的紧缩近似性
作者:
Fredrik Kuivinen
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
29.
The Generalization of Dirac's Theorem for Hypergraphs
机译:
狄拉克定理的超图概括
作者:
Endre Szemeredi
;
Andrzej Rucinski
;
Vojtech Roedl
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
30.
On Beta-Shifts Having Arithmetical Languages
机译:
关于具有算术语言的β转移
作者:
Jakob Grue Simonsen
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
31.
On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions
机译:
关于Montecarlo集成可定义功能所需的随机数字数量
作者:
Cesar L. Alonso
;
Jose L. Montana
;
Luis M. Pardo
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
关键词:
montecarlo algorithms;
discrepancy bounds;
learning theory;
chebyshev inequalities;
semi-algebraic geometry;
32.
Linearly Bounded Infinite Graphs
机译:
线性有限无限图
作者:
Arnaud Carayol
;
Antoine Meyer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
33.
Approximating Polygonal Objects by Deformable Smooth Surfaces
机译:
通过可变形的光滑表面近似多边形物体
作者:
Ho-lun Cheng
;
Tony Tan
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
34.
Stratified Boolean Grammars
机译:
分层布尔语法
作者:
Michal Wrona
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
35.
Inverse Monoids: Decidability and Complexity of Algebraic Questions
机译:
倒数单向:代数问题的可解锁性和复杂性
作者:
Markus Lohrey
;
Nicole Ondrusch
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
36.
Languages Representable by Vertex-Labeled Graphs
机译:
用顶点标记的图表表示的语言
作者:
Igor Grunsky
;
Oleksiy Kurganskyy
;
Igor Potapov
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
37.
Zeta-Dimension(Preliminary Version)
机译:
Zeta-Dimension(初步版)
作者:
David Doty
;
Xiaoyang Gu
;
Jack H. Lutz
;
Elvira Mayordomo
;
Philippe Moser
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2005年
38.
On the Correlation Between Parity and Modular Polynomials
机译:
关于奇偶校验与模块化多项式的相关性
作者:
Anna Gal
;
Vladimir Trifonov
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
39.
The Complexity of Counting Functions with Easy Decision Version
机译:
简单决策版本计数功能的复杂性
作者:
Aris Pagourtzis
;
Stathis Zachos
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
40.
An Efficient Algorithm Finds Noticeable Trends and Examples Concerning the Cerny Conjecture
机译:
有效的算法发现了有关Cerny猜想的明显趋势和示例
作者:
A.N. Trahtman
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
deterministic finite automaton;
synchronizing word;
algorithm;
complexity;
cerny conjecture;
41.
The Kleene Equality for Graphs
机译:
图形的Kleene平等
作者:
Arnaud Carayol
;
Didier Caucal
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
42.
Characterizing Valiant’s Algebraic Complexity Classes
机译:
表征Valiant的代数复杂性课程
作者:
Guillaume Malod
;
Natacha Portier
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
Algebraic complexity;
Valiant’s theory;
polynomials;
Permanent;
Determinant;
arithmetic circuits;
skew circuits;
43.
Magic Numbers in the State Hierarchy of Finite Automata
机译:
有限自动机的状态层次中的魔术数字
作者:
Viliam Geffert
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
descriptional complexity;
finite-state automata;
44.
Generalised Integer Programming Based on Logically Defined Relations
机译:
基于逻辑定义关系的广义整数编程
作者:
Peter Jonsson
;
Gustav Nordh
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
45.
Guarantees for the Success Frequency of an Algorithm for Finding Dodgson-Election Winners
机译:
用于查找Dodgson选举获奖者算法的成功频率的保证
作者:
Christopher M. Homan
;
Lane A. Hemaspaandra
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
46.
A Unified Construction of the Glushkov, Follow, and Antimirov Automata
机译:
Glushkov的统一建设,关注和Antimirov Automata
作者:
Cyril Allauzen
;
Mehryar Mohri
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
47.
Online Single Machine Batch Scheduling
机译:
在线单机批处理调度
作者:
Beat Gfeller
;
Leon Peeters
;
Birgitta Weber
;
Peter Widmayer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
scheduling;
batching;
online analysis;
competitive ratio;
48.
Crochemore Factorization of Sturmian and Other Infinite Words
机译:
斯特林和其他无限话语的鳄鱼科学
作者:
Jean Berstel
;
Alessandra Savelli
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
49.
Probabilistic Length-Reducing Automata
机译:
概率长度减少自动机
作者:
Tomasz Jurdzinski
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
50.
Smart Robot Teams Exploring Sparse Trees
机译:
聪明的机器人队探索稀疏的树木
作者:
M. Dynia
;
J. Kutylowski
;
F. Meyer auf der Heide
;
C. Schindelhauer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
51.
A Combinatorial Approach to Collapsing Words
机译:
折叠词的组合方法
作者:
A. Cherubini
;
P. Gawrychowski
;
A. Kisielewicz
;
B. Piochi
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
52.
The Data Complexity of MDatalog in Basic Modal Logics
机译:
基本模态逻辑中MDatalog的数据复杂性
作者:
Linh Anh Nguyen
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
53.
K-Sets of Convex Inclusion Chains of Planar Point Sets
机译:
平面点套装凸包装链
作者:
Wael El Oraiby
;
Dominique Schmitt
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
54.
Partially Commutative Inverse Monoids
机译:
部分换向逆长度
作者:
Volker Diekert
;
Markus Lohrey
;
Alexander Miller
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
55.
Distributed Data Structures: A Survey on Informative Labeling Schemes
机译:
分布式数据结构:信息性标签方案调查
作者:
Cyril Gavoille
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
data-structures;
distributed algorithm;
labeling scheme;
graphs;
56.
The Price of Defense
机译:
防守价格
作者:
Marios Mavronicolas
;
Loizos Michael
;
Vicky Papadopoulou
;
Anna Philippou
;
Paul Spirakis
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
57.
Sorting Long Sequences in a Single Hop Radio Network
机译:
在单跳无线电网络中排序长序列
作者:
Marcin Kik
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
58.
Very Sparse Leaf Languages
机译:
非常稀疏的叶子语言
作者:
Lance Fortnow
;
Mitsunori Ogihara
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
59.
Algebraic Characterizations of Unitary Linear Quantum Cellular Automata
机译:
单一线性量子蜂窝自动机的代数特征
作者:
Pablo Arrighi
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
60.
On the Repetition Threshold for Large Alphabets
机译:
关于大字母表的重复阈值
作者:
Arturo Carpi
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
61.
Valiant's Model: From Exponential Sums to Exponential Products
机译:
valiant的型号:从指数和指数产品
作者:
Pascal Koiran
;
Sylvain Perifel
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
62.
On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures
机译:
论概率措施相关的蜂窝自动机限制集的复杂性
作者:
Laurent Boyer
;
Victor Poupet
;
Guillaume Theyssier
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
63.
Coloring Random 3-Colorable Graphs with Non-uniform Edge Probabilities
机译:
着色随机3可色图,具有非均匀边缘概率
作者:
Ulrik Brandes
;
Juergen Lerner
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
64.
An Expressive Temporal Logic for Real Time
机译:
实时表达时间逻辑
作者:
Yoram Hirshfeld
;
Alexander Rabinovich
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
65.
Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability
机译:
快速迭代阵列,具有限制间间通信:结构和可解锁性
作者:
Martin Kutrib
;
Andreas Malcher
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
66.
On Genome Evolution with Innovation
机译:
论创新的基因组进化
作者:
Damian Wojtowicz
;
Jerzy Tiuryn
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
67.
The Multiparty Communication Complexity of Exact-T: Improved Bounds and New Problems
机译:
精确的多群通信复杂性:改进的界限和新问题
作者:
Richard Beigel
;
William Gasarch
;
James Glenn
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
68.
From Three Ideas in TCS to Three Applications in Bioinformatics
机译:
从TCS中的三个想法到生物信息学的三种应用
作者:
Ming Li
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
69.
The Structure of Tractable Constraint Satisfaction Problems
机译:
贸易约束满足问题的结构
作者:
Martin Grohe
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
70.
Optimally Fast Data Gathering in Sensor Networks
机译:
在传感器网络中最佳地收集数据
作者:
Luisa Gargano
;
Adele A. Rescigno
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
71.
Non-cooperative Tree Creation
机译:
非合作树创建
作者:
Martin Hoefer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
72.
Improved Parameterized Upper Bounds for Vertex Cover
机译:
改进了顶点的顶面的顶面
作者:
Jianer Chen
;
Iyad A. Kanj
;
Ge Xia
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
73.
Valiant’s Model: From Exponential Sums to Exponential Products
机译:
valiant的型号:从指数和指数产品
作者:
Pascal Koiran
;
Sylvain Perifel
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
74.
On the Representation of Kleene Algebras with Tests
机译:
关于Kleene代数的测试
作者:
Dexter Kozen
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
75.
Dimension Characterizations of Complexity Classes
机译:
复杂性课程的尺寸特征
作者:
Xiaoyang Gu
;
Jack H. Lutz
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
76.
Characterizing Valiant's Algebraic Complexity Classes
机译:
表征Valiant的代数复杂性课程
作者:
Guillaume Malod
;
Natacha Portier
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
algebraic complexity;
valiant's theory;
polynomials;
permanent;
determinant;
arithmetic circuits;
skew circuits;
77.
Equations on Partial Words
机译:
部分单词的方程
作者:
F. Blanchet-Sadri
;
D. Dakota Blair
;
Rebeca V. Lewis
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
78.
Multicast Transmissions in Non-cooperative Networks with a Limited Number of Selfish Moves
机译:
非协作网络中的多播传输,具有有限数量的自私动作
作者:
Angelo Fanelli
;
Michele Flammini
;
Giovanna Melideo
;
Luca Moscardelli
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
multicast;
nash equilibria;
price of anarchy;
limited number of best responses;
79.
Quantum Weakly Nondeterministic Communication Complexity
机译:
量子弱不明显的通信复杂性
作者:
Francois Le Gall
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
80.
Constrained Minimum Enclosing Circle with Center on a Query Line Segment
机译:
在查询线段上的中心约束最小封闭圆圈
作者:
Sasanka Roy
;
Arindam Karmakar
;
Sandip Das
;
Subhas C. Nandy
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
81.
Querying and Embedding Compressed Texts
机译:
查询和嵌入压缩文本
作者:
Yury Lifshits
;
Markus Lohrey
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
82.
Tree Exploration with an Oracle
机译:
树探索与甲骨文
作者:
Pierre Fraigniaud
;
David Ilcinkas
;
Andrzej Pelc
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
83.
On Matroid Represent ability and Minor Problems
机译:
在麦芽糖代表能力和轻微问题
作者:
Petr Hlineny
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
matroid representability;
minor;
finite field;
spike;
swirl. 2000 Math subject classification: 05B35;
68Q17;
68R05;
84.
A Reachability Algorithm for General Petri Nets Based on Transition Invariants
机译:
基于转换不变的Petri网的可达性算法
作者:
Alexander E. Kostin
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
petri nets;
reachability;
transition invariants;
85.
Optimal Linear Arrangement of Interval Graphs
机译:
间隔图的最佳线性排列
作者:
Johanne Cohen
;
Fedor Fomin
;
Pinar Heggernes
;
Dieter Kratsch
;
Gregory Kucherov
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
86.
Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture
机译:
有限半群的方程式和#csp二分法猜想
作者:
Ondrej Klima
;
Benoit Larose
;
Pascal Tesson
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
87.
The Lempel-Ziv Complexity of Fixed Points of Morphisms
机译:
固定态度的lempel-ziv复杂性
作者:
Sorin Constantinescu
;
Lucian Ilie
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
88.
Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-triangles
机译:
具有凸多边形和伪三角形的分解,隔板和覆盖物
作者:
O. Aichholzer
;
C. Huemer
;
S. Kappes
;
B. Speckmann
;
C.D. Toth
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
89.
NOF-Multiparty Information Complexity Bounds for Pointer Jumping
机译:
Nof-Multiparty信息复杂性指针跳跃
作者:
Andre Gronemeier
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
90.
Hierarchical Unambiguity
机译:
分层unmbigituity.
作者:
Holger Spakowski
;
Rahul Tripathi
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
91.
Minimal Chordal Sense of Direction and Circulant Graphs
机译:
最小的曲线方向和循环图
作者:
Rodrigo S.C. Leao
;
Valmir C. Barbosa
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
chordal sense of direction;
cayley graphs;
circulant graphs;
92.
Lempel-Ziv Dimension for Lempel-Ziv Compression
机译:
LEMPEL-ZIV压缩的ZIV尺寸
作者:
Maria Lopez-Valdes
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
93.
Machines that Can Output Empty Words
机译:
可以输出空字的机器
作者:
Christian Glasser
;
Stephen Travers
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
94.
Approximate Shortest Path Queries on Weighted Polyhedral Surfaces
机译:
加权多面体表面上的近似最短路径查询
作者:
Lyudmil Aleksandrov
;
Hristo N. Djidjev
;
Hua Guo
;
Anil Maheshwari
;
Doron Nussbaum
;
Joerg-Ruediger Sack
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
95.
Concrete Multiplicative Complexity of Symmetric Functions
机译:
对称函数的具体乘法复杂性
作者:
Joan Boyar
;
Rene Peralta
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
96.
Approximation Algorithms and Hardness Results for Labeled Connectivity Problems
机译:
标记连接问题的近似算法和硬度结果
作者:
Refael Hassin
;
Jerome Monnot
;
Danny Segev
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
97.
Learning Bayesian Networks Does Not Have to Be NP-Hard
机译:
学习贝叶斯网络不必是NP-HARD
作者:
Norbert Dojer
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
98.
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions
机译:
从扣除图到证明网:盒子和分享在扣除的图形演示中
作者:
Herman Geuvers
;
Iris Loeb
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
99.
Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes
机译:
规范无背景流程的双催化等价算法更快
作者:
Slawomir Lasota
;
Wojciech Rytter
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
100.
On Matroid Representability and Minor Problems
机译:
关于麦芽糖可见度和轻微问题
作者:
Petr Hliněny
会议名称:
《International Symposium on Mathematical Foundations of Computer Science》
|
2006年
关键词:
Matroid representability;
minor;
finite field;
spike;
swirl. 2000 Math subject classification: 05B35;
68Q17;
68R05;
意见反馈
回到顶部
回到首页