Results 11 to 20 of about 8,183 (211)
Minimally Nonstandard K3 and FDE [PDF]
Graham Priest has formulated the minimally inconsistent logic of paradox (MiLP), which is paraconsistent like Priest’s logic of paradox (LP), while staying closer to classical logic. We present logics that stand to (the propositional fragments of) strong Kleene logic (K3) and the logic of first-degree entailment (FDE) as MiLP stands to LP. That is, our
Rea Golan, Ulf Hlobil
core +4 more sources
In his article "Reassurance via Translation" Marcel Crabbe proposed a formalism to obtain reassurance and classical recapture in the setting of minimal FDE. His formalism proved to be general enough to be extended in order to formalize other forms of non-monotonic systems based on preference relations.
Skurt, Daniel
core +5 more sources
Performance Analysis of OFDM 60GHz System and SC-FDE 60GHz System
In this paper, the performance of 60GHz wireless communication system with SC and OFDM is studied, the models of OFDM 60GHz system and SC 60GHz frequency domain equalization (SC-FDE) system are established, and the bit error rate (BER) performance of ...
Han Xueyan +3 more
doaj +3 more sources
Hardware acceleration of number theoretic transform for zk‐SNARK
An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
In this paper, we investigate the two single carrier frequency domain equalization (SC-FDE) techniques, namely on-off keying single carrier frequency domain equalization (OOK-SC-FDE) and decomposed quadrature optical (DQO)-SC-FDE, under realistic channel
Odabasioglu, Niyazi +3 more
core +2 more sources
A Note on FDE “All the Way Up”
This paper is heavily due to [\textit{G. Priest}, Log. Anal., Nouv. Sér. 27, 238--243 (1984; Zbl 0554.03016); Australas. J. Log. 11, No. 1, 2--13 (2014; Zbl 1330.03058)] both conceptually and technically. The main results of this reviewed paper are plurivalent extentions of \(\mathrm{FDE}\) (First-degree entailment) and \(\mathrm{FDE}_{\phi}\).
Beall, Jc, Camrud, Caleb
openaire +4 more sources
Fixed drug eruption caused by fluconazole
Objective: to characterize a group of patients with fixed drug erythema (FDE) caused by fluconazole to determine the sensitivity and specificity of the local provocative application test (LPAT) and to evaluate cross-allergenic reactivity with other ...
T. N. Myasnikova +3 more
doaj +1 more source
BackgroundFunctional magnetic resonance imaging (fMRI) studies examining differences in the activity of brain networks between the first depressive episode (FDE) and recurrent depressive episode (RDE) are limited.
Jifei Sun +17 more
doaj +1 more source
With the increasing number of available satellites from multi‐global navigation satellite systems (GNSS) and their applications in complicated environments, an increased number of faults in measurements are inevitable. Fault detection and exclusion (FDE)
Yuting Gao +3 more
doaj +1 more source
Joint transmitter–receiver optimization in generalized multicarrier code-division multiplexing (GMC-CDM) systems is investigated in this paper. The optimization consists of a one-tap post-frequency-domain equalizer (post-FDE) and a one–tap pre-FDE. While
Tingting Liu +5 more
core +2 more sources

