掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Issues in Multi-valued Multi-modal Sensor Fusion
机译:
多值多模式传感器融合中的问题
作者:
Janidarmian Majid
;
Zilic Zeljko
;
Radecka Katarzyna
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
2.
Process-Variation-Resilient OTA Using MTJ-based Multi-level Resistance Control
机译:
基于基于MTJ的多级电阻控制的过程变化弹性OTA
作者:
Natsui Masanori
;
Nagashima Takaaki
;
Hanyu Takahiro
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
3.
Mosaics, Fermat, Walsh (Aller guten Dinge sind drei)
机译:
马赛克,费马,沃尔什(所有美好的事物都包含在内)
作者:
Moraga Claudio
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
4.
SIFAR: Self-Identification of Lags of an Autoregressive TSK-based Model
机译:
SIFAR:基于TSK自回归模型的滞后的自我识别
作者:
Veloz Alejandro
;
Salas Rodrigo
;
Allende-Cid Héctor
;
Allende Héctor
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
5.
Global Multiple-Valued Clock Approach for High- Performance Multi-phase Clock Integrated Circuits
机译:
高性能多相时钟集成电路的全局多值时钟方法
作者:
Menon Rohit P.
;
Thornton Mitchell A.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
6.
Energy Efficiency of Multi-bit delta-sigma Modulators Using Inverter-based Integrators
机译:
使用基于逆变器的积分器的多位Δ-Σ调制器的能效
作者:
Kotani Hiroaki
;
Yaguchi Ryoto
;
Waho Takao
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
7.
Several Remarks on Index Generation Functions
机译:
关于索引生成函数的几点评论
作者:
Simovici Dan A.
;
Zimand Marius
;
Pletea Dan
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
8.
Multiple-Valued Input Index Generation Functions: Optimization by Linear Transformation
机译:
多值输入索引生成函数:通过线性变换进行优化
作者:
Sasao Tsutomu
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
9.
Banzhaf Index and Boolean Difference
机译:
Banzhaf索引和布尔差
作者:
Yamamoto Yoshinori
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
10.
Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits
机译:
优化可逆电路到四值量子门电路的映射
作者:
Soeken Mathias
;
Sasanian Zahra
;
Wille Robert
;
Miller D. Michael
;
Drechsler Rolf
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
11.
Remarks on Shapes of Decision Diagrams and Classes of Multiple-Valued Functions
机译:
关于决策图形状和多值函数类的说明
作者:
Stankovic Stanislav
;
Stankovic Radomir S.
;
Astola Jaakko
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
12.
Analysis of Multi-state Systems with Multi-state Components Using EVMDDs
机译:
使用EVDMD分析具有多状态组件的多状态系统
作者:
Nagayama Shinobu
;
Sasao Tsutomu
;
Butler Jon T.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
13.
A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding
机译:
基于BDD的并行CRC编码的LFSR构造方法
作者:
Dubrova Elena
;
Mansouri Shohreh Sharif
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
14.
Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic Processor
机译:
Galois字段上多值算术算法的形式化设计及其在密码处理器中的应用
作者:
Homma Naofumi
;
Saito Kazuya
;
Aoki Takafumi
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
15.
Asynchronous Stochastic Decoding of Low-Density Parity-Check Codes
机译:
低密度奇偶校验码的异步随机解码
作者:
Onizawa Naoya
;
Gaudet Vincent C.
;
Hanyu Takahiro
;
Gross Warren J.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
16.
List-Homomorphism Problems on Graphs and Arc Consistency
机译:
图上的同胚问题和弧一致性
作者:
Larose Benoit
;
Lemaitre Adrien
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
17.
Modal Operators on Non-commutative Residuated Lattices
机译:
非交换余格上的模态算子
作者:
Kondo Michiro
;
Kawaguchi Mayuka F.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
18.
Prime Filters on Residuated Lattices
机译:
剩余格上的素数过滤器
作者:
Kondo Michiro
;
Turunen Esko
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
19.
Using Hasse Diagrams to Synthesize Ternary Quantum Circuits
机译:
使用Hasse图合成三重量子电路
作者:
Hawash Maher
;
Perkowski Marek
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
20.
Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean Functions
机译:
布尔和伪布尔函数的局部单调性和格导数的层次
作者:
Couceiro Miguel
;
Marichal Jean-Luc
;
Waldhauser Tamás
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
21.
Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems
机译:
极其复杂的四色无矩形网格:开放式多值问题的解决方案
作者:
Steinbach Bernd
;
Posthoff Christian
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
22.
Clones of Incompletely Specified Operations
机译:
指定操作不完整的克隆
作者:
Colic Jelena
;
Machida Hajime
;
Pantovic Jovanka
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
23.
Quaternary 1T-2MTJ Cell Circuit for a High-Density and a High-Throughput Nonvolatile Bit-Serial CAM
机译:
用于高密度和高通量非易失性位串行CAM的四级1T-2MTJ单元电路
作者:
Matsunaga Shoun
;
Hanyu Takahiro
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
24.
Non-deterministic Matrices for Semi-canonical Deduction Systems
机译:
半规范推导系统的非确定性矩阵
作者:
Lahav Ori
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
25.
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers
机译:
使用可满足性模理论求解器为无限值逻辑构建自动定理证明
作者:
Ansótegui Carlos
;
Bofill Miquel
;
Manyà Felip
;
Villaret Mateu
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
26.
Systematic Coding Schemes for Low-Power Multiple-Valued Current-Mode Asynchronous Communication Links
机译:
低功率多值电流模式异步通信链路的系统编码方案
作者:
Matsumoto Atsushi
;
Onizawa Naoya
;
Hanyu Takahiro
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
27.
On the Generation of (Minimal) Clones Containing Near-Unanimity Operations
机译:
关于包含几乎一致操作的(最小)克隆的生成
作者:
Kerkhoff Sebastian
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
28.
Multiple-Valued Time-Based Architecture for Serial Communication Links
机译:
串行通信链接的多值基于时间的体系结构
作者:
Rashdan Mostafa
;
Haslett James
;
Maundy Brent
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
29.
Quantum Pseudo-Fractional Fourier Transform Using Multiple-Valued Logic
机译:
使用多值逻辑的量子伪分数阶傅立叶变换
作者:
Parasa Vamsi
;
Perkowski Marek
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
30.
A New Approach to Online Testing of TGFSOP-based Ternary Toffoli Circuits
机译:
在线测试基于TGFSOP的三元Toffoli电路的新方法
作者:
Nayeem N.M.
;
Rice J.E.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
31.
A Survey on Intersections of Maximal Partial Clones of Boolean Partial Functions
机译:
布尔局部函数的最大局部克隆的相交调查
作者:
Couceiro Miguel
;
Haddad Lucien
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
32.
Semirigid Systems of Equivalence Relations
机译:
等价关系的半刚性系统
作者:
Delhomme Christian
;
Miyakawa Masahiro
;
Pouzet Maurice
;
Rosenberg Ivo G.
;
Tatsumi Hisayuki
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
33.
The Cardinality of the Set of All Clones Containing a Given Minimal Clone
机译:
包含给定最小克隆的所有克隆集的基数
作者:
Zhuk Dmitry
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
34.
Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams
机译:
使用多值逻辑决策图对具有条件概率的医疗系统威胁建模
作者:
Manikas Theodore W.
;
Feinstein David Y.
;
Thornton Mitchell A.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
35.
Gröbner Bases over Cyclic Post Algebras
机译:
循环后代数上的Gröbner基
作者:
Martinolich Blanca Fernanda López
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
36.
Optimal Quantum Circuits of Three Qubits
机译:
三量子位的最佳量子电路
作者:
Rahman Md. Mazder
;
Dueck Gerhard W.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
37.
The Roots of the NOT Gate
机译:
非门之根
作者:
De Vos Alexis
;
De Baerdemacker Stijn
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
38.
Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams
机译:
用紧凑型决策图表示不完全指定的二进制和多值逻辑函数
作者:
Stankovic Milena
;
Stojkovic Suzana
;
Stankovic Radomir S.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
39.
Unified Current-Source Control for Low-Power Current-Mode-Logic Bit-Serial Circuits
机译:
低功耗电流模式逻辑位串行电路的统一电流源控制
作者:
Kisara Shogo
;
Kameyama Michitaka
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
40.
Complexity Study of the Continuous Valued Number System Adders
机译:
连续值系统加法器的复杂性研究
作者:
Zamanlooy Babak
;
Novak Ashley
;
Mirhassani Mitra
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
41.
Triple Representation Theorem for Homogeneous Effect Algebras
机译:
齐次效应代数的三重表示定理
作者:
Niederle Josef
;
Paseka Jan
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
42.
Current-Source-Sharing Differential-Pair Circuits for a Low-Power Fine-Grain Reconfigurable VLSI Architecture
机译:
用于低功率细粒度可重构VLSI架构的电流源共享差分对电路
作者:
Bai Xu
;
Kameyama Michitaka
会议名称:
《》
|
2012年
43.
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines
机译:
带有负控制线的Toffoli门电路的精确合成
作者:
Wille Robert
;
Soeken Mathias
;
Przigoda Nils
;
Drechsler Rolf
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
44.
Two new classification theorems on residuated monoids
机译:
关于残差半边s的两个新分类定理
作者:
Jenei Sándor
;
Montagna Franco
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
45.
Using Formal Verification and Robotic Evolution Techniques to Find Contradictions in Laws Concerning Police Rules of Engagement
机译:
使用形式验证和机器人进化技术发现与警察交战规则有关的法律中的矛盾之处
作者:
Sun Terrance
;
Sun Lawrence
;
Perkowski Marek
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
46.
Synthesis of Permutative Quantum Circuits with Toffoli and TISC Gates
机译:
具有Toffoli和TISC门的置换量子电路的合成
作者:
Tsai Edison
;
Perkowski Marek
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
47.
ESOP-Inspired Synthesis Method for Ternary Permutative Quantum Circuits
机译:
受ESOP启发的三元置换量子电路合成方法
作者:
Dhawan Sidharth
;
Perkowski Marek
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
48.
Linear Reversible Circuit Synthesis in the Linear Nearest-Neighbor Model
机译:
线性最近邻模型中的线性可逆电路综合
作者:
Schaeffer Ben
;
Perkowski Marek
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
49.
A Fault-Tolerant Area-Efficient Current-Mode ADC for Multiple-Valued Neural Networks
机译:
用于多值神经网络的容错区域高效电流模式ADC
作者:
Saffar Farinoush
;
Mirhassani Mitra
;
Ahmadi Majid
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
50.
Centralizing Monoids on a Three-Element Set
机译:
在三元素集上集中Monoid
作者:
Machida Hajime
;
Rosenberg Ivo G.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
51.
Greedy Algorithms, Ordering of Variables, and d-degenerate Instances
机译:
贪婪算法,变量排序和d退化实例
作者:
Wang Cong
;
Bulatov Andrei A.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
52.
GAP vs. PAG
机译:
GAP与PAG
作者:
Couceiro Miguel
;
Lehtonen Erkko
;
Waldhauser Tamás
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
53.
Quantum Computing, Cryptography and Compilers
机译:
量子计算,密码学和编译器
作者:
Mosca Michele
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
54.
Multi-terminal Multi-valued Decision Diagrams for Characteristic Function Representing Cluster Decomposition
机译:
表示聚类分解的特征函数的多终端多值决策图
作者:
Nakahara Hiroki
;
Sasao Tsutomu
;
Matsuura Munehiro
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
55.
Efficient Data Transmission Using Multiple-Valued Pulse-Position Modulation
机译:
使用多值脉冲位置调制进行有效的数据传输
作者:
Yuminaka Yasushi
;
Okui Masaaki
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
56.
Rosenberg-Type Completeness Criteria for Subclones of Slupecki's Clone
机译:
Slupecki克隆亚克隆的Rosenberg型完整性准则
作者:
Szendrei Agnes
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
57.
Counting Predicates, Subset Surjective Functions, and Counting CSPs
机译:
谓词计数,子集形容词函数和CSP计数
作者:
Bulatov Andrei A.
;
Hedayaty Amir
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
58.
Honouring Ivo G. Rosenberg: His Contributions to ISMVL
机译:
纪念Ivo G. Rosenberg:他对ISMVL的贡献
作者:
Machida Hajime
;
Hikita Teruo
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
59.
A Synthesis Flow for Sequential Reversible Circuits
机译:
顺序可逆电路的综合流程
作者:
Soeken Mathias
;
Wille Robert
;
Otterstedt Christian
;
Drechsler Rolf
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
60.
Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation
机译:
使用异步范例实现可逆时序电路
作者:
Feinstein David Y.
;
Thornton Mitchell A.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
61.
Probabilistic Logic Programming with Well-Founded Negation
机译:
有充分根据的否定概率逻辑程序设计
作者:
Hadjichristodoulou Spyros
;
Warren David S.
会议名称:
《Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on》
|
2012年
意见反馈
回到顶部
回到首页