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.

Surface characterization of 6H-SiC (0001) substrates in indentation and abrasive machining

Surface characterization of 6H-SiC (0001) substrates in indentation and abrasive machining was carried out to investigate microfracture, residual damage, and surface roughness associated with material removal and surface generation. Brittle versus plastic deformation was studied using Vickers indention and nano-indentation. To characterize the abrasive machining response, the 6H-SiC (0001) substrates were ground using diamond wheels with grit sizes of 25, 15 and 7 mum, and then polished with diamond suspensions of 3 and 0.05 mum. It is found that in indentation, there was a scale effect for brittle versus plastic deformation in 6H-SiC substrates. Also, in grinding, the scales of fracture and surface roughness of the substrates decreased with a decrease in diamond grit size. However, in polishing, a reduction in grit size of diamond suspensions gave no significant improvement in surface roughness. Furthermore, the results showed that fracture-free 6H-SiC (0001) surfaces were generated in polishing with the existence of the residual crystal defects, which were associated with the origin of defects in single crystal growth. (C) 2003 Elsevier Ltd. All rights reserved.

Purification of the keratan sulfate proteoglycan expressed in prostatic secretory cells and its identification as lumican

BACKGROUND. Secretory epithelial cells of human prostate contain a keratan sulfate proteoglycan (KSPG) associated with the prostatic secretory granules (PSGs). The proteoglycan has not been identified, but like the PSGs, it is lost in the early stages of malignant transformation. METHODS. Anion exchange and affinity chromatography were used to purify KSPG from human prostate tissue. Enzymatic deglycosylation was used to remove keratan sulfate (KS). The core protein was isolated using 2D gel electrophoresis, digested in-gel with trypsin, and identified by peptide mass fingerprinting (PMF). RESULTS. The purified proteoglycan was detected as a broad smear on Western blots with an apparent molecular weight of 65-95 kDa. The KS moiety was susceptible to digestion with keratanase 11 and peptide N-glycosidase F defining it as highly sulfated and N-linked to the core protein. The core protein was identified, following deglycosylation and PMF, as lumican and subsequently confirmed by Western blotting using an anti-lumican antibody. CONCLUSIONS. The KSPG associated with PSGs in normal prostate epithelium is lumican. While the role of lumican in extracellular matrix is well established, its function in the prostate secretory process is not known. It's potential to facilitate packaging of polyamines in PSGs, to act as a tumor suppressor and to mark the early stages of malignant transformation warrant further investigation. (C) 2003 Wiley-Liss, Inc.

In Vitro Antifungal Activity and Toxicity of Itraconazole in DMSA-PLGA Nanoparticles

Itraconazole (ITZ) is a drug used to treat various fungal infections and may cause side effects. The aim of this study was to develop and evaluate the in vitro activity of DMSA-PLGA nanoparticles loaded with ITZ against Paracoccidioides brasiliensis, as well as their cytotoxicity. Nanoparticles were prepared using the emulsification-evaporation technique and characterized by their encapsulation efficiency, morphology (TEM), size (Nanosight) and charge (zeta potential). Antifungal efficacy in P brasiliensis was determined by minimal inhibition concentration (MIC), and cytotoxicity using MU assay. ITZ was effectively incorporated in the PLGA-DMSA nanoparticles with a loading efficiency of 72.8 +/- 3.50%. The shape was round with a solid polymeric structure, and a size distribution of 174 +/- 86 nm (Average +/- SD). The particles were negatively charged. ITZ-NANO presented antifungal inhibition (MIC = 6.25 ug/mL) against P brasiliensis and showed lower in vitro cytotoxicity than free drug (ITZ).

Spectroelectrochemical Properties and Lithium Ion Storage in Self-Assembled Nanocomposites from TiO(2)

Layer-by-layer (LbL) nanocomposite films from TiO(2) nanoparticles and tungsten-based oxides (WO(x)H(y)), as well as dip-coating films of TiO(2) nano particles, were prepared and investigated by electrochemical techniques under visible light beams, aiming to evaluate the lithium ion storage and chromogenic properties. Atomic force microscopy (AFM) images were obtained for morphological characterization of the Surface of the materials, which have similar roughness. Cyclic voltammetry and chronoamperometry measurements indicated high storage capacity of lithium ions in the LbL nanocomposite compared with the dip-coating film, which was attributed to the faster lithium ion diffusion rate within the self-assembled matrix. On the basis of the data obtained from galvanostatic intermittent titration technique (GITT), the values of lithium ion diffusion coefficient (D(Li)) for TiO(2)/WO(x)H(y) were larger compared with those for TiO(2). The rate of the coloration front in the matrices was investigated using a spectroelectrochemical method based oil GITT, allowing the determination of the ""optical"" diffusion coefficient (D(op)) as a function of the amount of lithium ions previously inserted into the matrices. The Values of D(Li) and D(op) suggested the existence of phases with distinct contribution to lithium ion diffusion rates and electrochromic efficiency. Moreover, these results aided a better understanding of the temporal change of current density and absorbance during the ionic electro-insertion, which is important for the possible application of these materials in lithium ion batteries and electrohromic devices.

