发布求助
文献互助 智能选刊 最新文献

Conference on Computability in Europe最新文献

筛选
英文 中文
Strong Medvedev Reducibilities and the KL-Randomness Problem 强Medvedev可约性与kl -随机性问题
Conference on Computability in Europe Pub Date : 2022-04-28 DOI: 10.1007/978-3-031-08740-0_13
B. Kjos-Hanssen, David J. Webb
{"title":"Strong Medvedev Reducibilities and the KL-Randomness Problem","authors":"B. Kjos-Hanssen, David J. Webb","doi":"10.1007/978-3-031-08740-0_13","DOIUrl":"https://doi.org/10.1007/978-3-031-08740-0_13","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129147983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Defining long words succinctly in FO and MSO 在FO和MSO中简洁地定义长单词
Conference on Computability in Europe Pub Date : 2022-02-21 DOI: 10.1007/978-3-031-08740-0_11
L. Hella, Miikka Vilander
{"title":"Defining long words succinctly in FO and MSO","authors":"L. Hella, Miikka Vilander","doi":"10.1007/978-3-031-08740-0_11","DOIUrl":"https://doi.org/10.1007/978-3-031-08740-0_11","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125021674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Probabilistic Models of k-mer Frequencies (Extended Abstract) k-mer频率的概率模型(扩展摘要)
Conference on Computability in Europe Pub Date : 2021-12-30 DOI: 10.1007/978-3-030-80049-9_21
A. Gafurov, T. Vinař, Broňa Brejová
{"title":"Probabilistic Models of k-mer Frequencies (Extended Abstract)","authors":"A. Gafurov, T. Vinař, Broňa Brejová","doi":"10.1007/978-3-030-80049-9_21","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_21","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114782961","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry 细粒度复杂性理论:计算几何的条件下界
Conference on Computability in Europe Pub Date : 2021-10-19 DOI: 10.1007/978-3-030-80049-9_6
K. Bringmann
{"title":"Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry","authors":"K. Bringmann","doi":"10.1007/978-3-030-80049-9_6","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_6","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121850741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
In Search of the First-Order Part of Ramsey's Theorem for Pairs 对拉姆齐定理一阶部分的求导
Conference on Computability in Europe Pub Date : 2021-07-05 DOI: 10.1007/978-3-030-80049-9_27
L. Kolodziejczyk, K. Yokoyama
{"title":"In Search of the First-Order Part of Ramsey's Theorem for Pairs","authors":"L. Kolodziejczyk, K. Yokoyama","doi":"10.1007/978-3-030-80049-9_27","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_27","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131534509","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Effective Inseparability and Its Applications 有效不可分性及其应用
Conference on Computability in Europe Pub Date : 2021-07-05 DOI: 10.1007/978-3-030-80049-9_41
A. Sorbi
{"title":"Effective Inseparability and Its Applications","authors":"A. Sorbi","doi":"10.1007/978-3-030-80049-9_41","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_41","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114822539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards a Map for Incremental Learning in the Limit from Positive and Negative Information 正、负信息限制下的增量学习图
Conference on Computability in Europe Pub Date : 2021-07-05 DOI: 10.1007/978-3-030-80049-9_25
Ardalan Khazraei, Timo Kötzing, Karen Seidel
{"title":"Towards a Map for Incremental Learning in the Limit from Positive and Negative Information","authors":"Ardalan Khazraei, Timo Kötzing, Karen Seidel","doi":"10.1007/978-3-030-80049-9_25","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_25","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121908795","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Splittings and Robustness for the Heine-Borel Theorem Heine-Borel定理的分裂性和鲁棒性
Conference on Computability in Europe Pub Date : 2021-06-10 DOI: 10.1007/978-3-030-80049-9_39
Sam Sanders
{"title":"Splittings and Robustness for the Heine-Borel Theorem","authors":"Sam Sanders","doi":"10.1007/978-3-030-80049-9_39","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_39","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131552317","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
KL-Randomness and Effective Dimension Under Strong Reducibility 强约约下的kl -随机性和有效维数
Conference on Computability in Europe Pub Date : 2021-04-28 DOI: 10.1007/978-3-030-80049-9_45
B. Kjos-Hanssen, David J. Webb
{"title":"KL-Randomness and Effective Dimension Under Strong Reducibility","authors":"B. Kjos-Hanssen, David J. Webb","doi":"10.1007/978-3-030-80049-9_45","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_45","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134517687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
On the Degrees of Constructively Immune Sets 关于构造免疫集的度
Conference on Computability in Europe Pub Date : 2021-04-27 DOI: 10.1007/978-3-030-80049-9_5
Samuel Birns, B. Kjos-Hanssen
{"title":"On the Degrees of Constructively Immune Sets","authors":"Samuel Birns, B. Kjos-Hanssen","doi":"10.1007/978-3-030-80049-9_5","DOIUrl":"https://doi.org/10.1007/978-3-030-80049-9_5","url":null,"abstract":"","PeriodicalId":436783,"journal":{"name":"Conference on Computability in Europe","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127095220","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信