掌桥科研
一站式科研服务平台
学术工具
文档翻译
论文查重
文档转换
收录引用
科技查新
期刊封面封底
自科基金
外文数据库(机构版)
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Theory and applications of models of computation.
Theory and applications of models of computation.
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants
机译:
分形云中的计算:SAT和Q-SAT变体的模块化通用求解器
作者:
Deuys Duchier
;
Jerome Durand-Lose
;
Maxime Senot
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
abstract geometrical computation;
signal machine;
fractal;
satisfiability problems;
massive parallelism;
model of computation;
2.
Bisection (Band) Width of Product Networks with Application to Data Centers
机译:
产品网络的二等分(带)宽度及其在数据中心的应用
作者:
Jordi Arjona Aroca
;
Antonio Fernandez Anta
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
bisection bandwidth;
bisection width;
torus;
bcube;
product graphs;
complete binary trees;
extended trees;
mesh-connected trees;
3.
Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines
机译:
并行机上线性劣化作业的在线Makespan调度
作者:
Sheng Yu
;
Jude-Thaddeus Ojiaku
;
Prudence W.H. Wong
;
Yinfeng Xu
会议名称:
《Theory and applications of models of computation.》
|
2012年
4.
Automatic Verification of Real-Time Systems with Rich Data: An Overview
机译:
具有丰富数据的实时系统的自动验证:概述
作者:
Ernst-Ruediger Olderog
会议名称:
《Theory and applications of models of computation.》
|
2012年
5.
Program Analysis Using Quantifier-Elimination Heuristics
机译:
使用量词消除启发法进行程序分析
作者:
Deepak Kapur
会议名称:
《Theory and applications of models of computation.》
|
2012年
6.
On the Impact of Turing Machines
机译:
图灵机的影响
作者:
John Hopcroft
会议名称:
《Theory and applications of models of computation.》
|
2012年
7.
Interaction and Collective Intelligence on the Internet
机译:
互联网上的互动和集体智慧
作者:
Devi Li
;
Liwei Huang
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
turing machine;
interaction;
topological potential;
collective intelligence;
8.
What Computers Do: Model, Connect, Engage
机译:
计算机做什么:建模,连接,参与
作者:
Butler Lampson
会议名称:
《Theory and applications of models of computation.》
|
2012年
9.
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
机译:
基于假设/保证的混合CSP组合演算
作者:
Shilling Wang
;
Naijun Zhan
;
Dimitar Guelev
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
hybrid systems;
duration calculus;
hoare logic;
HCSP;
compositionality;
assume/guarantee;
10.
Electron Tomography and Multiscale Biology
机译:
电子断层扫描和多尺度生物学
作者:
Albert F. Lawrence
;
Seastien Phan
;
Mark Ellisman
会议名称:
《Theory and applications of models of computation.》
|
2012年
11.
Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions
机译:
生成器描述给出的相变椭圆近似的多项式时间构造
作者:
Michal Cerny
;
Miroslav Rada
会议名称:
《Theory and applications of models of computation.》
|
2012年
12.
Constant-Time Approximation Algorithms for the Knapsack Problem
机译:
背包问题的恒定时间近似算法
作者:
Hiro Ito
;
Susumu Kiyoshima
;
Yuichi Yoshida
会议名称:
《Theory and applications of models of computation.》
|
2012年
13.
The Small Community Phenomenon in Networks: Models, Algorithms and Applications
机译:
网络中的小社区现象:模型,算法和应用
作者:
Pan Peng
会议名称:
《Theory and applications of models of computation.》
|
2012年
14.
Vertex-Pursuit in Hierarchical Social Networks
机译:
分层社交网络中的顶点追求
作者:
A. Bonato
;
D. Mitsche
;
P. Pralat
会议名称:
《Theory and applications of models of computation.》
|
2012年
15.
Hardness and Approximation of the Asynchronous Border Minimization Problem
机译:
异步边界最小化问题的难度和逼近
作者:
Alexandria Popa
;
Prudence W.H. Wong
;
Fencol C.C. Yung
会议名称:
《Theory and applications of models of computation.》
|
2012年
16.
Asymptotic Limits of a New Type of Maximization Recurrence with an Application to Bioinformatics
机译:
新型最大化递归的渐近极限及其在生物信息学中的应用
作者:
Kun-Mao Chao
;
An-Chiang Chu
;
Jesper Jansson
;
Richard S. Lemence
;
Alban Mancheron
会议名称:
《Theory and applications of models of computation.》
|
2012年
17.
Computing Bits of Algebraic Numbers
机译:
计算代数位
作者:
Samir Datta
;
Rameshwar Pratap
会议名称:
《Theory and applications of models of computation.》
|
2012年
18.
Coordination Mechanisms for Selfish Parallel Jobs Scheduling
机译:
自私并行作业调度的协调机制
作者:
Deshi Ye
;
Guochuan Zhang
会议名称:
《Theory and applications of models of computation.》
|
2012年
19.
Stopping Set Distributions of Algebraic Geometry Codes from Elliptic Curves
机译:
从椭圆曲线停止代数几何代码的集合分布
作者:
Jun Zhang
;
Fang-Wei Fu
;
Daqing Wan
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
stopping sets;
algebraic geometry codes;
generalized reed- solomon codes;
elliptic curve;
subset sum problem;
20.
Computationally-Fair Group and Identity-Based Key-Exchange
机译:
计算公平的小组和基于身份的密钥交换
作者:
Andrew C. Yao
;
Yunlei Zhao
会议名称:
《Theory and applications of models of computation.》
|
2012年
21.
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication
机译:
多方通信中的张量秩和强量子不确定性
作者:
Marcos Villagra
;
Masaki Nakanishi
;
Shigeru Yamashita
;
Yasuhiko Nakashima
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
multiparty communication;
quantum nondeterminism. tensor rank;
exponential separation;
matrix multiplication;
22.
On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data
机译:
从积极数据看形式语言的非建构性量
作者:
Sanjay Jain
;
Frank Stephan
;
Thomas Zeugmann
会议名称:
《Theory and applications of models of computation.》
|
2012年
23.
Proving Liveness Property under Strengthened Compassion Requirements
机译:
在同情心的要求下证明生命力
作者:
Teng Long
;
Wenhui Zhang
会议名称:
《Theory and applications of models of computation.》
|
2012年
24.
Improved FPT Algorithms for Rectilinear k-Links Spanning Path
机译:
改进的FPT算法用于直线k链接生成路径
作者:
Jianxin Wang
;
Jinyi Yao
;
Qilong Feng
;
Jianer Chen
会议名称:
《Theory and applications of models of computation.》
|
2012年
25.
FPT Results for Signed Domination
机译:
FPT签约统治的结果
作者:
Ying Zheng
;
Jianxin Wang
;
Qilong Feng
;
Jianer Chen
会议名称:
《Theory and applications of models of computation.》
|
2012年
26.
Energy-Efficient Network Routing with Discrete Cost Functions
机译:
具有离散成本函数的节能网络路由
作者:
Lin Wang
;
Antonio Fernandez Anta
;
Fa Zhang
;
Chenying Hou
;
Zhiyong Liu
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
network optimization;
network routing;
approximation;
27.
Online Optimization of Busy Time on Parallel Machines
机译:
在线优化并行机器上的繁忙时间
作者:
Mordechai Shalom
;
Ariella Voloshin
;
Prudence W.H. Wong
;
Fencol C.C. Yung
;
Shmuel Zaks
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
interval scheduling;
busy time;
resource allocation;
online algorithms;
cost minimization;
throughput maximization;
28.
An Algorithmic View on Multi-Related-Segments: A Unifying Model for Approximate Common Interval
机译:
多相关段的算法视图:近似公共区间的统一模型
作者:
Xiao Yang
;
Florian Sikora
;
Guillaume Blin
;
Sylvie Hamel
;
Romeo Rizzi
;
Srinivas Aluru
会议名称:
《Theory and applications of models of computation.》
|
2012年
29.
Holographic Algorithms on Domain Size k > 2
机译:
域尺寸k> 2的全息算法
作者:
Zhiguo Fu
;
Jiu-Yi Cai
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
holographic algorithms;
matchgates;
simultaneous realizability problem;
30.
The Worst Case Behavior of Randomized Gossip
机译:
随机八卦的最坏情况行为
作者:
H. Baumann
;
P. Fraigniaud
;
H.A. Harutytmyan
;
R. dp Verclos
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
rumor spreading;
broadcast;
gossip;
random phone-call model;
31.
A Refined Exact Algorithm for Edge Dominating Set
机译:
边缘控制集的精确精确算法
作者:
Mingyu Xiao
;
Hiroshi Nagamochi
会议名称:
《Theory and applications of models of computation.》
|
2012年
32.
Finite Automata over Structures
机译:
结构上的有限自动机
作者:
Aniruddh Gandhi
;
Bakhadyr Khoussainov
;
Jiamou Liu
会议名称:
《Theory and applications of models of computation.》
|
2012年
33.
Deterministic Distributed Data Aggregation under the SINR Model
机译:
SINR模型下的确定性分布式数据聚合
作者:
Nathaniel Hobbs
;
Yuexuan Wang
;
Qiang-Sheng Hua
;
Dongxiao Yu
;
Francis C.M. Lau
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
SINR interference model;
data aggregation;
physical carrier sensing;
34.
Speed Scaling Problems with Memory/Cache Consideration
机译:
考虑内存/缓存的速度扩展问题
作者:
Weiwei Wu
;
Minming Li
;
He Huang
;
Enhong Chen
会议名称:
《Theory and applications of models of computation.》
|
2012年
35.
Multiple Usage of Random Bits in Finite Automata
机译:
有限自动机中随机位的多次使用
作者:
Rusins Freivalds
会议名称:
《Theory and applications of models of computation.》
|
2012年
36.
Towards an Axiomatization of Simple Analog Algorithms
机译:
面向简单模拟算法的公理化
作者:
Olivier Bournez
;
Nachum Dershowitz
;
Evgenia Falkovich
会议名称:
《Theory and applications of models of computation.》
|
2012年
37.
Minimum Certificate Dispersal with Tree Structures
机译:
树木结构的最小证书散布
作者:
Taisuke Izumi
;
Tomoko Izumi
;
Hirotaka Ono
;
Koichi Wada
会议名称:
《Theory and applications of models of computation.》
|
2012年
38.
Submodular Minimization via Pathwidth
机译:
通过路径宽度实现亚模最小化
作者:
Hiroshi Nagamochi
会议名称:
《Theory and applications of models of computation.》
|
2012年
39.
A Detailed Study of the Dominating Cliques Phase Transition in Random Graphs
机译:
随机图的主导集团相变的详细研究
作者:
Martin Nehez
;
Daniel Olejar
;
Miehal Demetrian
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
random graphs;
dominating cliques;
phase transition;
40.
An Application of 1-Genericity in the Π_2~0 Enumeration Degrees
机译:
1泛型在Π_2〜0枚举度中的应用
作者:
Liliana Badillo
;
Charles M. Harris
会议名称:
《Theory and applications of models of computation.》
|
2012年
41.
Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations
机译:
亚线性函数运算对最大二分匹配的隐式计算
作者:
Beate Bollig
;
Marc Gille
;
Tobias Proeger
会议名称:
《Theory and applications of models of computation.》
|
2012年
42.
Timed Encryption with Application to Deniable Key Exchange
机译:
定时加密及其在拒绝密钥交换中的应用
作者:
Shaoquan Jiang
会议名称:
《Theory and applications of models of computation.》
|
2012年
43.
From Turing Machine to Morphogenesis: Forming and Informing Computation
机译:
从图灵机到形态发生:形成和告知计算
作者:
S. Barry Cooper
会议名称:
《Theory and applications of models of computation.》
|
2012年
44.
Principles of Network Computing
机译:
网络计算原理
作者:
Yieheng Pan
会议名称:
《Theory and applications of models of computation.》
|
2012年
45.
A Structural Approach to Prophecy Variables
机译:
预言变量的结构化方法
作者:
Zipeng Zhang
;
Xinyu Feng
;
Ming Fu
;
Zhong Shao
;
Yong Li
会议名称:
《Theory and applications of models of computation.》
|
2012年
46.
Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices
机译:
随机NTRU格中最短向量长度的下界
作者:
Jingguo Bi
;
Qi Cheng
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
shortest vector problem;
kolmogorov complexity;
NTRU lattices;
random lattices;
gaussian heuristic;
47.
Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields
机译:
校正函数字段中的不对称错误的二进制代码的构造
作者:
Jun Zhang
;
Fang-Wei Fu
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
asymmetric error-correcting codes;
code construction;
global function fields;
ray class groups;
48.
Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms
机译:
用中等指数和参数化算法逼近MAX SAT
作者:
Bruno Escoffier
;
Vangelis Th. Paschos
;
Emeric Tourniaire
会议名称:
《Theory and applications of models of computation.》
|
2012年
49.
Computing Error Distance of Reed-Solomon Codes
机译:
计算里德-所罗门码的错误距离
作者:
Guizhen Zhu
;
Daqing Wan
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
reed-solomon code;
deep hole;
character sum;
distinct coordinates counting;
50.
A Surprisingly Simple Way of Reversing Trace Distance via Entanglement
机译:
通过纠缠来反转走线距离的一种令人惊讶的简单方法
作者:
Jun Yan
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
trace distance;
entanglement;
non-black-box construction;
statistical zero-knowledge quantum proof;
51.
A Game-Theoretic Approach for Balancing the Tradeoffs between Data Availability and Query Delay in Multi-hop Cellular Networks
机译:
博弈论的方法来平衡多跳蜂窝网络中数据可用性和查询延迟之间的折衷
作者:
Jin Li
;
Weiyi Liu
;
Kun Yue
会议名称:
《Theory and applications of models of computation.》
|
2012年
关键词:
multi-hop cellular networks;
data availability;
query delay;
potential game;
pure nash equilibria;
52.
Realizing Monads in Interaction Nets via Generic Typed Rules
机译:
通过通用类型化规则在交互网络中实现Monad
作者:
Eugen Jiresch
;
Bernhard Gramlich
会议名称:
《Theory and applications of models of computation.》
|
2012年
意见反馈
回到顶部
回到首页