Eutectic modification and microstructure development in Al-Si alloys

Recent increasing applications for cast Al-Si alloys are particularly driven by the need for lightweighting components in the automotive sector. To improve mechanical properties, elements such as strontium, sodium and antimony can be added to modify the eutectic silicon from coarse and plate-like to fine and fibrous morphology. It is only recently being noticed that the morphological transformation resulting from eutectic modification is also accompanied by other, equally significant, but often unexpected changes. These changes can include a 10-fold increase in the eutectic grain size, redistribution of low-melting point phases and porosity as well as surface finish, consequently leading to variations in casting quality. This paper shows the state-of-the-art in understanding the mechanism of eutectic nucleation and growth in Al-Si alloys, inspecting samples, both quenched and uninterrupted, on the macro, micro and nano-scale. It shows that significant variations in eutectic nucleation and growth dynamics occur in AI-Si alloys as a function of the type and amount of modifier elements added. The key role of AIP particles in nucleating silicon is demonstrated. (c) 2005 Elsevier B.V. All rights reserved.

In vitro study of CD133 human stem cells labeled with superparamagnetic iron oxide nanoparticles

Superparamagnetic iron oxide nanoparticles (SPIONs) are applied in stem cell labeling because of their high magnetic susceptibility as compared with ordinary paramagnetic species, their low toxicity, and their ease of magnetic manipulation. The present work is the study of CD133(+) stem cell labeling by SPIONs coupled to a specific antibody (AC133), resulting in the antigenic labeling of the CD133+ stem cell, and a method was developed for the quantification of the SPION content per cell, necessary for molecular imaging optimization. Flow cytometry analysis established the efficiency of the selection process and helped determine that the CD133 cells selected by chromatographic affinity express the transmembrane glycoprotein CD133. The presence of antibodies coupled to the SPION, expressed in the cell membrane, was observed by transmission electron microscopy. Quantification of the SPION concentration in the marked cells using the ferromagnetic resonance technique resulted in a value of 1.70 x 10 (13) mol iron (9.5 pg) or 7.0 x 10 (6) nanoparticles per cell ( the measurement was carried out in a volume of 2 mu L containing about 6.16 x 10 5 pg iron, equivalent to 4.5 x 10 (11) SPIONs). (c) 2008 Elsevier Inc. All rights reserved.

Expression of heterochromatin protein 1 in the primary tumor of breast cancer patients in the presence or absence of occult metastatic cells in the bone marrow

Gene silencing may occur in breast cancer samples from patients presenting with occult metastatic cells in the bone marrow and one mechanism regulating gene suppression is heterochromatin formation. We have studied whether members of the heterochromatin protein 1 family Hp1(Hs alpha), Hp1(Hs beta) and Hp1(Hs gamma) which take part in chromatin packaging and gene expression regulation, were differentially expressed in tumors from patients with and without occult metastatic cells in their bone marrow. Tumor samples and bone marrow aspirates were obtained from 37 breast cancer patients. Median age was 63 years and 68% of the patients presented with clinical stage I/II disease. Presence of occult metastatic cells in bone marrow was detected through keratin-19 expression by nested RT-PCR in samples from 20 patients (54.1%). The presence of occult metastatic cells in bone marrow was not associated with node involvement, histological grade, estrogen receptor and ERBB2 immunoexpression. Relative gene expression of HP1(Hs alpha), HP1(Hs beta) and HP1(Hs gamma) was determined by real-time RT-PCR and did not vary according to the presence of occult metastatic cells in bone marrow. In addition, the combined expression of these three transcripts could not be used to classify samples according to the presence of bone marrow micrometastasis. Our work indicates that regulation of heterochromatin formation through HP1 family members may not be the sole mechanism implicated in the metastatic process to the bone marrow. (Int J Biol Markers 2008; 23: 219-24)

Reprocessing and reuse of single-use medical devices used during hemodynamic procedures in Brazil: A widespread and largely overlooked problem

