第48届ISMVL 2018:奥地利林茨
第48届IEEE多值逻辑国际研讨会,ISMVL 2018,奥地利林茨,2018年5月16-18日。 IEEE计算机学会 2018 ,十亿 978-1-5386-4464-5
第1A部分: 四元逻辑
拉多米尔·斯坦科维奇 , 米莲娜·斯坦科维奇 , 雅科·阿斯托拉 , 克劳迪奥·莫拉加 :
通过二元布尔弯曲函数的置换得到的四元广义布尔弯曲函数。 1-6 Manami铃木 , Rei Ueno公司 , 瑙夫米·霍玛 , 青木Takafumi :
物理不可克隆函数的四元借方。 7-12 伊万·普罗基克 :
Vilenkin-Chrestenson基中四元阈值函数的表征。 13-18
会话1B: 多值硬件
乔泽夫·科斯托尔尼 , 埃琳娜·扎伊塞娃 , 帕特里克·鲁斯纳克 , 米罗斯拉夫·克瓦赛 :
多值逻辑在n取k多状态系统重要性分析中的应用。 19-24 高雄瓦霍 :
使用Delta-Sigma调制器网络的模数转换器。 25-30 埃琳娜·杜布罗娃 :
带有4 x 4开关块的可重新配置仲裁器PUF。 31-37
第2A部分: 多值函数
苏门塔·乔杜里 :
超越比特:使用多V t多V dd FDSOI器件的四元FPGA架构。 38-43 希马·塞迪希亚尼 , 阿尔曼·卡泽米 :
一种用于纳米电子学的高能效四元串行加法器。 44-49 佐佐佐木 :
稀疏多值函数的基于内存的实现。 50-55
第2B部分: 安全性和更多
Hiroki数独 , Masanori Natsui公司 , 高弘韩愈 :
基于时间序列特征提取的车内网络系统入侵检测技术。 56-61 伊藤 彰 , 上野理惠 , 瑙夫米·霍玛 , 青木Takafumi :
并行乘法器中硬件木马的可检测性。 62-67 扬·马尔堡 , 亨兹·里纳 , 格什温·菲 :
RTL设计的挖掘延迟保证。 68-73
第3A节: 代数与理论
达米安·恩里克·斯穆克 :
双边跟踪操作。 74-79 哈吉姆·马奇达 , 约万卡·潘托维奇 :
一类最大二进制单项式。 80-84 哈吉姆·马奇达 , 伊沃·G·罗森博格 :
有限集上小Arity函数的交换。 85-90 扬·帕塞卡 , 拉德克·斯莱辛格 :
量子值超代数的一个表示定理。 91-96
第3B部分: 可逆电路
扎伊德·阿尔瓦迪 , 罗伯特·威利 , 罗尔夫·德雷克斯勒 :
使用传统硬件描述语言的可逆电路综合。 97-102 亚历山大·阿·德·阿尔梅达 , 格哈德·杜克 , 亚历山大·C·R·达·席尔瓦 :
基于禁忌搜索的可逆电路优化。 103-108 Pawel Kerntopf公司 , 拉多米尔·斯坦科维奇 , 波德拉斯基 , 克劳迪奥·莫拉加 :
具有来自不同等价类的分量函数的三元/MV可逆函数。 109-114 阿尔文·祖勒纳 , P.仁慈内萨·拉尼 , 卡马利卡·达塔 , 因德拉尼尔·森古普塔 , 罗伯特·威利 :
推广多值逻辑可伸缩可逆电路综合的概念。 115-120
第4A部分: 新技术和应用
赛义德·希林扎德 , 卡马利卡·达塔 , 罗尔夫·德雷克斯勒 :
使用忆阻器的逻辑设计:一种新兴技术。 121-126 斋藤健太 , 直木素福吉 , Seiya Kasai公司 , 青野Masashi :
阿米巴原虫感应式电子溶液搜索系统及其在多腿机器人行走机动中的应用。 127-131 Naotake Kamiura公司 , 铃木隆行(Takayuki Yumoto) , 井川捷次郎 :
使用自组织图预测内脏脂肪不健康女性受试者的特定健康检查数据。 132-137
第4B部分: 指数函数与代数
乔恩·巴特勒 , 佐佐佐木 :
枚举索引生成函数分解图的精确方法。 138-143 Shinobu Nagayama公司 , Tsutomu Sasao , 乔恩·巴特勒 :
利用ZDDs对指标生成函数进行线性分解的精确优化方法。 144-149 吉列尔莫·巴迪亚 , 卡尔斯·诺格拉 :
数学模糊逻辑中的饱和模型。 150-155
第5A节: 多值电路设计I
Shogo Mukaida公司 , 小泽直哉 , 高弘韩愈 :
基于多电压/电流转换器的低功耗MTJ真随机数发生器的设计。 156-161 迈卡·桑顿 , 米切尔·桑顿 :
多值随机数字提取。 162-167 米洛斯·拉德马诺维奇 , 拉多米尔·斯坦科维奇 :
根据限制下的随机MDD生成合成MVL基准。 168-173
第5B部分: 神经网络
Haruyoshi Yonekawa先生 , 佐藤信培 , 中原弘一 :
一种三值权二进制输入卷积神经网络:在嵌入式处理器上的实现。 174-179 莫里斯·杨 , 马哈茂德·法拉吉 , 阿塞姆·S·侯赛因 , 文森特·高德特 :
使用核内正则修剪的卷积神经网络的有效硬件实现。 180-185 马丁·卢卡奇 , 卡米拉·阿卜迪耶娃 , Michitaka Kameyama公司 :
CNOT-测量量子神经网络。 186-191
第6A部分: 多值电路设计II
切坦·武达达 , M.B.斯里尼瓦斯 :
三值逻辑电路的设计方法。 192-197 D.迈克尔·米勒 , 马西亚斯·苏肯 :
三元函数分类的谱算法。 198-203 安莫尔·普拉卡什·苏洪内 , 德比约蒂·巴塔查吉(Debjyoti Bhattacharjee) , Anupam Chattopadhyay公司 :
使用Lukasiewicz逻辑合成多值文字。 204-209
第6B部分: 电路和信号
佐藤夏希 , Takahito Chigira公司 , 丰田章男 , 饭岛洋介 , Yasushi Yuminaka先生 :
PAM-4串行链路测试的多值信号产生和测量。 210-214 穆罕默德·马哈茂德·A·塔哈 , 马雷克·佩考斯基(Marek A.Perkowski) :
基于随机数频率信号表示的算术算子的实现。 215-220 马西耶·鲁德齐茨基(Maciej Rudziecki) :
Postan信号瞬态代数。 221-228
第7A课时: Reed-Muller和Spectral
塔马斯·沃尔德豪斯 :
关于Reed-Muller-Fourier变换的不动点数目。 229-234 米莲娜·斯坦科维奇 , 克劳迪奥·莫拉加 , 拉多米尔·斯坦科维奇 :
广义Reed-Muller域中谱不变量运算生成三元弯曲函数。 235-240 克劳迪奥·莫拉加 , 拉多米尔·斯坦科维奇 , 雅科·阿斯托拉 :
关于多值旋转对称函数的Reed-Muller-Fourier谱。 241-246
第7B部分: 量子
米罗斯拉夫·萨拉瓦诺夫 , 马雷克·佩考斯基(Marek A.Perkowski) :
用群分解实现多值量子级联。 247-253 沃特·卡斯特里克 , 杰伦·德梅耶 , 亚历克西斯·德·沃斯 , 奥利弗·凯什策 , 马西亚斯·苏肯 :
在量子计算机中身份的根源之间进行转换。 254-259 凯特琳·N·史密斯 , 蒂姆·拉法夫 , 邓肯·L·麦克法兰 , 米切尔·桑顿 :
一种用于光量子计算的基-4克里斯滕森门。 260-265
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)