掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International colloquium on automata, languages and programming;ICALP 2011
International colloquium on automata, languages and programming;ICALP 2011
召开年:
2011
召开地:
Zurich(CH);Zurich(CH)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Invitation to Algorithmic Uses of Inclusion-Exclusion
机译:
包含-排除算法使用的邀请
作者:
Thore Husfeldt
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
2.
An Introduction to Randomness Extractors
机译:
随机抽取器简介
作者:
Ronen Shaltiel
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
3.
Nondeterministic Streaming String Transducers
机译:
非确定性串流换能器
作者:
Rajeev Alur
;
Jyotirmoy V. Deshmukh
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
4.
A 1.488 Approximation Algorithm for the Uncapacitated Facility Location Problem
机译:
无容量工厂位置问题的1.488近似算法
作者:
Shi Li
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
关键词:
approximation;
facility location problem;
theory;
5.
On the Relation between Differential Privacy and Quantitative Information Flow
机译:
差异隐私与定量信息流的关系
作者:
Mario S. Alvim
;
Miguel E. Andres
会议名称:
《》
|
2011年
6.
Fault-Tolerant Compact Routing Schemes for General Graphs
机译:
通用图的容错紧凑型路由方案
作者:
Shiri Chechik
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
7.
Local Matching Dynamics in Social Networks
机译:
社交网络中的本地匹配动态
作者:
Martin Hoefer
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
8.
Regular Languages of Words over Countable Linear Orderings
机译:
可数线性排序上的常规语言
作者:
Olivier Carton
;
Thomas Colcombet
;
Gabriele Puppis
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
9.
Relating Computational Effects by TT-Lifting
机译:
通过TT提升关联计算效果
作者:
Shin-ya Katsumata
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
10.
Algebraic Independence and Blackbox Identity Testing
机译:
代数独立性和黑盒身份测试
作者:
Malte Beecken
;
Johannes Mittmann
;
Nitin Saxena
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
11.
A Fragment of ML Decidable by Visibly Pushdown Automata
机译:
可通过下推自动机确定的ML片段
作者:
David Hopkins
;
Andrzej S. Murawski
;
C.-H. Luke Ong
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
12.
Krivine Machines and Higher-Order Schemes
机译:
Krivine机器和高阶方案
作者:
S. Salvati
;
I. Walukiewicz
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
13.
Constructing Differential Categories and Deconstructing Categories of Games
机译:
构造游戏的差异类别和解构类别
作者:
Jim Laird
;
Giulio Manzonetto
;
Guy McCusker
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
14.
Isomorphism of Regular Trees and Words
机译:
规则树和词的同构
作者:
Markus Lohrey
;
Christian Mathissen
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
15.
On the Capabilities of Grammars, Automata, and Transducers Controlled by Monoids
机译:
关于由半身像控制的文法,自动机和换能器的功能
作者:
Georg Zetzsche
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
16.
The Cost of Traveling between Languages
机译:
语言之间的旅行成本
作者:
Michael Benedikt
;
Gabriele Puppis
;
Cristian Riveras
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
17.
Emptiness and Universality Problems in Timed Automata with Positive Frequency
机译:
正定定时自动机的空性和普遍性问题
作者:
Nathalie Bertrand
;
Patricia Bouyer
;
Thomas Brihaye
;
Amelie Stainer
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
18.
Büchi Automata Can Have Smaller Quotients
机译:
布奇自动机可以有较小的商
作者:
Lorenzo Clemente
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
19.
Automata-Based CSL Model Checking
机译:
基于自动机的CSL模型检查
作者:
Lijun Zhang
;
David N. Jansen
;
Flemming Nielson
;
Holger Hermanns
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
20.
A Progress Measure for Explicit-State Probabilistic Model-Checkers
机译:
显式状态概率模型检查器的进度度量
作者:
Xin Zhang
;
Franck van Breugel
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
关键词:
probabilistic model-checking;
progress measure;
linear-time property;
invariant;
21.
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation
机译:
抽象解释的概率双仿真与仿真算法
作者:
Silvia Crafa
;
Francesco Ranzato
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
22.
Runtime Analysis of Probabilistic Programs with Unbounded Recursion
机译:
具有无限递归的概率程序的运行时分析
作者:
Tomas Brazdil
;
Stefan Kiefer
;
Antonin Kucera
;
Ivana Hutarova Varekova
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
23.
Guarded Negation
机译:
守卫的否定
作者:
Vince Barany
;
Balder ten Cate
;
Luc Segoufin
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
24.
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
机译:
近似一台MDP和随机游戏的终止值
作者:
Tomas Brazdil
;
Vaclav Brozek
;
Kousha Etessami
;
Antonin Kucera
会议名称:
《》
|
2011年
25.
Generic Expression Hardness Results for Primitive Positive Formula Comparison
机译:
原始正式比较的通用表达硬度结果
作者:
Simone Bova
;
Hubie Chen
;
Matthew Valeriote
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
26.
Modular Markovian Logic
机译:
模块化马尔可夫逻辑
作者:
Luca Cardelli
;
Kim G. Larsen
;
Radu Mardare
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
27.
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates
机译:
可在带有任意内置谓词的不变一阶逻辑中定义的查询的局部性
作者:
Matthew Anderson
;
Dieter van Melkebeek
;
Nicole Schweikardt
;
Luc Segoufin
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
28.
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
机译:
线性混合系统上定量μ微积分的模型检查
作者:
Diana Fischer
;
Lukasz Kaiser
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
29.
On Reachability for Hybrid Automata over Bounded Time
机译:
有界时间内混合自动机的可达性
作者:
Thomas Brihaye
;
Laurent Doyen
;
Gilles Geeraerts
;
Joeel Ouaknine
;
Jean-Francois Raskin
;
James Worrell
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
30.
Deciding Robustness against Total Store Ordering
机译:
决定整体商店订购的稳健性
作者:
Ahmed Bouajjani
;
Roland Meyer
;
Eike Moehlmann
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
31.
Multiply-Recursive Upper Bounds with Higman's Lemma
机译:
用Higman引理乘以递归上限
作者:
S. Schmitz
;
Ph. Schnoebelen
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
32.
Fast Convergence for Consensus in Dynamic Networks
机译:
动态网络中共识的快速收敛
作者:
T.-H. Hubert Chan
;
Li Ning
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
33.
Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation
机译:
通过盲目RAM模拟保护隐私的外包数据访问
作者:
Michael T. Goodrich
;
Michael Mitzenmacher
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
34.
Liveness-Preserving Atomicity Abstraction
机译:
保活原子性抽象
作者:
Alexey Gotsman
;
Hongseok Yang
会议名称:
《》
|
2011年
35.
On Stabilization in Herman's Algorithm
机译:
关于Herman算法中的镇定
作者:
Stefan Kiefer
;
Andrzej S. Murawski
;
Joeel Ouaknine
;
James Worrell
;
Lijun Zhang
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
36.
Online Graph Exploration: New Results on Old and New Algorithms
机译:
在线图探索:新旧算法的新结果
作者:
Nicole Megow
;
Kurt Mehlhorn
;
Pascal Schweitzer
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
37.
Distance Oracles for Vertex-Labeled Graphs
机译:
顶点标签图的距离Oracle
作者:
Danny Hermelin
;
Avivit Levy
;
Oren Weimann
;
Raphael Yuster
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
38.
Asymptotically Optimal Randomized Rumor Spreading
机译:
渐近最优随机谣言传播
作者:
Benjamin Doerr
;
Mahmoud
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
39.
Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem
机译:
半流模型中的线性规划及其在最大匹配问题中的应用
作者:
Kook Jin Ahn
;
Sudipto Guha
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
40.
Restoring Pure Equilibria to Weighted Congestion Games
机译:
恢复纯均衡到加权拥塞游戏
作者:
Konstantinos Kollias
;
Tim Roughgarden
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
关键词:
congestion games;
network design;
shapley value;
41.
Existence and Uniqueness of Equilibria for Flows over Time
机译:
随时间流的均衡的存在性和唯一性
作者:
Roberto Cominetti
;
Jose R. Correa
;
Omar Larre
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
关键词:
flows over time;
network equilibrium;
42.
Collusion in Atomic Splittable Routing Games
机译:
原子可拆分路由游戏中的合谋
作者:
Chien-Chung Huang
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
43.
Adaptively Secure Non-interactive Threshold Cryptosystems
机译:
自适应安全的非交互式阈值密码系统
作者:
Benoit Libert
;
Moti Yung
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
关键词:
threshold cryptography;
encryption schemes;
digital signatures;
adaptive corruptions;
non-interactivity;
44.
Content Search through Comparisons
机译:
通过比较进行内容搜索
作者:
Amin Karbasi
;
Stratis Ioannidis
;
Laurent Massoulie
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
45.
Efficient Distributed Communication in Ad-Hoc Radio Networks
机译:
Ad-Hoc无线电网络中的高效分布式通信
作者:
Bogdan S. Chlebus
;
Dariusz R. Kowalski
;
Andrzej Pelc
;
Mariusz A. Rokicki
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
关键词:
radio network;
distributed algorithm;
gossiping;
gathering,multi-broadcast;
routing;
46.
Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model
机译:
SINR模型中的分布式无线调度的最佳边界
作者:
Magnus M. Halldorsson
;
Pradipta Mitra
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
关键词:
distributed scheduling;
wireless networks;
SINR model;
47.
Convergence Time of Power-Control Dynamics
机译:
功率控制动力学的收敛时间
作者:
Johannes Dams
;
Martin Hoefer
;
Thomas Kesselheim
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
48.
A New Approach for Analyzing Convergence Algorithms for Mobile Robots
机译:
分析移动机器人收敛算法的新方法
作者:
Andreas Cord-Landwehr
;
Bastian Degener
;
Matthias Fischer
;
Martina Huellmann
;
Barbara Kempkes
;
Alexander Klaas
;
Peter Kling
;
Sven Kurras
;
Maercus Maertens
;
Friedhelm Meyer auf der Heide
;
Christoph Raupach
;
Kamil Swierkot
;
Daniel Warner
;
Christoph Weddemann
;
Daniel Wonisch
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
49.
Rice's Theorem for μ-Limit Sets of Cellular Automata
机译:
细胞自动机μ极限集的赖斯定理
作者:
Martin Delacourt
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
50.
Nondeterminism Is Essential in Small 2FAs with Few Reversals
机译:
非确定性在具有很少逆转的小型2FA中至关重要
作者:
Christos A. Kapoutsis
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
51.
On the Semantics of Markov Automata
机译:
马尔可夫自动机的语义学
作者:
Yuxin Deng
;
Matthew Hennessy
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
52.
Programming with Infinitesimals:A WHILE-Language for Hybrid System Modeling
机译:
无穷小编程:用于混合系统建模的WHILE语言
作者:
Kohei Suenaga
;
Ichiro Hasuo
会议名称:
《International colloquium on automata, languages and programming;ICALP 2011》
|
2011年
意见反馈
回到顶部
回到首页