掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Computer science - theory and applications
Computer science - theory and applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
遥感学报
电脑知识与技术(数字社区与智能家居)
电脑入门
软件导刊
家庭电子(维修版)
小型微型计算机系统
轻松学电脑
计算机系统应用
计算技术与自动化
航空计算技术
更多>>
相关外文期刊
Dr. Dobb's Journal
Journal of information and computational science
ACM transactions on mathematical software
Computer science review
Services Computing, IEEE Transactions on
Net
Interfaces and free boundaries
International journal of human capital and information technology professionals
The International journal of robotics research
Information, Knowledge, Systems Management 1389-1995
更多>>
相关中文会议
中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会
第十届中国Rough集与软计算、第四届中国Web智能、第四届中国粒计算联合会议
2008PICMG/P.R.C年会
1999年青岛-香港国际计算机会议
湖北省计算机学会2013年学术年会
第八届全国仿真器学术年会
2011中国人工生命与智能机器人会议
2011年江苏省仪器仪表学会学术年会
第四届全国人-机-环境系统工程学术会议
全国先进控制技术与系统集成学术交流会
更多>>
相关外文会议
Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
Imaging System Technology for Remote Sensing
IASTED(International Association of Science and Technology for Development) International Conference on Artificial Intelligence and Applications v.1; 20040216-20040218; Innsbruck; AT
Web information systems engineering - WISE 2010
10th Jubilee IEEE International Symposium on Applied Computational Intelligence and Informatics
Intelligent assembly and disassembly(IAD'98)
2015 IEEE 12th International Symposium on Autonomous Decentralized Systems
International Conference on Medical Image Computing and Computer-Assisted Intervention(MICCAI 2005) pt.1; 20051026-29; Palm Spring,CA(US)
Foundations of intelligent systems
2012 7th International Conference on Computing and Convergence Technology
更多>>
热门会议
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.
Identical Relations in Symmetric Groups and Separating Words with Reversible Automata
机译:
具有可逆自动机的对称组和分词中的相同关系
作者:
R.A. Gimadeev
;
M.N. Vyalyi
会议名称:
《Computer science - theory and applications》
|
2010年
关键词:
automaton;
identity;
symmetric group;
2.
Complexity of Problems Concerning Carefully Synchronizing Words for PFA and Directing Words for NFA
机译:
仔细同步PFA单词和NFA单词指导问题的复杂性
作者:
P.V. Martyugin
会议名称:
《Computer science - theory and applications》
|
2010年
关键词:
synchronization;
automata;
directing words;
computational complexity;
3.
Advancing Matrix Computations with Randomized Preprocessing
机译:
通过随机预处理提高矩阵计算
作者:
Victor Y. Pan
;
Guoliang Qian
;
Ai-Long Zheng
会议名称:
《Computer science - theory and applications》
|
2010年
4.
Classical Simulation and Complexity of Quantum Computations (Invited Talk)
机译:
经典模拟和量子计算的复杂性(特邀演讲)
作者:
Richard Jozsa
会议名称:
《Computer science - theory and applications》
|
2010年
关键词:
quantum computation;
quantum complexity;
classical simulation;
matchgates;
5.
Zigzags in Turing Machines
机译:
图灵机中的之字形
作者:
Anahi Gajardo
;
Pierre Guillon
会议名称:
《Computer science - theory and applications》
|
2010年
关键词:
turing machines;
discrete dynamical systems;
subshifts;
formal languages;
6.
Kernelization (Invited Talk)
机译:
内核化(特邀演讲)
作者:
Fedor V. Fomin
会议名称:
《Computer science - theory and applications》
|
2010年
7.
Realizability of Dynamic MSC Languages
机译:
动态MSC语言的可实现性
作者:
Benedikt Bollig
;
Loic Heloueet
会议名称:
《Computer science - theory and applications》
|
2010年
8.
The MAX quasi-independent SET Problem
机译:
MAX拟无关SET问题
作者:
N. Bourgeois
;
A. Giannakos
;
G. Lucarelli
;
I. Milis
;
V. Th. Paschos
;
O. Pottie
会议名称:
《Computer science - theory and applications》
|
2010年
9.
A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem
机译:
有向最大叶生成树问题的快速精确算法
作者:
Daniel Binkele-Raible
;
Henning Fernau
会议名称:
《Computer science - theory and applications》
|
2010年
10.
Sofic and Almost of Finite Type Tree-Shifts
机译:
Sofic和几乎有限类型的树移位
作者:
Nathalie Aubrun
;
Marie-Pierre Beal
会议名称:
《Computer science - theory and applications》
|
2010年
11.
Growth of Power-Free Languages over Large Alphabets
机译:
大字母无动力语言的发展
作者:
Arseny M. Shur
会议名称:
《Computer science - theory and applications》
|
2010年
12.
An Encoding Invariant Version of Polynomial Time Computable Distributions
机译:
多项式时间可计算分布的编码不变版本
作者:
Nikolay Vereshchagin
会议名称:
《Computer science - theory and applications》
|
2010年
13.
A Partially Synchronizing Coloring
机译:
部分同步着色
作者:
Avraham N. Trahtman
会议名称:
《Computer science - theory and applications》
|
2010年
关键词:
graph;
algorithm;
synchronization;
road coloring;
deterministic finite automaton;
14.
Classifying Rankwidth k-DH-Graphs
机译:
分类Rankwidth k-DH-图
作者:
Ling-Ju Hung
;
Ton Kloks
会议名称:
《Computer science - theory and applications》
|
2010年
15.
Time Optimal d-List Colouring of a Graph
机译:
图的时间最佳d-List着色
作者:
Nick Gravin
会议名称:
《Computer science - theory and applications》
|
2010年
16.
The Cantor Space as a Generic Model of Topologically Presented Knowledge
机译:
Cantor空间:拓扑表示知识的通用模型
作者:
Bernhard Heinemann
会议名称:
《Computer science - theory and applications》
|
2010年
关键词:
reasoning about knowledge;
topological reasoning;
the cantor space;
modal logic;
subset spaces;
bisimulations;
17.
Complexity of Propositional Proofs (Invited Talk)
机译:
命题证明的复杂性(特邀演讲)
作者:
Alexander Razborov
会议名称:
《Computer science - theory and applications》
|
2010年
18.
Validating the Knuth-Morris-Pratt Failure Function, Fast and Online
机译:
快速在线验证Knuth-Morris-Pratt失效函数
作者:
Pawel Gawrychowski
;
Artur Jez
;
Lukasz Jez
会议名称:
《Computer science - theory and applications》
|
2010年
19.
Frameworks for Logically Classifying Polynomial-Time Optimisation Problems
机译:
对多项式时间优化问题进行逻辑分类的框架
作者:
James Gate
;
Iain A. Stewart
会议名称:
《Computer science - theory and applications》
|
2010年
20.
Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems (Invited Talk)
机译:
比较两种用于约束满足问题的随机局部搜索算法(特邀演讲)
作者:
Uwe Schoening
会议名称:
《Computer science - theory and applications》
|
2010年
21.
Quantization of Random Walks: Search Algorithms and Hitting Time (Invited Talk)
机译:
随机游走的量化:搜索算法和击球时间(特邀演讲)
作者:
Miklos Santha
会议名称:
《Computer science - theory and applications》
|
2010年
22.
Prefix-Free and Prefix-Correct Complexities with Compound Conditions
机译:
具有复合条件的无前缀和正确前缀的复杂性
作者:
Elena Kalinina
会议名称:
《Computer science - theory and applications》
|
2010年
23.
Monotone Complexity of a Pair
机译:
一对的单调复杂度
作者:
Pavel Karpovich
会议名称:
《Computer science - theory and applications》
|
2010年
24.
Symbolic Models for Single-Conclusion Proof Logics
机译:
单结论逻辑的符号模型
作者:
Vladimir N. Krupski
会议名称:
《Computer science - theory and applications》
|
2010年
25.
Right-Sequential Functions on Infinite Words
机译:
无限词的右序函数
作者:
Olivier Carton
会议名称:
《Computer science - theory and applications》
|
2010年
26.
Transfinite Sequences of Constructive Predicate Logics
机译:
构造谓词逻辑的超限序列
作者:
Valery Plisko
会议名称:
《Computer science - theory and applications》
|
2010年
27.
Algorithms for Energy Management (Invited Talk)
机译:
能源管理算法(特邀演讲)
作者:
Susanne Albers
会议名称:
《Computer science - theory and applications》
|
2010年
28.
Proof-Based Design of Security Protocols
机译:
基于证明的安全协议设计
作者:
Nazim Benaissa
;
Dominique Mery
会议名称:
《Computer science - theory and applications》
|
2010年
29.
Prehistoric Phenomena and Self-referentiality
机译:
史前现象与自我指称
作者:
Junhua Yu
会议名称:
《Computer science - theory and applications》
|
2010年
30.
Approximating the Minimum Length of Synchronizing Words Is Hard
机译:
逼近同步字的最小长度很困难
作者:
Mikhail V. Berlinkov
会议名称:
《Computer science - theory and applications》
|
2010年
31.
Equilibria in Quantitative Reachability Games
机译:
定量可达性游戏中的均衡
作者:
Thomas Brihaye
;
Veronique Bruyere
;
Julie De Pril
会议名称:
《Computer science - theory and applications》
|
2010年
关键词:
nash equilibrium;
turn-based quantitative game;
secure equilibrium;
32.
Quotient Complexity of Closed Languages
机译:
封闭语言的商复杂度
作者:
Janusz Brzozowski
;
Galina Jiraskova
;
Chenglong Zou
会议名称:
《Computer science - theory and applications》
|
2010年
关键词:
automaton;
closed;
factor;
language;
prefix;
quotient;
regular operation;
state complexity;
subword;
suffix;
upper bound;
33.
Obtaining Online Ecological Colourings by Generalizing First-Fit
机译:
通过推广先行拟合获得在线生态着色
作者:
Matthew Johnson
;
Viresh Patel
;
Danieel Paulusma
;
Theophile Trunck
会议名称:
《Computer science - theory and applications》
|
2010年
34.
Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms
机译:
酒醉回溯算法反演Goldreich函数的平均情况下复杂度的下界
作者:
Dmitry Itsykson
会议名称:
《Computer science - theory and applications》
|
2010年
35.
Algorithmics - Is There Hope for a Unified Theory? (Invited Talk)
机译:
Algorithmics-是否有统一理论的希望? (特邀演讲)
作者:
Juraj Hromkovic
会议名称:
《Computer science - theory and applications》
|
2010年
36.
A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem
机译:
基于SAT的哈密顿有向周期问题的有效算法。
作者:
Gerold Jaeger
;
Weixiong Zhang
会议名称:
《Computer science - theory and applications》
|
2010年
37.
Balancing Bounded Treewidth Circuits
机译:
平衡有界树宽电路
作者:
Maurice Jansen
;
Jayalal Sarma M.N
会议名称:
《Computer science - theory and applications》
|
2010年
意见反馈
回到顶部
回到首页