掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International workshop on descriptional complexity of formal systems
International workshop on descriptional complexity of formal systems
召开年:
2017
召开地:
Milano(IT)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Sensing as a Complexity Measure
机译:
感知作为一种复杂性度量
作者:
Shaull Almagor
;
Denis Kuperberg
;
Orna Kupferman
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
2.
Avoiding Overlaps in Pictures
机译:
避免图片重叠
作者:
Marcella Anselmo
;
Dora Giammarresi
;
Maria Madonia
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
关键词:
Two-dimensional language;
Overlap;
Unbordered picture;
3.
Descriptional Complexity and Operations - Two Non-classical Cases
机译:
描述的复杂性和操作-两个非经典案例
作者:
Jürgen Dassow
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
4.
Applications of Transducers in Independent Languages, Word Distances, Codes
机译:
传感器在独立语言,字距,代码中的应用
作者:
Stavros Konstantinidis
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
关键词:
Algorithm;
Automata;
Codes;
Distance;
Independence;
Language;
Maximal;
Transducer;
5.
On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages
机译:
树邻接语言和头语法语言的不确定性程度
作者:
Suna Bensch
;
Maia Hoeberechts
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
关键词:
Tree adjoining languages;
Head grammar languages;
Degree of nondeterminism;
6.
On the Average Complexity of Strong Star Normal Form
机译:
关于强恒星范式的平均复杂度
作者:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
7.
Most Complex Non-returning Regular Languages
机译:
最复杂的不归零的常规语言
作者:
Janusz A. Brzozowski
;
Sylvie Davies
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
关键词:
Atom;
Boolean operation;
Concatenation;
Different alphabets;
Most complex;
Non-returning;
Reversal;
Regular;
Star;
State complexity;
Syntactic semigroup;
Transition semigroup;
Unrestricted complexity;
8.
Uncountable Realtime Probabilistic Classes
机译:
不可数的实时概率类
作者:
Maksims Dimitrijevs
;
Abuzer Yakaryilmaz
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
9.
A Parametrized Analysis of Algorithms on Hierarchical Graphs
机译:
分层图算法的参数化分析
作者:
Rachel Faran
;
Orna Kupferman
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
10.
Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity
机译:
图形控制的插入删除系统生成超出线性的语言类
作者:
Henning Fernau
;
Lakshmanan Kuppusamy
;
Indhumathi Raman
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
关键词:
Insertion-deletion systems;
Graph-controlled systems;
Descriptional complexity measures;
Closure classes of linear languages;
11.
Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors
机译:
具有基本极化和少量处理器的演化处理器网络的计算完整性
作者:
Rudolf Freund
;
Vladimir Rogojin
;
Sergey Verlan
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
12.
Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy is NP-Complete
机译:
识别使用逐级联合策略构建的联合查找树是NP完整的
作者:
Kitti Gelle
;
Szabolcs Iván
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
13.
Self-attraction Removal from Oritatami Systems
机译:
从Oritatami系统中删除自我吸引力
作者:
Yo-Sub Han
;
Hwee Kim
;
Trent A. Rogers
;
Shinnosuke Seki
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
14.
One-Time Nondeterministic Computations
机译:
一次性非确定性计算
作者:
Markus Holzer
;
Martin Kutrib
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
15.
Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free Languages
机译:
由因子,子词和无后缀的语言生成的Kuratowski代数
作者:
Jozef Jirásek Jr.
;
Matúš Palmovský
;
Juraj Šebej
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
16.
Branching Measures and Nearly Acyclic NFAs
机译:
分枝措施和近乎非循环的NFA
作者:
Chris Keeler
;
Kai Salomaa
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
17.
Square on Deterministic, Alternating, and Boolean Finite Automata
机译:
确定性,交替和布尔有限自动机的平方
作者:
Ivana Krajňáková
;
Galina Jirásková
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
18.
A Pumping Lemma for Ordered Restarting Automata
机译:
用于命令重启自动机的抽水引理
作者:
Kent Kwee
;
Friedrich Otto
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
关键词:
Restarting automaton;
Ordered rewriting;
Pumping lemma;
Finiteness problem;
19.
Concise Representations of Reversible Automata
机译:
可逆自动机的简洁表示
作者:
Giovanna J. Lavado
;
Luca Prigioniero
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
20.
State Complexity of Unary SV-XNFA with Different Acceptance Conditions
机译:
不同接受条件下一元SV-XNFA的状态复杂度
作者:
Laurette Marais
;
Lynette van Zijl
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
21.
Reset Complexity of Ideal Languages Over a Binary Alphabet
机译:
在二进制字母上重置理想语言的复杂性
作者:
Marina Maslennikova
会议名称:
《》
|
2017年
关键词:
Ideal language;
Synchronizing automaton;
Reset word;
Reset complexity;
PSPACE-completeness;
22.
2-State 2-Symbol Turing Machines with Periodic Support Produce Regular Sets
机译:
具有周期性支持的2状态2符号图灵机产生常规集
作者:
Turlough Neary
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
23.
State Complexity of Suffix Distance
机译:
后缀距离的状态复杂度
作者:
Timothy Ng
;
David Rappaport
;
Kai Salomaa
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
24.
The Quotient Operation on Input-Driven Pushdown Automata
机译:
输入驱动下推自动机的商运算
作者:
Alexander Okhotin
;
Kai Salomaa
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
25.
Preface
机译:
前言
作者:
Giovanni Pighizzini
;
Cezar Campeanu
会议名称:
《International workshop on descriptional complexity of formal systems》
|
2017年
意见反馈
回到顶部
回到首页