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.

Floral developmental morphology of three Indigofera species (Leguminosae) and its systematic significance within Papilionoideae

Inflorescence and floral development of three species of Indigofera (Leguminosae-Papilionoideae), I. lespedezioides, I. spicata, and I. suffruticosa, were investigated and compared with that of other papilionoid groups, especially with members of the recently circumscribed Millettioid clade, which was merged as sister to Indigofereae in a recent cladistic analysis. Although Indigofera is a genus of special interest, because of its great richness in species and its economic importance, few studies have been made of floral development in the genus or in Indigofereae as a whole. Flower buds and inflorescences were analysed at several stages of development in the three species. Our results confirmed that Indigofera species bear a usual inflorescence type among legumes, the raceme, which comprises flowers initiated in acropetal succession, each with a subtending bract and no bracteoles initiated. The inception of the floral organs is as follows: sepals (5), petals (5), carpel (1), outer stamens (5), and, finally, inner stamens (5). Organ initiation in the sepal, petal, and both stamen whorls is unidirectional, from the abaxial side; the carpel cleft is adaxial. The vexillum is larger than other petals at maturity, covering the keels, which are fused edge-to-edge. Nine filaments are fused to form an adaxially open sheath, and the adaxial stamen of the inner whorl remains free (diadelphous androecium) in the mid-stage of development. Most of the infra-generic differences occurred in the later stages of development. Data on floral development in Indigofera obtained here were also compared with those from other members of Papilionoideae. This comparison showed that the early expression of zygomorphy is shared with other members of the Millettioid clade but is rarely found in other papilionoids, corresponding to a hypothetically morphological synapomorphy in the pair Indigoferae plus millettioids.

Immobilisation of electroactive macrocyclic complexes within titania films

The 4-carboxyphenyl-appended macrocyclic ligand trans-6,13-dimethyl-6-((4-carboxybenzyl)amino)-1,4,8,11-tetraazacyclotetradecane-6-amine (HL10) has been synthesised and complexed with Co-III. The mononuclear complexes [Co(HL10)(CN)](2+) and [CoL10(OH)](+) have been prepared and the crystal structures of their perchlorate salts are presented, where the ligand is bound in a pentadentate mode in each case while the 4-carboxybenzyl-substituted pendent amine remains free from the metal. The cyano-bridged dinuclear complex [CoL10-mu-NC-Fe(CN)(5)](2-) was also prepared and chemisorbed on titania-coated ITO conducting glass. The adsorbed complex is electrochemically active and cyclic voltammetry of the modified ITO working electrode in both water and MeCN solution was undertaken with simultaneous optical spectroscopy. This experiment demonstrates that reversible electrochemical oxidation of the Fe-II centre is coupled with rapid changes in the optical absorbance of the film.

Waves of Change Within Civil Society in Latin America: Mexico City and Sao Paulo

For the past half a century, Latin American scholars have been pointing toward the emergence of new social actors as agents of social and political democratization. The first wave of actors was characterized by the emergence of novel agents-mainly, new popular movements-of social transformation. At first, the second wave, epitomized by nongovernmental organizations (NGOs), was celebrated as the upsurge of a new civil society, but later on, it was the target of harsh criticism. The literature often portrays this development in Latin American civil society as a displacement trend of actors of the first wave by the second wave-""NGOization""-""and even denounces new civil society as rootless, depoliticized, and functional to retrenchment. Thus, supposedly, NGOization encumbers social change. The authors argue that NGOization diagnosis is a flawed depiction of change within civil society. Rather than NGOization related to the depoliticization and neoliberalization of civil society, in Mexico City and Sao Paulo, there has been modernization of organizational ecologies, changes in the functional status of civil society, and interestingly, specialization aimed at shaping public agenda. The authors argue that such specialization, instead of encumbering social change, brings about different repertoires of strategies and skills purposively developed for influencing policy and politics. Their argument relies on comparative systematic evidence. Through network analysis, they examine the organizational ecology of civil society in Mexico City and Sao Paulo.

Identification of novel non-autonomous CemaT transposable elements and evidence of their mobility within the C. elegans genome

