Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

Innate immune surveillance of spontaneous B cell lymphomas by natural killer cells and gamma delta T cells

Few studies have demonstrated that innate lymphocytes play a major role in preventing spontaneous tumor formation. We evaluated the development of spontaneous tumors in mice lacking beta-2 microglobulin (beta2m; and thus MHC class I, CD1d, and CD16) and/or perform, since these tumor cells would be expected to activate innate effector cells. Approximately half the cohort of perform gene-targeted mice succumbed to spontaneous disseminated B cell lymphomas and in mice that also lacked beta2m, the lymphomas developed earlier (by more than 100 d) and with greater incidence (84%). B cell lymphomas from perforin/beta2m gene-targeted mice effectively primed cell-mediated cytotoxicity and perform, but not IFN-gamma, IL-12, or IL-18, was absolutely essential for tumor rejection. Activated NK1.1(+) and gammadeltaTCR(+) T cells were abundant at the tumor site, and transplanted tumors were strongly rejected by either, or both, of these cell types. Blockade of a number of different known costimulatory pathways failed to prevent tumor rejection. These results reflect a critical role for NK cells and gammadeltaTCP(+) T cells in innate immune surveillance of B cell lymphomas, mediated by as yet undetermined pathway(s) of tumor recognition.

Stakeholders Theory and Theory of the Firm: a study on the hierarchy of objective-functions in Brazilian companies

Discussion opposing the Theory of the Firm to the Theory of Stakeholders are contemporaneous and polemical. One focal point of such debates refers to which objective-function companies, should choose, whether that of the shareholders or that of the stakeholders, and whether it is possible to opt for both simultaneously. Several empirical studies. have attempted-to test a possible correlation between both functions, and there has not been any consensus-so far. The objective of the present research is to examine a gap in such discussions: is there (or not) a subordination of the stakeholders` objective-function to that of the shareholders? The research is empirical,and analytical and employs quantitative methods. Hypotheses were tested and data analyzed by using non-parametrical (chi-square test) and parametrical procedures (frequency. correlation `coefficient). Secondary data was collected from he Economitica database and from the Brazilian Institute of Social and-Economic Analyses (IBASE) website, relative to public companies that have published their Social Balance Statements following the IBASE model from 1999 to 2006, whose sample amounted to 65 companies; In order to assess the objective-function of shareholders a proxy was created based on the following three indices: ROE (return on equity), EnterpriseValue and Tobin`s Q. In order to assess the objective-function of stakeholders a proxy was created by employing the following IBASE social balance indices: internal ones (ISI), external ones (ISE), and environmental ones (IAM). The results have shown no evidence of subordination of stakeholders` objective-function to that of the shareholders in analyzed companies, negating initial expectations and calling for deeper investigation of results. Its main conclusion, which states that the attempted subordination does not take place, is limited to the sample herein investigated and calls for ongoing research aiming at improvements which may lead to sample enlargement and, as a consequence, may make feasible the application of other statistical techniques which may yield a more thorough, analysis of the studied phenomehon.

On S-asymptotically omega-periodic functions on Banach spaces and applications

This paper is devoted to the study of the class of continuous and bounded functions f : [0, infinity] -> X for which exists omega > 0 such that lim(t ->infinity) (f (t + omega) - f (t)) = 0 (in the sequel called S-asymptotically omega-periodic functions). We discuss qualitative properties and establish some relationships between this type of functions and the class of asymptotically omega-periodic functions. We also study the existence of S-asymptotically omega-periodic mild solutions of the first-order abstract Cauchy problem in Banach spaces. (C) 2008 Elsevier Inc. All rights reserved.

Identification of a juvenile hormone esterase-like gene in the honey bee, Apis mellifera L. - Expression analysis and functional assays

