2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)最新文献_第3页

Write-Energy Relaxation of MTJ-Based Quantized Neural-Network Hardware 基于mtj的量化神经网络硬件的写能量松弛

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ISMVL57333.2023.00013

Ken Asano, M. Natsui, T. Hanyu

引用次数: 0

Search for Some Majority Operation and Studies of its Centralizing Monoid 一些多数运算的寻找及其中心化一元的研究

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ISMVL57333.2023.00033

Hajime Machida

引用次数: 0

Logic Synthesis from Polynomials with Coefficients in the Field of Rationals 有理数领域中带系数多项式的逻辑综合

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ISMVL57333.2023.00026

Bhavani Sampathkumar, Bailey Martin, Ritaja Das, P. Kalla, Florian Enescu

{"title":"Logic Synthesis from Polynomials with Coefficients in the Field of Rationals","authors":"Bhavani Sampathkumar, Bailey Martin, Ritaja Das, P. Kalla, Florian Enescu","doi":"10.1109/ISMVL57333.2023.00026","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00026","url":null,"abstract":"This paper introduces a novel concept of performing logic synthesis from multivariate polynomials with coefficients in the field of rationals $(mathbb{Q})$, where the variables take only Boolean values. Such polynomials are encountered during synthesis and verification of arithmetic circuits using computer algebra and algebraic geometry based techniques. The approach takes as input a polynomial f over $mathbb{Q}$ with binary variables, and derives a corresponding polynomial $tilde f$ over the finite field $left( {{mathbb{F}_2}} right)$ of two elements, such that f has the same variety (zero-set) as f. As ${mathbb{F}_2}$ is isomorphic to Boolean algebra, $tilde f$ can be translated to a Boolean network by mapping the products and sums as AND and XOR operators, respectively. We prove the correctness of our algebraic transformation, and present a recursive algorithm for the same. The translated $tilde f in {mathbb{F}_2}$ resultingly corresponds to a positive Davio decomposition, and is computed using both explicit and implicit representations. The approach is used to synthesize subfunctions of arithmetic circuits, under the partial synthesis framework. The efficacy of our approach is demonstrated over various integer multiplier architectures, where other contemporary approaches are infeasible.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"234 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115502910","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 Logical Method to Predict Outcomes After Coronary Artery Bypass Grafting 冠状动脉旁路移植术预后预测的逻辑方法

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ISMVL57333.2023.00046

Tsutomu Sasao, A. Holmgren, P. Eklund

引用次数: 1

Keynote I: Tackling the Explosions of Data and Solutions with Low-Bitwidth Computing Architectures 主题演讲一:利用低位宽计算架构应对数据爆炸和解决方案

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ismvl57333.2023.00009

引用次数: 0

Efficient DFA-Resistant AES Hardware Based on Concurrent Fault Detection Scheme 基于并发故障检测方案的高效抗dfa AES硬件

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ISMVL57333.2023.00045

Rei Ueno, Yusuke Yagyu, N. Homma

引用次数: 0

On Neural-Network-Based Detection for Hypertensive Subjects Using Classification of Retinal Fundus Photographs 基于视网膜眼底照片分类的高血压受试者神经网络检测

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ISMVL57333.2023.00019

Yuki Sonetsuji, T. Isokawa, N. Kamiura, Hitoshi Tabuchi

引用次数: 0

Kalmbach implication in orthomodular posets 正模偏序集的Kalmbach蕴涵

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ISMVL57333.2023.00015

Kadir Emir, Jan Paseka

引用次数: 0

Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools 优化密度矩阵表示:改进噪声感知量子电路设计工具的基础

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ISMVL57333.2023.00036

Thomas Grurl, Jürgen Fuß, R. Wille

{"title":"Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools","authors":"Thomas Grurl, Jürgen Fuß, R. Wille","doi":"10.1109/ISMVL57333.2023.00036","DOIUrl":"https://doi.org/10.1109/ISMVL57333.2023.00036","url":null,"abstract":"By exploiting quantum mechanical effects, quantum computers can tackle problems that are infeasible for classical computers. At the same time, these quantum mechanical properties make handling quantum states exponentially hard—imposing major challenges on design tools. In the past, methods such as tensor networks or decision diagrams have shown that they can often keep those resource requirements in check by exploiting redundancies within the description of quantum states. But developments thus far focused on pure quantum states which do not provide a physically complete picture and, e.g., ignore frequently occurring noise effects. Density matrix representations provide such a complete picture, but are substantially larger. At the same time, they come with characteristics that allow for a more compact representation. In this work, we unveil this untapped potential and use it to provide a decision diagram representation that is optimized for density matrix representations. By this, we are providing a basis for more efficient design tools such as quantum circuit simulation which explicitly takes noise/error effects into account.","PeriodicalId":419220,"journal":{"name":"2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124912769","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 II: A Challenge of Scalable Quantum Computing Control Systems 主题演讲二:可扩展量子计算控制系统的挑战

2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2023-05-01 DOI: 10.1109/ismvl57333.2023.00010

引用次数: 0