Results 1 to 10 of about 1,544 (260)
The visualization of Orphadata neurology phenotypes [PDF]
Frontiers in Digital Health, 2023 Disease phenotypes are characterized by signs (what a physician observes during the examination of a patient) and symptoms (the complaints of a patient to a physician).
Daniel B. Hier +4 more
doaj +2 more sources
Information Processing Letters, 1987 Implication is compared with subsumption, the usual test in databases. Subsumption implicates ``implication'', but the converse does not hold. It is shown, however, that if the axiom is not self-resolving and the consequence is not tautological, then implication is equivalent to subsumption. Some consequences and algorithms are also considered.
Georg Gottlob
exaly +3 more sources
Mutant Subsumption Graphs [PDF]
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops, 2014 Mutation testing researchers have long known that many generated mutants are not needed. This paper develops a graph model to describe redundancy among mutations. We define "true" subsumption, a relation that practicing test engineers would like to have, but cannot due to issues of computability.
Paul Ammann +2 more
exaly +2 more sources
Quantifying sequential subsumption [PDF]
Theoretical Computer Science, 2019 The paper proposes to represent the concept intension of a sequence by its subsequences. A subsumption for a case where a concept (named sequential concept) can be represented as a sequence is analyzed. A 1-1 mapping between extensional subsumption and embedding of a sequential representation (using a function representation \(g\)) is established by ...
Cees H Elzinga, Jordan Vincent
exaly +4 more sources
Subtypes of relapsing-remitting multiple sclerosis identified by network analysis [PDF]
Frontiers in Digital Health, 2023 We used network analysis to identify subtypes of relapsing-remitting multiple sclerosis subjects based on their cumulative signs and symptoms. The electronic medical records of 113 subjects with relapsing-remitting multiple sclerosis were reviewed, signs
Quentin Howlett-Prieto +5 more
doaj +2 more sources
On subsumption in distributed derivations
Journal of Automated Reasoning, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maria Paola Bonacina +2 more
exaly +2 more sources
Remote Sensing, 2023 The Wispy Terrain is the region of chasmata characterized by quasi-parallel fault systems, formed by extensional and shear stresses of the icy crust of Dione, a moon of Saturn.
Balázs Bradák +4 more
doaj +1 more source
Qualification of beatings as non-live-threatening and non-health-threatening violence
Правоприменение, 2021 The subject. The algorithm of qualification of beatings is researched taking into account changes in the Russian legislation of Russia on the protection of bodily integrity of a person.
O. V. Artyushina
doaj +1 more source
Stacking Lake Ice Analog Cryotectonic Dynamics on Dione’s Wispy Terrain
Physical Sciences Forum, 2023 Wispy Terrain, with its chasmata, is one of the enigmatic regions of Dione. It consists of quasi-parallel graben, and troughs, in parts with horsts, indicating extensional and shear stresses. This study introduces some observations of compression-related
Balázs Bradák +2 more
doaj +1 more source
Robot Action Space of Tractable Subsumption Architecture [PDF]
International Journal of Industrial Electronics, Control and Optimization, 2019 —In this article, a new hybrid feedback system is introduced, which integrates the behavior- based planning by reactive agent-based control scheme through subsumption architecture. At first, subsumption protocol studies the interactions of robot with its
farnaz sabahi
doaj +1 more source