2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)最新文献_第3页

Ternary Logic Synthesis with Modified Quine-McCluskey Algorithm 基于改进Quine-McCluskey算法的三元逻辑综合

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00035

Sung-Yun Lee, Sunmean Kim, Seokhyeong Kang

引用次数: 7

Clausal Form Transformation in MaxSAT MaxSAT中的子句形式变换

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00031

Chu Min Li, F. Manyà, Joan Ramon Soler

引用次数: 9

Comparative Analysis of Full Adder Custom Design Circuit using Two Regular Structures in Quantum-Dot Cellular Automata (QCA) 量子点元胞自动机(QCA)中两种规则结构全加法器定制设计电路的比较分析

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00041

Rahul Singhal, M. Perkowski

引用次数: 5

T-depth Optimization for Fault-Tolerant Quantum Circuits 容错量子电路的t深度优化

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00027

Philipp Niemann, Anshu Gupta, R. Drechsler

引用次数: 7

First-Order Nelsonian Paraconsistent Quantum Logic 一阶尼尔森准一致量子逻辑

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00038

N. Kamide

引用次数: 2

Non-Binary Approaches for Classification of Amyloid Brain PET 脑淀粉样蛋白PET的非二元分类方法

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00043

Katherine Zukotvnski, Vincent C. Gaudet, P. Kuo, Sabrina Adamo, M. Goubran, C. Bocti, M. Borrie, H. Chertkow, R. Frayne, R. Hsiung, R. Laforce, M. Noseworthy, F. Prato, J. Sahlas, C. Scott, Eric E. Smith, V. Sossi, Alex Thiel, J. Soucy, J. Tardif, S. Black

{"title":"Non-Binary Approaches for Classification of Amyloid Brain PET","authors":"Katherine Zukotvnski, Vincent C. Gaudet, P. Kuo, Sabrina Adamo, M. Goubran, C. Bocti, M. Borrie, H. Chertkow, R. Frayne, R. Hsiung, R. Laforce, M. Noseworthy, F. Prato, J. Sahlas, C. Scott, Eric E. Smith, V. Sossi, Alex Thiel, J. Soucy, J. Tardif, S. Black","doi":"10.1109/ISMVL.2019.00043","DOIUrl":"https://doi.org/10.1109/ISMVL.2019.00043","url":null,"abstract":"Machine learning (ML) is increasingly used in medical imaging. This paper provides pilot data of decision trees and random forests (RFs) to predict if a 18F-florbetapir brain positron emission tomography (PET) is positive or negative for amyloid deposition based on quantitative data analysis. The dataset included 55 18F-florbetapir brain PETs in participants with severe white matter disease and mild cognitive impairment (MCI), early Alzheimer's disease (AD) or transient ischemic events. The Montreal Cognitive Assessment (MoCA) score was known for each participant. All PET images were processed using the MINC toolkit to extract standardized uptake value ratios (SUVRs) for 59 regions of interest (features). Each PET was clinically read by 2 dual certified radiology/nuclear medicine physicians with final interpretation based on consensus. An initial study of RFs using conventional binary decision trees and PET quantitation suggests this is a powerful algorithm for PET classification as positive or negative for amyloid deposition. Preliminary data did not show improved results when a ternary RF approach was used. Finally, a soft-decision approach may be helpful to predict the $mathbf{MoCA}$ score.","PeriodicalId":329986,"journal":{"name":"2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)","volume":"170 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126747714","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

Waveform Shaping Transmitter Combining Digital and Analog Circuits for Multi - Valued Signaling 波形整形发射机结合数字和模拟电路的多值信号

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00012

Yosuke Iijima, Y. Yuminaka

引用次数: 2

An Approach Toward Classification of Minimal Groupoids on a Finite Set 有限集合上极小群类群的一种分类方法

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00036

Mike Behrisch, Hajime Machida

引用次数: 1

Scaling-up ESOP Synthesis for Quantum Compilation 量子编译中ESOP综合的放大

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00011

B. Schmitt, Mathias Soeken, G. Micheli, A. Mishchenko

{"title":"Scaling-up ESOP Synthesis for Quantum Compilation","authors":"B. Schmitt, Mathias Soeken, G. Micheli, A. Mishchenko","doi":"10.1109/ISMVL.2019.00011","DOIUrl":"https://doi.org/10.1109/ISMVL.2019.00011","url":null,"abstract":"Today's rapid advances in quantum computing hardware call for scalable synthesis methods to map combinational logic represented as multi-level Boolean networks (e.g., an and-inverter graph, AIG) to quantum circuits. Such synthesis process must yield reversible logic function since quantum circuits are reversible. Thus, logic representations using exclusive sum-of-products (ESOP) are advantageous because of their natural relation to Toffoli gates, one of the primitives in reversible logic. This motivates developing effective methods to collapse AIG logic networks into ESOPs. In this work, we present two state-of-the-art methods to collapse an AIG into an ESOP expression, describe their shortcomings and introduce a new approach based on the divide-and-conquer paradigm. We demonstrate the effectiveness of our method in collapsing IEEE-compliant half precision floating point networks. Results show that our method can collapse designs-which were previously not solvable within a week-in less than 5 minutes. We also describe a technique capable of taking advantage of this new method to generate quantum circuits with up to 50% fewer $T$ gates compared to state-of-the-art methods.","PeriodicalId":329986,"journal":{"name":"2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114515533","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

Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic 模态理想副协调四值逻辑的有限模型性质

2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2019-05-01 DOI: 10.1109/ISMVL.2019.00029

N. Kamide, Yoni Zohar

引用次数: 1