ISMVL - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1759

2023

53rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2023, Matsue, Japan, May 22-24, 2023IEEE, 2023. [doi]

Write-Energy Relaxation of MTJ-Based Quantized Neural-Network HardwareKen Asano, Masanori Natsui, Takahiro Hanyu. ismvl 2023: 7-11 [doi]

Weak bases for maximal clonesMike Behrisch. ismvl 2023: 128-133 [doi]

Using S Gates and Relative Phase Toffoli Gates to Improve T-Count in Quantum Boolean CircuitsDavid Clarino, Shohei Kuroda, Shigeru Yamashita. ismvl 2023: 147-152 [doi]

Kalmbach implication in orthomodular posetsKadir Emir, Jan Paseka. ismvl 2023: 18-23 [doi]

Some Consistency Criteria for Many-Valued Judgment AggregationChristian G. Fermüller. ismvl 2023: 215-220 [doi]

Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design ToolsThomas Grurl, Jürgen Fuß, Robert Wille. ismvl 2023: 141-146 [doi]

Quick Computation of the Lower Bound on the Gate Count of Toffoli-Based Reversible Logic CircuitsTakashi Hirayama, Rin Suzuki, Katsuhisa Yamanaka, Yasuaki Nishitani. ismvl 2023: 153-157 [doi]

Evaluation and Symbol Classification of Multi-Valued Signaling Using Two-Dimensional Symbol Mapping with Linear Mixture ModelYosuke Iijima, Kazuharu Nakajima, Yasushi Yuminaka. ismvl 2023: 99-104 [doi]

Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal LogicNorihiro Kamide. ismvl 2023: 30-35 [doi]

Natural Deduction with Explosion and Excluded MiddleNorihiro Kamide. ismvl 2023: 24-29 [doi]

On quotient algebras of normal eo-algebras by congruencesMayuka F. Kawaguchi, Michiro Kondo. ismvl 2023: 117-121 [doi]

A Tableau Calculus for Signed Maximum SatisfiabilityShuolin Li, Jordi Coll, Djamal Habet, Chu Min Li, Felip Manyà. ismvl 2023: 170-175 [doi]

An Inductive Construction for Many-Valued Coalgebraic Modal LogicChun-Yu Lin, Churn-Jung Liau. ismvl 2023: 36-41 [doi]

Multiple-Valued Logic Physically Unclonable Function in Photonic Integrated CircuitsDuncan L. MacFarlane, Hiva Shahoei, Ifeanyi G. Achu, Evan Stewart, William V. Oxford, Mitchell A. Thornton. ismvl 2023: 184-189 [doi]

Search for Some Majority Operation and Studies of its Centralizing MonoidHajime Machida. ismvl 2023: 122-127 [doi]

Predicting the Development of Chronic Lung Disease in Neonataes from Chest X-ray Images Using Deep LearningRyunosuke Maeda, Daisuke Fujita, Kosuke Tanaka, Jyunichi Ozawa, Mitsuhiro Haga, Naoyuki Miyahara, Fumihiko Nanba, Syoji Kobashi. ismvl 2023: 48-53 [doi]

Properties of the Reed-Muller-Fourier Spectra of Maiorana-McFarland Bent FunctionsClaudio Moraga, Radomir S. Stankovic, Milena Stankovic. ismvl 2023: 64-69 [doi]

Decomposition-Based Representation of Symmetric Multiple-Valued FunctionsShinobu Nagayama, Tsutomu Sasao, Jon T. Butler. ismvl 2023: 76-81 [doi]

A Consideration on Ternary Adversarial Generative NetworksKennichi Nakamura, Hiroki Nakahara. ismvl 2023: 1-6 [doi]

Higher-Order Boolean Masking Does Not Prevent Side-Channel Attacks on LWE/LWR-based PKE/KEMsKalle Ngo, Ruize Wang, Elena Dubrova, Nils Paulsrud. ismvl 2023: 190-195 [doi]

From Ramon Llull To Lov Grover: Towards A Universal Logic MachineGeorge Opsahl, Marek A. Perkowski. ismvl 2023: 176-183 [doi]

Linking Łukasiewicz Logic and Boolean Maximum SatisfiabilitySandro Preto, Felip Manyà, Marcelo Finger. ismvl 2023: 164-169 [doi]

Benchmarking Łukasiewicz Logic Solvers with Properties of Neural NetworksSandro Preto, Felip Manyà, Marcelo Finger. ismvl 2023: 158-163 [doi]

Towards an Automated Framework for Realizing Quantum Computing SolutionsNils Quetschlich, Lukas Burgholzer, Robert Wille. ismvl 2023: 134-140 [doi]

