Results 51 to 60 of about 2,196,068 (340)
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
Productive Corecursion in Logic Programming [PDF]
, 2017 Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task.
Komendantskaya, Ekaterina, Li, Yue
core +2 more sources
PLoS ONE, 2020 Cryptography is commonly used to secure communication and data transmission over insecure networks through the use of cryptosystems. A cryptosystem is a set of cryptographic algorithms offering security facilities for maintaining more cover-ups.
N. Siddiqui +9 more
semanticscholar +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
IEEE Access, 2020 This work reports a novel chaos-based affine transformation generation method, which is based on rotational matrices to design strong key-based S-boxes.
Muhammad Sarmad Mahmood Malik +6 more
semanticscholar +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
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages [PDF]
, 2001 It is well known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of logic programs to be improved. In this paper, we present a novel combination
Bagnara, R., Hill, P.M., Zaffanella, E.
core +10 more sources
, 2004 Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the
Panti, Giovanni
core +3 more sources
Linear Logic and Strong Normalization [PDF]
, 2013 Strong normalization for linear logic requires elaborated rewriting techniques. In this paper we give a new presentation of MELL proof nets, without any commutative cut-elimination rule.
Accattoli, Beniamino
core +1 more source
Dynamical properties of logical substitutions
Discrete & Continuous Dynamical Systems - A, 2006 This is an expository paper on the dynamical properties of substitutions in propositional many-valued logics. We identify substitutions with endomorphisms of free algebras, and we study their actions on the dual spectral spaces.
openaire +4 more sources