We describe here two new transposable elements, CemaT4 and CemaT5, that were identified within the sequenced genome of Caenorhabditis elegans using homology based searches. Five variants of CemaT4 were found, all non-autonomous and sharing 26 bp inverted terminal repeats (ITRs) and segments (152-367 bp) of sequence with similarity to the CemaT1 transposon of C. elegans. Sixteen copies of a short, 30 bp repetitive sequence, comprised entirely of an inverted repeat of the first 15 bp of CemaT4's ITR, were also found, each flanked by TA dinucleotide duplications, which are hallmarks of target site duplications of mariner-Tc transposon transpositions. The CemaT5 transposable element had no similarity to maT elements, except for sharing identical ITR sequences with CemaT3. We provide evidence that CemaT5 and CemaT3 are capable of excising from the C. elegans genome, despite neither transposon being capable of encoding a functional transposase enzyme. Presumably, these two transposons are cross-mobilised by an autonomous transposon that recognises their shared ITRs. The excisions of these and other non-autonomous elements may provide opportunities for abortive gap repair to create internal deletions and/or insert novel sequence within these transposons. The influence of non-autonomous element mobility and structural diversity on genome variation is discussed.

Massage for Low Back Pain An Updated Systematic Review Within the Framework of the Cochrane Back Review Group

Study Design. Systematic Review. Objectives. To assess the effects of massage therapy for nonspecific low back pain. Summary of Background Data. Low back pain is one of the most common and costly musculoskeletal problems in modern society. Proponents of massage therapy claim it can minimize pain and disability, and speed return to normal function. Methods. We searched MEDLINE, EMBASE, CINAHL from their beginning to May 2008. We also searched the Cochrane Central Register of Controlled Trials (The Cochrane Library 2006, issue 3), HealthSTAR and Dissertation abstracts up to 2006. There were no language restrictions. References in the included studies and in reviews of the literature were screened. The studies had to be randomized or quasi-randomized trials investigating the use of any type of massage (using the hands or a mechanical device) as a treatment for nonspecific low back pain. Two review authors selected the studies, assessed the risk of bias using the criteria recommended by the Cochrane Back Review Group, and extracted the data using standardized forms. Both qualitative and meta-analyses were performed. Results. Thirteen randomized trials were included. Eight had a high risk and 5 had a low risk of bias. One study was published in German and the rest in English. Massage was compared to an inert therapy (sham treatment) in 2 studies that showed that massage was superior for pain and function on both short- and long-term follow-ups. In 8 studies, massage was compared to other active treatments. They showed that massage was similar to exercises, and massage was superior to joint mobilization, relaxation therapy, physical therapy, acupuncture, and self-care education. One study showed that reflexology on the feet had no effect on pain and functioning. The beneficial effects of massage in patients with chronic low back pain lasted at least 1 year after the end of the treatment. Two studies compared 2 different techniques of massage. One concluded that acupuncture massage produces better results than classic (Swedish) massage and another concluded that Thai massage produces similar results to classic (Swedish) massage. Conclusion. Massage might be beneficial for patients with subacute and chronic nonspecific low back pain, especially when combined with exercises and education. The evidence suggests that acupuncture massage is more effective than classic massage, but this need confirmation. More studies are needed to confirm these conclusions, to assess the impact of massage on return-to-work, and to determine cost-effectiveness of massage as an intervention for low back pain.

Social adaptation of children with mild intellectual disability: Effects of partial integration within primary school classes

is study examined the social adaptation of children with mild intellectual disability who were either (a) partially integrated into regular primary school classes, or (b) full-time in separate classes, All of the children were integrated in sport and play activities with the whole school. Consistent with previous research, children with intellectual disability were less socially accepted than were a matched group of control children. Children in partially integrated classes received more play nominations than those in separate classes, brit there was no greater acceptance as a best friend. On teachers' reports, disabled children had higher levels of inappropriate social behaviours, but there was no significant difference in appropriate behaviours. Self-assessments by integrated children were more negative than those by children in separate classes, and their peer-relationship satisfaction was lower. Ratings by disabled children of their satisfaction with peer relationships were associated with ratings of appropriate social skills by themselves and their teachers, and with self-ratings of negative behaviour. The study confirmed that partial integration can have negative consequences for children with an intellectual disability.

Molecular evidence of horizontal transmission of hepatitis C virus within couples

