{"title":"Characterization of Quaternary Threshold Functions in the Vilenkin-Chrestenson Basis","authors":"I. Prokić","doi":"10.1109/ISMVL.2018.00011","DOIUrl":"https://doi.org/10.1109/ISMVL.2018.00011","url":null,"abstract":"This paper deals with the characterization of threshold functions defined on n-dimensional quaternary inputs using the representation of a function in the Vilenkin-Chrestenson basis. It is shown that such a function is uniquely characterized by (2n + 2)-dimensional vector of parameters, that correspond to the Vilenkin-Chrestenson spectrum. (2n + 1) of them correspond to the spectral coefficients of the function and the remaining one correspond to the zero-moment spectral coefficient of the character of the function. We apply the same reasoning to the class of ternary threshold functions as an alternative way to derive their spectral characterization.","PeriodicalId":434323,"journal":{"name":"2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127725610","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}
Maurice Yang, Mahmoud Faraj, Assem Hussein, V. Gaudet
{"title":"Efficient Hardware Realization of Convolutional Neural Networks Using Intra-Kernel Regular Pruning","authors":"Maurice Yang, Mahmoud Faraj, Assem Hussein, V. Gaudet","doi":"10.1109/ISMVL.2018.00039","DOIUrl":"https://doi.org/10.1109/ISMVL.2018.00039","url":null,"abstract":"The recent trend toward increasingly deep convolutional neural networks (CNNs) leads to a higher demand of computational power and memory storage. Consequently, the deployment of CNNs in hardware has become more challenging. In this paper, we propose an Intra-Kernel Regular (IKR) pruning scheme to reduce the size and computational complexity of the CNNs by removing redundant weights at a fine-grained level. Unlike other pruning methods such as Fine-Grained pruning, IKR pruning maintains regular kernel structures that are exploitable in a hardware accelerator. Experimental results demonstrate up to 10× parameter reduction and 7× computational reduction at a cost of less than 1% degradation in accuracy versus the unpruned case.","PeriodicalId":434323,"journal":{"name":"2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133621398","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}
W. Castryck, J. Demeyer, A. Vos, Oliver Keszöcze, Mathias Soeken
{"title":"Translating Between the Roots of the Identity in Quantum Computers","authors":"W. Castryck, J. Demeyer, A. Vos, Oliver Keszöcze, Mathias Soeken","doi":"10.1109/ISMVL.2018.00051","DOIUrl":"https://doi.org/10.1109/ISMVL.2018.00051","url":null,"abstract":"The Clifford+T quantum computing gate library for single qubit gates can create all unitary matrices that are generated by the group H, T. The matrix T can be considered the fourth root of Pauli Z, since T4 = Z or also the eighth root of the identity I. The Hadamard matrix H can be used to translate between the Pauli matrices, since (HTH)4 gives Pauli X. We are generalizing both these roots of the Pauli matrices (or roots of the identity) and translation matrices to investigate the groups they generate: the so-called Pauli root groups. In this work we introduce a formalization of such groups, study finiteness and infiniteness properties, and precisely determine equality and subgroup relations.","PeriodicalId":434323,"journal":{"name":"2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123620869","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}