A HIERARCHICAL REASONING SYSTEM FOR AUTOMATIC PROGRAM PARALLELIZATION

Automatic parallelization of large and complex program regions requires the compiler to reason about complex semantic information. This paper describes a hierarchical reasoning system implemented within the Panorama parallelizing compiler. This reasoning system intelligently and efficiently extracts useful semantic information in the form of first-order predicates from program statements. It uses a hierarchical structure to represent the predicates, which enables fast determination of their truth in common cases. A hierarchical value graph facilitates rule-based, demand-driven retrieval of useful predicates.

Download Full-text

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

Behavioral and Brain Sciences ◽

10.1017/s0140525x19000451 ◽

2019 ◽

Vol 42 ◽

Author(s):

Daniel J. Povinelli ◽

Gabrielle C. Glorioso ◽

Shannon L. Kuznar ◽

Mateja Pavlic

Keyword(s):

Temporal Reasoning ◽

Higher Order ◽

Important Case ◽

Human Cognition ◽

Relational Reasoning ◽

Dual Systems ◽

First Order ◽

Reasoning System ◽

Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Download Full-text

Antithrombin-mediated Inhibition of Factor Vlla-Tissue Factor Complex by the Synthetic Pentasaccharide Representing the Heparin Binding Site to Antithrombin

Thrombosis and Haemostasis ◽

10.1055/s-0038-1650512 ◽

1996 ◽

Vol 76 (01) ◽

pp. 005-008 ◽

Cited By ~ 22

Author(s):

Jean Claude Lormeau ◽

Jean Pascal Herault ◽

Jean Marc Herbert

Keyword(s):

Binding Site ◽

Tissue Factor ◽

Residual Activity ◽

Coagulation Factors ◽

Heparin Binding ◽

Experimental Conditions ◽

First Order ◽

Heparin Binding Site ◽

Coagulant Activity

SummaryWe examined the effect of the synthetic pentasaccharide representing the minimal binding site of heparin to antithrombin on the antithrombin-mediated inactivation of factor Vila bound to tissue factor. This effect was compared to the effect of unfractionated heparin. Using purified recombinant human coagulation factors and either a clotting or an amidolytic assay for the determination of the residual activity of factor Vila, we showed that the pentasaccharide was an efficient antithrombin-dependent inhibitor of the coagulant activity of tissue factor-factor Vila complex. In our experimental conditions, assuming a mean MW of 14,000 for heparin, the molar pseudo-first order rate constants for ATIII-mediated FVIIa inhibition by ATIII-binding heparin and by the synthetic pentasaccharide were found to be similar with respective values of 104,000 ± 10,500 min-1 and 112,000 ± 12,000 min-1 (mean ± s.e.m., n = 3)

Download Full-text

Statistical method of steepest improvement of response

Industrial laboratory Diagnostics of materials ◽

10.26896/1028-6861-2018-84-11-74-87 ◽

2018 ◽

Vol 84 (11) ◽

pp. 74-87

Author(s):

V. B. Bokov

Keyword(s):

Statistical Method ◽

Linear Model ◽

Response Prediction ◽

Initial Experiment ◽

First Order ◽

Prediction Response ◽

Conditional Extremum ◽

Order Polynomial ◽

Limiting Values

A new statistical method for response steepest improvement is proposed. This method is based on an initial experiment performed on two-level factorial design and first-order statistical linear model with coded numerical factors and response variables. The factors for the runs of response steepest improvement are estimated from the data of initial experiment and determination of the conditional extremum. Confidence intervals are determined for those factors. The first-order polynomial response function fitted to the data of the initial experiment makes it possible to predict the response of the runs for response steepest improvement. The linear model of the response prediction, as well as the results of the estimation of the parameters of the linear model for the initial experiment and factors for the experiments of the steepest improvement of the response, are used when finding prediction response intervals in these experiments. Kknowledge of the prediction response intervals in the runs of steepest improvement of the response makes it possible to detect the results beyond their limits and to find the limiting values of the factors for which further runs of response steepest improvement become ineffective and a new initial experiment must be carried out.

Download Full-text

Development of first-order Derivative Spectrophotometry for Simultaneous Determination of Domperidone and Ilaprazole

International Journal of Pharmaceutical Research ◽

10.31838/ijpr/2020.12.01.258 ◽

2020 ◽

Vol 12 (01) ◽

Keyword(s):

Simultaneous Determination ◽

Derivative Spectrophotometry ◽

Order Derivative ◽

First Order

Download Full-text

Development and Validation of Derivative Spectroscopic Method for Simultaneous Estimation of Cefadroxil and Probenecid

International Journal of Pharmaceutical Sciences and Nanotechnology ◽

10.37285/ijpsn.2014.7.1.6 ◽

2014 ◽

Vol 7 (1) ◽

pp. 2350-2355

Author(s):

Pratik S Mehta ◽

Pratik R. Patel ◽

Rajesh R Parmar ◽

M M K Modasiya ◽

Dushyant A Shah

Keyword(s):

Spectroscopic Method ◽

Spectral Interference ◽

Synthetic Mixture ◽

Simultaneous Estimation ◽

Zero Crossing ◽

First Order ◽

Derivative Spectroscopy ◽

Development And Validation ◽

Crossing Point

A novel, simple, accurate, sensitive, precise and economical derivative spectroscopic method was developed and validated for the determination of cefadroxil and probenecid in synthetic mixture. First order derivative spectroscopy method was adopted to eliminate spectral interference. The method obeys Beer’s Law in concentration ranges of 4-36 μg/ml for cefadroxil and of 5-25 μg/ml of probenecid. The zero crossing point for cefadroxil and probenecid was 260 nm and 237.8 nm respectively in 0.1N HCl. The method was validated in terms of accuracy, precision, linearity, limits of detection, limits of quantitation. This method has been successively applied to synthetic mixture and no interference from the synthetic mixture’s excipients was found.

Download Full-text