Robust Boolean reasoning for equivalence checking and functional property verification

2002 ◽  
Vol 21 (12) ◽  
pp. 1377-1394 ◽  
Author(s):  
A. Kuehlmann ◽  
V. Paruthi ◽  
F. Krohm ◽  
M.K. Ganai
Keyword(s):  
Functional Property ◽  
Equivalence Checking ◽  
Property Verification

scholarly journals Patterns of Regional Brain Hypometabolism Associated with Knowledge of Semantic Features and Categories in Alzheimer's Disease

2006 ◽  
Vol 18 (12) ◽  
pp. 2138-2151 ◽  
Author(s):  
Roland Zahn ◽  
Peter Garrard ◽  
Jochen Talazko ◽  
Matthias Gondan ◽  
Philine Bubrowski ◽  
...  
Keyword(s):  
Alzheimer’S Disease ◽  
Alzheimer's Disease ◽  
Semantic Memory ◽  
Functional Properties ◽  
Functional Property ◽  
Semantic Knowledge ◽  
Brain Areas ◽  
Functional Features ◽  
Property Verification ◽  
Living Objects

The study of semantic memory in patients with Alzheimer's disease (AD) has raised important questions about the representation of conceptual knowledge in the human brain. It is still unknown whether semantic memory impairments are caused by localized damage to specialized regions or by diffuse damage to distributed representations within nonspecialized brain areas. To our knowledge, there have been no direct correlations of neuroimaging of in vivo brain function in AD with performance on tasks differentially addressing visual and functional knowledge of living and nonliving concepts. We used a semantic verification task and resting 18-fluorodeoxyglucose positron emission tomography in a group of mild to moderate AD patients to investigate this issue. The four task conditions required semantic knowledge of (1) visual, (2) functional properties of living objects, and (3) visual or (4) functional properties of nonliving objects. Visual property verification of living objects was significantly correlated with left posterior fusiform gyrus metabolism (Brodmann's area [BA] 37/19). Effects of visual and functional property verification for non-living objects largely overlapped in the left anterior temporal (BA 38/20) and bilateral premotor areas (BA 6), with the visual condition extending more into left lateral precentral areas. There were no associations with functional property verification for living concepts. Our results provide strong support for anatomically separable representations of living and nonliving concepts, as well as visual feature knowledge of living objects, and against distributed accounts of semantic memory that view visual and functional features of living and nonliving objects as distributed across a common set of brain areas.

Native and modified chayotextle flour effect on functional property and cooking quality of spaghetti

2021 ◽  
Author(s):  
Sara M. Chavarría‐Fernández ◽  
J. De J. Berrios ◽  
James L. Pan ◽  
Priscila L.S. Alves ◽  
Heidi M. Palma‐Rodriguez ◽  
...  
Keyword(s):  
Functional Property ◽  
Cooking Quality

scholarly journals Increased sulphation improves the anticoagulant activities of heparan sulphate and dermatan sulphate

1987 ◽  
Vol 248 (3) ◽  
pp. 889-896 ◽  
Author(s):  
F A Ofosu ◽  
G J Modi ◽  
M A Blajchman ◽  
M R Buchanan ◽  
E A Johnson
Keyword(s):  
Functional Property ◽  
Heparan Sulphate ◽  
Dermatan Sulphate ◽  
Heparin Cofactor Ii ◽  
Comparable Amount ◽  
Important Functional Property ◽  
Sulphated Glycosaminoglycans ◽  
Catalytic Effects ◽  
Inhibition Of Thrombin

Heparan sulphate and dermatan sulphate have both antithrombotic and anticoagulant properties. These are, however, significantly weaker than those of a comparable amount of standard pig mucosal heparin. Antithrombotic and anticoagulant effects of glycosaminoglycans depend on their ability to catalyse the inhibition of thrombin and/or to inhibit the activation of prothrombin. Since heparan sulphate and dermatan sulphate are less sulphated than unfractionated heparin, we investigated whether the decreased sulphation contributes to the lower antithrombotic and anticoagulant activities compared with standard heparin. To do this, we compared the anticoagulant activities of heparan sulphate and dermatan sulphate with those of their derivatives resulphated in vitro. The ratio of sulphate to carboxylate in these resulphated heparan sulphate and dermatan sulphate derivatives was approximately twice that of the parent compounds and similar to that of standard heparin. Anticoagulant effects were assessed by determining (a) the catalytic effects of each glycosaminoglycan on the inhibition of thrombin added to plasma, and (b) the ability of each glycosaminoglycan to inhibit the activation of 125I-prothrombin in plasma. The least sulphated glycosaminoglycans were least able to catalyse the inhibition of thrombin added to plasma and to inhibit the activation of prothrombin. Furthermore, increasing the degree of sulphation improved the catalytic effects of glycosaminoglycans on the inhibition of thrombin by heparin cofactor II in plasma. The degree of sulphation therefore appears to be an important functional property that contributes significantly to the anticoagulant effects of the two glycosaminoglycans.

Compatible Equivalence Checking of X-Valued Circuits

2021 ◽  
Author(s):  
Yu-Neng Wang ◽  
Yun-Rong Luo ◽  
Po-Chun Chien ◽  
Ping-Lun Wang ◽  
Hao-Ren Wang ◽  
...  
Keyword(s):  
Equivalence Checking
Sign in / Sign up

Export Citation Format

Share Document