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 ...

We show an equivalence between the approach of Buttiker and the Fermi quantum stochastic calculus for mesoscopic systems. To illustrate the method we derive the current fluctuations in a two terminal mesoscopic circuit with two tunnel barriers containing a single quasi bound state on the well. The method enables us to focus on either the incoming/outgoing Fermi fields in the leads, or on the ir...

We show an equivalence between the approach of Buttiker and the Fermi quantum stochastic calculus for mesoscopic systems. To illustrate the method we derive the current fluctuations in a two terminal mesoscopic circuit with two tunnel barriers containing a single quasi bound state on the well. The method enables us to focus on either the incoming/outgoing Fermi fields in the leads, or on the ir...

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 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...

In this work we exploit the integrability of the two-lead Anderson model to compute transport properties of a quantum dot, in and out of equilibrium. Our method combines the properties of integrable scattering together with a Landauer-Buttiker formalism. Although we use integrability, the nature of the problem is such that our results are not generically exact, but must only be considered as ex...