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

2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)最新文献

筛选
英文 中文
TVL-TRNG: Sub-Microwatt True Random Number Generator Exploiting Metastability in Ternary Valued Latches 利用三值锁存器亚稳态的亚微瓦真随机数发生器
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.10
S. Tao, E. Dubrova
{"title":"TVL-TRNG: Sub-Microwatt True Random Number Generator Exploiting Metastability in Ternary Valued Latches","authors":"S. Tao, E. Dubrova","doi":"10.1109/ISMVL.2017.10","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.10","url":null,"abstract":"True random number generators (TRNGs) are important hardware primitives required for many applications including cryptography, communication, and statistical simulation. This paper presents a TRNG with failure detection capability targeting cryptographic applications with a limited power budget. The proposed TRNG extracts entropy from latch comparators, whose metastable states are detected and encoded as an additional alarm bit leading to ternary valued outputs. Furthermore, several such ternary valued latches (TVLs) are employed in an N-modular redundant configuration to address the bias problem caused by unmatched conditions. The statistical properties of the proposed TVL-TRNG are examined by the NIST 800-22 and NIST 800-90B test suits showing resistance against environmental changes and process variations. The proposed TRNG circuit designed in 65 nm CMOS consumes 825.36 nW at 1 Mbps.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128760739","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
Physical Unclonable Functions Based on Carbon Nanotube FETs 基于碳纳米管场效应管的物理不可克隆功能
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.33
M. Moradi, S. Tao, R. F. Mirzaee
{"title":"Physical Unclonable Functions Based on Carbon Nanotube FETs","authors":"M. Moradi, S. Tao, R. F. Mirzaee","doi":"10.1109/ISMVL.2017.33","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.33","url":null,"abstract":"Physical unclonable functions (PUFs) are new hardware security primitives proposed for protecting resource-constrained devices. This paper presents two PUFs in voltage-and current-modes. The new designs are based on carbon nanotube field effect transistors (CNTFETs). Sensitivity to strong process variation is considered as a demerit of this emerging nanoscale device. However, this deficiency can be the source of constructing unique PUF instances. The proposed circuits are simulated and tested by Synopsys HSPICE using a standard 32nm CNTFET technology. The properties of randomness, uniqueness, reliability, energy efficiency, and area of the implemented CNTFET-based PUFs are evaluated showing very promising results.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130705909","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}
引用次数: 6
Ivan Stojmenović — A Life Well-Spent in the Service of Science 伊凡·斯托梅诺维奇——为科学服务的一生
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.28
D. Simovici
{"title":"Ivan Stojmenović — A Life Well-Spent in the Service of Science","authors":"D. Simovici","doi":"10.1109/ISMVL.2017.28","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.28","url":null,"abstract":"This is a brief reflexion on the life and personality of abeloved colleague, Professor Ivan Stojmenović, who left usin 2014. His achievements, his students, and the scientificand personal relationships he built will impact our community for a long time.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117044792","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
Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions 作用中的非确定性矩阵:展开、细化和扩展
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.16
A. Avron, Yoni Zohar
{"title":"Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions","authors":"A. Avron, Yoni Zohar","doi":"10.1109/ISMVL.2017.16","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.16","url":null,"abstract":"The operations ofexpansion and refinement on non-deterministic matrices(Nmatrices) are composed to form a new operation called rexpansion. Properties of this operation are investigated, together with their effects on the induced consequence relations. A semantic method for obtaining conservative extensions of matrix-defined logics is introduced and applied to fragments of the classical two-valued matrix, as well as to other well-known many-valued matrices. The central application of rexpansion that we present is the construction of truth-preserving paraconsistent conservative extensions of Gödel fuzzy logic.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115163958","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
Some Spectral Invariant Operations for Multiple-Valued Functions with Homogeneous Disjoint Products in the Polynomial Form 多项式形式的齐次不相交积多值函数的一些谱不变运算
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.47
M. Stankovic, C. Moraga, R. Stankovic
{"title":"Some Spectral Invariant Operations for Multiple-Valued Functions with Homogeneous Disjoint Products in the Polynomial Form","authors":"M. Stankovic, C. Moraga, R. Stankovic","doi":"10.1109/ISMVL.2017.47","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.47","url":null,"abstract":"It has long been known that some transformationsof the Boolean functions affect only the permutation of somesubset of coefficients in the Walsh-Hadamard spectrum or justchange the sign of some coefficients. These operations are knownas spectral invariant operations. It exists a generalization of theseinvariant operations for multi-valued functions and Vilenkin-Chrestenson spectrum. Here some new spectral invariant operationswill be defined for functions with p = 3 and with n 5 variables, which have disjoint products of two variables in theirpolynomial forms. As a result of these new operations only thevalues of some subsets of spectral coefficients will by permuted, like in the case of invariant operations which are known untilnow. This property of spectral invariant operations has importantconsequences on multiple-valued bent functions. Any functionobtained by the application of one or more spectral invariantoperations to a bent function will be also a bent function. It willbe shown that the defined new invariant operations are usefulfor characterization of multi-valued bent functions.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114441082","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
Computing Uniform Interpolants in Nilpotent Minimum Logic 幂零最小逻辑中均匀插值的计算
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.21
Diego Valota
{"title":"Computing Uniform Interpolants in Nilpotent Minimum Logic","authors":"Diego Valota","doi":"10.1109/ISMVL.2017.21","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.21","url":null,"abstract":"In this note we exploit a combinatorial characterization of free finitely generated Nilpotent Minimum algebras, to give a constructive proof of the uniform interpolation property for Nilpotent Minimum logic. This method allows us to explicitly compute strongest uniform interpolants in Nilpotent Minimum logic.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127828898","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 Note on Intervals of Słupecki Partial Clones 关于Słupecki部分克隆间隔的说明
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.55
L. Haddad, Karsten Schölzel
{"title":"A Note on Intervals of Słupecki Partial Clones","authors":"L. Haddad, Karsten Schölzel","doi":"10.1109/ISMVL.2017.55","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.55","url":null,"abstract":"Let k ≥ 2 and let k be a k-element set. A partial clone on k is said to be of Slupecki type if it contains all unary functions on k. We present some of our latest results about intervals of Slupecki type partial clones on k.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125491008","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
Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions 基于中值的格多项式和单调布尔函数演算
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.18
Miguel Couceiro, Pierre R. Mercuriali, Romain Péchoux, Abdallah Saffidine
{"title":"Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions","authors":"Miguel Couceiro, Pierre R. Mercuriali, Romain Péchoux, Abdallah Saffidine","doi":"10.1109/ISMVL.2017.18","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.18","url":null,"abstract":"In this document, we consider a median-based calculus for efficiently representing polynomial functions over distributive lattices. We extend an equational specification of median forms from the domain of Boolean functions to the domain of lattice polynomials. We show that it is sound and complete, and we illustrate its usefulness when simplifying median formulasalgebraically. Furthermore, we propose a definition of median normal forms (MNF), that are thought of as minimal median formulas with respect to a structural ordering of expressions. We also investigate related complexity issues and show that the problem of deciding whether a formula is in MNF is in ΣP2. Moreover, we explore polynomial approximations of solutions to this problem through a sound term rewriting system extracted from the proposed equational specification.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131471954","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
Towards the Gibbs Characterization of a Class of Quaternary Bent Functions 一类四元弯曲函数的吉布斯刻划
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.39
R. Stankovic, M. Stankovic, J. Astola, C. Moraga
{"title":"Towards the Gibbs Characterization of a Class of Quaternary Bent Functions","authors":"R. Stankovic, M. Stankovic, J. Astola, C. Moraga","doi":"10.1109/ISMVL.2017.39","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.39","url":null,"abstract":"Bent functions generalized to the alphabet Zq, the ring of integers modulo q, are interesting not just in the realm of multiple-valued functions, but have some applications in the binary environment. The case q = 4, i.e., quaternary bent functions, are of a particular interest due to a simple relationship to binary functions. We consider the possibilities for characterization of quaternary bent functions in terms of the Gibbs derivatives defined with respect to the Reed-Muller-Fourier (RMF) transform for q-valued functions. It is shown that quaternary bent functions can be split into classes of functions sharing the same values for their Gibbs derivatives.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128070612","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
Posets of Minors of Functions in Multiple-Valued Logic 多值逻辑中函数的次序集
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2017-05-01 DOI: 10.1109/ISMVL.2017.9
Erkko Lehtonen, Tamás Waldhauser
{"title":"Posets of Minors of Functions in Multiple-Valued Logic","authors":"Erkko Lehtonen, Tamás Waldhauser","doi":"10.1109/ISMVL.2017.9","DOIUrl":"https://doi.org/10.1109/ISMVL.2017.9","url":null,"abstract":"We study the structure of the partially ordered set of minors of an arbitrary function of several variables. We give an abstract characterization of such \"minor posets\" in terms of colorings of partition lattices, and we also present infinite families of examples as well as constructions that can be used to build new minor posets.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133228013","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
首页 上一页 下一页 尾页
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学术官方微信