Logic Synthesis from Polynomials with Coefficients in the Field of RationalsBhavani Sampathkumar, Bailey Martin, Ritaja Das, Priyank Kalla, Florian Enescu. ismvl 2023: 82-87 [doi]

Detection of osteochondritis dissecans using convolutional neural networks for computer-aided diagnosis of baseball elbowKenta Sasaki, Daisuke Fujita, Kenta Takatsuji, Yoshihiro Kotoura, Tsuyoshi Sukenari, Masataka Minami, Yusuke Kobayashi, Yoshikazu Kida, Kenji Takahashi, Syoji Kobashi. ismvl 2023: 59-63 [doi]

A Logical Method to Predict Outcomes After Coronary Artery Bypass GraftingTsutomu Sasao, Anders Holmgren, Patrik Eklund. ismvl 2023: 202-208 [doi]

Data Mining Using Multi-Valued Logic MinimizationTsutomu Sasao. ismvl 2023: 105-110 [doi]

Easily Reconstructable Logic FunctionsTsutomu Sasao. ismvl 2023: 12-17 [doi]

Kleene Algebra With Tests for Weighted ProgramsIgor Sedlár. ismvl 2023: 111-116 [doi]

Discovering Emerging Applications of Multi-Valued Logic: Protocols for Human-Autonomy TeamingPeter Shmerko, Svetlana N. Yanushkevich, Marek A. Perkowski, Yumi Iwashita, Adrian Stoica. ismvl 2023: 209-214 [doi]

On Neural-Network-Based Detection for Hypertensive Subjects Using Classification of Retinal Fundus PhotographsYuki Sonetsuji, Teijiro Isokawa, Naotake Kamiura, Hitoshi Tabuchi. ismvl 2023: 42-47 [doi]

Remarks on Gibbs Permutation Matrices for Ternary Bent FunctionsRadomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko T. Astola. ismvl 2023: 70-75 [doi]

Efficient DFA-Resistant AES Hardware Based on Concurrent Fault Detection SchemeRei Ueno, Yusuke Yagyu, Naofumi Homma. ismvl 2023: 196-201 [doi]

Delta-Sigma Domain Signal Processing: A Review with Relevant Topics in Stochastic ComputingTakao Waho, Akihisa Koyama, Hitoshi Hayashi. ismvl 2023: 88-93 [doi]

Kidney Tumor Recognition from Abdominal CT Images using Transfer LearningSefatul Wasi, Saadia Binte Alam, Rashedur Rahman, M. Ashraful Amin, Syoji Kobashi. ismvl 2023: 54-58 [doi]

PAM-4 Data Transmission Quality Evaluation Using Two- and Three-Dimensional Mapping of Received SymbolsYasushi Yuminaka, Kazuharu Nakajima, Yosuke Iijima. ismvl 2023: 94-98 [doi]

2022

Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued LogicPhilipp Niemann 0001, Rolf Drechsler. ismvl 2022: 9-14 [doi]

52nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2022, Dallas, TX, USA, May 18-20, 2022IEEE, 2022. [doi]

Quantum Algorithm for Maximum SatisfiabilityAbdirahman Alasow, Marek A. Perkowski. ismvl 2022: 27-34 [doi]

An Algebraic Approach Towards the Fine-Grained Complexity of Graph Coloring ProblemsAmbroise Baril, Miguel Couceiro, Victor Lagerkvist. ismvl 2022: 94-99 [doi]

Weak bases for Boolean relational clones revisitedMike Behrisch. ismvl 2022: 68-73 [doi]

On the Sensitivity of Boolean and Multiple-Valued Symmetric FunctionsJon T. Butler, Tsutomu Sasao. ismvl 2022: 125-130 [doi]

Constructions of Kleene latticesIvan Chajda, Helmut Länger, Jan Paseka. ismvl 2022: 88-93 [doi]

Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit ArchitectureKamalika Datta, Abhoy Kole, Indranil Sengupta 0001, Rolf Drechsler. ismvl 2022: 35-42 [doi]

Non-Deterministic Many-Valued Modal LogicThomas Macaulay Ferguson. ismvl 2022: 106-112 [doi]

Two-Dimensional Symbol Mapping for Evaluating Multi-Valued Data Transmission QualityYosuke Iijima, Kazuharu Nakajima, Yasushi Yuminaka. ismvl 2022: 170-175 [doi]

Falsification-aware Semantics for Description LogicsNorihiro Kamide. ismvl 2022: 100-105 [doi]

Falsification-aware Twist Structures in Description LogicNorihiro Kamide. ismvl 2022: 119-124 [doi]

