67 citations · 68 across the 8 of their papers we have counts for
8 papers
A proof for completeness of Łukasiewicz logic
Doratossadat Dastgheib, Hadi Farahani
In this paper we give a new proof for the completeness of infinite valued propositional Łukasiewicz logic introduced by Łukasiewicz and Tarski in 1930. Our approach employs a Hilbe…
Doxastic Lukasiewicz Logic with Public Announcement
Doratossadat Dastgheib, Hadi Farahani
In this paper, we propose a doxastic extension of Lukasiewicz logic which is sound and complete relative to the introduced corresponding semantics. Also, we equip our doxast…
A Privacy Preserving IoT Data Marketplace Using IOTA Smart Contracts
Hadi Farahani, Hamid Reza Shahriari
In recent years, the volume of data generated by IoT devices has increased dramatically. Using this data can improve decision-making in the public and private sectors and increase…
Some Doxastic Łukasiewicz Logic
Doratossadat Dastgheib, Hadi Farahani
We propose a doxastic Łukasiewicz logic \textbf{BŁ} that is sound and complete with respect to the class of Kripke-based models in which atomic propositions and accessibility relat…
Action Recognition Using Supervised Spiking Neural Networks
Aref Moqadam Mehr, Saeed Reza Kheradpisheh, Hadi Farahani
Biological neurons use spikes to process and learn temporally dynamic inputs in an energy and computationally efficient way. However, applying the state-of-the-art gradient-based s…
Some Improvements in Fuzzy Turing Machines
Hadi Farahani
In this paper, we modify some previous definitions of fuzzy Turing machines to define the notions of accepting and rejecting degrees of inputs, computationally. We use a BFS-based…
An Alternating Qubit Protocol and Its Correctness Checking
Hadi Farahani
In this paper, a quantum version of classical alternating bit protocol is proposed. This protocol provides a reliable method to transmit the secret quantum data via a noisy quantum…
Nernst effect in Dirac and inversion-asymmetric Weyl semimetals
Gargee Sharma, Christopher Moore, Subhodip Saha +1
Dirac semimetals are three dimensional analog of graphene with massless Dirac fermions as low energy electronic excitations. In contrast to Weyl semimetals, the point nodes in the…