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

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

筛选
英文 中文
The Impact of Address Arithmetic on the GPU Implementation of Fast Algorithms for the Vilenkin-Chrestenson Transform 地址算法对vilenkin - christensen变换快速算法GPU实现的影响
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.59
Dušan B. Gajić, R. Stankovic
{"title":"The Impact of Address Arithmetic on the GPU Implementation of Fast Algorithms for the Vilenkin-Chrestenson Transform","authors":"Dušan B. Gajić, R. Stankovic","doi":"10.1109/ISMVL.2013.59","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.59","url":null,"abstract":"This paper considers the impact of address arithmetic in the Cooley-Tukey and the constant geometry fast algorithms for the Vilenkin-Chrestenson transform on their implementation for the graphics processing unit (GPU). We consider issues such as using different transform radices and analyze the number of GPU instructions and register usage in the OpenCL implementations of the considered algorithms. Further, we compare the program running times on the GPU and on the central processing unit (CPU). Experiments show that the GPU implementations are from 10 to 22 times faster than the C/C++ CPU implementations, depending on the transform radix and the number of variables in the processed function. The OpenCL implementation of the constant geometry algorithm translates into a lower number of GPU arithmetic and fetch instructions and uses less registers. This implementation requires up to 21% shorter processing times than the corresponding Cooley-Tukey algorithm implementation.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126070332","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
A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones D. Lau问题的一个解:部分布尔克隆格上区间的完全分类
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.7
Miguel Couceiro, L. Haddad, Karsten Schölzel, Tamás Waldhauser
{"title":"A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean Clones","authors":"Miguel Couceiro, L. Haddad, Karsten Schölzel, Tamás Waldhauser","doi":"10.1109/ISMVL.2013.7","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.7","url":null,"abstract":"The following natural problem, first considered by D. Lau, has been tackled by several authors recently: Let C be a total clone on 2 := {0, 1}. Describe the interval I(C) of all partial clones on 2 whose total component is C. We establish some results in this direction and combine them with previous ones to show the following dichotomy result: For every total clone C on 2, the set I(C) is either finite or of continuum cardinality.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132756316","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
Contribution to the Study of Multiple-Valued Bent Functions 对多值弯曲函数研究的贡献
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.21
C. Moraga, M. Stankovic, R. Stankovic, S. Stojkovic
{"title":"Contribution to the Study of Multiple-Valued Bent Functions","authors":"C. Moraga, M. Stankovic, R. Stankovic, S. Stojkovic","doi":"10.1109/ISMVL.2013.21","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.21","url":null,"abstract":"This paper is meant to be a contribution to the study of multiple-valued bent functions. Special care has been given to the introduction of a sound formalism to allow giving formal proof of some properties and to characterize bent functions. A class of bent functions, called strict bent is introduced and its characterization is given. It is shown that there are 486 two place ternary strict bent functions.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"18 9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126045993","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
Embedding-Based Methods for Trilattice Logic 基于嵌入的三格逻辑方法
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.25
N. Kamide
{"title":"Embedding-Based Methods for Trilattice Logic","authors":"N. Kamide","doi":"10.1109/ISMVL.2013.25","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.25","url":null,"abstract":"Shramko-Wansing's trilattice logics are sixteen-valued logics based on the algebraic structures of trilattices that can suitably represent generalized truth values. In this paper, an alternative new proof of the cut-elimination and completeness theorems for such a trilattice logic is obtained using two embedding theorems. Moreover, the Craig interpolation and Maksimova separation theorems for this logic are proved using the same embedding theorems. The results on Craig interpolation and Maksimova separation are new results of this paper.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134029353","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
Noise-Tolerant Model of a Ternary Inverter Based on Markov Random Field 基于马尔可夫随机场的三元逆变器容噪模型
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.40
G. Tangim, S. Yanushkevich, S. Kasai, V. Shmerko
{"title":"Noise-Tolerant Model of a Ternary Inverter Based on Markov Random Field","authors":"G. Tangim, S. Yanushkevich, S. Kasai, V. Shmerko","doi":"10.1109/ISMVL.2013.40","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.40","url":null,"abstract":"A noise-tolerant model of a ternary inverter is proposed based on extension of Markov Random Field (MRF). Simulation results are reported to justify the noise immunity of this model using PSPICE and 16-nm Berkeley CMOS technology.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123595980","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
Synthesis of Balanced Ternary Reversible Logic Circuit 平衡型三元可逆逻辑电路的合成
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.53
Bikromadittya Mondal, Pradyut Sarkar, P. Saha, Susanta Chakraborty
{"title":"Synthesis of Balanced Ternary Reversible Logic Circuit","authors":"Bikromadittya Mondal, Pradyut Sarkar, P. Saha, Susanta Chakraborty","doi":"10.1109/ISMVL.2013.53","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.53","url":null,"abstract":"Ternary logic synthesis has a significant role to realize multi-input ternary logic functions. Balanced ternary logic that contains three states as -1, 0 and 1 has substantial advantage over standard ternary logic containing the logic states as 0, 1 and 2. The paper addresses the synthesis of balanced ternary reversible logic circuit and design of reversible half-adder and full-adder circuit by using balanced ternary reversible logic gates. We also introduce balanced ternary multiplier gate that is used to design of single trit and multi-trit multiplier circuit. Hardware complexity of each circuit is investigated.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121367509","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
Wearable Human Activity Recognition by Electrocardiograph and Accelerometer 基于心电图仪和加速度计的可穿戴人体活动识别
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-01 DOI: 10.1109/ISMVL.2013.60
T. Fujimoto, H. Nakajima, N. Tsuchiya, Hideya Marukawa, Kei Kuramoto, Syoji Kobashi, Y. Hata
{"title":"Wearable Human Activity Recognition by Electrocardiograph and Accelerometer","authors":"T. Fujimoto, H. Nakajima, N. Tsuchiya, Hideya Marukawa, Kei Kuramoto, Syoji Kobashi, Y. Hata","doi":"10.1109/ISMVL.2013.60","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.60","url":null,"abstract":"This paper proposes a human activity estimation system using a wearable multi-sensor with a built-in electrocardiograph and triaxial accelerometers. The multi-sensor unconstraintly measures biological information, and provides these data to personal computer by wireless communication. We estimate human activity in a series of activities by the biological information. In our experiment, the subjects have several activities such as \"Walking\", \"Rest\" and \"Strength training\". The system estimates these activities by a decision tree. Branch conditions of the decision tree are aided by fuzzy logic and state of activity transition from previous activity. Fuzzy membership functions are constructed from exercise intensity, distinction frequency and transitional probability. As the results, the proposed method estimated activities with good accuracy.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114152384","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}
引用次数: 20
Mining Multi Human Locations Using Thermopile Array Sensors 利用热电堆阵列传感器挖掘多人类位置
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-01 DOI: 10.1109/ISMVL.2013.38
Masato Kuki, H. Nakajima, N. Tsuchiya, Kei Kuramoto, Syoji Kobashi, Y. Hata
{"title":"Mining Multi Human Locations Using Thermopile Array Sensors","authors":"Masato Kuki, H. Nakajima, N. Tsuchiya, Kei Kuramoto, Syoji Kobashi, Y. Hata","doi":"10.1109/ISMVL.2013.38","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.38","url":null,"abstract":"This paper proposes multi human location estimation system using four thermopile array sensors. These sensors are attached to the ceiling and acquire 8 × 8 place-dependent thermal distributions. Firstly, human area is detected by background removal with fuzzy inference based on human characteristics. Secondly, human areas are identified by Connected Component Labeling. Thirdly, label is checked to detect adjoining people. Finally, the number of people and their locations are estimated as the labels. In our experiment, we employed four adult persons and they performed four motion patterns. As the result, the system estimated the peoples successfully.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115758220","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}
引用次数: 10
首页 上一页
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学术官方微信
小红书