Results 41 to 50 of about 2,250,044 (344)
A Novel Algorithm of Constructing Highly Nonlinear S-p-boxes
Cryptography, 2019 The role of substitution boxes is very important in block ciphers. Substitution boxes are utilized to create confusion in the cryptosystem. However, to create both confusion and diffusion in any cryptosystem p-boxes and chaos base substitution boxes are ...
Yasir Naseer +3 more
doaj +1 more source
Enkele Bedenkinge oor die Vervangingsprocédé as Literêre Handgreep
Literator, 1986 In this article the author voices some objections against the so called substitution procédé as method in understanding the poetry of Breytenbach. This method was devised by Cloete and followed up by Lombard in her doctoral study and in article(s).
H. le R. Slabbert
doaj +1 more source
Радіоелектронні і комп'ютерні системи, 2020 The principle of program control means that the processor core turns to the main memory of the computer for operands or instructions. According to architectural features, operands are stored in data segments, and instructions are stored in code segments ...
Вадим Олексійович Пуйденко +1 more
doaj +1 more source
The Substitutional Analysis of Logical Consequence [PDF]
Noûs, 2018 AbstractA substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the ...
openaire +3 more sources
Raumforschung und Raumordnung, 2017 In Germany’s territorial planning community, the relation of demographic change, the provision of public services and civic engagement is mainly sketched out as a substitution logic, in which volunteer work substitutes for employed work of state ...
Robert Nadler
doaj +1 more source
Geo-spatial Information Science, 2023 Electric Taxis (ETs) are the most favored alternatives to Gasoline Taxis (GTs) in cities that aim to reduce environmental pollution. How to develop a reasonable scale on which GTs are substituted by ETs remains a challenge to governments due to the ...
Zhixiang Fang +3 more
doaj +1 more source
Revisiting the Institutional Approach to Herbrand's Theorem [PDF]
, 2015 More than a decade has passed since Herbrand’s theorem was first generalized to arbitrary institutions, enabling in this way the development of the logic-programming paradigm over formalisms beyond the conventional framework of relational first-order ...
Fiadeiro, Jose Luiz, Tutu, Ionut
core +4 more sources
Method to Improve the Cryptographic Properties of S-Boxes
IEEE Access, 2023 This study presents a method based on elementary logic and arithmetic operations to enhance the cryptographic properties of Substitution Boxes (S-Boxes).
Jesus Agustin Aboytes-Gonzalez +4 more
doaj +1 more source
Transforming specifications of observable behaviour into programs [PDF]
, 1994 A methodology for deriving programs from specifications of observable behaviour is described. The class of processes to which this methodology is applicable includes those whose state changes are fully definable by labelled transition systems, for ...
Gilbert, D, Hogger, C, Zlatuska, J
core +2 more sources
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source