Hepatitis C virus (HCV) transmission has decreased with the adoption of universal blood donor screening and social policies to reduce the risk of infection in intravenous drug users, but remains a worldwide health problem. The objective of this study was to evaluate the phylogenetic relationships among sequences from different HCV genomic regions from sexual partners of infected patients. Nine couples with a stable relationship and without other risk factors for HCV infection and 42 control patients were selected, and the NS3 and NS5B regions were analysed. Phylogenetic analysis showed that viruses from five of the couples had a common origin, clustering in the same monophyletic group, with bootstrap values greater than 70. For the other couples, monophyletic groups were observed, but without bootstrap support. Thus, using two different viral genome regions, a common source of infection was observed in both members of five couples. These data strongly support HCV transmission within couples.

Type of Alcoholic Beverage and Risk of Head and Neck Cancer-025EFA Pooled Analysis Within the INHANCE Consortium

The authors pooled data from 15 case-control studies of head and neck cancer (9,107 cases, 14,219 controls) to investigate the independent associations with consumption of beer, wine, and liquor. In particular, they calculated associations with different measures of beverage consumption separately for subjects who drank beer only (858 cases, 986 controls), for liquor-only drinkers (499 cases, 527 controls), and for wine-only drinkers (1,021 cases, 2,460 controls), with alcohol never drinkers (1,124 cases, 3,487 controls) used as a common reference group. The authors observed similar associations with ethanol-standardized consumption frequency for beer-only drinkers (odds ratios (ORs) = 1.6, 1.9, 2.2, and 5.4 for <= 5, 6-15, 16-30, and > 30 drinks per week, respectively; P(trend) < 0.0001) and liquor-only drinkers (ORs = 1.6, 1.5, 2.3, and 3.6; P < 0.0001). Among wine-only drinkers, the odds ratios for moderate levels of consumption frequency approached the null, whereas those for higher consumption levels were comparable to those of drinkers of other beverage types (ORs = 1.1, 1.2, 1.9, and 6.3; P < 0.0001). Study findings suggest that the relative risks of head and neck cancer for beer and liquor are comparable. The authors observed weaker associations with moderate wine consumption, although they cannot rule out confounding from diet and other lifestyle factors as an explanation for this finding. Given the presence of heterogeneity in study-specific results, their findings should be interpreted with caution.

Collagen Fiber and Versican Distribution Within the Lamina Propria of Fetal Vocal Folds

Objectives: To analyze the presence and distribution of collagen fibers and versican in human vocal fold lamina propria of fetal larynges. Study Design: Cross sectional analysis of cadaveric vocal folds of human fetuses. Methods: Seven fetal larynges obtained from 28- to 36-week-old fetuses were analyzed with the Picrosirius-polarization method, immunohistochemistry, and image analysis. Results: Collagen fibers within the lamina propria exhibited a monolaminar distribution pattern and spatial arrangement in ""wicker basket."" Versican distribution was larger in the superficial and intermediate layers when compared to the deep layer. Conclusion: Our findings suggest that collagen and versican distribution and arrangement within the lamina propria in the developing fetus are important for vocalization at birth.

Genotype and mating type distribution within clinical Cryptococcus neoformans and Cryptococcus gattii isolates from patients with cryptococcal meningitis in Uberaba, Minas Gerais, Brazil

We molecularly characterized 81 cryptococcal isolates recovered from cerebrospinal fluid samples of 77 patients diagnosed between 1998 and 2007 as having cryptococcal meningitis in Uberaba Minas Gerais, Brazil. Fifty-seven (74%) were male with a mean age 35.6 years. Seventy-two (88.9%) of the isolates were from 68 AIDS patients and cryptococcosis was the first AIDS-defining condition in 38 (55.9%) patients. Cryptococcosis and AIDS were simultaneously diagnosed in 25 (65.8%) of these 38 patients. Genotypes were characterized through the use of URA5 restriction fragment length polymorphisms analysis, the genetic variability was determined using PCR-fingerprinting with the minisatellite-specific primer M13, and the mating type and serotypes were established by PCR. Seventy-six of the 81 isolates were Cryptococcus neoformans (93.8%), while the remaining five were C. gattii (6.1%), but all were mating type a. C. neoformans isolates were genotype VNI (serotype A), while C. gattii isolates were VGII. Four of the latter isolates were identical, but only two were from AIDS patients. Six of the nine isolates from non-AIDS patients were VNI. PCR fingerprints of the isolates from two of the three AIDS patients with clinical relapse were 100% identical. The predominance of VNI and mating type a is in accordance with data from other parts of the world. The occurrence of VGII in Minas Gerais indicates a geographical expansion within Brazil.