as a Feynman integral over an infinite dimensional moduli space of G-connections on M , in terms of additional data, namely a Lie algebra g (with dual Coxeter number čg) and a level k ∈ N. In this paper we only consider WRT invariants with g = sl2 and it is convenient to put K = k + 2. This functional integral is not well-defined in a literal sense, being an integral over an infinite dimensiona...

The title of the paper must be understood in a strictly literal sense: we discuss the formalization, in the Matita Interactive Theorem Prover [2, 3], of one page of a traditional graduate textbook in Number Theory, and precisely the portion of text spanning from line −9 of page 19 to line −6 of page 20 in Ireland and Rosen’s book “A Classical Introduction to Modern Number Theory” [10] (see appe...

The title assigned to this talk, while certainly both eye-catching and pithy, does not make any literal sense in English. “Physics needs for future accelerators” is a phrase which could be interpreted in any number of ways, leading to very different sorts of talks. Letme begin, therefore, by briefly describing the roads not taken in my review. This will allow me to mention some important issues...

Although embodiment has become an important concept in many areas of cognitive science during the past two decades, most research has focused on individual agents and their interactions with the environment. This paper focuses on the social dimension of embodiment, and offers a conceptual framework that addresses embodied actions in the social realm. The framework identifies some fundamental fu...

This paper describes two algorithms for the compression of propositional resolution proofs. The first algorithm, RecyclePivotsWithIntersection, performs partial regularization, removing an inference η when it is redundant in the sense that its pivot literal already occurs as the pivot of another inference located below in the path from η to the root of the proof. The second algorithm, LowerUnit...

In the context of ubiquitous data capture and the politics of control, there is growing individual and managerial interest in ‘pulse’, both in the literal sense of arterial pulse (now monitored through wearable technology) and in a metaphorical sense of real-time tracking (for instance taking the ‘pulse of an organisation’). This article uses the category of ‘pulse’ to explore post-Fordism as a...

The article is devoted to the philosophical and theological thought of Karol Wojtyła, i.e., John Paul II, who in his considerations gave a lot attention European issues, including spiritual heritage Europe, Christianity its two varieties, Latin Byzantine, relationship between unity pluralism national cultures. We discover proper sense Wojtyła’s by referring inspiration with theology spiritualit...

The present paper is a qualitative translation assessment of euphemism in the Holy Quran. included four world-famous translators; A. J. Arberry, M. Abdelhaleem, Mohammed Pickthal, Mohammad Khan and Taqi Al- Hilali. study aims to explore techniques used by translators deal with translating euphemisms In consistence problem questions research, researchers adopt descriptive method exegetic text-ba...

Multiword expressions can have both idiomatic and literal occurrences. Distinguishing these two cases is considered one of the major challenges in MWE processing. We suggest that literal readings should be considered in both semantic and syntactic terms, which motivates their study in a treebank. We propose heuristics to automatically pre-identify candidate sentences that might contain literal ...

This study investigated whether verbs in figurative language activate different types of associations than do verbs in literal language. In a sentence-priming experiment, we compared sentences featuring verbs in idiomatic phrases with control sentences in which the same verbs were meant literally. Participants made lexical decisions about nouns that were associated with either the verb’s litera...