Dis-unification (computer science)

Digital false-target image synthesizer (DIS) has been proposed as a deceptive jamming method for countering inverse synthetic… (More)

s from the 12th meeting of the International Society for Neural Transplantation and Restoration NeuroReport 2014, 25:139–163 Note… (More)

Tetrahydrobiopterin (BH4) is an essential cofactor for nitric oxide synthases (NOS). This study investigated the effect of… (More)

Recognizing useful modular robot configurations composed of hundreds of modules is a significant challenge. Matching a new… (More)

We give an arithmetic criterion which is sufficient to imply the dis-creteness of various two-generator subgroups of P SL(2, C… (More)

with left ventricular failure in a patient with no evidence of organic heart disease. Ann Intern Med 26: 769, 1947 35. Singer K… (More)

We consider the 4d compact U (1) gauge theory with fundamental-adjoint action on a hypertorus. We give a full characterization of… (More)

We address the problem of formally proving high-level effect descriptions of actions from low-level operational deenitions. The… (More)

Berry's category of dI-domains with stable functions is a relatively intricate , yet elegant framework for semantics of… (More)

Two male patients in a family with congenital cataracts were found to have a deficient sorbitol dehydrogenase (SD) activity in… (More)