Results 31 to 40 of about 2,196,068 (340)
A Complete Uniform Substitution Calculus for Differential Dynamic Logic [PDF]
Journal of automated reasoning, 2016 This article introduces a relatively complete 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.
André Platzer
semanticscholar +1 more source
“Fantastic Tricks before High Heaven,” Measure for Measure and Performing Triads
Religions, 2020 Reading Measure for Measure through the logic of substitution has been a long-standing critical tradition; the play seems to invite topical, political, and religious parallels at every turn.
Emily Bryan
doaj +1 more source
Labelled Lambda-calculi with Explicit Copy and Erase [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present two rewriting systems that define labelled explicit substitution lambda-calculi. Our work is motivated by the close correspondence between Levy's labelled lambda-calculus and paths in proof-nets, which played an important role in the ...
Maribel Fernández, Nikolaos Siafakas
doaj +1 more source
A Power Associative Loop Structure for the Construction of Non-Linear Components of Block Cipher
IEEE Access, 2020 In the symmetric key cryptography, the purpose of the substitution box is to generate confusion and hence improve the security of the whole cryptosystem.
Sadam Hussain +3 more
doaj +1 more source
Regular Cost Functions, Part I: Logic and Algebra over Words [PDF]
Logical Methods in Computer Science, 2013 The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the ...
Thomas Colcombet
doaj +1 more source
Дискурс, 2022 Introduction. The article continues a series of publications on the linguistics of relations (hereinafter referred to as R-linguistics) and is devoted to the study of the functioning of logical connectives with nouns and adjectives.
O. M. Polyakov
doaj +1 more source
Alternative modeling schemes for propositional calculus problem
KKU Engineering Journal, 2016 The main objective of this paper is to discuss alternative approaches to convert a propositional logic problem into a 0-1 integer program. The substitution method proposed by Williams and CNF method is used for modeling and representation of logical ...
Anupama Chanda +2 more
doaj +1 more source
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
Радіоелектронні і комп'ютерні системи, 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
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