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

IEEE International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
The Roots of the NOT Gate 非门的根源
IEEE International Symposium on Multiple-Valued Logic Pub Date : 2012-05-14 DOI: 10.1109/ISMVL.2012.14
A. Vos, S. Baerdemacker
{"title":"The Roots of the NOT Gate","authors":"A. Vos, S. Baerdemacker","doi":"10.1109/ISMVL.2012.14","DOIUrl":"https://doi.org/10.1109/ISMVL.2012.14","url":null,"abstract":"The quantum gates called 'k th root of NOT' and 'controlled k th root of NOT' can be applied to synthesize circuits, both classical reversible circuits and quantum circuits. Such circuits, acting on w qubits, fill a (2w-1)2-dimensional subspace of the (2w)2 -dimensional space U(2w) of the 2w × 2w unitary matrices and thus describe computers situated between classical reversible computers and full quantum computers.","PeriodicalId":284925,"journal":{"name":"IEEE International Symposium on Multiple-Valued Logic","volume":"322 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115566595","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}
引用次数: 7
Non-Archimedean Models of Lukasiewicz Logic Lukasiewicz逻辑的非阿基米德模型
IEEE International Symposium on Multiple-Valued Logic Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508332
A. Nola
{"title":"Non-Archimedean Models of Lukasiewicz Logic","authors":"A. Nola","doi":"10.1109/ISMVL.1996.508332","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508332","url":null,"abstract":"We survey the theory of non-archimedean algebraic models (MV-algebra) of Lukasiewicz' infinite-valued sentential calculus.","PeriodicalId":284925,"journal":{"name":"IEEE International Symposium on Multiple-Valued Logic","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116530651","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
Keynote III: Boolean Logic Networks for Machine Learning 主题演讲三:机器学习的布尔逻辑网络
IEEE International Symposium on Multiple-Valued Logic Pub Date : 1900-01-01 DOI: 10.1109/ISMVL49045.2020.00-40
A. Mishchenko
{"title":"Keynote III: Boolean Logic Networks for Machine Learning","authors":"A. Mishchenko","doi":"10.1109/ISMVL49045.2020.00-40","DOIUrl":"https://doi.org/10.1109/ISMVL49045.2020.00-40","url":null,"abstract":"","PeriodicalId":284925,"journal":{"name":"IEEE International Symposium on Multiple-Valued Logic","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127496509","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
Decomposition of Multiple-Valued Relations 多值关系的分解
IEEE International Symposium on Multiple-Valued Logic Pub Date : 1900-01-01 DOI: 10.1109/ISMVL.1997.601367
M. Perkowski, M. Marek-Sadowska, L. Józwiak, T. Luba, S. Grygiel, M. Nowicka, R. Malvi, Zhi Wang, Jin S. Zhang
{"title":"Decomposition of Multiple-Valued Relations","authors":"M. Perkowski, M. Marek-Sadowska, L. Józwiak, T. Luba, S. Grygiel, M. Nowicka, R. Malvi, Zhi Wang, Jin S. Zhang","doi":"10.1109/ISMVL.1997.601367","DOIUrl":"https://doi.org/10.1109/ISMVL.1997.601367","url":null,"abstract":"This paper presents a new decomposi tion problem decomposition of multi valued MV re lations and a method of its solution Decomposition is non disjoint and multi level A fundamental di erence in decomposition of MV functions and MV relations is discussed the column cofactor pair compatibil ity translates to the group compatibility for functions but not for relations This makes the decomposition of relations more di cult The method is especially e cient for strongly unspeci ed data typical for Ma chine Learning ML It is implemented in program GUD MV","PeriodicalId":284925,"journal":{"name":"IEEE International Symposium on Multiple-Valued Logic","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130254893","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}
引用次数: 50
Robbins Algebra 罗宾斯代数
IEEE International Symposium on Multiple-Valued Logic Pub Date : 1900-01-01 DOI: 10.1109/ISMVL.1990.122593
L. Kaufman
{"title":"Robbins Algebra","authors":"L. Kaufman","doi":"10.1109/ISMVL.1990.122593","DOIUrl":"https://doi.org/10.1109/ISMVL.1990.122593","url":null,"abstract":"It is shown that the Robbins problem can be fruitfully investigated by using a simplified notation for formal algebras. In this notation a nonstandard model for Robbins algebra in terms of the language itself is conjectured. The results show that any algebra satisfying the Robbins axioms is very close to being Boolean. Finiteness, or an instance of absorption (a+b=a), or an instance of idempotency (a+a=a) will push A into being Boolean. The construction of the proposed non-Boolean model for Robbins algebra is given. Also detailed are the different notations available for this model.<<ETX>>","PeriodicalId":284925,"journal":{"name":"IEEE International Symposium on Multiple-Valued Logic","volume":"55 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126766142","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
Keynote II: Digital Annealer: A Stochastic Search for Global Optimum 主题二:数字退火:全局最优的随机搜索
IEEE International Symposium on Multiple-Valued Logic Pub Date : 1900-01-01 DOI: 10.1109/ISMVL49045.2020.00-41
A. Sheikholeslami
{"title":"Keynote II: Digital Annealer: A Stochastic Search for Global Optimum","authors":"A. Sheikholeslami","doi":"10.1109/ISMVL49045.2020.00-41","DOIUrl":"https://doi.org/10.1109/ISMVL49045.2020.00-41","url":null,"abstract":"","PeriodicalId":284925,"journal":{"name":"IEEE International Symposium on Multiple-Valued Logic","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124443226","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
Keynote I: Quantum Annealing and Its Application to Real World 主题演讲一:量子退火及其在现实世界中的应用
IEEE International Symposium on Multiple-Valued Logic Pub Date : 1900-01-01 DOI: 10.1109/ISMVL49045.2020.00-42
Masayuki Ohzeki
{"title":"Keynote I: Quantum Annealing and Its Application to Real World","authors":"Masayuki Ohzeki","doi":"10.1109/ISMVL49045.2020.00-42","DOIUrl":"https://doi.org/10.1109/ISMVL49045.2020.00-42","url":null,"abstract":"","PeriodicalId":284925,"journal":{"name":"IEEE International Symposium on Multiple-Valued Logic","volume":"293 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131464700","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
A Systolic Parallel Multiplier over GF(3m) Using Neuron-MOS DLC 基于神经元- mos DLC的GF(3m)收缩并联倍增器
IEEE International Symposium on Multiple-Valued Logic Pub Date : 1900-01-01 DOI: 10.1109/ISMVL.2004.1319932
O. Mirmotahari, Y. Berg
{"title":"A Systolic Parallel Multiplier over GF(3m) Using Neuron-MOS DLC","authors":"O. Mirmotahari, Y. Berg","doi":"10.1109/ISMVL.2004.1319932","DOIUrl":"https://doi.org/10.1109/ISMVL.2004.1319932","url":null,"abstract":"In this paper, a parallel input/output modulo multiplier, which is applied to the AOTP (all one or two polynomials) multiplicative algorithm over GF(3/sup m/), has been proposed using a neuron-MOS down-literal circuit in voltage mode. The three-valued input of the proposed multiplier is modulated by using a neuron-MOS down-literal circuit and the multiplication and addition gates are implemented by the selecting of the three-valued input signals transformed by the module. The proposed circuits are simulated with the electrical parameter of a standard 0.35 /spl mu/m CMOS N-well doubly-poly four-metal technology and a single +3 V supply voltage. In the simulation result, the multiplier shows 4 /spl mu/W power consumption and 3 MHz sampling rate and maintains a output voltage level within /spl plusmn/0.1 V.","PeriodicalId":284925,"journal":{"name":"IEEE International Symposium on Multiple-Valued Logic","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125742816","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
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学术文献互助群
群 号：604180095
Book学术官方微信