Results 21 to 30 of about 226,250 (290)
Радіоелектронні і комп'ютерні системи, 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
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
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
A Modal Logic for Quantification and Substitution [PDF]
Logic Journal of IGPL, 1994 Summary: The aim of this paper is to study the \(n\)-variable fragment of first order logic from a modal perspective. We define a modal formalism called cylindric mirror modal logic and show how it is a modal version of first order logic with substitution.
openaire +2 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
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
A Logical Foundation for Environment Classifiers [PDF]
, 2010 Taha and Nielsen have developed a multi-stage calculus {\lambda}{\alpha} with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fragments and variable declarations are annotated, and their ...
Atsushi Igarashi +2 more
core +2 more sources
AUTOMATON MODEL, DEVICE SYNTHESIS AND ADAPTIVE SUBSTITUTION ALGORITHM FOR CACHE MEMORY
Радіоелектронні і комп'ютерні системи, 2020 The probability indicators of the hits or misses events have conditioned the application of the certain substitution policies in the associative cache and the associative translation look-a-side buffer.
Вадим Олексійович Пуйденко
doaj +1 more source