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

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

筛选
英文 中文
A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface 电容耦合接口的三元部分响应信令方案
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.67
Y. Yuminaka, Kyohei Kawano
{"title":"A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface","authors":"Y. Yuminaka, Kyohei Kawano","doi":"10.1109/ISMVL.2010.67","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.67","url":null,"abstract":"This paper describes a ternary partial-response signaling scheme for capacitively coupled chip-to-chip data transmission to increase data rate. Partial-response coding is known as a technique that allows high-speed transmission while using a limited frequency bandwidth, by allowing controlled intersymbol interference (ISI). Analysis and circuit simulation results are presented that compare this approach to two types of partial-response signaling, ternary duobinary (1+D) and dicode (1-D) signaling for capacitively coupled interface.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132557659","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
Schauder Hats for the Two-Variable Fragment of BL BL双变量片段的Schauder帽
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.14
S. Aguzzoli, S. Bova
{"title":"Schauder Hats for the Two-Variable Fragment of BL","authors":"S. Aguzzoli, S. Bova","doi":"10.1109/ISMVL.2010.14","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.14","url":null,"abstract":"The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Łukasiewicz infinite-valued logic [CDM99],[MMM07], [Mun94], [P95]. As a notably application of the theory, the elements of the free n-generated MV-algebra, that constitutes the algebraic semantics of the n-variate fragment ofŁukasiewicz logic, are obtained as (t-conorm) monoidal combination of finitely many hats, which are in turn obtained through finitely many applications of an operation called starring, starting from a finite family of primitive hats. The aim of this paper is to extend this portion of the Schauder hats theory to the two-variable fragment of Hajek’s Basic logic. This step represents a non-trivial generalization of the one variable case studied in [AG05], [Mon00], and provides sufficient insight to capture the behaviour of the n-variable case for n ≥ 1.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127166244","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 Classification of Partial Boolean Clones 部分布尔克隆的分类
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.43
D. Lau, Karsten Schölzel
{"title":"A Classification of Partial Boolean Clones","authors":"D. Lau, Karsten Schölzel","doi":"10.1109/ISMVL.2010.43","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.43","url":null,"abstract":"We study intervals $mathcal{I}(A)$ of partial clones whose total functions constitute a (total) clone A. In the Boolean case, we provide a complete classification of such intervals(according to whether the interval is finite or infinite), and determine the size of each finite interval $mathcal{I}(A)$.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127180109","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}
引用次数: 12
Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity 有限非阿贝尔群谱表示在正则性设计中的适用性
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.64
R. Stankovic, J. Astola, C. Moraga
{"title":"Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity","authors":"R. Stankovic, J. Astola, C. Moraga","doi":"10.1109/ISMVL.2010.64","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.64","url":null,"abstract":"In several publications, the use of non-Abelian groups has been suggested as a method to derive compact representations of logic functions. The compactness has been measured in the number of product terms in the case of functional expressions and the number of nodes, the width, and the interconnections in the case of decision diagrams. In this paper, we discuss Fourier representations on finite non-Abelian groups in synthesis for regularity. The initial domain group for a logic function (binary or multiple-valued) is replaced by a non-Abelian group by encoding of variables. The function is then decomposed into matrix-valued Fourier coefficients, that are easy to implement as building blocks over a technological platform with regular structure. We point out that spectral representation of non-Abelian groups is capable of capturing regularities in functions and transferring them in the spectral domain. In many cases, weak regularities in the original domain are converted into much stronger regularities in the spectral domain due to the regular structure of unitary irreducible group representations upon which the Fourier expressions are based.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130291254","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
Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs 基于分段分割evmdd的浮点数值函数生成器
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.49
Shinobu Nagayama, Tsutomu Sasao, J. T. Butler
{"title":"Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs","authors":"Shinobu Nagayama, Tsutomu Sasao, J. T. Butler","doi":"10.1109/ISMVL.2010.49","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.49","url":null,"abstract":"This paper proposes a new architecture for memory-based floating-point numeric function generators (NFGs). The design method uses piecewise-split edge-valued multi-valued decision diagrams (EVMDDs). To design NFGs with less memory size, we partition the domain of the floating-point function into segments, and represent the function using an EVMDD for each segment. By realizing each EVMDD with hardware, we obtain the floating-point NFG. This paper also presents an algorithm that partitions the domain by decomposing the edge-valued binary decision diagram(EVBDD) representing the whole floating-point function. Experimental results show that, for a single-precision floating-point function, our new NFG requires 40% to 65% less memory than any previous one. An advantage of our algorithm is that it can be applied to many different functions.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133480865","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
Logics of Reasonable Information Sources 合理信息源的逻辑
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.19
A. Avron, J. Ben-Naim, B. Konikowska
{"title":"Logics of Reasonable Information Sources","authors":"A. Avron, J. Ben-Naim, B. Konikowska","doi":"10.1109/ISMVL.2010.19","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.19","url":null,"abstract":"Extending the work of Belnap [3], we continue our research on ESP structures, consisting of information sources and a processor which collects information from the sources, and develops it further using certain coherent rules. We examine the case of reasonable sources which provide coherent information, characterize the logic of a single reasonable source, and prove that the logics generated by ESP structures with reasonable sources coincide with the general source-processor logics described in our previous work. However, we show that, unlike the case of arbitrary sources, there are processor valuations in general ESP structures which cannot be obtained from any finite number of valuations defined by reasonable sources.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122972238","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
New Insights into Encodings from MaxCSP into Partial MaxSAT 从MaxCSP到部分MaxSAT编码的新见解
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.17
Josep Argelich, Alba Cabiscol, I. Lynce, F. Manyà
{"title":"New Insights into Encodings from MaxCSP into Partial MaxSAT","authors":"Josep Argelich, Alba Cabiscol, I. Lynce, F. Manyà","doi":"10.1109/ISMVL.2010.17","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.17","url":null,"abstract":"We analyze the existing encodings from MaxCSP into Partial MaxSAT, and report on a number of new insights that we have gained from our analysis, which can be summarized as follows: (i) the at-most-one (AMO) condition can be omitted in direct encodings from MaxCSP into Partial MaxSAT, and auxiliary variables are not needed; (ii) the sequential encoding of the cardinality constraint is, in fact, a reformulation of a regular encoding; (iii) the All Different constraint based on regular literals may be simplified; (iv) if we represent, in support encodings, the supporting values of a variable using intervals, then we can derive a genuine regular support encoding without exponential blowup; and (v) the Equal constraint admits a concise representation with regular signs.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129357773","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
Endoprimal Monoids and Witness Lemma in Clone Theory 克隆理论中的内源一元群和证人引理
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.44
Hajime Machida, I. Rosenberg
{"title":"Endoprimal Monoids and Witness Lemma in Clone Theory","authors":"Hajime Machida, I. Rosenberg","doi":"10.1109/ISMVL.2010.44","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.44","url":null,"abstract":"For a fixed set $A$, an endoprimal monoid $M$ is a set of unary functions on $A$ which commute with some set $F$ of functions on $A$. A member of such $M$ defines an endomorphism on $F$. It is known to be hard to effectively characterize such endoprimal monoids. In this paper we present and discuss the ''witness lemma'' to study endoprimal monoids. Then, for the case where $|A|=3$, we verify two monoids to be endoprimal and then determine all endoprimal monoids having subsets of unary functions as their witnesses.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127076127","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
Interpolation Properties for Uninorm Based Logics 基于一致逻辑的插值特性
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.46
Enrico Marchioni, G. Metcalfe
{"title":"Interpolation Properties for Uninorm Based Logics","authors":"Enrico Marchioni, G. Metcalfe","doi":"10.1109/ISMVL.2010.46","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.46","url":null,"abstract":"Craig and deductive interpolation properties are investigated for uninorm based fuzzy logics. In particular, it is shown that for a restricted language, the only extensions of monoidal t-norm logic with Craig interpolation are classical logic, Godel logic, and three-valued Godel logic. Quantifier elimination in an appropriate language and the amalgamation, deductive interpolation and Craig interpolation properties are established for the logics based on idempotent residuated uninorms with an involutive negation.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127653896","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}
引用次数: 15
Generating the Variety of SMV-Algebras 生成各种smv代数
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.34
A. Nola, T. Flaminio
{"title":"Generating the Variety of SMV-Algebras","authors":"A. Nola, T. Flaminio","doi":"10.1109/ISMVL.2010.34","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.34","url":null,"abstract":"In this paper we show that the variety of SMV-algebras is generated by those algebras we call hyper real tensorial SMV-algebras. These are the SMV-algebras that can be defined by an MV-algebra A, and a hyper real state, i.e. a normalized and additive map s* : A → [0, 1]* .","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123692650","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学术文献互助群
群 号：604180095
Book学术官方微信