UNCERTAINTY, ENERGY, AND MULTIPLE-VALUED LOGICS

被引:0
|
作者
HAYES, JP
机构
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:107 / 114
页数:8
相关论文
共 50 条
  • [41] MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics
    Stephan Eggersglüß
    Görschwin Fey
    Andreas Glowatz
    Friedrich Hapke
    Juergen Schloeffel
    Rolf Drechsler
    [J]. Journal of Electronic Testing, 2010, 26 : 307 - 322
  • [42] RECTIFIABILITY OF THE SINGULAR SET OF MULTIPLE-VALUED ENERGY MINIMIZING HARMONIC MAPS
    Hirsch, Jonas
    Stuvard, Salvatore
    Valtorta, Daniele
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2019, 371 (06) : 4303 - 4352
  • [43] THE ASSESSMENT OF SINGLE-VALUED AND MULTIPLE-VALUED INDEXES
    BARBER, DC
    TINDALE, WB
    [J]. BRITISH JOURNAL OF RADIOLOGY, 1988, 61 (729): : 869 - 869
  • [44] Synthesis of quantum multiple-valued circuits
    Miller, D. Michael
    Maslov, Dmitri
    Dueck, Gerhard W.
    [J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2006, 12 (5-6) : 431 - 450
  • [45] A Boolean pruning method for improving tableau reasoning efficiency in first-order multiple-valued logics
    Liu, Quan
    Cui, Zhi-Ming
    Sun, Ji-Gui
    Yu, Wan-Jun
    [J]. PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2006, : 2548 - +
  • [46] On the size of multiple-valued decision diagrams
    Miller, DM
    Dueck, GW
    [J]. 33RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2003, : 235 - 240
  • [47] DESIGN OF A MULTIPLE-VALUED CELLULAR ARRAY
    KAMIURA, N
    HATA, Y
    YAMATO, K
    [J]. IEICE TRANSACTIONS ON ELECTRONICS, 1993, E76C (03) : 412 - 418
  • [48] Multiple-valued structures of intellectual systems
    Chetverikov, Grygoryy
    Puzik, Oleksiy
    Vechirska, Iryna
    [J]. 2016 XITH INTERNATIONAL SCIENTIFIC AND TECHNICAL CONFERENCE COMPUTER SCIENCES AND INFORMATION TECHNOLOGIES (CSIT), 2016, : 204 - 207
  • [49] Regular selections for multiple-valued functions
    Camillo De Lellis
    Carlo Romano Grisanti
    Paolo Tilli
    [J]. Annali di Matematica Pura ed Applicata, 2004, 183 : 79 - 95
  • [50] Computational Neuroscience and Multiple-Valued Logic
    Kawato, Mitsuo
    [J]. ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, : 157 - 160