Results 11 to 20 of about 3,507,101 (291)
Clinical Interventions in Aging, 2014 Gustaf Boström,1 Mia Conradsson,1 Erik Rosendahl,1,2 Peter Nordström,1 Yngve Gustafson,1 Håkan Littbrand1,21Department of Community Medicine and Rehabilitation, Geriatric Medicine, Umeå University, Umeå, Sweden; 2Department of
Boström G +6 more
doaj +1 more source
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! [PDF]
ACM SIGPLAN Notices, 2017 Functional dependencies are a popular extension to Haskell's type-class system because they provide fine-grained control over type inference, resolve ambiguities and even enable type-level computations. Unfortunately, several aspects of Haskell's functional dependencies are ill-understood.
Karachalias, Georgios, Schrijvers, Tom
openaire +1 more source
Adverse Life Events: Do Home Care Clients Have Resources for Mastering Them?
Frontiers in Medicine, 2021 Objectives: Research on life stressors and adverse life events has a long tradition. Few studies have addressed this topic in connection to very old people.
Vjenka Garms-Homolová +5 more
doaj +1 more source
A Simple Logic of Functional Dependence [PDF]
Journal of Philosophical Logic, 2021 AbstractThis paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic.
Baltag, A., van Benthem, J.
openaire +7 more sources
An Efficient and Scalable Algorithm to Mine Functional Dependencies from Distributed Big Data
Sensors, 2022 A crucial step in improving data quality is to discover semantic relationships between data. Functional dependencies are rules that describe semantic relationships between data in relational databases and have been applied to improve data quality ...
Wanqing Wu, Wenyu Mao
doaj +1 more source
Long-distance dependency resolution in automatically acquired wide-coverage PCFG-based LFG approximations [PDF]
, 2004 This paper shows how finite approximations of long distance dependency (LDD) resolution can be obtained automatically for wide-coverage, robust, probabilistic Lexical-Functional Grammar (LFG) resources acquired from treebanks.
O'Donovan, Ruth +10 more
core +3 more sources
Functional Dependencies for Graphs [PDF]
Proceedings of the 2016 International Conference on Management of Data, 2016 We propose a class of functional dependencies for graphs, referred to as GFDs. GFDs capture both attribute-value dependencies and topological structures of entities, and subsume conditional functional dependencies (CFDs) as a special case. We show that the satisfiability and implication problems for GFDs are coNP-complete and NP-complete, respectively,
Wenfei Fan +2 more
openaire +1 more source
Dynamic Dependency Pairs for Algebraic Functional Systems [PDF]
Logical Methods in Computer Science, 2012 We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reduction and separate {\beta}-steps are considered.
Cynthia Kop, Femke van Raamsdonk
doaj +1 more source
Functional Dependence and Analytic Functions [PDF]
Canadian Mathematical Bulletin, 1979 AbstractWithout appealing to the Cauchy theorem or its corollaries, it is proved that the real and imaginary parts of a non-constant complex-valued analytic function of several complex variables are functionally independent. This unifies and generalizes some results sporadically treated in standard treatises on function theory.
openaire +2 more sources
Functional Dependencies with null Markers [PDF]
The Computer Journal, 2014 Functional dependencies are an integral part of database design. However, they are only defined when we exclude null markers. Yet we commonly use null markers in practice. To bridge this gap between theory and practice, researchers have proposed definitions of functional dependencies over relations with null markers.
Antonio Badia, Daniel Lemire
openaire +3 more sources