Abstract A correspondence between fluctuations of non-minimally coupled scalar fields and that an effective fluid with heat flux anisotropic stresses, is shown. Though the respective stress tensors fluids known widely used in literature, two cases still await a formal are open to investigation all details. Using results obtained newly established theory semiclassical stochastic gravity which fo...

The article attempts to analyze the meaning of principle res iudicata pro veritate accipitur in Roman civil procedure. According law, once a final judgment was handed down lawsuit, it considered be truthful and this correspondence supported by legal presumption. truth could correspond reality (material truth) or emerge from evidence gathered course case (formal truth). purpose court’s activity ...

In this article, we propose an initial formal model of computationalism based on mathematical relations between cognition and computation. More specifically, a set cognitive constituents as domain, computational implementations range, define two transformation over these sets. Moreover, the principles implementability, describability, phenomena correspondence, conjecture that full does not hold...

2,3,7,8-tetrachlorodibenzo-p-dioxin (tcdd) is a by-product o f t he trichlorophenol (herbicide) production and is also produced through a variety of combustion processes. it appears that tcdd is a ubiquitous chemical, particularly in industrialised countries, and the liver is the target organ of its toxicity. the prominent hepatotoxic effect of tcdd is progressive centrilobular necrosis. the is...

Axelrod’s seminal work describes circumstances in which the goals of the formal organization’s military network become derailed by powerful informal networks built up amongst soldiers during the First World War. This paper considers payoffs of both informal soldiers’ network and that of the formal military bureaucracy. The paper aims to analyze specific factors and circumstances that allow info...

In this paper we examine source code annotations from the viewpoint of formal languages – we discuss their abstract syntax, concrete syntax, and semantics, thus showing the correspondence between annotations and formal languages. We propose to consider a set of all annotations and their parameters processed by the same reference implementation (they belong to the same domain) to be called an an...

The typical correspondence between a concrete representation and an abstract conceptual value of an abstract data type (ADT) variable (object) is a many-to-one function. For example, many different pointer aggregates give rise to exactly the same binary tree. The theoretical possibility that this correspondence generally should be relational has long been recognized. By using a nontrivial ADT f...

Recent work has shown that the infinitary logic of hereand-there is closely related to the input language of the ASP grounder gringo. A formal system axiomatizing that logic exists, but a proof in that system may include infinitely many formulas. In this note, we define a correspondence between the validity of infinitary formulas in the logic of here-and-there and the provability of formulas in...

We give a new bijective interpretation of the Cauchy identity for Schur operators which is a commutation relation between two formal power series with operator coefficients. We introduce a plactic algebra associated with the Kashiwara’s extremal weight crystals over the Kac–Moody algebra of type A+∞, and construct a Knuth type correspondence preserving the plactic relations. This bijection yiel...