The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Mathematical constraints on a theory of human memory - Response

Colonius suggests that, in using standard set theory as the language in which to express our computational-level theory of human memory, we would need to violate the axiom of foundation in order to express meaningful memory bindings in which a context is identical to an item in the list. We circumvent Colonius's objection by allowing that a list item may serve as a label for a context without being identical to that context. This debate serves to highlight the value of specifying memory operations in set theoretic notation, as it would have been difficult if not impossible to formulate such an objection at the algorithmic level.

Odorant-induced currents in intact patches from rat olfactory receptor neurons: Theory and experiment

Odorant-induced currents in mammalian olfactory receptor neurons have proved difficult to obtain reliably using conventional whole-cell recording. By using a mathematical model of the electrical circuit of the patch and rest-of-cell, we demonstrate how cell-attached patch measurements can be used to quantitatively analyze responses to odorants or a high (100 mM) K+ solution. High K+ induced an immediate current flux from cell to pipette, which was modeled as a depolarization of similar to 52 mV, close to that expected from the Nernst equation (56 mV), and no change in the patch conductance. By contrast, a cocktail of cAMP-stimulating odorants induced a current flux from pipette into cell following a significant (4-10 s) delay. This was modeled as an average patch conductance increase of 36 pS and a depolarization of 13 mV, Odorant-induced single channels had a conductance of 16 pS. In cells bathed with no Mg2+ and 0.25 mM Ca2+, odorants induced a current flow from cell to pipette, which was modeled as a patch conductance increase of similar to 115 pS and depolarization of similar to 32 mV, All these results are consistent with cAMP-gated cation channels dominating the odorant response, This approach, which provides useful estimates of odorant-induced voltage and conductance changes, is applicable to similar measurements in any small cells.

Bone marrow cell therapy prevents infarct expansion and improves border zone remodeling after coronary occlusion in rats

Background: Since the cell therapy benefits for myocardial infarction are mainly related to infarct reduction by regenerating lost myocardium or increasing survival of tissues at risk, we evaluated the effects of bone marrow-derived mononuclear cells (MNC), implanted after the completion of necrosis, on infarct progression and cardiac remodeling. Methods: After 48 h of induction of myocardial infarction (MI), Lewis-inbred rats were injected with 6 x 10(6) cells (MI + MNC) or saline (MI). After six weeks, scar dimension, ventricular morphology and function were analyzed by echocardiography followed by histomorphology of the infarcted and border zones. Results: After therapy, the relative size of the infarct was smaller in MI + MNC (37 +/- 1% of the left ventricle) than in MI (43 +/- 1%). While the MI group exhibited parallel elongation of the infarcted (31.6 +/- 3.8% increase) and reminiscent ventricular portions (33.5 +/- 3.7%), MNC therapy preserved the initial infarct length. Infarcted walls were thicker (979 +/- 31 mm) in the MNC group than in the untreated group (709 +/- 41 mm), also demonstrating an absence of infarct expansion. In the border zones, MNC led to increased capillary densities and capillary/myocyte ratios. The cardiac systolic function remained depressed in MI, but improved by 19 +/- 5% in MI + MNC which reduced the incidence of pulmonary arterial hypertension (37.5% in MI and 6.25% in MI + MNC). Conclusion: MNC therapy prevented the infarct expansion and thinning related to cardiac remodeling and was associated with an improvement of border zone microcirculation: as a result, MNC therapy reduced typical MI dysfunctional repercussions. (C) 2009 Elsevier Ireland Ltd. All rights reserved.

Social rules and attributions in the personnel selection interview

The study investigated the social rules applicable to selection interviews, and the attributions ions made by interviewers in response to rule-breaking behaviours by candidates. Sixty personnel specialists (31 males and 29 females) participated in the main study which examined their perceptions of social rules and attributions about rule breaking in their work experience. They listened to audiotapes of actual selection interviews, and made judgments about hireability communication competence, and specific social rules. Results indicated that interview rules could be categorized into two groups: specific interview presentation skills and general interpersonal competence. While situational attributions were more salient in explaining the breaking of general interpersonal competence rules, internal attributions (ability, effort) were more salient explanations for the breaking of more specific interview rules (with the exception of the preparation rule where lack of effort was the most likely explanation for rule breaking). Candidates previously judged as competent communicators were rated more favourably on both global and specific measures of rule-following competence, as well as on hireability. The theoretical and practical implications of combining social rules and attribution theory in the study of selection interviews are discussed.

A mathematical model for Escherichia coli debris size reduction during high pressure homogenisation based on grinding theory

Experimental data for E. coli debris size reduction during high-pressure homogenisation at 55 MPa are presented. A mathematical model based on grinding theory is developed to describe the data. The model is based on first-order breakage and compensation conditions. It does not require any assumption of a specified distribution for debris size and can be used given information on the initial size distribution of whole cells and the disruption efficiency during homogenisation. The number of homogeniser passes is incorporated into the model and used to describe the size reduction of non-induced stationary and induced E. coil cells during homogenisation. Regressing the results to the model equations gave an excellent fit to experimental data ( > 98.7% of variance explained for both fermentations), confirming the model's potential for predicting size reduction during high-pressure homogenisation. This study provides a means to optimise both homogenisation and disc-stack centrifugation conditions for recombinant product recovery. (C) 1997 Elsevier Science Ltd.

Children's cooperative behavior and interactions in trained and untrained work groups in regular classrooms

This study examined group and individual factors that facilitate changes in cooperation and learning outcomes in trained and untrained work groups of elementary school-age children. The study had two foci. The first was to determine if the cooperative behaviors and interactions of children in classroom groups who were trained in cooperative learning skins were different from those of children who were given no training, and the second was to investigate small group interactions and achievement in these groups over time. The results showed that there were observable differences between student interactions in the two conditions and these differences were maintained over time. Compared with children in the untrained groups, those in the trained groups were consistently more cooperative and helpful to each other; they actively tried to involve each other in the learning task by using language which was more inclusive (e.g., frequent use of ''we''), and they gave more explanations to assist each other as they worked together. It appeared that as the children worked together over time, they became more responsive to the learning needs of each other. Furthermore, the children in the trained groups performed significantly better on the learning outcomes questionnaire than those in the untrained groups. (C) 1997 Society for the Study of School Psychology. Published by Elsevier Science Ltd.

An ergonomic approach to reorganize parking inspection agents` work productivity, health and safety in Sao Paulo, Brazil

Objective: The Traffic Engineering Company of the City of Sao Paulo (Brazil) observed a decrease in productivity, and an increase in sick leave, accidents and psychological distress among their parking inspection agents. To document this situation, qualitative research was undertaken to obtain an in-depth comprehension of work activity. Participants: Workers, managers and health and safety professionals contributed to the documentation of the problem and to the proposal of possible solutions. Methods: Ergonomic work analysis focusing on real work activity, as well as interviews with individual or groups of stakeholders, were conducted. Results: This research revealed that political-economic factors gradually contributed to: 1) an increasing work load; 2) growing fatigue throughout the day, increasing the workers` vulnerability to incidents and accidents and their tendency to react inappropriately to violence experienced on the street; and 3) excessive individual responsibility to manage dangerous situations. Conclusions: Recommendations to ameliorate the situation are proposed. These suggestions are discussed in terms of feasibility given the impact of macro social factors upon micro work activity, and the associated potential expansion of the ergonomist`s role.