Background. Several medical devices used during hemodynamic procedures, particularly angiographic diagnostic and therapeutic cardiac catheters, are manufactured for single use only. However, reprocessing and reuse of these devices has been reported, to determine the frequency of reuse and reprocessing of single-use medical devices used during hemodynamic procedures in Brazil and to evaluate how reprocessing is performed. Design. National survey, conducted from December 1999 to July 2001. Methods. Most of the institutions affiliated with the Brazilian Society of Hemodynamic and Interventional Cardiology were surveyed by use of a questionnaire sent in the mail. Results. The questionnaire response rate was 50% (119 of 240 institutions). Of the 119 institutions that responded, 116 (97%) reported reuse of single-use devices used during hemodynamic procedures, and only 26 (22%) reported use of a standardized reprocessing protocol. Cleaning, flushing, rinsing, drying, sterilizing and packaging methods varied greatly and were mostly inadequate. Criteria for discarding reused devices varied widely. Of the 119 institutions that responded, 80 (67%) reported having a surveillance system for adverse events associated with the reuse of medical devices, although most of these institutions did not routinely review the data, and only 38 (32%) described a training program for the personnel who reprocessed single-use devices. Conclusions. The reuse of single-use devices used during hemodynamic procedures was very frequent in hospitals in Brazil. Basic guidance on how to reuse and reprocess single-use medical devices is urgently needed, because, despite the lack of studies to support reusing and reprocessing single-use medical devices, such devices are necessary in limited-resource areas in which these practices are current.

Argon ion laser and halogen lamp activation of a dark and light resin composite: microhardness after long-term storage