Characteristic Vectors of Reversible Boolean Functions with Threshold ComponentsAndrea Karalic, Jovanka Pantovic, Hristina Suknjaja. ismvl 2022: 113-118 [doi]

Fast Interface with Ensemble Ternary Neural NetworkRyota Kayanoma, Hiroki Nakahara. ismvl 2022: 182-187 [doi]

A Convenient Implementation of the Ternary Logic: Using Anti-Ambipolar Transistors and PMOS Based on Printed Carbon NanotubesJongbeom Kim, Yeji Kim, Hyundong Lee, Jihyeong Yun, Hyeseung Jang, Huijeen Jin, Juhee Park, Bongjun Kim, Taigon Song. ismvl 2022: 15-20 [doi]

Ternary Competitive to Binary: A Novel Implementation of Ternary Logic Using Depletion-mode and Conventional MOSFETsHyundong Lee, Hyeseung Jang, Jihyeong Yun, Huijeen Jin, Jongbeom Kim, Yeji Kim, Taigon Song. ismvl 2022: 21-26 [doi]

Communication Trade Offs in Intermediate Qudit CircuitsAndrew Litteken, Jonathan M. Baker, Frederic T. Chong. ismvl 2022: 43-49 [doi]

Centralizing Monoids, Majority Operations and the Słupecki CloneHajime Machida. ismvl 2022: 62-67 [doi]

Approximate memory-based logic synthesis of index generation functions using linear decompositionTomasz Mazurkiewicz. ismvl 2022: 145-150 [doi]

On new Properties of the Maiorana-McFarland Ternary Bent FunctionsClaudio Moraga, Radomir S. Stankovic, Milena Stankovic. ismvl 2022: 56-61 [doi]

Bent-based Realization of a Class of Ternary Plateaued FunctionsClaudio Moraga, Radomir S. Stankovic, Milena Stankovic. ismvl 2022: 74-79 [doi]

On Decision Diagrams for Maximally Asymmetric FunctionsShinobu Nagayama, Tsutomu Sasao, Jon T. Butler. ismvl 2022: 164-169 [doi]

Optimizations of Ternary Generative Adversarial NetworksKennichi Nakamura, Hiroki Nakahara. ismvl 2022: 158-163 [doi]

Haack meets Herzberger and PriestHitoshi Omori, Jonas Rafael Becker Arenhart. ismvl 2022: 137-144 [doi]

Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite SheepMichael Pinsker. ismvl 2022: 80-87 [doi]

A Method To Generate Rules From ExamplesTsutomu Sasao. ismvl 2022: 176-181 [doi]

LUT Cascade Realization of Threshold Functions and Its Application to Implementation of Ternary Weight Neural NetworksTsutomu Sasao. ismvl 2022: 151-157 [doi]

Quantum Multiple Valued Kernel CircuitsAviraj Sinha, Mitchell A. Thornton. ismvl 2022: 1-8 [doi]

Construction of Ternary Bent Functions From Ternary Linear FunctionsMilena Stankovic, Radomir S. Stankovic, Claudio Moraga, Jaakko T. Astola. ismvl 2022: 50-55 [doi]

Liberating classical negation from falsity conditionsDamián Enrique Szmuc, Hitoshi Omori. ismvl 2022: 131-136 [doi]

Phase & Power in Genomic Harmonic AnalysisMicah Thornton. ismvl 2022: 188-193 [doi]

2021

Synthesis of Asymptotically Optimal Adders for Multiple-Valued LogicPhilipp Niemann 0001, Rolf Drechsler. ismvl 2021: 178-182 [doi]

51st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2021, Nur-Sultan, Kazakhstan, May 25-27, 2021IEEE, 2021. [doi]

A New Approach to Machine Learning Based on Functional Decomposition of Multi -Valued FunctionsSaad Al-Askaar, Marek Perkowski. ismvl 2021: 128-135 [doi]

Proof Systems for Gödel Logics with an InvolutionArnon Avron. ismvl 2021: 68-73 [doi]

Quantum Algorithm for Machine Learning and Circuit Design Based on Optimization of Ternary - Input, Binary-Output Kronecker-Reed-Muller FormsMaggie Bao, Cole Powers, Marek Perkowski. ismvl 2021: 120-127 [doi]

Centralising monoids with conservative majority operations as witnessesMike Behrisch. ismvl 2021: 56-61 [doi]

Quantales in Circuit DesignPatrik Eklund. ismvl 2021: 39-42 [doi]

Linear orthogonality spaces as a new approach to quantum logicKadir Emir, David Kruml, Jan Paseka, Thomas Vetterlein. ismvl 2021: 33-38 [doi]

