This paper interrogates critical divergence in interpreting the cross and atonement between James Cone Karl Barth – their related ethics. rejects theories embraces as an interpretative symbol that speaks to suffering of Black Americans. In contrast, resists a refuses interpret separately from atonement. These divergences lead different conceptions sin, salvation, ethical response. Despite dissi...

This paper describes an embedding of higher-order modal logics in the Coq proof assistant. Coq’s capabilities are used to implement modal logics in a minimalistic manner, which is nevertheless su cient for the formalization of significant, non-trivial modal logic proofs. The elegance, flexibility and convenience of this approach, from a user perspective, are illustrated here with the successful...

This paper seeks to examine the effect of the revolutions of 2011-2012 in the Arabic countries of the Middle East and North Africa (MENA) on Israeli regime's ontological security and its strategy of closure and deviation in the regional level. In other word, the paper tries to find the challenges the ontological security and identity of Israel is facing with after the occurrence of the awakenin...

| We present results concerning three diierent types of quartic (fourth order) time-frequency distributions. First, we present new results on the recently introduced local ambiguity function, and show that it provides more reliable estimates of instantaneous chirp rate than the Wigner distribution. Second, we introduce the class of quartic, shift-covariant, time-frequency distributions, and inv...

The paper investigates the properties of ambiguity functions of 2-D analytic, quaternionic and monogenic signals. In the introduction the notions of the above signals and their Wigner distributions and ambiguity functions are recalled. The properties of the ambiguity functions are investigated using two kinds of test signals: A band-pass test signal in the form of a sum of two harmonic signals ...

The connection between the Wigner function and the generalized OTF, and between the ambiguity function and the generalized OTF is investigated for non-paraxial scalar wavefields. The treatment is based on two-dimensional (2-D) wavefields for simplicity, but can be extended to the three-dimensional case.

The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowledge base manually is so costly and timeconsuming that it hampers progress in intelligent information access. Therefore, semi-automatic or automatic construction of ontologies is very useful. This paper presents a concep...

In this paper, we describe how quantifiers can be generated in a text generation system. By taking advantage of discourse and ontological information, quantified expressions can replace entities in a text, making the text more fluent and concise. In addition to avoiding ambiguities between distributive and collective readings in universal quantification generation, we will also show how differe...