In rare or undiagnosed diseases, physicians rely upon genotype and phenotype information in order to compare abnormalities to other known cases and to inform diagnoses. Patients are often the best sources of information about their symptoms and phenotypes. The Human Phenotype Ontology (HPO) contains over 12,000 terms describing abnormal human phenotypes. However, the labels and synonyms in the ...

In this paper we discuss the connections between a Vlasov-Fokker-Planck equation and an underlying microscopic particle system, and we interpret those connections in the context of the GENERIC framework (Öttinger 2005). This interpretation provides (a) a variational formulation for GENERIC systems, (b) insight into the origin of this variational formulation, and (c) an explanation of the origin...

We propose a general formalism to describe accurately the angular dependence of the magnetoresistance. A parabolic band model is used to determine without approximation the conductance of arbitrary complex heterostructures. Simple analytical expressions are obtained in some limit cases. Particularly, we show that significant deviation from the cosine dependence is expected for ferromagnetic bar...

We consider knowledge representation (KR) formalisms as collections of finite knowledge bases with a model-theoretic semantics. In this setting, we show that for every KR formalism there is a formalism that characterizes strong equivalence in the original formalism, that is unique up to isomorphism and that has a model theory similar to classical logic.

The formalism known as the Discrete Event System Specification (DEVS) provides a set of mathematical elements for modeling time-varying systems. When DEVS is applied in the form of an executable representation, however, some deviation from the formalism is unavoidable. By proposing a set of informal DEVS conventions, we show how certain changes to the formalism, some previously adopted, others ...

The Bruggeman formalism provides an estimate of the effective permittivity of a particulate composite medium comprising two component mediums. The Bruggeman estimate is required to lie within the Wiener bounds and the Hashin–Shtrikman bounds. Considering the homogenization of weakly dissipative component mediums characterized by relative permittivities with real parts of opposite signs, we show...

In this note, we construct Noether charges for the chiral supergravity, which contains the Lorentz Chern–Simons term, by applying Wald’s prescription to the vielbein formalism. We investigate the AdS3/CFT2 correspondence by using the vielbein formalism. The asymptotic symmetry group is carefully examined by taking into account the local Lorentz transformation, and we construct super Virasoro al...

We obtain large deviation estimates for a large class of nonuniformly hyperbolic systems: namely those modelled by Young towers with summable decay of correlations. In the case of exponential decay of correlations, we obtain exponential large deviation estimates given by a rate function. In the case of polynomial decay of correlations, we obtain polynomial large deviation estimates, and exhibit...