掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE International Symposium on Multiple-Valued Logic
IEEE International Symposium on Multiple-Valued Logic
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Representation theorems and theorem proving in non-classical logics
机译:
非古典逻辑证明的代表定理与定理
作者:
Viorica Sofronie-Stokkermans
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
2.
Maximal chains of partial clones containing all idempotent partial functions
机译:
包含所有IDEMPotent部分功能的部分克隆的最大链条
作者:
Lucien Hadded
;
Jean Fugere
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
3.
Multivalued binary relations and POST algebras
机译:
多元化二元关系和邮政代数
作者:
Michel Serfati
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
4.
Bi-decompositions of multi-valued functions for circuit design and data mining applications
机译:
电路设计和数据挖掘应用的多值函数的双分解
作者:
Bernd Steinbach
;
Marek A. Perkowski
;
Christian Lang
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
5.
Clarifying the axioms of Kleene algebra based on the method of indeterminate coefficients
机译:
基于不确定系数的方法阐明Kleene代数的公理
作者:
Tomoko Ninomiya
;
Masao Mukaidono
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
6.
Logical model for representing uncertain statuses of multiple-valued logic systems realized by min, max and literals
机译:
逻辑模型代表MIN,MAX和文字实现的多价逻辑系统不确定状态
作者:
Kyoichi Nakashima
;
Noboru Takagi
;
Akimitsu Hon-nami
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
7.
Arithmetic circuits for analog digits
机译:
模拟数字的算术电路
作者:
Aryan Saed
;
Majid Ahmadi
;
Graham A. Jullien
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
8.
Quaternion groups versus dyadic groups in representations and processing of switching functions
机译:
四元数组与交换功能的表示和处理中的二元组
作者:
Radomir S. Stankovic
;
Dejan Milenovic
;
Dragan Jankovic
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
9.
Totally undecomposable functions: applications to efficient multiple-valued decompositions
机译:
完全不可思议的功能:应用于有效的多价分解
作者:
Tsutomu Sasao
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
关键词:
Functional decomposition;
Symmetric function;
LUT-based FPGA;
Multiple-valued logic function;
10.
On some classes of fuzzy information granularity and their representations
机译:
关于一些模糊信息粒度及其表示
作者:
Yutaka Hata
;
Masao Mukaidono
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
11.
State assignment techniques in multiple-valued logic
机译:
多价逻辑中的状态分配技术
作者:
K. J. Adams
;
J. G. Campbell
;
L. P. Maguire
;
J. A. C. Webb
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
12.
Redundant complex arithmetic and its application to complex multiplier design
机译:
冗余复合算术及其在复杂乘法机设计中的应用
作者:
Takafumi Aoki
;
Ken-ichi Hoshi
;
Tatsuo Higuchi
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
13.
Multiple-valued minimization to optimized PLAs with output EXOR gates
机译:
多维值最小化以优化输出XOR门的播放
作者:
Debatosh Debnath
;
Tsutomu Sasao
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
关键词:
Three-level network;
Logic minimization;
Adder;
Multiple-valued logic;
Programmable logic array;
14.
Quaternary coded genetic algorithms
机译:
四季编码遗传算法
作者:
Kai Freitag
;
Lars Hildebrand
;
Claudio Moraga
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
15.
The number of cascade functions
机译:
级联功能的数量
作者:
Grant Pogosyan
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
16.
Research on the similarity among precomplete sets preserving m-ary relations in partial K-valued logic
机译:
预填充集中的相似性研究部分k值逻辑中的M-ARY关系
作者:
Renren Liu
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
关键词:
Partial multiple-valued logic;
Completeness;
Sheffer functions;
17.
Transformations between signed and classical clause logic
机译:
签名和古典条款逻辑之间的转换
作者:
Bernhard Beckert
;
Reiner Hahnle
;
Felip Manya
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
18.
Gigantic pairs of minimal clones
机译:
巨大的最小克隆对
作者:
Ivo G. Rosenberg
;
Hajime Machida
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
19.
Self-checking multiple-valued circuit based on dual-rail current-mode differential logic
机译:
基于双轨电流模式差分逻辑的自检多值电路
作者:
Takahiro Hanyu
;
Tsukasa Ike
;
Michitaka Kameyama
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
20.
A super switch algebra for quantum device based systems
机译:
基于量子器件的系统的超级开关代数
作者:
Gerhard W. Dueck
;
Mou Hu
;
Blair Fraser
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
21.
Multiple-valued content-addressable memory using metal-ferroelectric-semiconductor FETs
机译:
使用金属铁电半导体FET的多值内容可寻址存储器
作者:
Takahiro Hanyu
;
Hiromitsu
;
Kimura
;
Michitaka Kameyama
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
22.
Fault characterization and testability considerations in multi-valued logic circuits
机译:
多值逻辑电路的故障表征和可测试性考虑因素
作者:
Mostafa Abd-El-Barr
;
Maher Al-Sherif
;
Mohamed Osman
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
23.
B-ternary logic based asynchronous micropipeline
机译:
基于B基三元逻辑的异步微普通
作者:
Yasunori Nagata
;
D. Michael Miller
;
Masao Mukaidono
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
24.
Information relationships and measures in application to logic design
机译:
逻辑设计中的信息关系与措施
作者:
Lech Jozwiak
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
25.
The output permutation for the multiple-valued logic minimization with universal literals
机译:
具有通用文字的多价逻辑最小化的输出置换
作者:
Takahiro Hozumi
;
Osamu Kakusho
;
Yutaka Hata
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
关键词:
Logic synthesis;
Cost reduction;
Universal literal;
Output permutation;
Current-mode CMOS circuits;
26.
Structural and behavioral modeling with monadic logics
机译:
与Monadic Logics的结构和行为建模
作者:
Abdelwaheb Ayari
;
David Basin
;
Stefan Friedrich
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
27.
On axiomatization of conditional entropy of functions between finite sets
机译:
关于有限套件函数条件熵的公理化
作者:
Szymon Jaroszewicz
;
Dan A. Simovici
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
关键词:
Functions between finite sets;
Logic functions;
Entropy;
Axiomatization;
Conditional entropy;
28.
Evaluation of m-valued fixed polarity generalizations of reed-Muller canonical form
机译:
Reed-Muller规范形式的M值固定极性概括的评价
作者:
Elena Dubrova
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
29.
On the number of multilinear partitions and the computing capacity of multiple-valued multiple-threshold perceptrons
机译:
关于多线性分区的数量和多值多阈值的计算能力
作者:
Alioune Ngom
;
Ivan Stojmenovic
;
Jovisa Zunic
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
30.
Development of quantum functional devices for multiple-valued logic circuits
机译:
用于多值逻辑电路的量子功能装置的开发
作者:
Toshio Baba
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
31.
From a fuzzy flip-flop to a MVL flip-flop
机译:
从模糊触发器到MVL触发器
作者:
L. P. Maguire
;
T. M. McGinnity
;
L. J. McDaid
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
32.
Supplementary symmetrical logic circuit structure
机译:
补充对称逻辑电路结构
作者:
Edgar Dan Olson
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
33.
Ternary multiplication circuits using 4-input adder cells and carry look-ahead
机译:
使用4输入加法器单元的三元乘法电路并携带展开
作者:
Andreas Herrfeld
;
Siegbert Hentschke
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
34.
Down literal circuit with neuron-MOS transistors and its applications
机译:
具有神经元-MOS晶体管及其应用的文字电路及其应用
作者:
Jing Shen
;
Koichi Tanno
;
Okihiko Ishizuka
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
35.
Matrix-valued EXOR-TDDs in decomposition of switching functions
机译:
矩阵值EXOR-TDDS切换功能分解
作者:
Radomir S. Stankovic
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
36.
Semirigidity problems in k-valued logic
机译:
k值逻辑中的疯狂问题
作者:
Masahiro Miyakawa
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
37.
Highly testable Boolean ring logic circuits
机译:
高度可测试的布尔环逻辑电路
作者:
Ugur Kalay
;
Marek A. Perlowski
;
Douglas V. Hall
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
38.
A generalization of shestakov's function decomposition method
机译:
Shestakov功能分解方法的概括
作者:
J. J. Lou
;
J. A. Brzozowski
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
39.
'New lamps for old' (generalized multiple-valued neurons)
机译:
“旧的新灯”(广义多价神经元)
作者:
Claudio Moraga
;
Ralph Heider
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
40.
Synthesis of multiple-valued decision diagrams using current-mode CMOS circuits
机译:
使用电流模式CMOS电路综合多值决策图
作者:
Mostafa Abd-El-Barr
;
Henry Fernandes
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
41.
On the concept of qualitative fuzzy set
机译:
论定性模糊套装的概念
作者:
Helmut Thiele
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
关键词:
Fuzzy sets;
Vague concepts;
Qualitative fuzzy sets;
Multi-fuzzy sets;
42.
Probabilistic and truth-functional many-valued logic programming
机译:
概率和真实功能多价逻辑编程
作者:
Thomas Lukasiewicz
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
43.
Partial clones and their generating sets
机译:
部分克隆及其发电机
作者:
Lucien Hadded
;
Dietlinde Lau
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
44.
Shared multiple-valued decision diagrams for multiple-output functions
机译:
用于多输出函数的共享多价判定图
作者:
Hafiz Md. Hasan Babu
;
Tsutomu Sasao
会议名称:
《IEEE International Symposium on Multiple-Valued Logic》
|
1999年
意见反馈
回到顶部
回到首页