首页>外文会议>IEEE International Symposium on Multiple-Valued Logic

IEEE International Symposium on Multiple-Valued Logic

召开年：2016
召开地：Sapporo(JP)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Double-Rate Equalization Using Tomlinson-Harashima Precoding for Multi-valued Data Transmission

机译：使用Tomlinson-Harashima预编码进行双速率均衡以进行多值数据传输
- 作者：Yosuke Iijima;Yasushi Yuminaka
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Data communication;
- Receivers;
- Very large scale integration;
- Timing;
- Transmitters;
- Frequency measurement;
- Precoding;
2.Context-Based Error Correction Scheme Using Recurrent Neural Network for Resilient and Efficient Intra-Chip Data Transmission

机译：基于递归神经网络的基于上下文的纠错方案，可有效，高效地传输芯片内数据
- 作者：Naoto Sugaya;Masanori Natsui;Takahiro Hanyu
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Error correction;
- Recurrent neural networks;
- Error correction codes;
- Integrated circuit reliability;
- Training;
- Microprocessors;
3.Monomial Clones: Local Results and Global Properties

机译：单项克隆：本地结果和全局属性
- 作者：Hajime Machida;Jovanka Pantovic
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Cloning;
- Lattices;
4.Centralizing Monoids on a Three-Element Set Related to Binary Idempotent Functions

机译：在与二元幂等函数有关的三元素集上集中Monoid
- 作者：Hajime Machida;Ivo G. Rosenberg
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Cloning;
- Systematics;
- Symmetric matrices;
5.Minimal Weighted Clones with Boolean Support

机译：具有布尔支持的最小加权克隆
- 作者：Peter G. Jeavons;Andrius Vaicenavicius;Stanislav ivný
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Cloning;
- Optical wavelength conversion;
- Optimization;
- Lattices;
- Computational complexity;
- Frequency modulation;
6.New Two-Qubit Gate Library with Entanglement

机译：纠缠的新两比特门图书馆
- 作者：Md Belayet Ali;Takashi Hirayama;Katsuhisa Yamanaka;Yasuaki Nishitani
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Logic gates;
- Quantum entanglement;
- Libraries;
- Quantum computing;
- Tensile stress;
- Electrical engineering;
7.Quantum p-Valued Toffoli and Deutsch Gates with Conjunctive or Disjunctive Mixed Polarity Control

机译：具有混合或分离混合极性控制的量子p值Toffoli和Deutsch Gates
- 作者：Claudio Moraga
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Logic gates;
- Quantum computing;
- Aerospace electronics;
- Symmetric matrices;
- Hilbert space;
- Computer science;
- Computational modeling;
8.Logic Synthesis for Quantum State Generation

机译：量子态生成的逻辑综合
- 作者：Philipp Niemann;Rhitam Datta;Robert Wille
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Quantum computing;
- Logic gates;
- Design automation;
- Quantum entanglement;
- Electronic mail;
- Integrated circuit modeling;
9.Quantum Algorithmic Complexity of Three-Qubit Pure States

机译：三量子位纯态的量子算法复杂性
- 作者：Martin Lukac;Aikaterini Mandilara
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Logic gates;
- Complexity theory;
- Quantum entanglement;
- Quantum computing;
- Genetic algorithms;
- Sociology;
- Statistics;
10.A Study on Realizing Awareness Using 3VL-MLP

机译：使用3VL-MLP实现意识的研究
- 作者：Qiangfu Zhao
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Neurons;
- Brain modeling;
- Multilayer perceptrons;
- Context;
- Inductors;
- Gold;
- Computational modeling;
11.Multi-valued Problem Solvers

机译：多值问题解决器
- 作者：Bernd Steinbach;Stefan Heinrich;Christian Posthoff
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Silicon;
- Electronic mail;
- Encoding;
- Computer science;
- Junctions;
- Transforms;
- Information technology;
12.A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics

机译：有限值逻辑中的位向量可满足性测试
- 作者：Joan Ramon Soler;Felip Manyà
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Encoding;
- Testing;
- Linear programming;
- Complexity theory;
- Hardware;
- Planning;
- Bioinformatics;
13.On the Inadmissible Class of Multiple-Valued Faulty-Functions under Stuck-at Faults

机译：滞留故障下多值故障函数的不可接受类
- 作者：Debabani Chowdhury;Debesh K. Das;Bhargab B. Bhattacharya;Tsutomu Sasao
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Circuit faults;
- Logic circuits;
- Context;
- Electronic mail;
- Multivalued logic;
- Logic functions;
14.An Efficient Heuristic for Linear Decomposition of Index Generation Functions

