2011年第41届ISMVL:芬兰图苏拉
雅科·阿斯托拉 , 拉多米尔·斯坦科维奇 :
2011年5月23日至25日,芬兰图苏拉,第41届IEEE多值逻辑国际研讨会,ISMVL 2011。 IEEE计算机学会 2011 ,十亿 978-0-7695-4405-2
受邀演讲1
佐佐佐木 :
索引生成函数:最新发展。 1-9
逻辑设计与开关理论
安娜·贝纳斯科尼 , 瓦伦蒂娜·西里亚尼 :
自对称多值函数:理论和谱表征。 10-15 Shinobu Nagayama公司 , 佐佐佐木 , 乔恩·巴特勒 :
使用分段算术表达式的数字函数生成器。 16-21
计算机算术
K.S.Vasundara Patel公司 , K.S.Gurumurthy公司 :
高性能四元加法器的设计。 22-26 斋藤一弥(Kazuya Saito) , 瑙夫米·霍玛 , 青木Takafumi :
基于图的多值算法设计方法。 27-32
逻辑设计与开关理论
塔科·索玛 , Takashi Soma公司 :
三元逻辑函数的自对偶等价类分类。 33-37 海伦娜·阿斯托拉 , 斯坦尼斯拉夫·斯坦科维奇 , 雅科·阿斯托拉 :
多值函数的纠错决策图。 38-43
计算机算术
Seiki Akama公司 , Yasunori Nagata :
主论证的三值方法。 44-49 近藤敏郎 :
环形过滤器的一些类型。 50-53
光谱变换
拉多米尔·斯坦科维奇 , 雅科·阿斯托拉 , 克劳迪奥·莫拉加 :
从有限群上的快速傅里叶变换获得的具有规则结构的多值逻辑网络。 54-61 斯坦尼斯拉夫·斯坦科维奇 , 米莲娜·斯坦科维奇 , 雅科·阿斯托拉 :
用Vilenkin-Chrestenson决策图表示多值Bent函数。 62-68
哲学方面/数学模糊逻辑
近藤敏郎 , Mayuka F.川口 , 宫崎骏 , 乌萨穆·瓦塔里 :
弱非范数逻辑及其滤波理论。 69-72 伊齐亚尔·加西亚·洪拉多 , 恩里克·特里拉斯 :
关于排除析取的注释。 73-77
教程讲座1
逻辑设计与开关理论
Mazder Rahman马里兰州 , 安妮迪塔·班纳吉 , 格哈德·杜克 , 阿尼尔班·帕塔克 :
两个Qubit量子门降低可逆电路的量子成本。 86-92 A.H.Tran公司 , 斯维特拉娜·亚努什凯维奇 , 谢尔盖·爱德华·利舍夫斯基 , 弗拉德·P·什默科 :
随机分子现象的容错计算范式:霍普菲尔德门和逻辑网络。 93-98
电路/设备实现
Shoun Matsunaga公司 , 胜本明 , Masanori Natsui公司 , 高弘韩愈 :
使用两级分段匹配线方案设计低能非易失性全并行三值CAM。 99-104 克里斯·温斯特德 , 伊洛 , 爱德华多·蒙森 , 阿比埃泽·特杰达 :
二进制和多值逻辑的一种纠错方法。 105-110
逻辑设计与开关理论
米莲娜·斯坦科维奇 , 苏珊娜·斯托伊科维奇 , 克劳迪奥·莫拉加 :
将多值逻辑函数的决策图映射到阈值逻辑网络。 111-116 拉多米尔·斯坦科维奇 , 海伦娜·阿斯托拉 , 雅科·阿斯托拉 :
确定三元函数的最小伽罗瓦字段表达式。 117-124
电路/设备实现
中原弘一 , 佐佐佐木 , 松浦敏弘 :
多输出逻辑函数的异构多值决策图机的比较。 125-130 马丁·卢卡奇 , 本帅 , Michitaka Kameyama公司 , D.迈克尔·米勒 :
基于逻辑可逆性的信息保留逻辑,以减少内存数据传输瓶颈和散热。 131-138
受邀演讲2
伊尔卡·尼梅尔 :
答案集编程:解决具有挑战性的搜索问题的声明性方法。 139-141
量子电路
阿扬·库马尔·比斯瓦斯 , 舒夫罗·乔杜里 , Mahmud Muntakim Khan先生 , 马苏德·哈桑 , 阿西夫·伊斯兰·汗 :
使用Toffoli Gates的一些基本三值操作以及实施成本。 142-146 萨耶达·苏尔塔纳 , 卡塔兹纳·拉德卡 :
Rev-Map:从经典不可逆网络到可逆网络的直接网关。 147-152
代数和形式方面
量子电路
大卫·Y·范斯坦 , 米切尔·桑顿 :
关于量子多值决策图的跳过变量。 164-169 罗伯特·威利 , 马西亚斯·苏肯 , 丹尼尔·格罗 , Eleonora Schönborn公司 , 罗尔夫·德雷克斯勒 :
在可逆逻辑中设计RISC CPU。 170-175 Sidharth Dhawan公司 , 马雷克·佩考斯基(Marek A.Perkowski) :
Grover算法的两种数据编码方法对量子成本的影响比较。 176-181
代数和形式方面
米盖尔·库塞罗 , 埃尔科·莱顿 , 塔马斯·沃尔德豪斯 :
关于函数类的等式可定义性。 182-186 卡斯滕·舍尔泽尔(Karsten Schölzel) :
部分克隆和一些关系克隆的伽罗瓦理论。 187-192 德米特里·朱克 :
三值逻辑中自对偶函数克隆的格。 193-197
复习讲座
拉多米尔·斯坦科维奇 , 雅科·阿斯托拉 :
阿尔托·萨洛马对多值逻辑的贡献。 198-204
教程对话2
受邀演讲3
恩里克·特里拉斯 :
注:走向猜测的形式化。 213-217
量子电路
Sudhindu Bikash Mandal公司 , 阿姆兰·查克拉巴蒂 , 苏西米塔·苏尔·科莱 :
三值量子逻辑的合成技术。 218-223 瓦姆西·帕拉萨 , 马雷克·佩考斯基(Marek A.Perkowski) :
使用多值逻辑的量子相位估计。 224-229
通信系统
卡洛斯·安索特吉 , 米克尔·博菲尔 , Felip Manyá , 马图·维拉雷特 :
用线性整数算法扩展多值子句形式。 230-235 松本厚司 , 小泽直哉 , 高弘韩愈 :
互连故障恢复双向异步链路的互补多值编码方案。 236-241
逻辑设计与开关理论
莫扎梅尔·汗 , 马雷克·佩考斯基(Marek A.Perkowski) :
可逆同步计数器的合成。 242-247 平山隆 , 西谷康树 , 北村诚司 :
十进制乘数的可测试实现。 248-253
电路/设备实现
川崎千里 , 卡祖亚·马奇达 , 富山裕治 , 高雄瓦霍 :
时域多比特DeltaSigma模数转换器。 254-258 Yngvar Berg公司 :
使用浮栅和多值逻辑的超低压高速CMOS全加器。 259-262
逻辑设计与开关理论
西奥多·马尼卡斯 , 米切尔·桑顿 , 大卫·Y·范斯坦 :
使用多值逻辑决策图对系统威胁概率建模。 263-267 白川浩 , 上村隆志(Takashi Uemura) , 井口有彦 :
一种从多精度二进制数到任意可变模剩余数的前向变换器的实现方法。 268-273
代数和形式方面
Ioana Leustean公司 :
MV-代数的张量PMV-代数。 274-276 米盖尔·库塞罗 , 埃尔科·莱顿 , 塔马斯·沃尔德豪斯 :
关于贫富差距的调查。 277-281
教程对话3
量子电路
D.迈克尔·米勒 , 罗伯特·威利 , 扎赫拉·萨萨尼亚语 :
多控制Toffoli门的基本量子门实现。 288-293 王玉石 , 马雷克·佩考斯基(Marek A.Perkowski) :
用于图着色的三值Grover算法的量子预言复杂性的改进。 294-301 Mitsunaga Kinjo公司 , 岛本胜彦 :
通过局部绝热演化加速神经形态绝热量子计算。 302-306
代数和形式方面
丹·西莫维奇 :
有界格上的熵。 307-312 塔马斯·沃尔德豪斯 :
关于布尔函数的合成闭类。 313-317 帕特里克·伊库伦德 , 罗伯特·赫尔格森 , 玛丽亚·安吉莱斯·加兰·加西亚 , 贾里·科特莱宁 :
多种非经典替代的范式。 318-321
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)