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.

Non-linear pathways of corporate environmental management: a survey of ISO 14001-certified companies in Brazil

A study was conducted to verify whether the theory on the evolution of corporate environmental management (CEM) is applicable to organizations located in Brazil. Some of the most important proposals pertaining to the evolution of CEM were evaluated in a systematic fashion and integrated into a typical theoretical framework containing three evolutionary stages: reactive, preventive and proactive. The validity of this framework was tested by surveying 94 companies located in Brazil with ISO 14001 certification. Results indicated that the evolution of CEM tends to occur in a manner that is counter to what has generally been described in the literature. Two evolutionary stages were identified: 1) synergy for eco-efficiency and 2) environmental legislation view, which combine variables that were initially categorized into different theoretical CEM stages. These data, obtained from a direct study of Brazilian companies, suggest that the evolution of environmental management in organizations tends to occur in a non-linear fashion, requiring a re-analysis of traditional perceptions of CEM development, as suggested by Kolk and Mauser (2002). (C) 2010 Elsevier Ltd. All rights reserved.

Utilizing encoding in scalable linear optics quantum computing

We present a scheme which offers a significant reduction in the resources required to implement linear optics quantum computing. The scheme is a variation of the proposal of Knill, Laflamme and Milburn, and makes use of an incremental approach to the error encoding to boost probability of success.

