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.

Why do people engage in collective action? Revisiting the role of perceived effectiveness

Research has shown limited support for the notion that perceived effectiveness of collective action is a predictor of intentions to engage in collective action. One reason may be that effectiveness has been in terms of whether the action will influence key decision makers. We argue that the effectiveness of collective action might be judged by other criteria, such as whether it influences third parties, builds an oppositional movement, and expresses values. Two hundred and thirty one attendees at a rally rated the effectiveness of the rally and their intentions to engage in future collective action. For those participants who were not members of an organization, intentions were linked to the perceived effectiveness of the rally in expressing values and influencing the public. For those who were members of an organization, intentions were linked only to the effectiveness of the rally in building an oppositional movement.

Expert review of an approach to functional capacity evaluation

Functional capacity evaluation (FCE) is a widely used tool in work rehabilitation, despite the limited examination of the soundness of its measurement properties. This paper outlines the development of a new approach to FCE, the GAPP FCE, and reports on the findings of an expert review of aspects of its content validity and technical adequacy and how it meets established test criteria. Five expert occupational therapists reviewed the materials of the GAPP FCE then completed a questionnaire related to the content validity, technical adequacy and safety, reliability, validity, practicality and utility of the GAPP FCE. The experts gave support to most aspects of these criteria. The main issue identified by the review was related to interpretation and extrapolation of the FCE results for return to work. This and other issues are discussed in relation to recent developments in FCE and plans for future development of the GAPP FCE.

High-pressure adsorption of supercritical gases on activated carbons: An improved approach based on the density functional theory and the bender equation of state

Adsorption of nitrogen, argon, methane, and carbon dioxide on activated carbon Norit R1 over a wide range of pressure (up to 50 MPa) at temperatures from 298 to 343 K (supercritical conditions) is analyzed by means of the density functional theory modified by incorporating the Bender equation of state, which describes the bulk phase properties with very high accuracy. It has allowed us to precisely describe the experimental data of carbon dioxide adsorption slightly above and below its critical temperatures. The pore size distribution (PSD) obtained with supercritical gases at ambient temperatures compares reasonably well with the PSD obtained with subcritical nitrogen at 77 K. Our approach does not require the skeletal density of activated carbon from helium adsorption measurements to calculate excess adsorption. Instead, this density is treated as a fitting parameter, and in all cases its values are found to fall into a very narrow range close to 2000 kg/m(3). It was shown that in the case of high-pressure adsorption of supercritical gases the PSD could be reliably obtained for the range of pore width between 0.6 and 3 run. All wider pores can be reliably characterized only in terms of surface area as their corresponding excess local isotherms are the same over a practical range of pressure.

Functional promoter analysis using an approach based on an in vitro evolution strategy

In vitro evolution imitates the natural evolution of genes and has been very successfully applied to the modification of coding sequences, but it has not yet been applied to promoter sequences. We propose an alternative method for functional promoter analysis by applying an in vitro evolution scheme consisting of rounds of error-prone PCR, followed by DNA shuffling and selection of mutant promoter activities. We modified the activity in embryogenic sugarcane cells of the promoter region of the Goldfinger isolate of banana streak virus and obtained mutant promoter sequences that showed an average mutation rate of 2.5% after applying one round of error-prone PCR and DNA shuffling. Selection and sequencing of promoter sequences with decreased or unaltered activity allowed us to rapidly map the position of one cis-acting element that influenced promoter activity in embryogenic sugarcane cells and to discover neutral mutations that did not affect promoter Junction. The selective-shotgun approach of this promoter analysis method immediately after the promoter boundaries have been defined by 5' deletion analysis dramatically reduces the labor associated with traditional linker-scanning deletion analysis to reveal the position of functional promoter domains. Furthermore, this method allows the entire promoter to be investigated at once, rather than selected domains or nucleotides, increasing the, prospect of identifying interacting promoter regions.

Using the canonical modelling approach to simplify the simulation of function in functional-structural plant models

Functional-structural plant models that include detailed mechanistic representation of underlying physiological processes can be expensive to construct and the resulting models can also be extremely complicated. On the other hand, purely empirical models are not able to simulate plant adaptability and response to different conditions. In this paper, we present an intermediate approach to modelling plant function that can simulate plant response without requiring detailed knowledge of underlying physiology. Plant function is modelled using a 'canonical' modelling approach, which uses compartment models with flux functions of a standard mathematical form, while plant structure is modelled using L-systems. Two modelling examples are used to demonstrate that canonical modelling can be used in conjunction with L-systems to create functional-structural plant models where function is represented either in an accurate and descriptive way, or in a more mechanistic and explanatory way. We conclude that canonical modelling provides a useful, flexible and relatively simple approach to modelling plant function at an intermediate level of abstraction.

Functional capacity evaluation as a performance measure - Evidence for a new approach for clients with chronic back pain

Objectives: To report the research and development of a new approach to Functional Capacity Evaluation, the Gibson Approach to Functional Capacity Evaluation (GAPP FCE) for chronic back pain clients. Methods: Four Studies, including pilot and feasibility testing, expert review, and preliminary interrater reliability examination, are described here. Participants included 7 healthy young adults and 19 rehabilitation clients with back pain who underwent assessment using the GAPP FCE. Thirteen therapists were trained in the approach and were silently observed administering the Functional Capacity Evalutions by at least 1 other trained therapists or the first investigator Or both. An expert review using 5 expert occupational therapists was also conducted. Results: Study 1, the pilot with healthy individuals, indicated that the GAPP FCE was a feasible approach with good utility. Study 2, a pilot using 2 trained therapists assessing 5 back pain clients, supported the clinical feasibility of the approach. The expert review in Study 3 found support for GAPP FCE. Study 4, a trial of the approach with 14 rehabilitation clients, found support for the interrater reliability of recommendations for return to work based on performance in the GAPP FCE. Discussion: The evidence thus far available supports the GAPP FCE as ail approach that provides a Sound method for evaluating the performance of the physical demands of work with clients with chronic back pain. The tool has been shown to have good face and content validity, to meet acceptable test standards, and to have reasonable interrater reliability. Further research is occurring to look at a larger interrater reliability study, to further examine content validity, and to examine predictive validity.

