Results 31 to 40 of about 226,250 (290)
IEEE Open Journal of Nanotechnology, 2022 Designing energy-efficient and secure cryptographic circuits in low-frequency medical devices are challenging due to low-energy requirements. Also, the conventional CMOS logic-based cryptographic circuits solutions in medical devices can be vulnerable to
Amit Degada, Himanshu Thapliyal
doaj +1 more source
Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications
Mathematics, 2021 This paper provides a brief overview of modern applications of nonbinary logic models, where the design of heterogeneous computing systems with small computing units based on three-valued logic produces a mathematically better and more effective solution
Elmira Yu. Kalimulina
doaj +1 more source
A Uniform Substitution Calculus for Differential Dynamic Logic
, 2015 This paper introduces a new proof calculus for differential dynamic logic (dL) that is entirely based on uniform substitution, a proof rule that substitutes a formula for a predicate symbol everywhere.
Platzer, André
core +2 more sources
On the Substitution of Identicals in Counterfactual Reasoning [PDF]
, 2020 It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do.
Alonso‐Ovalle Luis +11 more
core +1 more source
Comparison of Pre and Post-Action of a Finite Abelian Group Over Certain Nonlinear Schemes
IEEE Access, 2020 This paper proposes to present a novel group theoretic approach of improvising the cryptographic features of substitution-boxes. The approach employs a proposed finite Abelian group of order 3720 with three generators and six relations.
Muhammad Awais Yousaf +4 more
doaj +1 more source
Journal of Food Quality, 2023 The current study is aimed to compare the effect of fat and/or wheat-flour substitution with apple pomace on the physicochemical and shelf-life of oily cakes. The sensory quality of samples was evaluated using the Delphi-Fuzzy logic method.
Maryam Sabet Ghadam +4 more
doaj +1 more source
, 2000 Many logic programming based approaches can be used to describe and solve combinatorial search problems. On the one hand there is constraint logic programming which computes a solution as an answer substitution to a query containing the variables of the ...
De Mot, Emmanuel +2 more
core +3 more sources
IEEE AccessPresents corrections to the paper, Corrections to “Fuzzy Logic-Based Substitution-Box for Robust Medical Image Encryption in Telemedicine”.
Abdul Razaq +4 more
doaj +1 more source
On the multi-dimensional modal logic of substitutions [PDF]
Studia Scientiarum Mathematicarum Hungarica, 2019 Abstract We prove completeness, interpolation, decidability and an omitting types theorem for certain multi-dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach is algebraic addressing varieties generated by complex algebras of Kripke semantics for such ...
Ahmed, Tarek Sayed, Assem, Mohammad
openaire +2 more sources
Capture, 2017 The phenomenon,Dimas KanjengTaat Pribadi, is unique issues that have shocked in the Indonesian public because of his unbelievable activities (duplicate the amount of money).This metode of the research is textual;focus onTaat Pribadi news,doubling the ...
Risky Chairani Putri
doaj +1 more source