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.

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.

Use of bulk density profiles from X-radiography to examine structural crust models

Exponential and sigmoidal functions have been suggested to describe the bulk density profiles of crusts. The present work aims to evaluate these conceptual models using high resolution X-radiography. Repacked seedbeds from two soil materials, air-dried or prewetted by capillary rise, were subjected to simulated rain, which resulted in three types of structural crusts, namely, slaking, infilling, and coalescing. Bulk density distributions with depth were generated using high-resolution (70 mum), calibrated X-ray images of slices from the resin-impregnated crusted seedbeds. The bulk density decreased progressively with depth, which supports the suggestion that a crust should be considered as a nonuniform layer. For the slaking and the coalescing crusts, the exponential function underestimated the strong change in bulk density across the morphologically defined transition between the crust and the underlying material; the sigmoidal function provided a better description. Neither of these crust models effectively described the shape of the bulk density profiles through the whole seedbed. Below the infilling and slaking crusts, bulk density increased linearly with depth as a result of slumping. In the coalescing crusted seedbed, the whole seedbed uniformly collapsed and most of the bulk density change within the crust could be ascribed to slumping (0.33 g cm(-3)) rather than to crusting (0.12 g cm(-3)). Finally, (i) X-radiography appears as a unique tool to generate high resolution bulk density profiles and (ii) in structural crusts, bulk density profiles could be modeled using the existing exponential and sigmoidal crusting models, provided a slumping model would be coupled.

Modelling the Distribution of Ischaemic Stroke-Specific Survival Time Using an EM-based Mixture Approach with Random Effects Adjustment

A two-component survival mixture model is proposed to analyse a set of ischaemic stroke-specific mortality data. The survival experience of stroke patients after index stroke may be described by a subpopulation of patients in the acute condition and another subpopulation of patients in the chronic phase. To adjust for the inherent correlation of observations due to random hospital effects, a mixture model of two survival functions with random effects is formulated. Assuming a Weibull hazard in both components, an EM algorithm is developed for the estimation of fixed effect parameters and variance components. A simulation study is conducted to assess the performance of the two-component survival mixture model estimators. Simulation results confirm the applicability of the proposed model in a small sample setting. Copyright (C) 2004 John Wiley Sons, Ltd.

Organization, evolution and transcriptional profile of hexamerin genes of the parasitic wasp Nasonia vitripennis (Hymenoptera: Pteromalidae)

Hexamerins and prophenoloxidases (PPOs) proteins are members of the arthropod-haemocyanin superfamily. In contrast to haemocyanin and PPO, hexamerins do not bind oxygen, but mainly play a role as storage proteins that supply amino acids for insect metamorphosis. We identified seven genes encoding hexamerins, three encoding PPOs, and one hexamerin pseudogene in the genome of the parasitoid wasp Nasonia vitripennis. A phylogenetic analysis of hexamerins and PPOs from this wasp and related proteins from other insect orders suggests an essentially order-specific radiation of hexamerins. Temporal and spatial transcriptional profiles of N. vitripennis hexamerins suggest that they have physiological functions other than metamorphosis, which are arguably coupled with its lifestyle.

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.

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.

Finite-temperature correlations and density profiles of an inhomogeneous interacting one-dimensional Bose gas

We calculate the density profiles and density correlation functions of the one-dimensional Bose gas in a harmonic trap, using the exact finite-temperature solutions for the uniform case, and applying a local density approximation. The results are valid for a trapping potential that is slowly varying relative to a correlation length. They allow a direct experimental test of the transition from the weak-coupling Gross-Pitaevskii regime to the strong-coupling, fermionic Tonks-Girardeau regime. We also calculate the average two-particle correlation which characterizes the bulk properties of the sample, and find that it can be well approximated by the value of the local pair correlation in the trap center.

Local inflammation is crucial for T cell mediated rejection of skin graft expressing foreign antigen

Most of the skin grafts from (K14hGH.FVB C57BL/6) F1 mice, which express foreign antigen (human growth hormone, hGH) in skin keratinocytes driven by keratin 14 promoter, were spontaneously rejected by syngeneic wild type F1 recipients and hGH-specific immune responses such as antibody and hGHspecific T cells were generated in these recipients. Interestingly, a 2nd F1 hGH-expressing skin graft was rejected by graft primed recipients, but was not rejected from such recipients if CD4+ or CD8+ T cells were depleted prior to the placement of the 2nd graft. Surprisingly, this 2nd graft retained healthy even after CD4+ or CD8+ T cells were allowed to recover so that the animal could reject a freshly placed 3rd F1 hGH-expressing graft. Furthermore, inflammatory response induced by topical treatment with imiquimod could lead to the rejection of some well-healed 2nd grafts. This result indicates that both CD4+ and CD8+ T cells are required for the rejection and the ability of effector T cells to reject a graft is determined by local factors in the graft which are presumably determined by inflammation induced by surgery or imiquimod treatment. Taken together, our results suggest that in addition to CD4+ and CD8+ T cells, local environmental factors induced by inflammation are also crucial for effector T cell functions leading to graft destruction. The understanding of these local factors will lead to more effective immunotherapy for established, epithelial cancer in the future.

Functional MR Imaging of visuo-spatial network in Autism Spectrum Disorder

Individuals with Autism Spectrum Disorder (ASD) are generally thought to have impaired attentional and executive function upon which all their cognitive and behaviour functions are based. Mental Rotation is a recognized visuo-spatial task, involving spatial working memory, known to involve activation in the fronto-parietal networks. To elucidate the functioning of fronto-parietal networks in ASD, the aim of this study was to use fMRI techniques with a mental rotation task, to characterize the underlying functional neural system. Sixteen male participants (seven highfunctioning autism or Asperger's syndrome; nine ageand performance IQ-matched controls) underwent fMRI. Participants were presented with 18 baseline and 18 rotation trials, with stimuli rotated 3- dimensionaUy (45°-180°). Data were acquired on a 3- Tesla scanner. The most widely accepted area reported to be involved in processing of visuo-spatial information. Posterior Parietal Cortex, was found to be activated in both groups, however, the ASD group showed decreased activation in cortical and subcortical frontal structures that are highly interconnected, including lateral and medial Brodmann area 6, frontal eye fields, caudate, dorsolateral prefrontal cortex and anterior cingulate. The suggested connectivity between these regions indicates that one or more circuits are impaired as a result of the disorder. In future it is hoped that we are able to identify the possible point of origin of this dysfunction, or indeed if the entire network is dysfunctional.

A family of perfect hashing methods

Minimal perfect hash functions are used for memory efficient storage and fast retrieval of items from static sets. We present an infinite family of efficient and practical algorithms for generating order preserving minimal perfect hash functions. We show that almost all members of the family construct space and time optimal order preserving minimal perfect hash functions, and we identify the one with minimum constants. Members of the family generate a hash function in two steps. First a special kind of function into an r-graph is computed probabilistically. Then this function is refined deterministically to a minimal perfect hash function. We give strong theoretical evidence that the first step uses linear random time. The second step runs in linear deterministic time. The family not only has theoretical importance, but also offers the fastest known method for generating perfect hash functions.