机译：索引生成函数线性分解的一种有效启发式方法
- 作者：Shinobu Nagayama;Tsutomu Sasao;Jon T. Butler
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Compounds;
- Indexes;
- Decision trees;
- Cost function;
- Minimization;
- Time complexity;
15.Index Generation Functions Based on Linear and Polynomial Transformations

机译：基于线性和多项式变换的索引生成函数
- 作者：Helena Astola;Radomir S. Stankovic;Jaakko T. Astola
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Indexes;
- Entropy;
- Switches;
- Markov processes;
- Electronic mail;
- Signal processing;
- Correlation;
16.An Algebraic Approach to Reducing the Number of Variables of Incompletely Defined Discrete Functions

机译：减少不完全定义离散函数的变量数量的代数方法
- 作者：Jaakko T. Astola;Pekka Astola;Radomir S. Stankovic;Ioan Tabus
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Transforms;
- Indexes;
- Electronic mail;
- Structural rings;
- Image recognition;
- Frequency modulation;
- Correlation;
17.A Realization of Index Generation Functions Using Multiple IGUs

机译：使用多个IGU的索引生成功能的实现
- 作者：Tsutomu Sasao
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Indexes;
- Linear circuits;
- Multiplexing;
- Memory management;
- Computer aided manufacturing;
- Registers;
- Input variables;
18.Set Representation of Partial Dynamic De Morgan Algebras

机译：部分动态De Morgan代数的集合表示
- 作者：Ivan Chajda;Jan Paseka
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Lattices;
- Boolean algebra;
- Electronic mail;
- Standards;
- Quantum mechanics;
- Geometry;
19.Tolerance Distances on Minimal Coverings

机译：最小覆盖层的公差距离
- 作者：Catalin Zara;Dan A. Simovici
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Indexes;
- Entropy;
- Measurement;
- Birds;
- Data mining;
- Context;
- Training data;
20.Paraconsistent Double Negation That Can Simulate Classical Negation

机译：可以模拟经典否定的超一致双重否定
- 作者：Norihiro Kamide
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Calculus;
- IP networks;
- Semantics;
- Electronic mail;
- Cognition;
- Cost accounting;
21.Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension

机译：受限双直觉逻辑的无割系统及其连续扩展
- 作者：Norihiro Kamide
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Calculus;
- Syntactics;
- Context;
- Electronic mail;
- Semantics;
- Web sites;
- Standards;
22.Power of Enumeration -- BDD/ZDD-Based Techniques for Discrete Structure Manipulation

机译：枚举的力量-基于BDD / ZDD的离散结构操纵技术
- 作者：Shin-Ichi Minato
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
23.Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits

机译：线性最近邻无桩MCT电路的集成综合
- 作者：Md. Mazder Rahman;Gerhard W. Dueck;Anupam Chattopadhyay;Robert Wille
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Logic gates;
- Benchmark testing;
- Computers;
- Couplings;
- Optimization;
- Error correction;
- Measurement;
24.Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits

机译：可逆电路到Clifford + T量子电路的技术映射
- 作者：Nabila Abdessaied;Matthew Amy;Mathias Soeken;Rolf Drechsler
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Logic gates;
- Libraries;
- Quantum computing;
- Fault tolerance;
- Fault tolerant systems;
- Optimization;
- Algorithm design and analysis;
25.Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation

机译：最近邻和容错量子电路的实现
- 作者：Laxmidhar Biswal;Chandan Bandyopadhyay;Anupam Chattopadhyay;Robert Wille;Rolf Drechsler;Hafizur Rahaman
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Logic gates;
- Fault tolerance;
- Fault tolerant systems;
- Quantum computing;
- Libraries;
- Error correction codes;
- Quantum mechanics;
26.Some Properties of Generalized State Operators on Residuated Lattices

机译：剩余格上的广义状态算子的一些性质
- 作者：Michiro Kondo;Mayuka F. Kawaguchi
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Lattices;
- Algebra;
- Electronic mail;
- Integral equations;
- Filtering theory;
- Quantum mechanics;
- Fuzzy logic;
27.Simple Characterizations of Perfect Residuated Lattices

机译：完美剩余格的简单特征
- 作者：Michiro Kondo
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Lattices;
- Boolean algebra;
- Integral equations;
- Electronic mail;
- Periodic structures;
- Semantics;
28.SPRUCE, an Embedded Compact Stack Machine for IGBT Power Modules

