the calling of the ancient characters in modern arabic poem that inspires the poets needs some more researches to clear the content of the odes. this paper attempts to study the influence of the ancient characters in the poem of the famous contemporary egyptian poet, amal donqol (1941-1983). the poet tries to taking advantage from three techniques: name, role and speech. in his poem and change ...

the purpose of the present paper is to investigate semantic deviation of the holy quran in amal donqol's poetry. deviation is one of the techniques of defamiliarization, and was first introduced by the russian formalists in 1917. constructivist attitude toward literary texts and emphasis on the aesthetic aspects of the literary works led formalists to consider literary language as the main...

0

Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Lars Birkedal Harvard University IT University of Copenhagen {aleks,amal,greg}@eecs.harvard.edu [email protected]

0

Adaptive Modular Active Leg (AMAL), a robotic Intelligent Prosthetic Limb has been developed at the Indian Institute of Information Technology Allahabad. The aim of the project was to provide the comfort of an intelligent prosthetic knee joint for differently abeled person with one leg amputated above the knee. AMAL provides him with the necessary shock absorption and a suitable bending of the ...

This paper continues the examination of the structure of pseudocomplemented distributive lattices. First, the Congruence Extension Property is proved. This is then applied to examine properties of the equational classes ¿Sn, — lá«So), which is a complete list of all the equational classes of pseudocomplemented distributive lattices (see Part I). The standard semigroups (i.e., the semigroup gene...

This paper focuses of the group judgments obtained from a committee of agents that use deliberation. The deliberative process is realized by an argumentation framework called AMAL. The AMAL framework is completely based on learning from examples: the argument preference relation, the argument generation policy, and the counterargument generation policy are case-based techniques. For join delibe...