首页 > 最新文献

Quantum Information & Computation最新文献

英文 中文
A New Research into Default Logic 默认逻辑的新研究
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1996-09-15 DOI: 10.1006/INCO.1996.0075
Zhang Mingyi
In previous papers some important properties of extensions of general default theories were given. In order to dedicate further research to default logic, a characterization of extensions is presented again and some new algorithms for reasoning tasks in default logic are presented in this paper. A class of default theories, auto-compatible default theory, is also developed. We show that the characterization and notions of compatibility and auto-compatibility, suitably applied to logic programs, yield some sufficient conditions of existence of answer sets. All these essentially develop the theories of Reiter and his followers.
在以往的文章中,给出了一般默认理论的推广的一些重要性质。为了进一步研究默认逻辑,本文再次提出了可拓的特征,并提出了一些用于默认逻辑推理任务的新算法。本文还提出了一类默认理论,即自动兼容默认理论。我们证明了相容性和自相容性的表征和概念,适当地应用于逻辑程序,得到了答案集存在的一些充分条件。所有这些本质上都发展了瑞特及其追随者的理论。
{"title":"A New Research into Default Logic","authors":"Zhang Mingyi","doi":"10.1006/INCO.1996.0075","DOIUrl":"https://doi.org/10.1006/INCO.1996.0075","url":null,"abstract":"In previous papers some important properties of extensions of general default theories were given. In order to dedicate further research to default logic, a characterization of extensions is presented again and some new algorithms for reasoning tasks in default logic are presented in this paper. A class of default theories, auto-compatible default theory, is also developed. We show that the characterization and notions of compatibility and auto-compatibility, suitably applied to logic programs, yield some sufficient conditions of existence of answer sets. All these essentially develop the theories of Reiter and his followers.","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"54 1","pages":"73-85"},"PeriodicalIF":1.0,"publicationDate":"1996-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73358289","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Combining two classical approaches for statistical selection 结合两种经典的统计选择方法
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1996-01-01 DOI: 10.1080/03610929708831983
J. Verheijen, F. Coolen, V. D. Laan
This paper presents a selection procedure that combines Bechhofer's indifference zone selection and Gupta's subset selection approaches, by using a preference threshold. For normal populations with common known variance, a subset is selected of all populations that have sample sums within the distance of this threshold from the largest sample sum. We derive the minimal necessary sample size and the value for the preference threshold, in order to satisfy two probability requirements for correct selection, one related to indifference zone selection, the other to subset selection. Simulation studies are used to illustrate the method.
本文通过使用偏好阈值,提出了一种结合Bechhofer的无差异区选择方法和Gupta的子集选择方法的选择过程。对于方差已知的正态总体,从样本和在最大样本和的阈值范围内的所有总体中选择一个子集。为了满足正确选择的两个概率要求,一个与无差异区选择有关,另一个与子集选择有关,我们导出了最小必要样本量和偏好阈值。仿真研究说明了该方法的可行性。
{"title":"Combining two classical approaches for statistical selection","authors":"J. Verheijen, F. Coolen, V. D. Laan","doi":"10.1080/03610929708831983","DOIUrl":"https://doi.org/10.1080/03610929708831983","url":null,"abstract":"This paper presents a selection procedure that combines Bechhofer's indifference zone selection and Gupta's subset selection approaches, by using a preference threshold. For normal populations with common known variance, a subset is selected of all populations that have sample sums within the distance of this threshold from the largest sample sum. We derive the minimal necessary sample size and the value for the preference threshold, in order to satisfy two probability requirements for correct selection, one related to indifference zone selection, the other to subset selection. Simulation studies are used to illustrate the method.","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"29 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"1996-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74065082","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Zero-knowledge arguments and public-key cryptography 零知识参数和公钥加密
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1995-08-15 DOI: 10.1006/INCO.1995.1121
A. Desantis, Giovanni DiCrescenzo
Abstract In this work we consider the Diffie-Hellman public-key model in which an additional short random string is shared by all users. This. which we call Public-Key Public-Randomness (PKPR) model, is very powerful, as we show that it supports simple non-interactive implementations of important cryptographic primitives. We give a noninteractive implementation of Oblivious Transfer in the PKPR model. Our implementation is secure against receivers with unlimited computational power. Building on this result, we show that all languages in NP have Perfect Zero-Knowledge Arguments in the PKPR model.
在本文中,我们考虑了一个额外的短随机字符串被所有用户共享的Diffie-Hellman公钥模型。这一点。我们称之为公钥公共随机性(Public-Key Public-Randomness, PKPR)模型,它非常强大,因为我们证明了它支持重要加密原语的简单非交互式实现。我们给出了PKPR模型中遗忘转移的非交互实现。我们的实现对于具有无限计算能力的接收器是安全的。在此结果的基础上,我们证明了NP中的所有语言在PKPR模型中都具有完美的零知识参数。
{"title":"Zero-knowledge arguments and public-key cryptography","authors":"A. Desantis, Giovanni DiCrescenzo","doi":"10.1006/INCO.1995.1121","DOIUrl":"https://doi.org/10.1006/INCO.1995.1121","url":null,"abstract":"Abstract In this work we consider the Diffie-Hellman public-key model in which an additional short random string is shared by all users. This. which we call Public-Key Public-Randomness (PKPR) model, is very powerful, as we show that it supports simple non-interactive implementations of important cryptographic primitives. We give a noninteractive implementation of Oblivious Transfer in the PKPR model. Our implementation is secure against receivers with unlimited computational power. Building on this result, we show that all languages in NP have Perfect Zero-Knowledge Arguments in the PKPR model.","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"241 1","pages":"23-40"},"PeriodicalIF":1.0,"publicationDate":"1995-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74488633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
International-Conference on Theoretical Aspects of Computer Software - Preface 计算机软件理论方面国际会议-前言
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1994-02-15 DOI: 10.1006/INCO.1994.1012
M. Dezani-Ciancaglini
{"title":"International-Conference on Theoretical Aspects of Computer Software - Preface","authors":"M. Dezani-Ciancaglini","doi":"10.1006/INCO.1994.1012","DOIUrl":"https://doi.org/10.1006/INCO.1994.1012","url":null,"abstract":"","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"33 1","pages":"1-3"},"PeriodicalIF":1.0,"publicationDate":"1994-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83901070","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Local uniform grid refinement and systems of coupled partial differential equations 局部均匀网格细化与耦合偏微分方程组
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1993-06-01 DOI: 10.1016/0168-9274(93)90008-F
R. Trompert
{"title":"Local uniform grid refinement and systems of coupled partial differential equations","authors":"R. Trompert","doi":"10.1016/0168-9274(93)90008-F","DOIUrl":"https://doi.org/10.1016/0168-9274(93)90008-F","url":null,"abstract":"","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"483 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"1993-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87617668","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Symbolic model checking 符号模型检验
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1992-06-01 DOI: 10.1007/0-387-34600-7_2
R. BurchJ., M. ClarkeE., L. McMillanK., L. DillD., J. HwangL.
{"title":"Symbolic model checking","authors":"R. BurchJ., M. ClarkeE., L. McMillanK., L. DillD., J. HwangL.","doi":"10.1007/0-387-34600-7_2","DOIUrl":"https://doi.org/10.1007/0-387-34600-7_2","url":null,"abstract":"","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"1 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82335185","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 433
A model of concurrency with fair merge and full recursion 具有公平合并和完全递归的并发模型
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1991-07-01 DOI: 10.1016/0890-5401(91)90054-6
Yiannis N. Moshovakis
{"title":"A model of concurrency with fair merge and full recursion","authors":"Yiannis N. Moshovakis","doi":"10.1016/0890-5401(91)90054-6","DOIUrl":"https://doi.org/10.1016/0890-5401(91)90054-6","url":null,"abstract":"","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"34 1","pages":"114-171"},"PeriodicalIF":1.0,"publicationDate":"1991-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73646373","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Parallel random access machines with bounded memory wordsize 具有有限内存字长的并行随机存取机
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1991-04-01 DOI: 10.1016/0890-5401(91)90069-E
S. Bellantoni
{"title":"Parallel random access machines with bounded memory wordsize","authors":"S. Bellantoni","doi":"10.1016/0890-5401(91)90069-E","DOIUrl":"https://doi.org/10.1016/0890-5401(91)90069-E","url":null,"abstract":"","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"58 1","pages":"259-273"},"PeriodicalIF":1.0,"publicationDate":"1991-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85396062","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Inductive definitions over finite structures 有限结构上的归纳定义
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1990-12-01 DOI: 10.1016/0890-5401(90)90006-4
Daniel Leviant
{"title":"Inductive definitions over finite structures","authors":"Daniel Leviant","doi":"10.1016/0890-5401(90)90006-4","DOIUrl":"https://doi.org/10.1016/0890-5401(90)90006-4","url":null,"abstract":"","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"36 1","pages":"95-108"},"PeriodicalIF":1.0,"publicationDate":"1990-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76074569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Optimizing propositional calculus formulas with regard to questions of deducibility 关于可演绎性问题的最优化命题演算公式
IF 1 4区 物理与天体物理 Q3 COMPUTER SCIENCE, THEORY & METHODS Pub Date : 1989-01-01 DOI: 10.1016/0890-5401(89)90021-7
H. K. Buning, U. Lowen
{"title":"Optimizing propositional calculus formulas with regard to questions of deducibility","authors":"H. K. Buning, U. Lowen","doi":"10.1016/0890-5401(89)90021-7","DOIUrl":"https://doi.org/10.1016/0890-5401(89)90021-7","url":null,"abstract":"","PeriodicalId":54524,"journal":{"name":"Quantum Information & Computation","volume":"57 1","pages":"18-43"},"PeriodicalIF":1.0,"publicationDate":"1989-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75829029","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
期刊
Quantum Information & Computation
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1