Finite-tree analysis for constraint logic-based languages

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can provide very efficient representations of grammars and other useful objects). Unfortunately, the use of infinite rational trees has problems. For instance, many of the built-in and library predicates are ill-defined for such trees and need to be supplemented by run-time checks whose cost may be significant. Moreover, some widely used program analysis and manipulation techniques are correct only for those parts of programs working over finite trees. It is thus important to obtain, automatically, a knowledge of the program variables (the finite variables) that, at the program points of interest, will always be bound to finite terms. For these reasons, we propose here a new data-flow analysis, based on abstract interpretation, that captures such information. We present a parametric domain where a simple component for recording finite variables is coupled, in the style of the open product construction of Cortesi et al., with a generic domain (the parameter of the construction) providing sharing information. The sharing domain is abstractly specified so as to guarantee the correctness of the combined domain and the generality of the approach. This finite-tree analysis domain is further enhanced by coupling it with a domain of Boolean functions, called finite-tree dependencies, that precisely captures how the finiteness of some variables influences the finiteness of other variables. We also summarize our experimental results showing how finite-tree analysis, enhanced with finite-tree dependencies, is a practical means of obtaining precise finiteness information.     

Inverse Analysis of Impact Test Data: Experimental Study on Polymeric Materials Displaying Brittle Behaviour

This paper deals with the influence of the testing equipment on impact load measurements. A previously developed method of analysis and processing of the experimental data based on a refined analogical model of the impact event and inverse problem techniques is used. This method makes it possible to obtain the mechanical response of the material, notwithstanding the disturbance of the dynamic effects associated to the test. Results from tests carried out both on falling weight and swing pendulum instrumented testing machines are compared. It is shown that this method can give an accurate estimation of the actual bending force in impact testing independent of the testing equipment.     

Neural Gate Keeping: The Role of Interhemispheric Interactions in Resource Allocation and Selective Filtering.

The corpus callosum has been proposed to contribute to attention by modulating resource allocation between the hemispheres and filtering interhemispheric signal transmission (M. T. Banich, 1998). The resource allocation hypothesis predicts that interhemispheric interactions become more advantageous with increasing resource demands. The selective filtering hypothesis predicts that interhemispheric interactions become less advantageous as filtering requirements increase. The authors tested both predictions by comparing within- and across-hemisphere letter matching under dual-task (Experiment 1) and selective attention conditions (Experiment 2). Task-specific resource demands (i.e., letter processing load) alter the bihemispheric advantage, but the general demand imposed by an unrelated secondary task does not. Filtering requirements influenced the advantage from interhemispheric interactions, providing new evidence for the role of the corpus callosum in selective attention. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Parent and Child Psychological Factors in Pediatric Syncope and Other Somatic Symptoms.

The authors examined associations among parental and child adjustment, child syncope, somatic, and school problems. Participants were children (N = 56) ages 7-18 years with syncope. Measures included syncope severity, parental distress, and children's internalizing symptoms. For children diagnosed negative for neurocardiogenic syncope (NCS), their fathers' and their own psychological symptoms were positively associated with the severity of syncope, whereas their mothers' functioning was negatively associated with the severity of syncope. Also, for the negative NCS group, fathers' psychological functioning was associated with children's nonsyncope somatic complaints but not with their school problems. For the positive NCS group, few significant father-child associations were found, but several significant positive associations were revealed between mothers' psychological symptoms and their children's syncope as well as somatic and school problems. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Assessing Interactive Causal Influence.

The discovery of conjunctive causes--factors that act in concert to produce or prevent an effect--has been explained by purely covariational theories. Such theories assume that concomitant variations in observable events directly license causal inferences, without postulating the existence of unobservable causal relations. This article discusses problems with these theories, proposes a causal-power theory that overcomes the problems, and reports empirical evidence favoring the new theory. Unlike earlier models, the new theory derives (a) the conditions under which covariation implies conjunctive causation and (b) functions relating observable events to unobservable conjunctive causal strength. This psychological theory, which concerns simple cases involving 2 binary candidate causes and a binary effect, raises questions about normative statistics for testing causal hypotheses regarding categorical data resulting from discrete variables. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

A Task Model to Reduce Control Delays

