A relational theory of effects and coeffects

Graded modal types systems and coeffects are becoming a standard formalism to deal with context-dependent, usage-sensitive computations, especially when combined with computational effects. From a semantic perspective, effectful and coeffectful languages have been studied mostly by means of denotational semantics and almost nothing has been done from the point of view of relational reasoning. This gap in the literature is quite surprising, since many cornerstone results — such as non-interference , metric preservation , and proof irrelevance — on concrete coeffects are inherently relational. In this paper, we fill this gap by developing a general theory and calculus of program relations for higher-order languages with combined effects and coeffects. The relational calculus builds upon the novel notion of a corelator (or comonadic lax extension ) to handle coeffects relationally. Inside such a calculus, we define three notions of effectful and coeffectful program refinements: contextual approximation , logical preorder , and applicative similarity . These are the first operationally-based notions of program refinement (and, consequently, equivalence) for languages with combined effects and coeffects appearing in the literature. We show that the axiomatics of a corelator (together with the one of a relator) is precisely what is needed to prove all the aforementioned program refinements to be precongruences, this way obtaining compositional relational techniques for reasoning about combined effects and coeffects.

How does dataveillance drive consumer online payment resistance?

Purpose This study aims to examine the effect of dataveillance on resistance towards online payment. Using a moderated-mediation framework, the study also investigates the mediating effects of perceived privacy and security concerns and how these mediating effects are moderated by corporate credibility, consumer scepticism and consumer empowerment. Design/methodology/approach A scenario-based experimental design was performed to examine the proposed hypotheses. Analysis of covariance and PROCESS macro were used to examine the hypotheses by analysing 312 collected responses. Findings The results indicated the dataveillance positively affects consumer resistance towards online payment. The results also suggested that corporate credibility and consumer scepticism significantly moderates the association between dataveillance and resistance towards online payment. Practical implications The findings of this study will help online retailers to reduce consumers’ perceived privacy and security concerns, thereby reducing consumers’ resistance towards online payment. Originality/value Theoretically, the study contributes to privacy, consumer behaviour, online payment and cognitive-motivational-relational theory literature.

WEIZSÄCKER’S RELATIONAL THEORY AND BINARY GEOMETROPHYSICS OF YU. S. VLADIMIROV

The question of the connection between the ideas of relational concepts and the construction of a unified physics by K.F. von Weizsäcker, and binary geometrophysics of Yu.S. Vladimirov. It is shown the initial closeness both of the original premises of the two programs and their main conclusions, which completely coincide. The moments of divergence of the two programs are also shown. This discrepancy is due to the fact that Weizsacker associates the main problem of constructing a unified physical theory with epistemological problems, while in binary geometrophysics the ontological assumptions associated with the concept of pregeometry are taken as a basis.

Phenomenology of the Eucharist: A Reflection on Traditioning

<p>This thesis is an enquiry into how relationship differs from identity. It studies the senses of relationship and identity in the history of the Eucharist. The aim of the thesis is to describe how relationship and identity are expressed in the history of the Eucharist, and, by extension, in traditions generally. The thesis reflects on the Hebrew and Greek scriptures, historical celebrations of the Eucharist, Greek and Latin metaphysics, medieval mysticism and phenomenology. In Hebrew Scripture, a sense of infinite loveableness can be discerned in the expression "yahid". First century Christianity applied this particular sense of "yahid" to Jesus and this sense influenced the way the sacraments of initiation were celebrated. Accordingly, the Eucharist emerged through scripture and traditioning as a sign of infinite loveableness. The eucharistic expression of loveableness produces a sense of relationship which alters the Christian disciple's sense of identity. This alteration becomes actualised through expressions of hospitality and relational traditioning. Through reflecting on the dynamics of relationship and identity in the Eucharist a general phenomenology of tradition begins to emerge. This study was motivated by the author‘s belief that a relational theory of traditions and traditioning has not been written. By describing the relational significance of a traditional sign (the Eucharist), a contribution may have been made in two fields: the phenomenology of the Eucharist, and the phenomenology of tradition.</p>

Phenomenology of the Eucharist: A Reflection on Traditioning

<p>This thesis is an enquiry into how relationship differs from identity. It studies the senses of relationship and identity in the history of the Eucharist. The aim of the thesis is to describe how relationship and identity are expressed in the history of the Eucharist, and, by extension, in traditions generally. The thesis reflects on the Hebrew and Greek scriptures, historical celebrations of the Eucharist, Greek and Latin metaphysics, medieval mysticism and phenomenology. In Hebrew Scripture, a sense of infinite loveableness can be discerned in the expression "yahid". First century Christianity applied this particular sense of "yahid" to Jesus and this sense influenced the way the sacraments of initiation were celebrated. Accordingly, the Eucharist emerged through scripture and traditioning as a sign of infinite loveableness. The eucharistic expression of loveableness produces a sense of relationship which alters the Christian disciple's sense of identity. This alteration becomes actualised through expressions of hospitality and relational traditioning. Through reflecting on the dynamics of relationship and identity in the Eucharist a general phenomenology of tradition begins to emerge. This study was motivated by the author‘s belief that a relational theory of traditions and traditioning has not been written. By describing the relational significance of a traditional sign (the Eucharist), a contribution may have been made in two fields: the phenomenology of the Eucharist, and the phenomenology of tradition.</p>

A proposal : Relational theory of external factors acting upon biological systems.

Metabolism-Repair (M,R) systems were concepts of relational biology which were rarely researched since Rosen wrote its foundations from 1958 and to his death, due to a lack of infatuation from the scientific community. We aim, in this article, to represent the effects of external factors on metabolic components, one of the main notions of (M,R) systems. We will firstly study the bases of (M,R) systems, then study the concepts of environment, external factors, tolerance, optimal values, efficiency, and time lags on metabolic components. We finally introduce the principle of eternal imperfectability of diverse biological systems, demonstrating how systems will never be perfect due to external factors acting upon metabolic components.

Multi-quality Index Optimization of Injectionof injection Compression Process Parameters Based on Grey Robustness

Aiming at the balance optimization of multiple mass indexes, such as sink marks, warpage and residual stress in the injection compression molding process of optical products, from the perspective of robust design, the experiment of injection compression processing of wedge-shaped light guide plate with five factors and four levels was designed by orthogonal experiment method. The optimal combination of process parameters, the order of influence and the trend of change were obtained by S/N analysis. Finally, the grey relational theory was used to transform the multi-quality index optimization problem into the single objective optimization of grey relational degree, and the optimal process parameter combination considering multiple quality indexes were obtained. Compared with before optimization, each quality index decreased by 23.89%, 8.87% and 24.68% respectively. The research shows that the optimization technology based on grey robustness can effectively solve the problem of balance optimization among multiple mass indexes, and can realize the overall optimization of injection compression process parameters.