机译：SPRUCE，一种用于IGBT电源模块的嵌入式紧凑型堆叠机
- 作者：A. Shorten;W. T. Ng
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Insulated gate bipolar transistors;
- Logic gates;
- Inverters;
- Integrated circuits;
- Pulse width modulation;
- Multichip modules;
- Power demand;
29.Gray-Scale Morphology Based Image Segmentation and Character Extraction Using SVM

机译：基于灰度形态学的支持向量机图像分割与特征提取
- 作者：Jianjun Chen;Noboru Takagi
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Image segmentation;
- Image edge detection;
- Gray-scale;
- Image color analysis;
- Feature extraction;
- Merging;
- Labeling;
30.A Low-Voltage and Low-Power CMOS Temperature Sensor Circuit with Digital Output for Wireless Healthcare Monitoring System

机译：具有数字输出的低压低功耗CMOS温度传感器电路，用于无线医疗监控系统
- 作者：Agung Setiabudi;Ryota Sakamoto;Hiroki Tamura;Koichi Tanno
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Temperature sensors;
- Sensitivity;
- Medical services;
- Monitoring;
- Wireless sensor networks;
- Integrated circuit modeling;
- Temperature;
31.Dependency Analysis of BMI in Health Checkup Blood Data

机译：健康检查血液数据中BMI的依赖性分析
- 作者：Mizuki Higuchi;Kenichi Sorachi;Yutaka Hata
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Obesity;
- Indexes;
- Hardware design languages;
- Fluctuations;
- Hypertension;
- Diabetes;
32.Novel Instrumentation Amplifier Architectures Insensitive to Resistor Mismatches and Offset Voltage for Biological Signal Processing

机译：新型仪表放大器架构对生物信号处理的电阻器不匹配和失调电压不敏感
- 作者：Zainul Abidin;Koichi Tanno;Shota Mago;Hiroki Tamura
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Resistors;
- Choppers (circuits);
- Biology;
- CMOS process;
- Semiconductor device modeling;
- MOSFET;
- Gain;
33.Study Support System of Character Drawing Considering Feeling Evaluation

机译：考虑情感评价的人物画学习支持系统
- 作者：Ryuichi Murakami;Noriaki Muranaka
- 会议名称：《》 | 2016年
- Iterative closest point algorithm;
- Elasticity;
- Shape;
- Standards;
- Animation;
- Art;
- Grasping;
34.Gibbs Characterization of Binary and Ternary Bent Functions

机译：二元和三元Bent函数的Gibbs表征
- 作者：Radomir S. Stankovic;Milena Stankovic;Jaakko T. Astola;Claudio Moraga
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Fourier transforms;
- Eigenvalues and eigenfunctions;
- Encoding;
- Switches;
- Kernel;
- Input variables;
35.On Constructing Secure and Hardware-Efficient Invertible Mappings

机译：关于构造安全且硬件高效的可逆映射
- 作者：Elena Dubrova
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Internet of things;
- Boolean functions;
- Computer crime;
- Hardware;
- Ciphers;
36.Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors

机译：流水线GF运算电路的形式化设计及其在密码处理器中的应用
- 作者：Rei Ueno;Yukihiro Sugawara;Naofumi Homma;Takafumi Aoki
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Computers;
- Algebra;
- Light emitting diodes;
- Timing;
- Cryptography;
- Pipeline processing;
- IP networks;
37.Realization of FIR Digital Filters Based on Stochastic/Binary Hybrid Computation

机译：基于随机/二进制混合计算的FIR数字滤波器的实现
- 作者：Shunsuke Koshita;Naoya Onizawa;Masahide Abe;Takahiro Hanyu;Masayuki Kawamata
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Finite impulse response filters;
- Encoding;
- Adders;
- Hardware;
- Image coding;
- Complexity theory;
- Multiplexing;
38.The Pascal Triangle (1654), the Reed-Muller-Fourier Transform (1992), and the Discrete Pascal Transform (2005)

机译：Pascal Triangle（1654），Reed-Muller-Fourier变换（1992）和Discrete Pascal变换（2005）
- 作者：Claudio Moraga;Radomir S. Stankovic;Milena Stankovic
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Discrete Fourier transforms;
- Convolution;
- Switches;
- Fractals;
- Sparse matrices;
39.Elucidation of Brain Activities by Electroencephalograms and Its Application to Brain Computer Interface

