Search dblp for Publications

export results for "toc:db/conf/ismvl/ismvl2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ismvl/AsanoNH23,
  author       = {Ken Asano and
                  Masanori Natsui and
                  Takahiro Hanyu},
  title        = {Write-Energy Relaxation of MTJ-Based Quantized Neural-Network Hardware},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {7--11},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00013},
  doi          = {10.1109/ISMVL57333.2023.00013},
  timestamp    = {Wed, 28 Jun 2023 15:42:21 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/AsanoNH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Behrisch23,
  author       = {Mike Behrisch},
  title        = {Weak bases for maximal clones},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {128--133},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00034},
  doi          = {10.1109/ISMVL57333.2023.00034},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Behrisch23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ClarinoKY23,
  author       = {David Clarino and
                  Shohei Kuroda and
                  Shigeru Yamashita},
  title        = {Using {S} Gates and Relative Phase Toffoli Gates to Improve T-Count
                  in Quantum Boolean Circuits},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {147--152},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00037},
  doi          = {10.1109/ISMVL57333.2023.00037},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/ClarinoKY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/EmirP23,
  author       = {Kadir Emir and
                  Jan Paseka},
  title        = {Kalmbach implication in orthomodular posets},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {18--23},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00015},
  doi          = {10.1109/ISMVL57333.2023.00015},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/EmirP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Fermuller23,
  author       = {Christian G. Ferm{\"{u}}ller},
  title        = {Some Consistency Criteria for Many-Valued Judgment Aggregation},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {215--220},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00048},
  doi          = {10.1109/ISMVL57333.2023.00048},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Fermuller23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/GrurlFW23,
  author       = {Thomas Grurl and
                  J{\"{u}}rgen Fu{\ss} and
                  Robert Wille},
  title        = {Optimized Density Matrix Representations : Improving the Basis for
                  Noise-Aware Quantum Circuit Design Tools},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {141--146},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00036},
  doi          = {10.1109/ISMVL57333.2023.00036},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/GrurlFW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/HirayamaSYN23,
  author       = {Takashi Hirayama and
                  Rin Suzuki and
                  Katsuhisa Yamanaka and
                  Yasuaki Nishitani},
  title        = {Quick Computation of the Lower Bound on the Gate Count of Toffoli-Based
                  Reversible Logic Circuits},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {153--157},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00038},
  doi          = {10.1109/ISMVL57333.2023.00038},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/HirayamaSYN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/IijimaNY23,
  author       = {Yosuke Iijima and
                  Kazuharu Nakajima and
                  Yasushi Yuminaka},
  title        = {Evaluation and Symbol Classification of Multi-Valued Signaling Using
                  Two-Dimensional Symbol Mapping with Linear Mixture Model},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {99--104},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00029},
  doi          = {10.1109/ISMVL57333.2023.00029},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/IijimaNY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide23,
  author       = {Norihiro Kamide},
  title        = {Natural Deduction with Explosion and Excluded Middle},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {24--29},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00016},
  doi          = {10.1109/ISMVL57333.2023.00016},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Kamide23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide23a,
  author       = {Norihiro Kamide},
  title        = {Self-extensional Paradefinite Four-valued Modal Logic Compatible with
                  Standard Modal Logic},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {30--35},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00017},
  doi          = {10.1109/ISMVL57333.2023.00017},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Kamide23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/KawaguchiK23,
  author       = {Mayuka F. Kawaguchi and
                  Michiro Kondo},
  title        = {On quotient algebras of normal eo-algebras by congruences},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {117--121},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00032},
  doi          = {10.1109/ISMVL57333.2023.00032},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/KawaguchiK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/LiCHLM23,
  author       = {Shuolin Li and
                  Jordi Coll and
                  Djamal Habet and
                  Chu Min Li and
                  Felip Many{\`{a}}},
  title        = {A Tableau Calculus for Signed Maximum Satisfiability},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {170--175},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00041},
  doi          = {10.1109/ISMVL57333.2023.00041},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/LiCHLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/LinL23,
  author       = {Chun{-}Yu Lin and
                  Churn{-}Jung Liau},
  title        = {An Inductive Construction for Many-Valued Coalgebraic Modal Logic},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {36--41},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00018},
  doi          = {10.1109/ISMVL57333.2023.00018},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/LinL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/MacFarlaneSASOT23,
  author       = {Duncan L. MacFarlane and
                  Hiva Shahoei and
                  Ifeanyi G. Achu and
                  Evan Stewart and
                  William V. Oxford and
                  Mitchell A. Thornton},
  title        = {Multiple-Valued Logic Physically Unclonable Function in Photonic Integrated
                  Circuits},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {184--189},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00043},
  doi          = {10.1109/ISMVL57333.2023.00043},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/MacFarlaneSASOT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Machida23,
  author       = {Hajime Machida},
  title        = {Search for Some Majority Operation and Studies of its Centralizing
                  Monoid},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {122--127},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00033},
  doi          = {10.1109/ISMVL57333.2023.00033},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Machida23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/MaedaFTOHMNK23,
  author       = {Ryunosuke Maeda and
                  Daisuke Fujita and
                  Kosuke Tanaka and
                  Jyunichi Ozawa and
                  Mitsuhiro Haga and
                  Naoyuki Miyahara and
                  Fumihiko Nanba and
                  Syoji Kobashi},
  title        = {Predicting the Development of Chronic Lung Disease in Neonataes from
                  Chest X-ray Images Using Deep Learning},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {48--53},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00020},
  doi          = {10.1109/ISMVL57333.2023.00020},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/MaedaFTOHMNK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/MoragaSS23,
  author       = {Claudio Moraga and
                  Radomir S. Stankovic and
                  Milena Stankovic},
  title        = {Properties of the Reed-Muller-Fourier Spectra of Maiorana-McFarland
                  Bent Functions},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {64--69},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00023},
  doi          = {10.1109/ISMVL57333.2023.00023},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/MoragaSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB23,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Decomposition-Based Representation of Symmetric Multiple-Valued Functions},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {76--81},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00025},
  doi          = {10.1109/ISMVL57333.2023.00025},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NakamuraN23,
  author       = {Kennichi Nakamura and
                  Hiroki Nakahara},
  title        = {A Consideration on Ternary Adversarial Generative Networks},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00012},
  doi          = {10.1109/ISMVL57333.2023.00012},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/NakamuraN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NgoWDP23,
  author       = {Kalle Ngo and
                  Ruize Wang and
                  Elena Dubrova and
                  Nils Paulsrud},
  title        = {Higher-Order Boolean Masking Does Not Prevent Side-Channel Attacks
                  on LWE/LWR-based PKE/KEMs},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {190--195},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00044},
  doi          = {10.1109/ISMVL57333.2023.00044},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/NgoWDP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/OpsahlP23,
  author       = {George Opsahl and
                  Marek A. Perkowski},
  title        = {From Ramon Llull To Lov Grover: Towards {A} Universal Logic Machine},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {176--183},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00042},
  doi          = {10.1109/ISMVL57333.2023.00042},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/OpsahlP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/PretoMF23,
  author       = {Sandro Preto and
                  Felip Many{\`{a}} and
                  Marcelo Finger},
  title        = {Benchmarking {\L}ukasiewicz Logic Solvers with Properties of Neural
                  Networks},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {158--163},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00039},
  doi          = {10.1109/ISMVL57333.2023.00039},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/PretoMF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/PretoMF23a,
  author       = {Sandro Preto and
                  Felip Many{\`{a}} and
                  Marcelo Finger},
  title        = {Linking {\L}ukasiewicz Logic and Boolean Maximum Satisfiability},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {164--169},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00040},
  doi          = {10.1109/ISMVL57333.2023.00040},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/PretoMF23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/QuetschlichBW23,
  author       = {Nils Quetschlich and
                  Lukas Burgholzer and
                  Robert Wille},
  title        = {Towards an Automated Framework for Realizing Quantum Computing Solutions},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {134--140},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00035},
  doi          = {10.1109/ISMVL57333.2023.00035},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/QuetschlichBW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SampathkumarMDKE23,
  author       = {Bhavani Sampathkumar and
                  Bailey Martin and
                  Ritaja Das and
                  Priyank Kalla and
                  Florian Enescu},
  title        = {Logic Synthesis from Polynomials with Coefficients in the Field of
                  Rationals},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {82--87},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00026},
  doi          = {10.1109/ISMVL57333.2023.00026},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/SampathkumarMDKE23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SasakiFTKSMKKTK23,
  author       = {Kenta Sasaki and
                  Daisuke Fujita and
                  Kenta Takatsuji and
                  Yoshihiro Kotoura and
                  Tsuyoshi Sukenari and
                  Masataka Minami and
                  Yusuke Kobayashi and
                  Yoshikazu Kida and
                  Kenji Takahashi and
                  Syoji Kobashi},
  title        = {Detection of osteochondritis dissecans using convolutional neural
                  networks for computer-aided diagnosis of baseball elbow},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {59--63},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00022},
  doi          = {10.1109/ISMVL57333.2023.00022},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/SasakiFTKSMKKTK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Sasao23,
  author       = {Tsutomu Sasao},
  title        = {Easily Reconstructable Logic Functions},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {12--17},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00014},
  doi          = {10.1109/ISMVL57333.2023.00014},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Sasao23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Sasao23a,
  author       = {Tsutomu Sasao},
  title        = {Data Mining Using Multi-Valued Logic Minimization},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {105--110},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00030},
  doi          = {10.1109/ISMVL57333.2023.00030},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Sasao23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SasaoHE23,
  author       = {Tsutomu Sasao and
                  Anders Holmgren and
                  Patrik Eklund},
  title        = {A Logical Method to Predict Outcomes After Coronary Artery Bypass
                  Grafting},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {202--208},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00046},
  doi          = {10.1109/ISMVL57333.2023.00046},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/SasaoHE23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Sedlar23,
  author       = {Igor Sedl{\'{a}}r},
  title        = {Kleene Algebra With Tests for Weighted Programs},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {111--116},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00031},
  doi          = {10.1109/ISMVL57333.2023.00031},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/Sedlar23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ShmerkoYPIS23,
  author       = {Peter Shmerko and
                  Svetlana N. Yanushkevich and
                  Marek A. Perkowski and
                  Yumi Iwashita and
                  Adrian Stoica},
  title        = {Discovering Emerging Applications of Multi-Valued Logic: Protocols
                  for Human-Autonomy Teaming},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {209--214},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00047},
  doi          = {10.1109/ISMVL57333.2023.00047},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/ShmerkoYPIS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SonetsujiIKT23,
  author       = {Yuki Sonetsuji and
                  Teijiro Isokawa and
                  Naotake Kamiura and
                  Hitoshi Tabuchi},
  title        = {On Neural-Network-Based Detection for Hypertensive Subjects Using
                  Classification of Retinal Fundus Photographs},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {42--47},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00019},
  doi          = {10.1109/ISMVL57333.2023.00019},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/SonetsujiIKT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/StankovicSMA23,
  author       = {Radomir S. Stankovic and
                  Milena Stankovic and
                  Claudio Moraga and
                  Jaakko T. Astola},
  title        = {Remarks on Gibbs Permutation Matrices for Ternary Bent Functions},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {70--75},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00024},
  doi          = {10.1109/ISMVL57333.2023.00024},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/StankovicSMA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/UenoYH23,
  author       = {Rei Ueno and
                  Yusuke Yagyu and
                  Naofumi Homma},
  title        = {Efficient DFA-Resistant {AES} Hardware Based on Concurrent Fault Detection
                  Scheme},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {196--201},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00045},
  doi          = {10.1109/ISMVL57333.2023.00045},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/UenoYH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/WahoKH23,
  author       = {Takao Waho and
                  Akihisa Koyama and
                  Hitoshi Hayashi},
  title        = {Delta-Sigma Domain Signal Processing: {A} Review with Relevant Topics
                  in Stochastic Computing},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {88--93},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00027},
  doi          = {10.1109/ISMVL57333.2023.00027},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/WahoKH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/WasiARAK23,
  author       = {Sefatul Wasi and
                  Saadia Binte Alam and
                  Rashedur Rahman and
                  M. Ashraful Amin and
                  Syoji Kobashi},
  title        = {Kidney Tumor Recognition from Abdominal {CT} Images using Transfer
                  Learning},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {54--58},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00021},
  doi          = {10.1109/ISMVL57333.2023.00021},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/WasiARAK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/YuminakaNI23,
  author       = {Yasushi Yuminaka and
                  Kazuharu Nakajima and
                  Yosuke Iijima},
  title        = {{PAM-4} Data Transmission Quality Evaluation Using Two- and Three-Dimensional
                  Mapping of Received Symbols},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {94--98},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00028},
  doi          = {10.1109/ISMVL57333.2023.00028},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/YuminakaNI23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ismvl/2023,
  title        = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023},
  doi          = {10.1109/ISMVL57333.2023},
  isbn         = {978-1-6654-6416-1},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics