A general theory of approximate iterative algorithms (AIA)

2014 ◽  
pp. 211-250
Keyword(s):  
General Theory ◽  
Iterative Algorithms

scholarly journals General Theory and Tools for Proving Algorithms in Nominative Data Systems

2020 ◽  
Vol 28 (4) ◽  
pp. 269-278
Author(s):  
Adrian Jaszczak
Keyword(s):  
General Theory ◽  
Iterative Algorithms ◽  
Data Systems ◽  
Hoare Logic ◽  
Inference System ◽  
The Future ◽  
Complex Valued

Summary In this paper we introduce some new definitions for sequences of operations and extract general theorems about properties of iterative algorithms encoded in nominative data language [20] in the Mizar system [3], [1] in order to simplify the process of proving algorithms in the future. This paper continues verification of algorithms [10], [13], [12], [14] written in terms of simple-named complex-valued nominative data [6], [8], [18], [11], [15], [16]. The validity of the algorithm is presented in terms of semantic Floyd-Hoare triples over such data [9]. Proofs of the correctness are based on an inference system for an extended Floyd-Hoare logic [2], [4] with partial pre- and postconditions [17], [19], [7], [5].

Extreme self-sacrifice beyond fusion: Moral expansiveness and the special case of allyship

2018 ◽  
Vol 41 ◽  
Author(s):  
Daniel Crimston ◽  
Matthew J. Hornsey
Keyword(s):  
General Theory ◽  
Biological Markers ◽  
Natural Environment ◽  
Relevant Dimension ◽  
Special Case

AbstractAs a general theory of extreme self-sacrifice, Whitehouse's article misses one relevant dimension: people's willingness to fight and die in support of entities not bound by biological markers or ancestral kinship (allyship). We discuss research on moral expansiveness, which highlights individuals’ capacity to self-sacrifice for targets that lie outside traditional in-group markers, including racial out-groups, animals, and the natural environment.

Review of A General Theory of Crime.

1992 ◽  
Vol 37 (11) ◽  
pp. 1225-1225
Author(s):  
No authorship indicated
Keyword(s):  
General Theory ◽  
General Theory Of Crime ◽  
Theory Of Crime
Sign in / Sign up

Export Citation Format

Share Document