Results 21 to 30 of about 637,452 (300)
Proofs for free - parametricity for dependent types [PDF]
Reynolds' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type.
Bernardy, J. P. +2 more
core +2 more sources
Sense of place holds promise to understand how people perceive and respond to social and ecological change; however, using this concept to explore vulnerability and adaptation first depends on identifying the multiple ways people define their ...
Kiandra Rajala +2 more
doaj +1 more source
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems [PDF]
Differential privacy is a modern approach in privacy-preserving data analysis to control the amount of information that can be inferred about an individual by querying a database.
Apt +15 more
core +6 more sources
Generating free redundancy XML documents from non normalized relational views using a statistically approach [PDF]
Converting relational database into XML is increasing daily for publishing and exchanging the business applications data on the Web. Most of the current approaches and products convert the non normalized relational views to XML documents using flat-based
Ahmed, Mohammed Nasser +3 more
core +1 more source
The development of societies, including spiritual development, is closely connected to forests. The larger interrelations among changing societies, transforming forest landscapes, and evolving spiritual values related to forests have yet to be ...
Jeanne-Lazya Roux +18 more
doaj +1 more source
Set-oriented data mining in relational databases [PDF]
Data mining is an important real-life application for businesses. It is critical to find efficient ways of mining large data sets. In order to benefit from the experience with relational databases, a set-oriented approach to mining data is needed.
Houtsma, Maurice, Swami, Arun
core +4 more sources
Relational Collaborative Filtering:Modeling Multiple Item Relations for Recommendation [PDF]
Existing item-based collaborative filtering (ICF) methods leverage only the relation of collaborative similarity. Nevertheless, there exist multiple relations between items in real-world scenarios.
Ai Qingyao +6 more
core +2 more sources
Symbolic Values, Value Formation and Interpersonal Relations [PDF]
Interpersonal relations are shaped by the judgements associated with the social categories that individuals perceive in their social contacts. I develop a model of how those judgments form based on a theory of symbolic values. The model depicts the interaction between two values, one associated with an inherited ethnic trait (nationality) and one with ...
openaire +3 more sources
Abandoning the performance narrative: Two women's stories of transition from professional sport [PDF]
Despite its potential to illuminate psychological processes within socio-cultural contexts, examples of narrative research are rare in sport psychology. In this study, we employed an analysis of narrative to explore two women's stories of living in, and ...
Carless, D, Douglas, K
core +1 more source
Cities have pushed forward re‐naturing initiatives in local planning agendas. Discourses and rationales for such interventions tend to follow instrumental framings often narrowed down to the economic, health and ecological benefits of nature's ...
Julia Neidig +3 more
doaj +1 more source