Tight control over circulating juvenile hormone (JH) levels is of prime importance in an insect`s life cycle. Consequently, enzymes involved in JH metabolism, especially juvenile hormone esterases (JHEs), play major roles during metamorphosis and reproduction. In the highly eusocial Hymenoptera, JH has been co-opted into additional functions, primarily in the development of the queen and worker castes and in age-related behavioral development of workers. Within a set of 21 carboxylesterases predicted in the honey bee genome we identified one gene (Amjhe-like) that contained the main functional motifs of insect JHEs. Its transcript levels during larval development showed a maximum at the switch from feeding to spinning behavior, coinciding with a JH titer minimum. In adult workers, the highest levels were observed in nurse bees, where a low JH titer is required to prevent the switch to foraging. Functional assays showed that Amjhe-like expression is induced by JH-III and suppressed by 20-hydroxyecdysone. RNAi-mediated silencing of Amjhe-like gene function resulted in a six-fold increase in the JH titer in adult worker bees. The temporal profile of Amjhe-like expression in larval and adult workers, the pattern of hormonal regulation and the knockdown phenotype are consistent with the function of this gene as an authentic JHE. (C) 2008 Elsevier Inc. All rights reserved.

A note on S-asymptotically periodic functions

In [Haiyin Gao, Ke Wang, Fengying Wei, Xiaohua Ding, Massera-type theorem and asymptotically periodic Logistic equations, Nonlinear Analysis: Real World Applications 7 (2006) 1268-1283, Lemma 2.1] it is established that a scalar S-asymptotically to-periodic function (that is, a continuous and bounded function f : [0, infinity) -> R such that lim(t ->infinity)(f (t + omega) - f (t)) = 0) is asymptotically omega-periodic. In this note we give two examples to show that this assertion is false. (C) 2008 Elsevier Ltd. Ail rights reserved.

The effect of cholesterol on the reconstitution of alkaline phosphatase into liposomes

Tissue-nonspecific alkaline phosphatase (TNAP), present on the surface of chondrocyte- and osteoblast-derived matrix vesicles (MVs), plays key enzymatic functions during endochondral ossification. Many studies have shown that MVs are enriched in TNAP and also in cholesterol compared to the plasma membrane. Here we have studied the influence of cholesterol on the reconstitution of TNAP into dipalmitoylphosphatidylcholine (DPPC)-liposomes, monitoring the changes in lipid critical transition temperature (T(c)) and enthalpy variation (Delta H) using differential scanning calorimetry (DSC). DPPC-liposomes revealed a T(c) of 41.5 degrees C and Delta H of 7.63 Kcal mol(-1). The gradual increase in cholesterol concentration decrease Delta H values, reaching a Delta H of 0.87 Kcal mol(-1) for DPPC: cholesterol system with 36 mol% of cholesterol. An increase in T(c), up to 47 degrees C for the DPPC:cholesterol liposomes (36 mol% of Chol), resulted from the increase in the area per molecule in the gel phase. TNAP (0.02 mg/mL) reconstitution was done with protein:lipid 1:10,000 (molar ratio), resulting in 85% of the added enzyme being incorporated. The presence of cholesterol reduced the incorporation of TNAP to 42% of the added enzyme when a lipid composition of 36 mol% of Chol was used. Furthermore, the presence of TNAP in proteoliposomes resulted in a reduction in Delta H. The gradual proportional increase of cholesterol in liposomes results in broadening of the phase transition peak and eventually eliminates the cooperative gel-to-liquid-crystalline phase transition of phospholipids bilayers. Thus, the formation of microdomains may facilitate the clustering of enzymes and transporters known to be functional in MVs during endochondral ossification. (C) 2010 Elsevier B.V. All rights reserved.

How well does B-type natriuretic peptide predict death and cardiac events in patients with heart failure: systematic review

Objective To assess how well B-type natriuretic peptide (BNP) predicts prognosis in patients with heart failure. Design Systematic review of studies assessing BNP for prognosis m patients with heart failure or asymptomatic patients. Data sources Electronic searches of Medline and Embase from January 1994 to March 2004 and reference lists of included studies. Study selection and data extraction We included all studies that estimated the relation between BNP measurement and the risk of death, cardiac death, sudden death, or cardiovascular event in patients with heart failure or asymptomatic patients, including initial values and changes in values in response to treatment. Multivariable models that included both BNP and left ventricular ejection fraction as predictors were used to compare the prognostic value of each variable. Two reviewers independently selected studies and extracted data. Data synthesis 19 studies used BNP to estimate the relative risk of death or cardiovascular events in heart failure patients and five studies in asymptomatic patients. In heart failure patients, each 100 pg/ml increase was associated with a 35% increase in the relative risk of death. BNP was used in 35 multivariable models of prognosis. In nine of the models, it was the only variable to reach significance-that is, other variables contained no prognostic information beyond that of BNP. Even allowing for the scale of the variables, it seems to be a strong indicator of risk. Conclusion Although systematic reviews of prognostic studies have inherent difficulties, including die possibility of publication bias, the results of the studies in this review show that BNP is a strong prognostic indicator for both asymptomatic patients mid for patients with heart failure at all stages of disease.

Time flies with music whatever its emotional valence

The present study used a temporal bisection task to investigate whether music affects time estimation differently from a matched auditory neutral stimulus, and whether the emotional valence of the musical stimuli (i.e., sad vs. happy music) modulates this effect. The results showed that, compared to sine wave control music, music presented in a major (happy) or a minor (sad) key shifted the bisection function toward the right, thus increasing the bisection point value (point of subjective equality). This indicates that the duration of a melody is judged shorter than that of a non-melodic control stimulus, thus confirming that ""time flies"" when we listen to music. Nevertheless, sensitivity to time was similar for all the auditory stimuli. Furthermore, the temporal bisection functions did not differ as a function of musical mode. (C) 2010 Elsevier B.V. All rights reserved.

Activity of the medial prefrontal cortex and amygdala underlies one-trial tolerance of rats in the elevated plus-maze

The anxiolytic effects of benzodiazepines are reduced after a single exposure of rats to elevated plus-maze test (EPM). Midazolam showed an anxioselective profile in animals submitted to one session (T1) but did not change the usual exploratory behavior of rats exposed twice (T2) to the EPM. In this study we examined further the one-trial tolerance by performing a factor analysis of the exploratory behavior of rats injected with saline before both trials as well as an immunohistochemistry study for quantification of Fos expression in encephalic structures after these sessions. Factor analysis of all behavioral categories revealed that factor I consisted of anxiety-related categories in T1 whereas these same behavioral categories loaded on factor 2 in T2. Risk assessment was also dissociated as it loaded stronger on T2 (factor 3) than on T1 (factor 4). Locomotor activity in T1 loaded on factor 5. Immunohistochemistry analyses showed that Fos expression predominated in limbic structures in T1 group. The medial prefrontal cortex and amygdala were the main areas activated in T2 group. These data suggest that anxiety and risk assessment behaviors change their valence across the EPM sessions. T2 is characterized by the emergence of a fear factor, more powerful risk assessment and medial prefrontal cortex activation. The amygdala functions as a switch between the anxiety-like patterns of T1 to the cognitive control of fear prevalent in T2. The EPM retest session is proposed as a tool for assessing the cognitive activity of rodents in the control of fear. (c) 2007 Elsevier B.V. All rights reserved.

A New Family of Distance Functions for Perceptual Similarity Retrieval of Medical Images

A long-standing challenge of content-based image retrieval (CBIR) systems is the definition of a suitable distance function to measure the similarity between images in an application context which complies with the human perception of similarity. In this paper, we present a new family of distance functions, called attribute concurrence influence distances (AID), which serve to retrieve images by similarity. These distances address an important aspect of the psychophysical notion of similarity in comparisons of images: the effect of concurrent variations in the values of different image attributes. The AID functions allow for comparisons of feature vectors by choosing one of two parameterized expressions: one targeting weak attribute concurrence influence and the other for strong concurrence influence. This paper presents the mathematical definition and implementation of the AID family for a two-dimensional feature space and its extension to any dimension. The composition of the AID family with L (p) distance family is considered to propose a procedure to determine the best distance for a specific application. Experimental results involving several sets of medical images demonstrate that, taking as reference the perception of the specialist in the field (radiologist), the AID functions perform better than the general distance functions commonly used in CBIR.

Inhibition of NF kappa B leads to an intracellular reducing environment in human monocyte-derived immature dendritic cells

Inhibition of NFkB by the compound Bay 11–7082 (Bay) induces tolerogenic properties in dendritic cells (DC). While activation of NFkB can be induced by reactive oxygen species (ROS) and thiol/disulfide redox states, the consequences of NFkB blockade on ROS/redox state is not known. To generate immature DC, monocytes were cultured in GM-CSF and IL-4 (with or without Bay) for 48 h. Genes potentially involved in redox regulation were determined using microarray technology and validated using FACS, real-time PCR or western blotting. ROS were measured using two fluorescent dyes DHR-123 and DHE (to detect H2O2 or O2 respectively). We found increased expression of genes associated with reductants such as thioredoxin reductase (TrxR1) and glutathione (GSH), although those associated with the breakdown of H2O2 such as glutathione peroxidase, peroxiredoxins and catalase were decreased. Interestingly, Bay-treated DC produced less ROS in comparison to control DC under basal conditions and following stimulation with various pro-oxidants. In conclusion, Bay-treated DC display not only tolerogenic properties but also an intracellular reducing environment and an impaired ability to produce ROS. We are currently investigating whether exogenous ROS can interfere with the tolerogenic properties of Bay-treated DC.

B, NK and NKT cells contribute to suppression of immunity by dendritic cells

Among the population of antigen presenting cells, dendritic cells (DCs) are considered the sentinels of the immune system. Besides activating naı¨ ve T cells, DC can directly activate naı¨ ve and memory B cells and are also able to regulate effectors of innate immunity such as NK cells and NKT cells. Increasing evidence indicates that DCs are not only decisive for T cell priming, but are also key players to maintain self-tolerance in vivo. Previous results in our lab have shown that DCs treated with a pharmacological NFkB inhibitor (BAY11–7082) confer suppression to a previously immune response. This suppression was IL-10 dependent and results from the induction of Ag specific CD4+ regulatory T cells. To elucidate the mechanism of suppression induced by administration of Bay treated DC, we used a model of infectious tolerance transfer from DC treated mice to primed recipient mice. Our results show that both CD4 + splenic cells and non T cells from animals injected with Bay treated DC, but not from untreated DC, were capable of transferring the suppression. Moreover, sorted B cells and NK cells could transfer antigenspecific infectious tolerance after administration of Bay treated DC. In addition, this suppressive effect could not be seen either in mice depleted of NK cells nor in NKT deficient mice. These observations highlight the role of several immune cells in the maintenance of tolerance, and impact on the design of immunotherapeutic suppression of autoimmune diseases in which NKT cells are deficient or defective, such as diabetes and lupus.