第43届ISMVL 2013:日本富山
-
第43届IEEE多值逻辑国际研讨会,2013年ISMVL,日本富山,2013年5月22日至24日。 IEEE计算机学会 2013 ,国际标准图书编号 978-1-4673-6067-8 Yutaka Hata公司 , 中岛宏 :
计算医疗保健技术。 1-5 中岛宏 , 志贺东川 , Yutaka Hata公司 :
系统健康护理:健康管理技术。 6-11 藤本达弘 , 中岛宏 , Naoki Tsuchiya先生 , Hideya Marukawa先生 , Kei Kuramoto(基·库拉莫托) , Syoji Kobashi公司 , Yutaka Hata公司 :
通过心电图仪和加速计进行穿戴式人体活动识别。 12-17 严明敏 , 田村弘子 , Koichi Tanno先生 :
利用眼电图信号进行凝视估计及其数学建模。 18-22 Koki筑田 , Tadahito Egawa公司 , 谷口和彦 , Kei Kuramoto(基·库拉莫托) , Syoji Kobashi公司 , Yutaka Hata公司 :
超声无损检测图像的模糊损伤提取方法。 23-28 罗伯特·威利 , 张红艳 , 罗尔夫·德雷克斯勒 :
可逆电路测试模式自动生成中的故障排序。 29-34 本·谢弗 , Linh Tran公司 , 艾迪森·格伦奎斯特 , 马雷克·佩考斯基(Marek A.Perkowski) , Pawel Kerntopf公司 :
基于异或和乘积的可逆电路合成。 35-40 马赫尔·哈瓦什 , 马丁·卢卡奇 , 神山美智中 , 马雷克·佩考斯基(Marek A.Perkowski) :
多值可逆基准和可扩展量子规范(XQS)格式。 41-46 钱德·钱达克 , Anupam Chattopadhyay公司 , Soumajit Majumder公司 , Subhamoy Maitra公司 :
基于变换的可逆逻辑综合的分析与改进。 47-52 武田高弘 , Kei Kuramoto(基·库拉莫托) , Syoji Kobashi公司 , Yutaka Hata公司 :
基于红外激光相机的安全系统模糊人体检测。 53-58 Masato Kuki公司 , 中岛宏 , Naoki Tsuchiya先生 , Kei Kuramoto先生 , Syoji Kobashi公司 , Yutaka Hata公司 :
使用热电堆阵列传感器挖掘多人位置。 59-64 Naotake Kamiura公司 , 福田富也 , Ayumu Saitoh公司 , 井川捷次郎 , 松井信义 , 田部仁 :
基于支持向量机和遗传算法的眼内功率公式选择。 65-70 Noboru Takagi公司 , 陈建军 :
用于自动转换为可缩放矢量图形的数学图形的折线分类方法。 71-76 马雷克·佩考斯基(Marek A.Perkowski) , 阿迪蒂亚·布塔达 , 马丁·卢卡奇 , 马蒂亚斯·苏纳尔迪 :
机器人剧场应用中事件图的综合与验证。 77-83 斯坦尼斯拉夫·斯坦科维奇 , 拉多米尔·斯坦科维奇 , 雅科·阿斯托拉 :
决策图形状在多值逻辑函数分类中的应用。 84-89 中原博树 , Tsutomu Sasao , 松浦敏弘 :
用于评估分解的多端多值决策图的特征函数的机器。 90-95 佐佐佐木 :
应用自相关函数寻找不完全指定索引生成函数的线性分解。 96-102 米切尔·桑顿 :
三值开关逻辑电路的传递函数模型。 103-108 米切尔·桑顿 , 西奥多·马尼卡斯 :
三值逻辑网表的谱响应。 109-116 哈吉姆·马奇达 , 伊沃·G·罗森博格 :
本质极小克隆的研究。 117-122 米格尔·库塞罗 , 吕西恩·哈达德 , 卡斯滕·舍尔泽尔(Karsten Schölzel) , 塔马斯·沃尔德豪斯 :
D.Lau问题的一个解决方案:部分布尔克隆格中区间的完全分类。 123-128 德米特里·朱克 , 斯坦尼斯拉夫·莫伊塞耶夫 :
关于包含近一致函数的克隆。 129-134 吕西恩·哈达德 , 卡斯滕·舍尔泽尔(Karsten Schölzel) :
有限集上与Slupecki部分克隆的交集。 135-140 鲍里斯·罗莫夫 :
有限集上的非有限定义部分克隆。 141-145 三井正理 , Kashiuchi清弘 , 高弘韩愈 :
低压差分开关门的设计和评估。 146-151 尤基·库里苏 , 佐佐木达也 , 高雄瓦霍 :
使用广义非二进制算法的逐次逼近A/D转换器。 152-157 冈本幸太郎 , 瑙夫米·霍玛 , 青木Takafumi :
基于正规基表示的Galois域上并行乘法器的基于图的设计方法。 158-163 徐白 , 神山美智中 :
使用可重构VLSI双电源电压的低功耗多值源耦逻辑电路。 164-169 雷扎·法吉·米尔扎伊 , 穆罕默德·侯赛因·莫艾耶里 , 莫伊塔巴·马列克内贾德 , 凯文·纳维 , Omid Hashemipour公司 :
极低晶体管计数的高速三值加法器。 170-175 马丁·戈德斯坦 :
卢卡西维茨逻辑的复杂性。 176-181 Jelena绞痛 , 哈吉姆·马奇达 , 约万卡·潘托维奇 :
关于超Co-Clones。 182-185 塞巴斯蒂安·克霍夫 , 弗里德里希·马丁·施奈德 :
部分余函数的克隆。 186-191 安德烈·布拉托夫 :
布尔Max-Co-Clones。 192-197 佐佐佐木 :
四十年多值逻辑:被高度引用的论文列表。 198-202 陈正宏 , 容祖昌 , 廖延云 :
基于聚类部落优化算法的神经模糊系统混沌时间序列预测。 203-208 Mayuka F.川口 , 库塔·米纳米 , 近藤敏郎 :
带条件(S)的交换BCK-代数上的联接运算。 209-211 木村裕光 , 钟志勇 , 水井裕田 , 北海基努奇 , 一田吉野 , 藤森吉贺 :
高可靠性非易失性逻辑电路技术及其应用。 212-218 伊万·查伊达 , 扬·帕塞卡 :
时态算子与动态De Morgan代数。 219-224 丹·西莫维奇 :
关于公差关系的组合数学。 225-230 Kamide正弘 :
论自然八值推理。 231-236 Norihiro Kamide公司 :
基于嵌入的三格逻辑方法。 237-242 豪尔赫·阿尔梅达 , 米盖尔·库塞罗 , 塔马斯·沃尔德豪斯 :
关于有限函数方程类的半群。 243-247 穆斯塔法·拉什丹 , 詹姆斯·哈斯利特 :
比较多值基于时间的串行数据链路与其他串行链路的性能。 248-253 小泽直哉 , 沃伦·格罗斯 , 高弘韩愈 , 文森特·高德特 :
基于线延迟相关异步更新的LDPC码随机译码中降低误码层。 254-259 阿里夫·阿卜杜勒·曼南 , Koichi Tanno先生 , 田村弘子 , 富山Takako Toyama , 阿贡·达尔马万西亚 :
兼容标准CMOS工艺的可扩展MVL逆变器及其在MVL磁滞比较器中的应用。 260-265 高弘韩愈 , 渡边裕马 , 松本厚司 :
使用物理有线传输信息的精确高速异步片上网络仿真。 266-271 徐白 , Michitaka Kameyama公司 :
一种使用X-Net的面积有效多值可重构超大规模集成电路结构。 272-277 戈兰坦基姆 , 斯维特拉娜·亚努什凯维奇 , Seiya Kasai公司 , 弗拉德·P·什默科 :
基于马尔可夫随机场的三值逆变器的噪声容限模型。 278-283 长山信步 , Tsutomu Sasao , 乔恩·巴特勒 :
通过变量分组最小化EVMDD中的边数,用于多状态系统的快速分析。 284-289 南丽 , 肖赫·谢里夫·曼苏里 , 埃琳娜·杜布罗娃 :
使用状态机保护密钥存储。 290-295 杜珊·加季奇(Dusan B.Gajic) , 拉多米尔·斯坦科维奇 :
地址算法对GPU实现Vilenkin-Chrestenson变换快速算法的影响。 296-301 伯恩德·斯坦巴赫 , 克里斯蒂安·波斯托夫 :
最后一个开放的四色无矩形网格的求解:一个极其复杂的多值问题。 302-309 米切尔·桑顿 , 詹妮弗·德沃拉克 :
使用传输矩阵的三值逻辑网络合理性。 310-315 劳拉·塔格 , 马西亚斯·苏肯 , Shin-ichi Minato公司 , 罗尔夫·德雷克斯勒 :
使用pDD调试可逆电路。 316-321 马丁·卢卡奇 , Michitaka Kameyama公司 , 马雷克·佩考斯基(Marek A.Perkowski) , Pawel Kerntopf公司 :
使用归位、同步和区分输入序列分析可逆和量子有限状态机。 322-327 纳比拉·阿卜杜塞德 , 马西亚斯·苏肯 , 罗伯特·威利 , 罗尔夫·德雷克斯勒 :
使用布尔可满足性的精确模板匹配。 328-333 蒙达尔岛Bikromadittya Mondal , Pradyut Sarkar公司 , 普拉内·库马尔·萨哈 , 苏珊塔·查克拉波蒂 :
平衡三元可逆逻辑电路的综合。 334-339 克劳迪奥·莫拉加 , 米莲娜·斯坦科维奇 , 拉多米尔·斯坦科维奇 , 苏珊娜·斯托伊科维奇 :
对多值Bent函数研究的贡献。 340-345 米兰·彼得里克 , 米尔科·纳瓦拉 , 彼得·萨科奇 :
Mulholland定理的另类证明和Mulholand不等式的新解。 346-351