Safety issues in functional capacity evaluation: Findings from a trial of a new approach for evaluating clients with chronic back pain

Although safety is recognized as a critical issue in functional capacity evaluations (FCEs), it has rarely been investigated. This paper reports on the findings of a study which examined safety aspects of a new approach to FCE. Fourteen rehabilitation clients with chronic back pain participated in the study. Aspects examined included the pre-FCE screening procedures, the monitoring of performance and safety during the FCE, and the end of FCE measures and follow-up procedures. Support was found for the screening procedures of the approach, particularly blood pressure measurement, and for the combined approach to monitoring of the persons performance from biomechanical, physiological and psychophysical perspectives. Issues for FCE safety in general are identified and discussed, including the importance of screening procedures to determine readiness for FCEs and the issue of load handling in FCEs, especially in relation to clients with chronic back pain.

Freeform fabrication of functional aluminium prototypes using powder metallurgy

Freeform fabrication methods allow the direct formation of parts built layer by layer, under the control of a CAD drawing. Most of these methods form parts in thermoplastic or thermoset polymers, but there would be many applications for freeform fabrication of fully functional metal or ceramic parts. We describe here the freeforming of sinterable aluminium alloys. In addition, the building approach allows different materials to be positioned within a monolithic part for an optimal combination of properties. This is illustrated here with the formation of an aluminium gear with a metal-matrix composite wear surface. (C) 1999 Kluwer Academic Publishers.

Functional expression cloning reveals proapoptotic role for protein phosphatase 4

Functional expression cloning strategies are highly suitable for the analysis of the molecular control of apoptosis. This approach has two critical advantages. Firstly, it eliminates prior assumptions about the properties of the proteins involved, and, secondly, it selectively targets proteins that are causally involved in apoptosis control and which affect the crucial cellular decision between survival and death. The application of this strategy to the isolation of cDNAs conferring resistance to dexamethasone and gamma-irradiation resulted in the isolation of a partial cDNA for the catalytic subunit of protein phosphatase 4 (PP4). Cells transfected with this partial cDNA in an expression vector downregulated PP4 and were resistant to both dexamethasone and UV radiation, as demonstrated by both membrane integrity and colony-forming assays. These observations suggest that PP4 plays an important proapoptotic role in T lymphocytes.

Functional annotation of a full-length mouse cDNA collection

The RIKEN Mouse Gene Encyclopaedia Project, a systematic approach to determining the full coding potential of the mouse genome, involves collection and sequencing of full-length complementary DNAs and physical mapping of the corresponding genes to the mouse genome. We organized an international functional annotation meeting (FANTOM) to annotate the first 21,076 cDNAs to be analysed in this project. Here we describe the first RIKEN clone collection, which is one of the largest described for any organism. Analysis of these cDNAs extends known gene families and identifies new ones.

Close packed transitions in slit-shaped pores: Density functional theory study of methane adsorption capacity in carbon

An important feature of improving lattice gas models and classical isotherms is the incorporation of a pore size dependent capacity, which has hitherto been overlooked. In this paper, we develop a model for predicting the temperature dependent variation in capacity with pore size. The model is based on the analysis of a lattice gas model using a density functional theory approach at the close packed limit. Fluid-fluid and solid-fluid interactions are modeled by the Lennard-Jones 12-6 potential and Steele's 10-4-3, potential respectively. The capacity of methane in a slit-shaped carbon pore is calculated from the characteristic parameters of the unit cell, which are extracted by minimizing the grand potential of the unit cell. The capacities predicted by the proposed model are in good agreement with those obtained from grand canonical Monte Carlo simulation, for pores that can accommodate up to three adsorbed layers. Single particle and pair distributions exhibit characteristic features that correspond to the sequence of buckling and rhombic transitions that occur as the slit pore width is increased. The model provides a useful tool to model continuous variation in the microstructure of an adsorbed phase, namely buckling and rhombic transitions, with increasing pore width. (C) 2002 American Institute of Physics.

Density functional theory analysis of the influence of pore wall heterogeneity on adsorption in carbons

Density functional theory for adsorption in carbons is adapted here to incorporate a random distribution of pore wall thickness in the solid, and it is shown that the mean pore wall thickness is intimately related to the pore size distribution characteristics. For typical carbons the pore walls are estimated to comprise only about two graphene layers, and application of the modified density functional theory approach shows that the commonly used assumption of infinitely thick walls can severely affect the results for adsorption in small pores under both supercritical and subcritical conditions. Under supercritical conditions the Henry's law coefficient is overpredicted by as much as a factor of 2, while under subcritical conditions pore wall heterogeneity appears to modify transitions in small pores into a sequence of smaller ones corresponding to pores with different wall thicknesses. The results suggest the need to improve current pore size distrubution analysis methods to allow for pore wall heterogeneity. The density functional theory is further extended here to allow for interpore adsorbate interactions, and it appears that these interaction are negligible for small molecules such as nitrogen but significant for more strongly interacting heavier molecules such as butane, for which the traditional independent pore model may not be adequate.