A Pragmatic Quaternary FPGA Implemented with Floating Gate MemoriesAyokunle Fadamiro, Pouyan Rezaie, Spencer Millican, Christoper B. Harris. ismvl 2021: 166-171 [doi]

Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision DiagramsThomas Grurl, Jürgen Fuß, Robert Wille. ismvl 2021: 87-92 [doi]

Hereditary rigidity, separation and density: In memory of Professor I.G. RosenbergLucien Haddad, Masahiro Miyakawa, Maurice Pouzet, Hisayuki Tatsumi. ismvl 2021: 62-67 [doi]

Efficient PAM-4 Data Transmission with Closed Eye Using Symbol Distribution EstimationYosuke Iijima, Yasushi Yuminaka. ismvl 2021: 195-200 [doi]

A Formal Approach to Identifying Hardware Trojans in Cryptographic HardwareAkira Ito, Rei Ueno, Naofumi Homma. ismvl 2021: 154-159 [doi]

Notes on Avron's Self-extensional Four-valued Paradefinite LogicNorihiro Kamide. ismvl 2021: 43-49 [doi]

Symmetric Paraconsistent Quantum LogicNorihiro Kamide. ismvl 2021: 26-32 [doi]

Multi-valued Decision Diagrams in Reliability Analysis of Consecutive k-out-of-(2k-1) SystemsMiroslav Kvassay, Elena Zaitseva, Peter Sedlacek, Patrik Rusnak. ismvl 2021: 81-86 [doi]

On Distinguishing Sequences of Several Classes of Reversible Finite State MachinesMartin Lukac, Khaled El-Fakih. ismvl 2021: 113-119 [doi]

Descending Order Transformation-based Synthesis of MVL Reversible CircuitsD. Michael Miller, Gerhard W. Dueck. ismvl 2021: 107-112 [doi]

Ternary Toffoli-type Reversible Gates: Control Alternatives and Quantum ModelsClaudio Moraga. ismvl 2021: 101-106 [doi]

Improvement in the Quality of Solutions of a Heuristic Linear Decomposer for Index Generation FunctionsShinobu Nagayama, Tsutomu Sasao, Jon T. Butler. ismvl 2021: 13-18 [doi]

Untruth, falsity and non-deterministic semanticsHitoshi Omori, Daniel Skurt. ismvl 2021: 74-80 [doi]

Binary, Multi-Valued and Quantum Board and Computer Games to Teach Synthesis of Classical and Quantum Logic CircuitsMarek Perkowski, Kyle Liu. ismvl 2021: 93-100 [doi]

Hierarchical Subspace Learning for Dimensionality Reduction to Improve Classification Accuracy in Large Data SetsParisa Abdolrahim Poorheravi, Vincent Gaudet. ismvl 2021: 136-141 [doi]

A Design Method for Multiclass ClassifiersTsutomu Sasao, Yuto Horikawa, Yukihiro Iguchi. ismvl 2021: 148-153 [doi]

Linear Decompositions for Multi-Valued Input Classification FunctionsTsutomu Sasao, Jon T. Butler. ismvl 2021: 19-25 [doi]

q+1-Valued Deep Neural NetworksNaoto Soga, Ryosuke Kuramochi, Hiroki Nakahara. ismvl 2021: 142-147 [doi]

A two-valued semantics for infectious logicsYang Song, Hitoshi Omori, Satoshi Tojo. ismvl 2021: 50-55 [doi]

Construction of Ternary Plateaued Functions from Quadratic Forms for Ternary Bent FunctionsMilena Stankovic, Claudio Moraga, Radomir S. Stankovic. ismvl 2021: 1-6 [doi]

Remarks on Particular Properties of Ternary Bent Functions and Construction AlgorithmsRadomir S. Stankovic, Milena Stankovic, Claudio Moraga, Jaakko T. Astola. ismvl 2021: 7-12 [doi]

A multi-level cascaded delta-sigma modulator with reduced quantization noise leakageTakao Waho, Tomoaki Koizumi, Hitoshi Hayashi. ismvl 2021: 201-206 [doi]

A Practical Implementation of the Ternary Logic Using Memristors and MOSFETsJeonggyu Yang, Hyundong Lee, Jaehoon Jeong, Taehak Kim, Sin-Hyung Lee, Taigon Song. ismvl 2021: 183-188 [doi]

Links

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

ISMVL (ismvl)

Viewing Publication 1 - 100 from 1759

2023

2022

2021

Links

Filter by Year [-]OR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

ISMVL (ismvl)

Viewing Publication 1 - 100 from 1759

2023

2022

2021

Filter by Year

[-]
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1