The objective of this study was to evaluate in vitro light activation of the nano-filled resin composite Vita shade A1 and A3 with a halogen lamp (QTH) and argon ion laser by Knoop microhardness profile. Materials and methods: Specimens of nanofilled composite resin (Z350-3 M-ESPE) Vita shade A1 and A3 were prepared with a single increment inserted in 2.0-mm-thick and 3-mm diameter disc-shaped Teflon mold. The light activation was performed with QTH for 20 s (with an intensity of approximately 1,000 mW/cm(2) and 700 mW/cm(2)) and argon ion laser for 10 s (with a power of 150 mW and 200 mW). Knoop microhardness test was performed after 24 h and 6 months. The specimens were divided into the 16 experimental groups (n = 10), according to the factors under study: photoactivation form, resin shade, and storage time. Knoop microhardness data was analyzed by a factorial ANOVA and TukeyA ` s tests at the 0.05 level of significance. Results: Argon ion laser was not able to photo-activate the darker shade of the nanofilled resin composite evaluated but when used with 200 mW it can be as effective as QTH to photo-activate the lighter shade with only 50% of the time exposure. After 6 months storage, an increase in the means of Knoop microhardness values were observed. Conclusions: Light-activation significantly influenced the Knoop microhardness values for the darker nanofilled resin composite.

Nanoscale Oxidative Patterning of Metallic Surfaces to Modulate Cell Activity and Fate

In the field of regenerative medicine, nanoscale physical cuing is clearly becoming a compelling determinant of cell behavior. Developing effective methods for making nanostructured surfaces with well-defined physicochemical properties is thus mandatory for the rational design of functional biomaterials. Here, we demonstrate the versatility of simple chemical oxidative patterning to create unique nanotopographical surfaces that influence the behavior of various cell types, modulate the expression of key determinants of cell activity, and offer the potential of harnessing the power of stem cells. These findings promise to lead to a new generation of improved metal implants with intelligent surfaces that can control biological response at the site of healing.

A comparison of anterior adhesive areas and secretions in Troglocephalus rhinobatidis and Neoheterocotyle rhinobatidis (Monogenea : Monocotylidae) from the gills of the shovelnose ray, Rhinobatos typus (Rhinobatidae)

This study continues the collection of data on the anterior adhesive areas and secretions of monopisthocotylean monogenean (flatworm) parasites and begins an investigation of their phylogenetic usefulness. Here, two species of parasitic worms from an elasmobranch, Troglocephalus rhinobatidis (Monocotylidae: Dasybatotreminae) and Neoheterocotyle rhinobatidis (Monocotylidae: Heterocotylinae), are compared and contrasted. It has been suggested in recent literature that these two taxa are more closely related than is currently recognised. Our data support this view. Both species have multiple apertures on the ventral anterior margin through which adhesive is secreted. Two types of secretion exit from multiple adjacent duct endings terminating in each aperture: rod-shaped (S1) and spherical-shaped (S2) bodies. S1 bodies of both species show nano-banding of similar size and are membrane bound. Ultrastructure of the glands, ducts, duct endings and secreted adhesive is similar for both species, but aperture shape differs. Away from the adhesive areas, tegumental inclusions are found to differ between the two species and another, apparently non-adhesive, secretion is found in N. rhinobatidis.

Efficiency of delivery of DNA to cells by bovine papillomavirus type-1 L1/L2 pseudovirions

To investigate the efficiency of encapsidation of plasmid by papillomavirus virus-like particles (PV VLPs), and the infectivity of the resultant PV pseudovirions, Cos-1 cells were transfected with an 8-kb plasmid incorporating a green fluorescent protein (GFP) reporter gene (pGSV), and infected with bovine PV (BPV-1) L1/L2 recombinant vaccinia virus to produce BPV1 pseudovirions. Approximately 1 in 1.5x10(4) of dense (1.35 g/ml) PV pseudovirions and 0.3 in 10(4) Of less-dense (1.29 g/ml) pseudovirions packaged an intact pGSV plasmid. The majority (>75%) of packaged plasmids contained deletions, and the deletions affected all tested genes. After exposure of Cos-1 cells to BPV-1 pseudovirions at an MOI of 40,000:1, 6% of cells expressed GFP giving a calculated efficiency of delivery of the pGSV plasmid, by pseudovirions which had packaged an intact plasmid, of approximately 5%. Plasmid delivery was not effected by purified pGSV plasmid, was blocked by antiserum against BPV-1, and was not blocked by DNase treatment of pseudovirions, confirming that delivery was mediated by DNA within the pseudovirion. We conclude that a major limitation to the use of PV pseudovirions as a gene delivery system is that intact plasmid DNA is not efficiently selected for packaging by VLPs in cell-based pseudovirions production systems.

Gag-Pol supplied in trans is efficiently packaged and supports viral function in human immunodeficiency virus type 1

The intracellular trafficking and subsequent incorporation of Gag-Pol into human immunodeficiency virus type 1 (HIV-1) remains poorly defined. Gag-Pol is encoded by the same mRNA as Gag and is generated by ribosomal frameshifting. The multimerization of Gag and Gag-Pol is an essential step in the formation of infectious viral particles. In this study, we examined whether the interaction between Gag and Gag-Pol is initiated during protein translation in order to facilitate the trafficking and subsequent packaging of Gag-Pol into the virion. A conditional cotransfection system was developed in which virion formation required the coexpression of two HIV-1-based plasmids, one that produces both Gag and Gag-Pol and one that only produces Gag-Pol. The Gag-Pol proteins were either immunotagged with a His epitope or functionally tagged with a mutation (K65R) in reverse transcriptase that is associated with drug resistance. Gag-Pol packaging was assessed to determine whether the Gag-Pol incorporated into the virion was preferentially packaged from the plasmid that expressed both Gag and Gag-Pol or whether it could be packaged from either plasmid. Our data show that translation of Gag and Gag-Pol from the same mRNA is not critical for virion packaging of the Gag-Pol polyprotein or for viral function.

Development of disabled, replication-defective gene transfer vectors from the Jembrana disease virus, a new infectious agent of cattle

Jembrana disease virus (JDV) is a newly isolated and characterised bovine lentivirus. It causes an acute disease in Ball cattle (Bos javanicus). which can be readily transmitted to susceptible cattle with 17% mortality. There is as yet no treatment or preventive vaccine. We have developed a gene transfer vector system based on JDV that has three components. The first of the components is a bicistronic transfer vector plasmid that was constructed to contain cis-sequences from the JDV genome, including 5 '- and 3 ' -long terminal repeats (LTRs), 0.4 kb of truncated gag and 1.1 kb of 3 ' -env, a multiple cloning site to accommodate the gene(s) of interest for transfer, and an internal ribosome entry site plus the neomycin phosphotransferase (Neo) gene cassette for antibiotic selection. The second element is a packaging plasmid that contains trans-sequences. including gag, pol. vif, tar and rev: but without the env and packaging signals. The third is a plasmid encoding the G glycoprotein of vesicular stomatitis virus (VSV-G) to supply the vector an envelope for pseudotyping. Cotransfection of 293T cells with these three plasmid components produced VSV-G pseudotyped. disabled, replication defective, bicistronic JDV vectors encoding the green fluorescent protein (EGFP) and the Neo resistance selection maker simultaneously with a titre range of (0.4-1.2) x 10(6) CFU/ml. Transduction of several replicating primary and transformed cells from cattle, primate and human sources and importantly growth-arrested cells with the JDV vectors showed high efficiency of EGFP gene transfer at 35-75%, which was stable and the expression of EGFP was long term. Furthermore, these JDV vectors were designed to suit the inclusion and expression of genes corresponding to JDV specific proteins, such as gag or env, for the development of vaccines for Jembrana disease. This strategy should also be applicable to other bovine diseases as wall. The design and construction of the JDV vector system should facilitate the study of the lentivirology and pathogenesis of the diseases associated with JDV or other bovine virus infections. To our knowledge, this is the first such vector system developed from a cattle virus. (C) 2001 Elsevier Science B.V. All rights reserved.