Modeling volatile organic compounds (voc`s) adsorption onto cup-stacked carbon nanotubes (cscnt) using the linear driving force model

Modeling volatile organic compounds (voc`s) adsorption onto cup-stacked carbon nanotubes (cscnt) using the linear driving force model. Volatile organic compounds (VOC`s) are an important category of air pollutants and adsorption has been employed in the treatment (or simply concentration) of these compounds. The current study used an ordinary analytical methodology to evaluate the properties of a cup-stacked nanotube (CSCNT), a stacking morphology of truncated conical graphene, with large amounts of open edges on the outer surface and empty central channels. This work used a Carbotrap bearing a cup-stacked structure (composite); for comparison, Carbotrap was used as reference (without the nanotube). The retention and saturation capacities of both adsorbents to each concentration used (1, 5, 20 and 35 ppm of toluene and phenol) were evaluated. The composite performance was greater than Carbotrap; the saturation capacities for the composite was 67% higher than Carbotrap (average values). The Langmuir isotherm model was used to fit equilibrium data for both adsorbents, and a linear driving force model (LDF) was used to quantify intraparticle adsorption kinetics. LDF was suitable to describe the curves.

The influence of oscillations on global existence for a class of semi-linear wave equations

The goal of this paper is to study the global existence of small data solutions to the Cauchy problem for the nonlinear wave equation u(tt) - a(t)(2) Delta u = u(t)(2) - a(t)(2)vertical bar del u vertical bar(2). In particular we are interested in statements for the 1D case. We will explain how the interplay between the increasing and oscillating behavior of the coefficient will influence global existence of small data solutions. Copyright c 2011 John Wiley & Sons, Ltd.

Assessment of the differential linear coherent scattering coefficient of biological samples

New differential linear coherent scattering coefficient, mu(CS), data for four biological tissue types (fat pork, tendon chicken, adipose and fibroglandular human breast tissues) covering a large momentum transfer interval (0.07 <= q <= 70.5 nm(-1)), resulted from combining WAXS and SAXS data, are presented in order to emphasize the need to update the default data-base by including the molecular interference and the large-scale arrangements effect. The results showed that the differential linear coherent scattering coefficient demonstrates influence of the large-scale arrangement, mainly due to collagen fibrils for tendon chicken and fibroglandular breast samples, and triacylglycerides for fat pork and adipose breast samples at low momentum transfer region. While, at high momentum transfer, the mu(CS) reflects effects of molecular interference related to water for tendon chicken and fibroglandular samples and, fatty acids for fat pork and adipose samples. (C) 2009 Elsevier B.V. All rights reserved.

Response programming in dementia of the Alzheimer type: A kinematic analysis

Although planning is important for the functioning of patients with dementia of the Alzheimer Type (DAT), little is known about response programming in DAT. This study used a cueing paradigm coupled with quantitative kinematic analysis to document the preparation and execution of movements made by a group of 12 DAT patients and their age and sex matched controls. Participants connected a series of targets placed upon a WACOM SD420 graphics tablet, in response to the pattern of illumination of a set of light emitting diodes (LEDs). In one condition, participants could programme the upcoming movement, whilst in another they were forced to reprogramme this movement on-line (i.e. they were not provided with advance information about the location of the upcoming target). DAT patients were found to have programming deficits, taking longer to initiate movements; particularly in the absence of cues. While problems spontaneously programming a movement might cause a greater reliance upon on-line guidance, when both groups were required to guide the movement on-line, DAT patients continued to show slower and less efficient movements implying declining sensori-motor function; these differences were not simply due to strategy or medication status. (C) 1997 Elsevier Science Ltd.

High-breakdown linear discriminant analysis

The classification rules of linear discriminant analysis are defined by the true mean vectors and the common covariance matrix of the populations from which the data come. Because these true parameters are generally unknown, they are commonly estimated by the sample mean vector and covariance matrix of the data in a training sample randomly drawn from each population. However, these sample statistics are notoriously susceptible to contamination by outliers, a problem compounded by the fact that the outliers may be invisible to conventional diagnostics. High-breakdown estimation is a procedure designed to remove this cause for concern by producing estimates that are immune to serious distortion by a minority of outliers, regardless of their severity. In this article we motivate and develop a high-breakdown criterion for linear discriminant analysis and give an algorithm for its implementation. The procedure is intended to supplement rather than replace the usual sample-moment methodology of discriminant analysis either by providing indications that the dataset is not seriously affected by outliers (supporting the usual analysis) or by identifying apparently aberrant points and giving resistant estimators that are not affected by them.

Applying linear time-varying constraints to econometric models: With an application to demand systems

When linear equality constraints are invariant through time they can be incorporated into estimation by restricted least squares. If, however, the constraints are time-varying, this standard methodology cannot be applied. In this paper we show how to incorporate linear time-varying constraints into the estimation of econometric models. The method involves the augmentation of the observation equation of a state-space model prior to estimation by the Kalman filter. Numerical optimisation routines are used for the estimation. A simple example drawn from demand analysis is used to illustrate the method and its application.

Linear IgA dermatosis induced by pregnancy

Linear IgA disease is a rare autoimmune subepidermal bullous disorder characterized by linear IgA deposits at the epidermal basement membrane zone. According to the literature, in patients who have linear IgA disease and become pregnant, the disease tends to improve. We report a case of linear IgA disease induced by pregnancy, successfully treated with dapsone and prednisone with no adverse effects observed in the patient and her newborns.

Leptospirosis pulmonary haemorrhage syndrome is associated with linear deposition of immunoglobulin and complement on the alveolar surface

Leptospirosis is a zoonotic infection associated with severe diseases such as leptospirosis pulmonary haemorrhage syndrome (LPHS). The cause of pulmonary haemorrhage is unclear. Understanding which mechanisms and processes are involved in LPHS will be important in treatment regimens under development for this life-threatening syndrome. In the present study, we evaluated 30 lung specimens from LPHS patients and seven controls using histology and immunohistochemistry (detection of IgM, IgG, IgA and C3) in order to describe the pathological features associated with this syndrome. Immunoglobulin deposits were detected on the alveolar surface in 18/30 LPHS patients. Three staining patterns were observed for the immunoglobulins and C3 in the lung tissues of LPHS patients: AS, delicate linear staining adjacent to the alveolar surface, which was indicative of a membrane covering the luminal surface of type I and II pneumocyte cells; S, heterogeneous staining which was sporadically distributed along the alveolar septum; and IA, weak, focal intra-alveolar granular staining. Human LPHS is associated with individual and unique histological patterns that differ from those of other causes of pulmonary haemorrhage. In the present study, it was found that the linear deposition of immunoglobulins (IgA, IgG and IgM) and complement on the alveolar surface may play a role in the pathogenesis of pulmonary haemorrhage in human leptospirosis.

The frontal assessment battery (FAB) reveals neurocognitive dysfunction in substance-dependent individuals in distinct executive domains: Abstract reasoning, motor programming, and cognitive flexibility

Substance-dependence is highly associated with executive cognitive function (ECF) impairments. However. considering that it is difficult to assess ECF clinically, the aim of the present study was to examine the feasibility of a brief neuropsychological tool (the Frontal Assessment Battery FAB) to detect specific ECF impairments in a sample of substance-dependent individuals (SDI). Sixty-two subjects participated in this study. Thirty DSM-IV-diagnosed SDI, after 2 weeks of abstinence, and 32 healthy individuals (control group) were evaluated with FAD and other ECF-related tasks: digits forward (DF), digits backward (DB), Stroop Color Word Test (SCWT), and Wisconsin Card Sorting Test (WCST). SDI did not differ from the control group on sociodemographic variables or IQ. However, SDI performed below the controls in OF, DB, and FAB. The SDI were cognitively impaired in 3 of the 6 cognitive domains assessed by the FAB: abstract reasoning, motor programming, and cognitive flexibility. The FAB correlated with DF, SCWT, and WCST. In addition, some neuropsychological measures were correlated with the amount of alcohol, cannabis, and cocaine use. In conclusion, SDI performed more poorly than the comparison group on the FAB and the FAB`s results were associated with other ECF-related tasks. The results suggested a negative impact of alcohol, cannabis, and cocaine use on the ECF. The FAB may be useful in assisting professionals as an instrument to screen for ECF-related deficits in SDI. (C) 2010 Elsevier Ltd. All rights reserved.

Obesity due to Melanocortin 4 Receptor (MC4R) Deficiency Is Associated with Increased Linear Growth and Final Height, Fasting Hyperinsulinemia, and Incompletely Suppressed Growth Hormone Secretion

Context: Melanocortin receptor 4 (MC4R) deficiency is characterized by increased linear growth greater than expected for the degree of obesity. Objective: The objective of the investigation was to study the somatotroph axis in obese MC4R-deficient patients and equally obese controls. Patients and Methods: We obtained anthropometric measurements and insulin concentrations in 153 MC4R-deficient subjects and 1392 controls matched for age and severity of obesity. We measured fasting IGF-I, IGF-II, IGF binding protein (IGFBP)-1, IGFBP-3, and acid-labile subunit levels in a subset of 33 MC4R-deficient patients and 36 control subjects. We examined pulsatile GH secretion in six adult MC4R-deficient subjects and six obese controls. Results: Height so score was significantly greater in MC4R-deficient children under 5 yr of age compared with controls (mean +/- SEM: 2.3 +/- 0.06 vs. 1.8 +/- 0.04, P < 0.001), an effect that persisted throughout childhood. Final height (cm) was greater in MC4R-deficient men (mean +/- SEM 173 +/- 2.5 vs. 168 +/- 2.1, P < 0.001) and women (mean 165 +/- 2.1 vs. 158 +/- 1.9, P < 0.001). Fasting IGF-I, IGF-II, acid-labile subunit, and IGFBP-3 concentrations were similar in the two groups. GH levels were markedly suppressed in obese controls, but pulsatile GH secretion was retained in MC4R deficiency. The mean maximal GH secretion rate per burst (P < 0.05) and mass per burst (P < 0.05) were increased in MC4R deficiency, consistent with increased pulsatile and total GH secretion. Fasting insulin levels were markedly elevated in MC4R-deficient children. Conclusions: In MC4R deficiency, increased linear growth in childhood leads to increased adult final height, greater than predicted by obesity alone. GH pulsatility is maintained in MC4R deficiency, a finding consistent with animal studies, suggesting a role for MC4R in controlling hypothalamic somatostatinergic tone. Fasting insulin levels are significantly higher in children carrying MC4R mutations. Both of these factors may contribute to the accelerated growth phenotype characteristic of MC4R deficiency. (J Clin Endocrinol Metab 96: E181-E188, 2011)