掌桥科研
一站式科研服务平台
学术工具
文档翻译
论文查重
文档转换
收录引用
科技查新
期刊封面封底
自科基金
外文数据库(机构版)
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Annual symposium on theoretical aspects of computer science
Annual symposium on theoretical aspects of computer science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Star-Free Open Languages and Aperiodic Loops
机译:
无星形开放语言和非周期性循环
作者:
Martin Beaudry
;
Francois Lemieux
;
Denis Thérien
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
2.
A Model Theoretic Proof of Büchi-Type Theorems and First-Order Logic for N-Free Pomsets
机译:
BÜCHI型定理的模型理论证明和N-FATE PMS集的一阶逻辑
作者:
Dietrich Kuske
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
3.
An Ehrenfeucht-Fraissé Approach to Collapse Results for First-Order Queries over Embedded Databases
机译:
在嵌入式数据库上的一阶查询折叠结果的ehrenfeucht-fraissé方法
作者:
Nicole Schweikardt
;
Nicole Schweikardt
;
Clemens Lautemann
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
4.
A New Logical Characterization of Buchi Automata
机译:
Buchi自动机的新逻辑表征
作者:
Giacomo Lenzi
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
5.
The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete
机译:
自由群体中具有合理约束的方程的存在性理论是PSPACE完整的
作者:
Christian Hagenah
;
Claudio Gutierrez
;
Christian Hagenah
;
Claudio Gutierrez
;
Volker Diekert
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Formal languages;
Equations;
Regular language;
Free group;
6.
On the Difference between Polynomial-Time Many-One and Truth-Table Reducibilities on Distributional Problems
机译:
关于多项式多元和真实表速度在分布问题之间的差异
作者:
Ra
;
Osamu Watanabe
;
Tatsuie Tsukiji
;
Rainer Schuler
;
Osamu Watanabe
;
Tatsuie Tsukiji
;
Rainer Schuler
;
Shin Aida
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
7.
Gathering of Asynchronous Oblivious Robots with Limited Visibility
机译:
收集具有有限知名度的异步疏忽机器人
作者:
Paola Flocchini1
;
Giuseppe Prencipe
;
Nicola Santoro
;
Peter Widmayer
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Distributed algorithms;
Coordination;
Control;
Mobile robots;
8.
Optimal and Approximate Station Placement in Networks (With Applications to Multicasting and Space Efficient Traversals)
机译:
网络中的最佳和近似站放置(具有多播和空间高效遍历的应用)
作者:
Clemente Galdi
;
Christos Kaklamanis
;
Manuela Montangero
;
Pino Persiano
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Multicasting;
Approximation algorithms;
Distributed systems;
Networks;
9.
Refining the Hierarchy of Blind Multicounter Languages
机译:
精炼盲多人语言的层次结构
作者:
Alexy Kurganskyy
;
Alexy Kurganskyy
;
Matthias Jantzen
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
10.
Deterministic Radio Broadcasting at Low Cost
机译:
确定性无线电广播以低成本
作者:
Andrzej Pelc
;
Andrzej Pelc
;
Anders Dessmark
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
11.
The Complexity of Copy Constant Detection in Parallel Programs
机译:
并行程序中复制常量检测的复杂性
作者:
Markus Muller-Olm
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
12.
The #a = #b Pictures Are Recognizable
机译:
#a = #b图片可识别
作者:
Klaus Reinhardt
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
13.
Scalable Sparse Topologies with Small Spectrum
机译:
具有小频谱的可扩展稀疏拓扑
作者:
Robert Elsasser
;
Rastislav Královic
;
Burkhard Monien
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
14.
On the Complexity of Computing Minimum Energy Consumption Broadcast Subgraphs
机译:
关于计算最小能耗广播子图的复杂性
作者:
Paola Vocca1
;
Gianluca Rossi
;
Paolo Penna1
;
Pilu Crescenzi
;
Paola Vocca1
;
Gianluca Rossi
;
Paolo Penna1
;
Pilu Crescenzi
;
Andrea E.F. Clementi1
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
15.
Generalized Model-Checking Problems for First-Order Logic
机译:
一阶逻辑的广义模型检查问题
作者:
Martin Grohe
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
16.
A 5/2n~2-Lower Bound for the Multiplicative Complexity of n * n-Matrix Multiplication
机译:
对于n * n矩阵乘法的乘法复杂度的5 / 2n〜2-下限
作者:
Markus Blaser
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
17.
Recurrence in Infinite Words
机译:
在无限的话语中复发
作者:
Julien Cassaigne
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
18.
The UPS Problem
机译:
UPS问题
作者:
Cristina G. Fernandes
;
Till Nierhoff
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
19.
Space Efficient Algorithms for Series-Parallel Graphs
机译:
串联平行图的空间高效算法
作者:
Andreas Jakoby
;
Maciej Liskiewicz
;
Rüdiger Reischuk
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
20.
Small PCPs with Low Query Complexity
机译:
小型PCP,具有低查询复杂性
作者:
Prahladh Harsha
;
Madhu Sudan
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
21.
On the Circuit Complexity of Random Generation Problems for Regular and Context-Free Languages
机译:
关于常规和上下文语言的随机产生问题的电路复杂性
作者:
Massimiliano Goldwurm
;
Beatrice Palano
;
Massimo Santini
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Uniform random generation;
Ambiguous context-free languages;
Auxiliary pushdown automata;
Circuit complexity;
22.
Evasiveness of Subgraph Containment and Related Properties
机译:
外画箱和相关性能的蒸发性
作者:
Amit Chakrabarti
;
Subhash Khot
;
Yaoyun Shi
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Decision tree complexity;
Graph property testing;
Evasiveness;
Monotone graph properties;
23.
New Bounds on the OBDD-Size of Integer Multiplication via Universal Hashing
机译:
通过通用散列对OBDD乘法乘法的新界限
作者:
Philipp Woelfel
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
24.
Semantical Principles in the Modal Logic of Coalgebras
机译:
基于基于拟议逻辑的语义原则
作者:
Dirk Pattinson
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
25.
On the Class of Languages Recognizable by 1-Way Quantum Finite Automata
机译:
通过单向量子有限自动机可识别的语言类别
作者:
Andris Ambainis
;
Arnolds ikusts
;
Mris Valdats
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
26.
The Complexity of Minimal Satisfiability Problems
机译:
最小满足性问题的复杂性
作者:
Lefteris M. Kirousis
;
Phokion G. Kolaitis
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
27.
Polynomial Time Approximation Schemes for MAX-BISECTION on Planar and Geometric Graphs
机译:
Planar和几何图中最大平等的多项式时间近似方案
作者:
Eike Seidel
;
Andrzej Lingas
;
Marek Karpinski
;
Eike Seidel
;
Andrzej Lingas
;
Marek Karpinski
;
Klaus Jansen
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
28.
On Multipartition Communication Complexity
机译:
论多重立场通信复杂性
作者:
Pavol Duri
;
Juraj Hromkovi
;
Stasys Jukna
;
Martin Sauerhoff
;
Georg Schnitger
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
29.
A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c
机译:
一个简单的未定定问题:AB * C上有限替换的纳入问题
作者:
Juhani Karhumaki
;
Leonid P. Lisovik
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
30.
Residual Finite State Automata
机译:
残余有限状态自动机
作者:
Alain Terlutte
;
Aurelien Lemay
;
Alain Terlutte
;
Aurelien Lemay
;
Francois Denis
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
31.
A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages
机译:
常规明星语言层次结构的可辨icis的逻辑方法
作者:
Victor L. Selivanov
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Star-free regular languages;
Hierarchies;
Definability;
Decidability;
32.
On Presburger Liveness of Discrete Timed Automata
机译:
关于离散定时自动机的预爆炸活力
作者:
Richard A. Kemmerer
;
Pierluigi San Pietro
;
Richard A. Kemmerer
;
Pierluigi San Pietro
;
Zhe Dang1
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
33.
Efficient Minimal Perfect Hashing in Nearly Minimal Space
机译:
高效最小的完美散列空间
作者:
Torben Hagerup
;
Torsten Tholey
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Computational and structural complexity;
Algorithms and data structures;
Perfect hashing;
Sparse tables;
Space complexity;
34.
A Primal-Dual Approximation Algorithm for the Survivable Network Design Problem in Hypergraph
机译:
超图中可生存网络设计问题的原始逼近算法
作者:
Liang Zhao
;
Hiroshi Nagamochi
;
Toshihide Ibaraki
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
35.
A 5/2n{sup}2-Lower Bound for the Multiplicative Complexity of n×n-Matrix Multiplication
机译:
用于n×n矩阵乘法的乘法复杂度的5/2n {sup} 2 - 下限
作者:
Markus Blaser
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
36.
Generalized Langton's Ant: Dynamical Behavior and Complexity
机译:
广义兰顿的蚂蚁:动态行为和复杂性
作者:
Anahi Gajardo
;
Eric Goles1
;
Andrés Moreira
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
37.
Recursive Randomized Coloring Beats Fair Dice Random Colorings
机译:
递归随机着色击败公平骰子随机染色
作者:
Benjamin Doerr
;
Anand Srivastav
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
38.
Learning Expressions over Monoids
机译:
学习表达式
作者:
Ricard Gavaldà
;
Denis Thérien
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
39.
Approximation Algorithms for the Bottleneck Stretch Factor Problem
机译:
瓶颈妊娠因子问题的近似算法
作者:
Giri Narasimhan
;
Michiel Smid
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
40.
The ≠a = ≠b Pictures Are Recognizable
机译:
≠A=≠B图片可识别
作者:
Klaus Reinhardt
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
automata and formal languages;
logic;
41.
Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables
机译:
常规语言由普遍的一阶公式定义,具有有界数的绑定变量
作者:
Howard Straubing
;
Denis Therien
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
42.
Randomness, Computability, and Density
机译:
随机性,可计算性和密度
作者:
Rod G. Downey
;
Denis R. Hirschfeldt
;
André Nies
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
43.
A Toolkit for First Order Extensions of Monadic Games
机译:
用于Monadic Games的一阶扩展的工具包
作者:
David Janin
;
Jerzy Marcinkowski
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
44.
Matching Polygonal Curves with Respect to the Fréchet Distance
机译:
匹配多边形曲线相对于Fréchet距离
作者:
Helmut Alt
;
Christian Knauer
;
CarolaWenk
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Computational geometry;
Shape matching;
Fréchet distance;
Parametric search;
Approximation algorithm;
Reference point;
45.
New Results on Alternating and Non-deterministic Two-Dimensional Finite-State Automata
机译:
交替和非确定性二维有限状态自动机的新结果
作者:
Jarkko Kari
;
Cristopher Moore
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
46.
On the Minimal Hardware Complexity of Pseudorandom Function Generators
机译:
伪随机函数发生器的最小硬件复杂性
作者:
Matthias Krause
;
Stefan Lucks
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Cryptography;
Pseudorandomness;
Boolean Complexity Theory;
Computational Distinguishability;
47.
Efficient Recognition of Random Unsatisfiable k-SAT Instances by Spectral Methods
机译:
通过光谱方法高效识别随机不匹配的K-SAT情况
作者:
Andreas Goerdt
;
Michael Krivelevich
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
48.
Approximation Algorithms for Minimum Size 2-Connectivity Problems
机译:
近似算法,用于最小尺寸2连接问题
作者:
Piotr Krysta
;
V. S. Anil Kumar
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
49.
2-Nested Simulation Is Not Finitely Equationally Axiomatizable
机译:
2嵌套仿真不是有限等同于公正的公正
作者:
W
;
Anna Ingolfsdottir
;
Wan Fokkink
;
Anna Ingolfsdottir
;
Wan Fokkink
;
Luca Aceto
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
50.
Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra
机译:
Myhill-nerode关于自动系统的关系和Kleene代数的完整性
作者:
Dexter Kozen
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
51.
Optimal Preemptive Scheduling on Uniform Processors with Non-decreasing Speed Ratios
机译:
非降低速度比的均匀处理器最佳抢购调度
作者:
Leah Epstein
会议名称:
《Annual symposium on theoretical aspects of computer science》
|
2001年
关键词:
Algorithms;
Scheduling;
意见反馈
回到顶部
回到首页