Regression via ordinary least squares (OLS) is a commonly applied statistical technique in political science. However, when the dependent variable is dichotomous (0-1) rather than continuous, ordinary least squares becomes an inefficient estimation technique, and the underlying linear probability model (LPM) that is being estimated represents a poor apriori choice of model specification (Aldric...

Cyril Hardy Nelson Sutherland nació en la ciudad de La Ceiba, el departamento Atlántida, Honduras, cual se encuentra ubicado costa del mar Caribe, un 30 julio 1938. Su madre, señora Eugenia Sutherland, fue una maestra inglés y piano, mientras su padre, Sr. Astor Nelson, empleado United Fruit Company Tibombo, aldea Lima, Cortés. Sus hijos: Karen Roy Rosa Belinda Julio Alfredo Nelson. última espo...

OPCAB surgery in obese patients is associated with reduced in-hospital morbidity and mortality rates when compared with conventional surgery with CPB and cardioplegic arrest w12x. In addition, there is compelling evidence that OPCAB surgery is associated with reduced circulating levels of inflammatory mediators, such as interleukin-8, which may have important practical implications because of t...

A HOL implementation of Nelson and Oppen's technique for combining decision procedures is described. The principal advantage of this technique is that the procedures for the component theories (e.g. linear arithmetic, lists, uninterpreted function symbols) remain separate. Equations between two variables are the only information that need be communicated between them. Thus, code for deciding th...

There is a well known interplay between the study of algebraic varieties and propositional calculus of various logics. Prime examples of this are boolean algebras and classical logic, and Heyting algebras and intuitionistic logic. After the class of Heyting algebras was generalized to the semi-Heyting algebras by H. Sankappanavar in [San08], its logic counterpart was developed by one of us in [...