掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Mathematical foundations of computer science 2011
Mathematical foundations of computer science 2011
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
机器人技术与应用
智能系统学报
计算机与数字工程
个人电脑
制造业自动化
传感技术学报
直通VIP
计算机与现代化
传感器世界
铁路计算机应用
更多>>
相关外文期刊
International Journal of Smart Engineering System Design
Inside the Internet
Real-time systems
New Generation Computing
Automated software engineering
International journal of unconventional computing
Journal of Organizational and End User Computing
Journal of information technology research
International journal of advanced intelligence paradigms
AI Magazine
更多>>
相关中文会议
2008全国软件与应用学术会议(NASAC'08)
第十六届全国网络与数据通信学术会议(NDCC2008)
2002'安徽省电力工业计算机应用学术会议
山东省自动化学会2002年学术年会
第九届全国技术过程故障诊断与安全性学术会议
第14届中国少数民族语言文字信息处理学术研讨会
2016全国第十四届嵌入式系统学术会议 (ESTC2016)
首届银行和第三方支付行业信息安全等级保护技术大会
全国第四届自动化应用技术交流会
第七届全国高校计算机网络教学暨网络工程专业建设研讨会
更多>>
相关外文会议
The IEEE Ninth International Conference on Mobile Ad-hoc and Sensor Networks
2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion
DEFT 2012 Workshop: Text Mining Challenge
Enabling Technologies for High-Bandwidth Applications
Low Frequency Power Measurement and Analysis
Software quality management V: The quality challenge
Speech Coding
6th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent Systems
Image Handling and Reproduction Systems Integration
IP operations and management
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Adhesivity Is Not Enough: Local Church-Rosser Revisited
机译:
粘合性还不够:重新审视当地的教堂-罗斯
作者:
Paolo Baldan
;
Fabio Gadducci
;
Pawel Sobocinski
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
adhesive and extensive categories;
double-pushout rewriting;
local church-rosser property;
parallel and sequential independence;
2.
Size and Computation of Injective Tree Automatic Presentations
机译:
内射树自动表示的大小和计算
作者:
Dietrich Kuske
;
Thomas Weidner
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
3.
Distributed Synthesis for Regular and Contextfree Specifications
机译:
常规和上下文无关规范的分布式综合
作者:
Wladimir Fridman
;
Bernd Puchala
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
4.
The Complexity of the Cover Polynomials for Planar Graphs of Bounded Degree
机译:
有界度平面图的覆盖多项式的复杂度
作者:
Markus Blaser
;
Radu Curticapean
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
5.
Quantitative Refinement for Weighted Modal Transition Systems
机译:
加权模态转换系统的定量细化
作者:
Sebastian S. Bauer
;
Uli Fahrenberg
;
Line Juhl
;
Kim G. Larsen
;
Axel Legay
;
Claus Thrane
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
reducing complexity of design;
modal specifications;
quantitative reasoning;
6.
New Parameterized Algorithms for the Edge Dominating Set Problem
机译:
边缘支配集问题的新参数化算法
作者:
Mingyu Xiao
;
Ton Kloks
;
Sheung-Hung Poon
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
7.
Untimed Language Preservation in Timed Systems
机译:
定时系统中的非定时语言保留
作者:
Ocan Sankur
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
8.
Lower Bounds for Linear Decision Trees via an Energy Complexity Argument
机译:
基于能量复杂度参数的线性决策树的下界
作者:
Kei Uchizawa
;
Eiji Takimoto
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
9.
Quantum Finite Automata and Probabilistic Reversible Automata: R-trivial Idempotent Languages
机译:
量子有限自动机和概率可逆自动机:R平凡等幂语言
作者:
Marats Golovkins
;
Maksim Kravtsev
;
Vasilijs Kravcevs
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
10.
Hard Functions for Low-Degree Polynomials over Prime Fields
机译:
素数域上低度多项式的硬函数
作者:
Andrej Bogdanov
;
Akinori Kawachi
;
Hidetoki Tanaka
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
11.
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
机译:
并发递归程序的时间逻辑:可满足性和模型检查
作者:
Benedikt Bollig
;
Aiswarya Cyriac
;
Paul Gastin
;
Marc Zeitoun
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
12.
The Reachability Problem for Vector Addition System with One Zero-Test
机译:
一个零检验的矢量加法系统的可达性问题
作者:
Remi Bonnet
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
13.
Language Equivalence of Deterministic Real-Time One-Counter Automata Is N L-Complete
机译:
确定性实时单计数器自动机的语言对等是N L完全
作者:
Stanislav Boehm
;
Stefan Goeller
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
14.
Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs
机译:
在无穷树上表征EF和传递图上的模态逻辑
作者:
Balder ten Cate
;
Alessandro Facchini
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
15.
Contracting a Chordal Graph to a Split Graph or a Tree
机译:
将和弦图压缩为拆分图或树
作者:
Petr A. Golovach
;
Marcin Kamiriski
;
Danieel Paulusma
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
16.
A Universally Defined Undecidable Unimodal Logic
机译:
通用定义的不确定的单峰逻辑
作者:
Edith Hemaspaandra
;
Henning Schnoor
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
modal logic;
satisfiability problems;
decidability;
17.
On the Complexity of the l-diversity Problem
机译:
关于l-多样性问题的复杂性
作者:
Riccardo Dondi
;
Giancarlo Mauri
;
Italo Zoppis
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
18.
On the Use of Guards for Logics with Data
机译:
关于对数据进行逻辑保护的使用
作者:
Thomas Colcombet
;
Clemens Ley
;
Gabriele Puppis
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
19.
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection
机译:
数值约束复杂性的代数理论:建立伽罗瓦联系
作者:
David A. Cohen
;
Paidi Creed
;
Peter G. Jeavons
;
Stanislav Zivny
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
20.
The Role of Polymorphism in the Characterisation of Complexity by Soft Types
机译:
多态性在通过软类型表征复杂性中的作用
作者:
Jacek Chrzaszcz
;
Aleksy Schubert
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
21.
Compressed Word Problems for Inverse Monoids
机译:
逆半定词的压缩词问题
作者:
Markus Lohrey
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
22.
Periodicity Algorithms for Partial Words
机译:
偏词的周期性算法
作者:
Florin Manea
;
Robert Mercas
;
Catalin Tiseanu
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
combinatorics on words;
periodicity;
partial words;
23.
Streaming Algorithms for Recognizing Nearly Well-Parenthesized Expressions
机译:
识别几乎很好理解的表达式的流算法
作者:
Andreas Krebs
;
Nutan Limaye
;
Srikanth Srinivasan
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
24.
Symmetric Functions Capture General Functions (Extended Abstract)
机译:
对称函数捕获通用函数(扩展摘要)
作者:
Richard J. Lipton
;
Kenneth W. Regan
;
Atri Rudra
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
25.
Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence
机译:
Kadanoff砂桩模型雪崩的转导及其在波型出现中的应用
作者:
Kevin Perrot
;
Eric Remila
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
discrete dynamical system;
self-organized criticality;
sand pile model;
transducer;
26.
Problems Parameterized by Treewidth Tractable in Single Exponential Time: A Logical Approach
机译:
单指数时间可伸缩的树宽参数化问题:一种逻辑方法
作者:
Michal Pilipczuk
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
27.
Geometric Graphs with Randomly Deleted Edges - Connectivity and Routing Protocols
机译:
边缘随机删除的几何图-连接性和路由协议
作者:
K. Krzywdziriski
;
K. Rybarczyk
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
28.
State Complexity of Operations on Input-Driven Pushdown Automata
机译:
输入驱动下推自动机的操作状态复杂度
作者:
Alexander Okhotin
;
Kai Salomaa
会议名称:
《》
|
2011年
29.
Conflict Packing Yields Linear Vertex-Kernels for k-FAST, k-dense RTI and a Related Problem
机译:
冲突填充产生k-FAST,k-密集RTI和相关问题的线性顶点核
作者:
Christophe Paul
;
Anthony Perez
;
Stephan Thomasse
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
30.
Weak Cost Monadic Logic over Infinite Trees
机译:
无限树上的弱成本单子逻辑
作者:
Michael Vanden Boom
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
31.
Submodularity on a Tree: Unifying L~(#)-Convex and Bisubmodular Functions
机译:
树上的子模量:统一L〜(#)-凸和双子模量函数
作者:
Vladimir Kolmogorov
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
submodularity;
L~(#)-convexity;
bisubmodularity;
valued constraint satisfaction problem (VCSP);
32.
Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable
机译:
实解析函数方程组的可满足性是可确定的
作者:
Peter Franek
;
Stefan Ratschan
;
Piotr Zgliczynski
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
33.
On Minimising Automata with Errors
机译:
关于最小化带有错误的自动机
作者:
Pawel Gawrychowski
;
Artur Jez
;
Andreas Maletti
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
finite automaton;
minimisation;
lossy compression.;
34.
Faster Coupon Collecting via Replication with Applications in Gossiping
机译:
通过闲聊中的应用程序通过复制更快地收集优惠券
作者:
Petra Berenbrink
;
Robert Elsaesser
;
Tom Friedetzky
;
Lars Nagel
;
Thomas Sauerwald
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
35.
Verifying Proofs in Constant Depth
机译:
验证恒定深度的证明
作者:
Olaf Beyersdorff
;
Samir Datta
;
Meena Mahajan
;
Gido Scharfenberger-Fabian
;
Karteek Sreenivasaiah
;
Michael Thomas
;
Heribert Vollmer
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
36.
Some Variants of the Star Height Problem
机译:
星高问题的一些变体
作者:
Daniel Kirsten
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
37.
Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
机译:
求解无限域上的多项式解析微分方程。
作者:
Olivier Bournez
;
Daniel S. Graga
;
Amaury Pouly
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
38.
Can Everybody Sit Closer to Their Friends Than Their Enemies?
机译:
每个人都可以比敌人更靠近朋友吗?
作者:
Anne-Marie Kermarrec
;
Christopher Thraves
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
signed graphs;
graph embedding;
graph drawing;
structural balance;
39.
Model Checking Coverability Graphs of Vector Addition Systems
机译:
向量加法系统的模型检查覆盖图
作者:
Michel Blockelet
;
Sylvain Schmitz
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
关键词:
vector addition systems;
CTL;
coverability properties;
complexity;
40.
The Bounded Search Tree Algorithm for the Closest String Problem Has Quadratic Smoothed Complexity
机译:
最接近字符串问题的有界搜索树算法具有二次平滑度
作者:
Christina Boucher
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
41.
On the Approximability of Minimum Topic Connected Overlay and Its Special Instances
机译:
最小主题连接覆盖图的逼近性及其特殊实例
作者:
Jun Hosoda
;
Juraj Hromkovic
;
Taisuke Izumi
;
Hirotaka Ono
;
Monika Steinova
;
Koichi Wada
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
42.
Parity Games on Graphs with Medium Tree-Width
机译:
具有中等树宽的图上的奇偶校验游戏
作者:
John Fearnley
;
Oded Lachish
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
43.
Infinite Synchronizing Words for Probabilistic Automata
机译:
概率自动机的无限同步词
作者:
Laurent Doyen
;
Thierry Massart
;
Mahsa Shirmohammadi
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
44.
An Elementary Proof of a 3n - o(n) Lower Bound on the Circuit Complexity of Affine Dispersers
机译:
仿射分散器电路复杂度的3n-o(n)下界的初等证明
作者:
Evgeny Demenkov
;
Alexander S. Kulikov
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
45.
Pattern-Guided Data Anonymization and Clustering
机译:
模式引导的数据匿名化和聚类
作者:
Robert Bredereck
;
Andre Nichterlein
;
Rolf Niedermeier
;
Geevarghese Philip
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
46.
Energy and Mean-Payoff Parity Markov Decision Processes
机译:
能量和均付平价马尔可夫决策过程
作者:
Krishnendu Chatterjee
;
Laurent Doyen
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
47.
Duality and Recognition
机译:
对偶与识别
作者:
Mai Gehrke
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
48.
The Least-Core of Threshold Network Flow Games
机译:
阈值网络流游戏的最低核心
作者:
Yoram Bachrach
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
49.
Pushing for Weighted Tree Automata
机译:
推动加权树自动机
作者:
Andreas Maletti
;
Daniel Quernheim
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
50.
Linear Problem Kernels for Planar Graph Problems with Small Distance Property
机译:
具有小距离特性的平面图问题的线性问题核
作者:
Jianxin Wang
;
Yongjie Yang
;
Jiong Guo
;
Jianer Chen
会议名称:
《Mathematical foundations of computer science 2011》
|
2011年
意见反馈
回到顶部
回到首页