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

Italian Conference on Theoretical Computer Science最新文献

筛选
英文 中文
Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences 二值序列非线性生成器的伪随机性
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_26
A. Fúster-Sabater
{"title":"Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences","authors":"A. Fúster-Sabater","doi":"10.1007/978-3-540-45208-9_26","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_26","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123599758","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
On the Computational Complexity of Cut-Elimination in Linear Logic 线性逻辑中割消的计算复杂度
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_4
Harry G. Mairson, K. Terui
{"title":"On the Computational Complexity of Cut-Elimination in Linear Logic","authors":"Harry G. Mairson, K. Terui","doi":"10.1007/978-3-540-45208-9_4","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_4","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126830069","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}
引用次数: 52
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality 锐化三角形不等式完备图中最小权值顶点连通性问题的逼近算法
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_12
Alessandro Ferrante, Mimmo Parente
{"title":"An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality","authors":"Alessandro Ferrante, Mimmo Parente","doi":"10.1007/978-3-540-45208-9_12","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_12","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130858016","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
A Calculus for Dynamic Linking 动态链接的微积分
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_23
D. Ancona, Sonia Fagorzi, E. Zucca
{"title":"A Calculus for Dynamic Linking","authors":"D. Ancona, Sonia Fagorzi, E. Zucca","doi":"10.1007/978-3-540-45208-9_23","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_23","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128869445","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}
引用次数: 17
Refined Effects for Unanticipated Object Re-classification: Fickle3 非预期对象重新分类的精细效果:Fickle3
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_9
Ferruccio Damiani, S. Drossopoulou, P. Giannini
{"title":"Refined Effects for Unanticipated Object Re-classification: Fickle3","authors":"Ferruccio Damiani, S. Drossopoulou, P. Giannini","doi":"10.1007/978-3-540-45208-9_9","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_9","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132322270","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}
引用次数: 14
Channel Assignment in Honeycomb Networks 蜂窝网络中的信道分配
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_13
A. Bertossi, M. C. Pinotti, Romeo Rizzi, Anil M. Shende
{"title":"Channel Assignment in Honeycomb Networks","authors":"A. Bertossi, M. C. Pinotti, Romeo Rizzi, Anil M. Shende","doi":"10.1007/978-3-540-45208-9_13","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_13","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121590034","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}
引用次数: 5
On the Expressive Power of Light Affine Logic 论光仿射逻辑的表达能力
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_18
Ugo Dal Lago
{"title":"On the Expressive Power of Light Affine Logic","authors":"Ugo Dal Lago","doi":"10.1007/978-3-540-45208-9_18","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_18","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114928599","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}
引用次数: 9
Extreme Nash Equilibria 极端纳什均衡
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_1
M. Gairing, T. Lücking, M. Mavronicolas, B. Monien, P. Spirakis
{"title":"Extreme Nash Equilibria","authors":"M. Gairing, T. Lücking, M. Mavronicolas, B. Monien, P. Spirakis","doi":"10.1007/978-3-540-45208-9_1","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_1","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131934035","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}
引用次数: 44
Security-Aware Program Transformations 安全感知程序转换
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_28
Massimo Bartoletti, P. Degano, G. Ferrari
{"title":"Security-Aware Program Transformations","authors":"Massimo Bartoletti, P. Degano, G. Ferrari","doi":"10.1007/978-3-540-45208-9_28","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_28","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"33 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133607250","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}
引用次数: 4
Decidability Properties of Recursive Types 递归类型的可判定性
Italian Conference on Theoretical Computer Science Pub Date : 2003-10-13 DOI: 10.1007/978-3-540-45208-9_20
F. Cardone, M. Coppo
{"title":"Decidability Properties of Recursive Types","authors":"F. Cardone, M. Coppo","doi":"10.1007/978-3-540-45208-9_20","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_20","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117330610","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}
引用次数: 11
首页 上一页 下一页 尾页
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学术官方微信