Industrial control applications are usually developed in two phases: control design and real-time system implementation. In the control design stage a regulator is obtained and later it is translated into an algorithm in the implementation phase. Traditionally, these two phases have been developed in separate ways. Recently, some works have pointed out the necessity of the integration of the control design and its implementation. One of these works reduce the delay variance of control tasks (defined as the control action interval (CAI) and data acquisition interval (DAI) parameters) splitting every task into three parts. The CAI reduction method highly reduces the delay variance and improves the control performance. This work shows how to evaluate these delays under static and dynamic scheduling policies. A new task model is proposed in order to reduce the CAI and DAI parameters, which implies an improvement in the control performance. The new task model will be implemented in a real process, and the experimental measurements will show how, effectively, the control performance is highly improved with the methods presented in this paper.     

Behavioral medicine, clinical health psychology, and cost offset.

The use of medical services is a function of several interacting psychological and social variables as well as a function of physical malfunction. The clinical significance of addressing patients' psychosocial issues has only occasionally been considered. However, the shift in health care economics toward health care maintenance is responsible for the increased interest in interventions in the domain of behavioral medicine and health psychology. Evidence is reviewed for 6 mechanistic pathways by which behavioral interventions can maximize clinical care and result in significant economic benefits. The rationale for further integration of behavioral and biomedicine interventions is also reviewed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Trencher operator seating positions. A simple ergonomic assessment of two styles of layout

A comparison of two different styles of operator position in a trencher were compared using biomechanical principles and a field survey. A major postural difference between the two styles is the amount of time spent by the operators looking to the rear of their seated position. This was confirmed by a simple experiment. The style of position used in the skid steer type of trencher, facing the working tool, was found to be significantly better than the traditional fore-aft tractor style configuration.     

Near-Complete Remission of Glioblastoma in a Patient Treated with an Allogenic Dendritic Cell-Based Vaccine: The Role of Tumor-Specific CD4+T-Cell Cytokine Secretion Pattern in Predicting Response and Recurrence

Immunotherapy has brought hope to the fight against glioblastoma, but its efficacy remains unclear. We present the case of CST, a 25-year-old female patient with a large right-hemisphere glioblastoma treated with a dendritic–tumor cell fusion vaccine. CST showed a near-complete tumor response, with a marked improvement in her functional status and simultaneous increases in tumor-specific CD8+ and CD4+ T cells. Two months before recurrence, the frequency of tumor-specific T cells decreased, while that of IL-17 and CD4+ T cells increased. CST passed away 15 months after enrollment. In this illustrative case, the tumor-specific CD4+ T-cell numbers and phenotype behaved as treatment efficacy biomarkers, highlighting the key role of the latter in glioblastoma immunotherapy.     

Impact of Zinc on Oxidative Signaling Pathways in the Development of Pulmonary Vasoconstriction Induced by Hypobaric Hypoxia

Hypobaric hypoxia is a condition that occurs at high altitudes (>2500 m) where the partial pressure of gases, particularly oxygen (PO₂), decreases. This condition triggers several physiological and molecular responses. One of the principal responses is pulmonary vascular contraction, which seeks to optimize gas exchange under this condition, known as hypoxic pulmonary vasoconstriction (HPV); however, when this physiological response is exacerbated, it contributes to the development of high-altitude pulmonary hypertension (HAPH). Increased levels of zinc (Zn²⁺) and oxidative stress (known as the “ROS hypothesis”) have been demonstrated in the vasoconstriction process. Therefore, the aim of this review is to determine the relationship between molecular pathways associated with altered Zn²⁺ levels and oxidative stress in HPV in hypobaric hypoxic conditions. The results indicate an increased level of Zn²⁺, which is related to increasing mitochondrial ROS (mtROS), alterations in nitric oxide (NO), metallothionein (MT), zinc-regulated, iron-regulated transporter-like protein (ZIP), and nicotinamide adenine dinucleotide phosphate (NADPH) oxidase-induced protein kinase C epsilon (PKCε) activation in the development of HPV. In conclusion, there is an association between elevated Zn²⁺ levels and oxidative stress in HPV under different models of hypoxia, which contribute to understanding the molecular mechanism involved in HPV to prevent the development of HAPH.