掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Theory and application of models of computation
Theory and application of models of computation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
遥感学报
高性能计算技术
数码
宽带世界
计算机与现代化
信息技术与信息化
计算机辅助设计与图形学学报
计算机工程
计算机工程与设计
现代计算机(普及版)
更多>>
相关外文期刊
International journal of geotechnical earthquake engineering
Sensors and Actuators. B, Chemical
Journal of Computing and Information Science in Engineering
Software Engineering Notes
Archives of Computational Methods in Engineering
Australian computer journal
Journal of symbolic computation
International Journal of High Speed Computing
Social network analysis and mining
Retail Automation
更多>>
相关中文会议
中国自动化学会全国第九届自动化新技术学术交流会
第十二届全国图学教育研讨会暨第四届制图CAI课件演示交流会
2010中国科协海峡两岸青年科学家学术活动月“仿真科学与技术”学术研讨会
第一届中国可信计算与信息安全学术会议
河北省人工智能学会、计算机学会、自动化学会、电子学会等2005年联合学术年会
第三届全国搜索引擎和网上信息挖掘学术研讨会
2006遥感科技论坛暨中国遥感应用协会2006年年会
第十二届全国抗恶劣环境计算机学术年会
第六届中国传感器网络学术会议(CWSN 2012)
第四届复旦大学博士生学术论坛——信息科学与技术
更多>>
相关外文会议
Proceedings of the 1st international workshop on High-performance reconfigurable computing technology and applications
International Workshop on Languages and Compilers for High Performance Computing(LCPC 2004); 20040922-24; West Lafayette,IN(US)
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Lidar remote sensing for environmental monitoring XI
Design, specification and verification of interactive systems'98(DSV-IS'98)
Model-Based Vision
International Conference on Ubiquitous Intelligence and Computing(UIC 2006); 20060903-06; Wuhan(CN)
Network Protocols, 2001
Advances in communications, computers, systems, circuits and devices
2017 IEEE 13th International Symposium on Autonomous Decentralized Systems
更多>>
热门会议
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.
Simultaneity in Event Structures
机译:
事件结构的同时性
作者:
G. Michele Pinna
;
Andrea Saba
会议名称:
《Theory and application of models of computation》
|
2010年
2.
Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable
机译:
非线性混合系统的安全验证是准半确定的
作者:
Stefan Ratschan
会议名称:
《Theory and application of models of computation》
|
2010年
3.
Hamiltonian Cycles in Subcubic Graphs: What Makes the Problem Difficult
机译:
次三次图中的哈密顿循环:是什么使问题变得困难
作者:
Nicholas Korpelainen
;
Vadim V. Lozin
;
Alexander Tiskin
会议名称:
《Theory and application of models of computation》
|
2010年
4.
Generating Internally Triconnected Rooted Plane Graphs
机译:
生成内部三连接的根平面图
作者:
Bingbing Zhuang
;
Hiroshi Nagamochi
会议名称:
《Theory and application of models of computation》
|
2010年
5.
Nonlocal Quantum XOR Games for Large Number of Players
机译:
适用于大量玩家的非本地Quantum XOR游戏
作者:
Andris Ambainis
;
Dmitry Kravchenko
;
Nikolajs Nahimovs
;
Alexander Rivosh
会议名称:
《Theory and application of models of computation》
|
2010年
6.
Twisted Jacobi Intersections Curves
机译:
扭曲的Jacobi相交曲线
作者:
Rongquan Feng
;
Menglong Nie
;
Hongfeng Wu
会议名称:
《Theory and application of models of computation》
|
2010年
关键词:
elliptic curves;
jacobi intersections;
twisted jacobi intersec-tions;
scalar multiplication;
cryptography;
7.
Different Approaches to Proof Systems
机译:
证明系统的不同方法
作者:
Olaf Beyersdorff
;
Sebastian Muller
会议名称:
《Theory and application of models of computation》
|
2010年
8.
Complexity Invariance of Real Interpretations
机译:
真实解释的复杂性不变性
作者:
Guillaume Bonfante
;
Florian Deloup
会议名称:
《Theory and application of models of computation》
|
2010年
9.
The Laplacian Paradigm: Emerging Algorithms for Massive Graphs
机译:
拉普拉斯范式:大规模图的新兴算法
作者:
Shang-Hua Teng
会议名称:
《Theory and application of models of computation》
|
2010年
10.
Binary De Bruijn Partial Words with One Hole
机译:
一孔二元De Bruijn偏词
作者:
Francine Blanchet-Sadri
;
Jarett Schwartz
;
Slater Stich
;
Benjamin J. Wyatt
会议名称:
《Theory and application of models of computation》
|
2010年
11.
Complexity of Paths, Trails and Circuits in Arc-Colored Digraphs
机译:
弧形有向图的路径,轨迹和电路的复杂性
作者:
Laurent Gourves
;
Adria Lyra
;
Carlos Martinhon
;
Jerome Monnot
会议名称:
《Theory and application of models of computation》
|
2010年
关键词:
arc-colored digraphs;
properly arc-colored paths/trails and circuits;
hamiltonian directed path;
arc-colored tournaments;
polyno-mial algorithms;
NP-completeness;
12.
L(2,1,1)-Labeling Is NP-Complete for Trees
机译:
L(2,1,1)-标签为树的NP-完全
作者:
Petr A. Golovach
;
Bernard Lidicky
;
Daniel Paulusma
会议名称:
《Theory and application of models of computation》
|
2010年
13.
Exploiting Restricted Linear Structure to Cope with the Hardness of Clique-Width
机译:
开发有限的线性结构以适应集团宽度的硬度
作者:
Pinar Heggernes
;
Daniel Meister
;
Udi Rotics
会议名称:
《Theory and application of models of computation》
|
2010年
14.
An Automata-Theoretic Characterization of the Chomsky-Hierarchy
机译:
乔姆斯基层次结构的自动机理论表征
作者:
Benedek Nagy
会议名称:
《Theory and application of models of computation》
|
2010年
15.
Maximum Independent Set in Graphs of Average Degree at Most Three in O(1.08537~n)
机译:
O(1.08537〜n)中平均度最多为3的图中的最大独立集
作者:
Nicolas Bourgeois
;
Bruno Escofner
;
Vangelis Th. Paschos
;
Johan M.M. van Rooij
会议名称:
《Theory and application of models of computation》
|
2010年
16.
Nontriviality for Exponential Time w.r.t. Weak Reducibilities
机译:
w.r.t.的指数时间非平凡弱可还原性
作者:
Klaus Ambos-Spies
;
Timur Bakibayev
会议名称:
《Theory and application of models of computation》
|
2010年
17.
Streaming Algorithms for Some Problems in Log-Space
机译:
日志空间中某些问题的流算法
作者:
Ajesh Babu
;
Nutan Limaye
;
Girish Varma
会议名称:
《Theory and application of models of computation》
|
2010年
18.
Two-Layer Planarization Parameterized by Feedback Edge Set
机译:
反馈边集参数化的两层平面化
作者:
Johannes Uhlmann
;
Mathias Weller
会议名称:
《Theory and application of models of computation》
|
2010年
19.
Centdian Computation for Sensor Networks
机译:
传感器网络的Centdian计算
作者:
Boaz Ben-Moshe
;
Amit Dvir
;
Michael Segal
;
Arie Tamir
会议名称:
《Theory and application of models of computation》
|
2010年
关键词:
distributed algorithm;
cactus graph;
centdian node;
sen-sor network;
20.
Optimal Acceptors and Optimal Proof Systems
机译:
最优接受者和最优证明系统
作者:
Edward A. Hirsch
会议名称:
《Theory and application of models of computation》
|
2010年
21.
The Complexity of Geometric Problems in High Dimension
机译:
高维几何问题的复杂性
作者:
Christian Knauer
会议名称:
《Theory and application of models of computation》
|
2010年
关键词:
parameterized complexity;
geometric dimension;
lower bounds;
exponential-time hypothesis;
22.
Pivot and Loop Complementation on Graphs and Set Systems
机译:
图和集合系统上的枢轴和循环补码
作者:
Robert Brijder
;
Hendrik Jan Hoogeboom
会议名称:
《Theory and application of models of computation》
|
2010年
23.
Revisiting the Minimum Breakpoint Linearization Problem
机译:
再谈最小断点线性化问题
作者:
Laurent Bulteau
;
Guillaume Fertin
;
Irena Rusu
会议名称:
《Theory and application of models of computation》
|
2010年
24.
Proof Complexity of Non-classical Logics
机译:
非经典逻辑的证明复杂性
作者:
Olaf Beyersdorff
会议名称:
《Theory and application of models of computation》
|
2010年
25.
Graph Sharing Games: Complexity and Connectivity
机译:
图共享游戏:复杂性和连通性
作者:
Josef Cibulka
;
Jan Kyncl
;
Viola Meszaros
;
Rudolf Stolar
;
Pavel Valtr
会议名称:
《Theory and application of models of computation》
|
2010年
26.
Community Structure in Large Complex Networks
机译:
大型复杂网络中的社区结构
作者:
Liaoruo Wang
;
John Hopcroft
会议名称:
《Theory and application of models of computation》
|
2010年
27.
Recovering Social Networks from Contagion Information
机译:
从传染信息中恢复社交网络
作者:
Sucheta Soundarajan
;
John E. Hopcroft
会议名称:
《Theory and application of models of computation》
|
2010年
关键词:
social networks;
diffusion;
contagion;
graph algorithms;
28.
Closed Rectangle-of-Influence Drawings for Irreducible Triangulations
机译:
不可约三角剖分的封闭影响矩形图
作者:
Sadish Sadasivam
;
Huaming Zhang
会议名称:
《Theory and application of models of computation》
|
2010年
29.
Schnyder Greedy Routing Algorithm
机译:
Schnyder贪婪路由算法
作者:
Xin He
;
Huaming Zhang
会议名称:
《Theory and application of models of computation》
|
2010年
30.
The Max k-Cut Game and Its Strong Equilibria
机译:
Max k-Cut博弈及其强大的均衡性
作者:
Laurent Gourves
;
Jerome Monnot
会议名称:
《Theory and application of models of computation》
|
2010年
31.
Kernel and Fast Algorithm for Dense Triplet Inconsistency
机译:
密集三重态不一致的内核和快速算法
作者:
Sylvain Guillemot
;
Matthias Mnich
会议名称:
《Theory and application of models of computation》
|
2010年
32.
Incremental List Coloring of Graphs Parameterized by Conservation
机译:
通过守恒参数化的图形的增量列表着色
作者:
Sepp Hartung
;
Rolf Niedermeier
会议名称:
《Theory and application of models of computation》
|
2010年
33.
A Note on the Testability of Ramsey's Class
机译:
关于拉姆齐级可测性的注记
作者:
Charles Jordan
;
Thomas Zeugmann
会议名称:
《Theory and application of models of computation》
|
2010年
关键词:
property testing;
logic;
ramsey's class;
34.
Deterministic Polynomial-Time Algorithms for Designing Short DNA Words
机译:
设计短DNA词的确定性多项式时间算法
作者:
Ming-Yang Kao
;
Henry CM. Leung
;
He Sun
;
Yong Zhang
会议名称:
《Theory and application of models of computation》
|
2010年
关键词:
dna computating;
dna words design;
coding theory;
ex-pander codes;
ramanujan graphs;
derandomization;
35.
A Visual Model of Computation
机译:
视觉计算模型
作者:
Ian Mackie
会议名称:
《Theory and application of models of computation》
|
2010年
36.
A Categorical View of Timed Weak Bisimulation
机译:
定时弱双仿真的分类视图
作者:
Natalya Gribovskaya
;
Irina Virbitskaite
会议名称:
《Theory and application of models of computation》
|
2010年
37.
An O(n~2)-time Algorithm for the Minimal Interval Completion Problem
机译:
最小间隔完成问题的O(n〜2)时间算法
作者:
Christophe Crespelle
;
Ioan Todinca
会议名称:
《Theory and application of models of computation》
|
2010年
38.
A Dichotomy for k-Regular Graphs with {0,1}-Vertex Assignments and Real Edge Functions
机译:
具有{0,1}-顶点分配和实边功能的k正则图的二分法
作者:
Jin-Yi Cai
;
Michael Kowalczyk
会议名称:
《Theory and application of models of computation》
|
2010年
39.
Algebraic Proofs over Noncommutative Formulas
机译:
非交换方程的代数证明
作者:
Iddo Tzameret
会议名称:
《Theory and application of models of computation》
|
2010年
40.
Temperature Aware Online Scheduling with a Low Cooling Factor
机译:
具有低散热系数的温度感知在线计划
作者:
Martin Birks
;
Stanley P.Y. Fung
会议名称:
《Theory and application of models of computation》
|
2010年
41.
On Solution Concepts for Matching Games
机译:
配对游戏的解决方案概念
作者:
Peter Biro
;
Walter Kern
;
Daniel Paulusma
会议名称:
《Theory and application of models of computation》
|
2010年
意见反馈
回到顶部
回到首页