机译：脑电图阐明脑活动及其在脑计算机接口中的应用
- 作者：Takahiro Yamanoi
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Electroencephalography;
- Electrodes;
- Visualization;
- Brain-computer interfaces;
- Educational robots;
- Brain;
40.Energy-Efficient and Highly-Reliable Nonvolatile FPGA Using Self-Terminated Power-Gating Scheme

机译：使用自终止功率门控方案的节能高效可靠的非易失性FPGA
- 作者：Daisuke Suzuki;Takahiro Hanyu
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Switches;
- Field programmable gate arrays;
- Magnetic tunneling;
- Latches;
- Energy consumption;
- Leakage currents;
- Routing;
41.CNTFET-RFB: An Error Correction Implementation for Multi-valued CNTFET Logic

机译：CNTFET-RFB：多值CNTFET逻辑的纠错实现
- 作者：Gopalakrishnan Sundararajan;Chris Winstead
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- CNTFETs;
- Tunneling magnetoresistance;
- Fault tolerance;
- Fault tolerant systems;
- Transient analysis;
- Circuit faults;
42.Ternary Versus Binary Multiplication with Current-Mode CNTFET-Based K-Valued Converters

机译：基于电流模式CNTFET的K值转换器的三元对二进制乘法
- 作者：Mona Moradi;Reza Faghih Mirzaee;Keivan Navi
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- CNTFETs;
- Delays;
- Multivalued logic;
- Switches;
- Compressors;
- Integrated circuit interconnections;
43.Design of Ratioless Ternary Inverter Using Graphene Barristor

机译：石墨烯电阻的无比例三进制逆变器设计
- 作者：Chang-Hoo Shim;Sunwoo Heo;Jinwoo Noh;Yun Ji Kim;So-Young Kim;Abdul Karim Khan;Byoung Hun Lee
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Graphene;
- Logic gates;
- Inverters;
- Schottky diodes;
- Resistors;
- Doping;
- Threshold voltage;
44.Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible Circuits

机译：重写HDL描述以实现可逆电路的线路感知综合
- 作者：Zaid Alwardi;Robert Wille;Rolf Drechsler
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Logic gates;
- Hardware design languages;
- Wires;
- Quantum computing;
- Optimization;
- Integrated circuits;
45.An Improved Factorization Approach to Reversible Circuit Synthesis Based on EXORs of Products of EXORs

机译：基于EXOR乘积EXOR的可分解电路合成的改进分解方法
- 作者：Linh Tran;Addison Gronquist;Marek Perkowski;John Caughman
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Logic gates;
- Boolean functions;
- Circuit synthesis;
- Mirrors;
- Libraries;
- Wires;
- Input variables;
46.Fault Detection in Parity Preserving Reversible Circuits

机译：奇偶校验可逆电路中的故障检测
- 作者：Nils Przigoda;Gerhard Dueck;Robert Wille;Rolf Drechsler
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Circuit faults;
- Logic gates;
- Integrated circuit modeling;
- Fault tolerance;
- Fault tolerant systems;
- Quantum computing;
- Fault detection;
47.Notes on Majority Boolean Algebra

机译：关于布尔布尔代数的注释
- 作者：Anupam Chattopadhyay;Luca Amarú;Mathias Soeken;Pierre-Emmanuel Gaillardon;Giovanni De Micheli
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Optimization;
- Inverters;
- Logic gates;
- Logic circuits;
- Boolean functions;
- Computers;
48.Realization of Associative Image Search: Development of Image Retrieval Platform for Enhancing Serendipity

机译：关联图像搜索的实现：增强机缘巧合的图像检索平台的开发
- 作者：Miki Haseyama
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Videos;
- Image retrieval;
- Visualization;
- Biomimetics;
- Multimedia communication;
- Streaming media;
- Insects;
49.An FFT Circuit Using Nested RNS in a Digital Spectrometer for a Radio Telescope

机译：在射电望远镜的数字光谱仪中使用嵌套RNS的FFT电路
- 作者：Hiroki Nakahara;Tsutomu Sasao;Hiroyuki Nakanishi;Kazumasa Iwai;Tohru Nagao;Naoya Ogawa
- 会议名称：《IEEE International Symposium on Multiple-Valued Logic》 | 2016年
- Table lookup;
- Field programmable gate arrays;
- Dynamic range;
- Memory management;
- Radio astronomy;
- Receivers;
- Read only memory;