Abstract In this paper, we consider the condition $$\sum _{i=0}^{n+1}\varphi _i(r_ix+q_iy)\in {\mathbb {Z}}$$ ∑i=0n+1φ</mml:...

The problem of maintaining consistency via functional dependencies (FDs) has been studied and analyzed extensively within traditional database settings. There have also been many probabilistic data models proposed in the past decades. However, the problem of maintaining consistency in probabilistic relations via FDs is still unclear. In this paper, we clarify the concept of FDs in probabilistic...

abstract researches of preservation valuation of natural resources and environment were done in order to create necessary awareness for making optimal decisions in the field of the ways of economic management of these resources and helping to establish sustainable regional development strategy. in this study, preservation value of lilium ledebourii estimated using single bounded dichotomous cho...

We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel’s modified realizability and Gödel’s Dialectica is presented, and several small applications are given. We also discuss how the hybrid interpretation relates to variants of Dialectica and modified realizability with non-computational quantifiers.

Archetype and archetypoid analysis can be extended to functional data. Each function is approximated by a convex combination of actual observations (functional archetypoids) or functional archetypes, which are a convex combination of observations in the data set. Well-known Canadian temperature data are used to illustrate the analysis developed. Computational methods are proposed for performing...

The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier work). It is illustrated how such coalgebras-on-algebras can be understood as bases, decomposing each element x into primitives elements from which x can be reco...