掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Conference on Computability in Europe
Conference on Computability in Europe
召开年:
2020
召开地:
Fisciano(IT)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Preface
机译:
前言
作者:
Marcella Anselmo
;
Gianluca Della Vedova
;
Florin Manea
;
Arno Pauly
会议名称:
《Conference on Computability in Europe》
|
2020年
2.
Acceleration of Read Mapping Through Hardware/Software Co-design
机译:
通过硬件/软件协同设计加速读取映射
作者:
Can Alkan
会议名称:
《Conference on Computability in Europe》
|
2020年
3.
Centralities in Network Analysis
机译:
网络分析的中心
作者:
Paolo Boldi
会议名称:
《Conference on Computability in Europe》
|
2020年
4.
A Game-Theoretic Approach for the Automated Synthesis of Complex Systems
机译:
复杂系统自动综合的博弈论方法
作者:
Veronique Bruyere
会议名称:
《Conference on Computability in Europe》
|
2020年
5.
Hard Problems for Simple Word Equations: Understanding the Structure of Solution Sets in Restricted Cases
机译:
简单单词方程式的难题:了解受限情况下解集的结构
作者:
Joel D. Day
会议名称:
《Conference on Computability in Europe》
|
2020年
6.
A Survey of Recent Results on Algorithmic Teaching
机译:
算法教学最新成果综述
作者:
Ziyuan Gao
会议名称:
《Conference on Computability in Europe》
|
2020年
7.
Tree Compression with Top Trees
机译:
树顶压缩
作者:
Inge Li Gortz
会议名称:
《Conference on Computability in Europe》
|
2020年
8.
Efficient Counting of k-mers and Spaced Seeds to Speed-Up Alignment-Free Methods
机译:
有效计数k-mers和间隔种子以加快无比对方法
作者:
Cinzia Pizzi
会议名称:
《Conference on Computability in Europe》
|
2020年
9.
On the Repetitive Structure of Words
机译:
论词的重复结构
作者:
Antonio Restivo
会议名称:
《Conference on Computability in Europe》
|
2020年
10.
Learning Algebraic Structures
机译:
学习代数结构
作者:
Luca San Mauro
会议名称:
《Conference on Computability in Europe》
|
2020年
11.
Topological Spaces in Computable Analysis
机译:
可计算分析中的拓扑空间
作者:
Matthias Schroder
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Computable analysis;
Topological spaces;
QCB-spaces;
Co-polish spaces;
12.
Molecular Algorithms Using Reprogrammable DNA Self-assembly
机译:
使用可重编程DNA自组装的分子算法
作者:
Damien Woods
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
DNA computing;
Self-assembly;
Theory of computation;
13.
A Note on Computable Embeddings for Ordinals and Their Reverses
机译:
关于普通数及其逆的可计算嵌入的注记
作者:
Nikolay Bazhenov
;
Stefan Vatev
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Computable embedding;
Enumeration operator;
Linear order;
14.
Clockability for Ordinal Turing Machines
机译:
图灵机的适时性
作者:
Merlin Carl
会议名称:
《Conference on Computability in Europe》
|
2020年
15.
Some Notes on Spaces of Ideals and Computable Topology
机译:
关于理想空间和可计算拓扑的一些注释
作者:
Matthew de Brecht
会议名称:
《Conference on Computability in Europe》
|
2020年
16.
Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics
机译:
Weihrauch可约性与构造逆数学的并行化
作者:
Makoto Fujiwara
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Weihrauch reducibility;
Parallelization;
Constructive reverse mathematics;
17.
Liouville Numbers and the Computational Complexity of Changing Bases
机译:
Liouville数与不断变化的基数的计算复杂性
作者:
Sune Kristian Jakobsen
;
Jakob Grue Simonsen
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Computability;
Computational complexity;
Diophantine approximation;
Number theory;
18.
On Interpretability Between Some Weak Essentially Undecidable Theories
机译:
一些弱的本质不确定的理论之间的可解释性
作者:
Lars Kristiansen
;
Juvenal Murwanashyaka
会议名称:
《Conference on Computability in Europe》
|
2020年
19.
On the Complexity of Conversion Between Classic Real Number Representations
机译:
经典实数表示之间转换的复杂性
作者:
Lars Kristiansen
;
Jakob Grue Simonsen
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Computable analysis;
Computational complexity;
Subrecursion;
Representation of irrational numbers;
20.
Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power
机译:
确定性和非确定性迭代均匀有限状态传感器:计算能力和描述能力
作者:
Martin Kutrib
;
Andreas Malcher
;
Carlo Mereghetti
;
Beatrice Palano
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Iterated transducers;
State complexity;
Sweep complexity;
Language hierarchies;
21.
Computable Analysis and Classification Problems
机译:
可计算分析和分类问题
作者:
Rodney G. Downey
;
Alexander G. Melnikov
会议名称:
《Conference on Computability in Europe》
|
2020年
22.
Non-coding Enumeration Operators
机译:
非编码枚举运算符
作者:
Russell Miller
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Computability;
Computable structure theory;
Enumeration operators;
Essential lowness;
Hilbert's Tenth Problem;
23.
On the Interplay Between Inductive Inference of Recursive Functions,Complexity Theory and Recursive Numberings
机译:
递归函数的归纳推理,复杂性理论与递归编号之间的相互作用
作者:
Thomas Zeugmann
会议名称:
《Conference on Computability in Europe》
|
2020年
24.
PRAWF: An Interactive Proof System for Program Extraction
机译:
PRAWF:用于程序提取的交互式证明系统
作者:
Ulrich Berger
;
Olga Petrovska
;
Hideki Tsuiki
会议名称:
《Conference on Computability in Europe》
|
2020年
25.
ASNP: A Tame Fragment of Existential Second-Order Logic
机译:
ASNP:存在的二阶逻辑的驯服片段
作者:
Manuel Bodirsky
;
Simon Knaeuer
;
Florian Starke
会议名称:
《Conference on Computability in Europe》
|
2020年
26.
Ackermannian Goodstein Sequences of Intermediate Growth
机译:
Ackermannian Goodstein中间增长序列
作者:
David Fernandez-Duque
;
Andreas Weiermann
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Goodstein sequences;
Independence proofs;
Ordinal notation systems;
27.
On the Complexity of Validity Degrees in Lukasiewicz Logic
机译:
Lukasiewicz逻辑中有效度的复杂性
作者:
Zuzana Hanikova
会议名称:
《Conference on Computability in Europe》
|
2020年
28.
Degrees of Non-computability of Homeomorphism Types of Polish Spaces
机译:
波兰空间的同胚型的不可计算度
作者:
Mathieu Hoyrup
;
Takayuki Kihara
;
Victor Selivanov
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Computable topology;
Computable presentation;
Computable Polish space;
Degree spectrum;
29.
Time-Aware Uniformization of Winning Strategies
机译:
获胜策略的时间感知统一
作者:
Stephane Le Roux
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Two-player win/lose games;
Imperfect information;
Criterion for existence of uniform winning strategies;
Finite memory;
30.
Quantitative Coding and Complexity Theory of Compact Metric Spaces
机译:
紧度量空间的定量编码和复杂性理论
作者:
Donghyun Lim
;
Martin Ziegler
会议名称:
《Conference on Computability in Europe》
|
2020年
31.
Functions of Baire Class One over a Bishop Topology
机译:
Baire Class One在Bishop拓扑上的功能
作者:
Iosif Petrakis
会议名称:
《Conference on Computability in Europe》
|
2020年
32.
Combinatorial Properties of Degree Sequences of 3-Uniform Hypergraphs Arising from Saind Arrays
机译:
Saind数组引起的3一致超图的度数序列的组合性质
作者:
A. Frosini
;
G. Palma
;
S. Rinaldi
会议名称:
《Conference on Computability in Europe》
|
2020年
33.
The Computational Significance of Hausdorff 's Maximal Chain Principle
机译:
Hausdorff最大链原理的计算意义。
作者:
Peter Schuster
;
Daniel Wessel
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Axiom of Choice;
Maximal chain;
Maximal ideal;
Maximal clique;
Jacobson radical;
Proof-theoretic conservation;
Computational content;
Constructive set theory;
Finite binary tree;
Inductive generation;
34.
Number of Prefixes in Trace Monoids: Clique Polynomials and Dependency Graphs
机译:
痕迹Monoid中的前缀数目:集团多项式和依赖图
作者:
Cyril Banderier
;
Massimiliano Goldwurm
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Trace monoids;
Clique polynomials;
Moebius functions;
Automata theory;
Analytic combinatorics;
Patterns in words;
35.
Repetitions in Toeplitz Words and the Thue Threshold
机译:
Toeplitz单词和Thue阈值的重复
作者:
Antonio Boccuto
;
Arturo Carpi
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Power-free word;
Toeplitz word;
Partial word;
Word with bounded square;
Thue threshold;
Arithmetic subword;
36.
On Simulation in Automata Networks
机译:
关于自动机网络中的仿真
作者:
Florian Bridoux
;
Maximilien Gadouleau
;
Guillaume Theyssier
会议名称:
《Conference on Computability in Europe》
|
2020年
37.
Theoretical and Implementational Aspects of the Formal Language Server (LaSer)
机译:
正式语言服务器(LaSer)的理论和实现方面
作者:
Stavros Konstantinidis
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Independent languages;
Regular languages;
Codes;
DNA codes;
Property satisfaction;
Maximality;
Implementation;
38.
Balancing Straight-Line Programs for Strings and Trees
机译:
平衡字符串和树的直线程序
作者:
Markus Lohrey
会议名称:
《Conference on Computability in Europe》
|
2020年
39.
Two-Dimensional Codes
机译:
二维码
作者:
Maria Madonia
会议名称:
《Conference on Computability in Europe》
|
2020年
40.
Formal Languages in Information Extraction and Graph Databases
机译:
信息提取和图形数据库中的形式语言
作者:
Wim Martens
会议名称:
《Conference on Computability in Europe》
|
2020年
41.
On the Perceptron's Compression
机译:
关于感知器的压缩
作者:
Shay Moran
;
Ido Nachum
;
Itai Panasoff
;
Amir Yehudayoff
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Machine learning;
Compression;
Convex separation;
42.
#P-completeness of Counting Update Digraphs, Cacti, and Series-Parallel Decomposition Method
机译:
更新图,仙人掌和串并行分解方法的#P完整性
作者:
Camille Nous
;
Kevin Perrot
;
Sylvain Sene
;
Lucas Venturini
会议名称:
《Conference on Computability in Europe》
|
2020年
43.
Faster Online Computation of the Succinct Longest Previous Factor Array
机译:
简洁的最长的先前因子数组的更快的在线计算
作者:
Nicola Prezza
;
Giovanna Rosone
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Longest Previous Factor;
Online;
Compressed data structures;
44.
Recent Advances in Text-to-Pattern Distance Algorithms
机译:
文本到模式距离算法的最新进展
作者:
Przemyslaw Uznanski
会议名称:
《Conference on Computability in Europe》
|
2020年
45.
Insertion-Deletion Systems with Substitutions Ⅰ
机译:
带有替换的插入删除系统Ⅰ
作者:
Martin Vu
;
Henning Fernau
会议名称:
《Conference on Computability in Europe》
|
2020年
关键词:
Computational completeness;
Context-sensitive;
Insertions;
Deletions;
Substitutions;
意见反馈
回到顶部
回到首页