ARIFS:: an Environment for Incomplete and Formal Specifications

The selection of appropriate components for satisfying a given equirement is a key problem in software reuse. Although this problem is remarkable in the reuse of software within same domain or application area, which is known as vertical reuse, it is more pronounced in horizontal reuse, that is, the reuse of software elements in different application areas. This paper describes how ARIFS tool (Approximate Retrieval of Incomplete and Formal Specifications) provides a suitable reusing environment to classify, retrieve and adapt formal and incomplete requirements specifications. Both classification and retrieval tasks are based on functional similarities according to structural closeness, which provides a suitable basis for horizontal reuse; and semantic closeness, which is more appropriated for vertical reuse. To this effect, we define four partial ordering relations among reusable components and different measures to quantify functional differences among them. By using these measures we are able to offer an approximate and efficient retrieval, without formal proofs, and to predict adaptation efforts to satisfy the required functional specification.     

A simplified all-polymer flexible electrochromic device

New all-polymeric simplified electrochromic devices have been prepared based in an intrinsically conductive polymer, poly(ethylene dioxythiophene) (PEDOT). In these devices PEDOT acts simultaneously as electrochromic layer and current collector layer simplifying the construction of the classic devices from seven to five layers. The device presents a chromatic contrast in all the visible range with a maximum at 650 nm (ΔT=0.15) between 0 and 3 V. Representative bleaching and coloring times are 20 and 16 s, respectively, for  cm devices. The originality of this work is that advanced electrochromic devices can be constructed using commercially available materials and using simple experimental methods.     

Inhibition of Fungal Spore Germination by Nasutitermes: Evidence for a Possible Antiseptic Role of Soldier Defensive Secretions

The antifungal property of two of the principal components of the terpenoid frontal gland secretions of nasute termite soldiers was studied by incubating spore suspensions of the fungus Metarhizium anisopliae with -pinene and limonene singly or in combination at different concentrations. In vitro assays showed that these substances reduced spore germination through direct and indirect (vapor) contact. To determine if the frontal gland secretions protected termites from fungal infection in vivo, the effect of M. anisopliae on the time course of survival of Nasutitermes costalis and N. nigriceps was studied by exposing termites to either a 4.3 × 10⁷ spores/ml or a control sporeless suspension. The caste composition of experimental groups was manipulated to create mixed-caste subcolonies and monocaste groups. Relative to Coptotermes formosanus, a species that relies on the mechanical defenses of soldiers, N. costalis and N. nigriceps were less susceptible to fungal infection. Spore-exposed N. costalis and N. nigriceps termites had 1.2 times the hazard ratio of death of controls, while the hazard ratio of death of spore-exposed C. formosanus was 11.4 times that of controls. Although the lower susceptibility to infection in Nasutitermes may be explained in part by the antifungal properties of -pinene and limonene, group composition also played a major role in the survival of spore-exposed termites. Mixed-caste and soldier monocaste groups had 3.4 and 4.7 times the hazard ratio of death, respectively, relative to the worker monocaste treatment. These results suggest that although Nasutitermes terpenoid secretions may have antifungal properties, the caste composition of groups and the social interactions of termites also play a role in determining susceptibility to fungal infection.     

Bactericidal action of binary and ternary mixtures of carvacrol, thymol, and eugenol against Listeria innocua

The bactericidal effect of 3 natural agents (carvacrol, thymol, and eugenol) was evaluated as well as their binary and ternary mixtures on Listeria innocua inactivation in liquid model systems. Minimal bactericidal concentrations (MBC) of these agents were determined, and then binary and ternary mixtures were evaluated. Culture media were inoculated with L. innocua and incubated for 72 h at 35 °C. Turbidity of studied systems were determined every 24 h. The most effective individual antimicrobial agent was carvacrol, followed by thymol and then eugenol with MBCs of 150, 250, and 450 mg kg(-1), respectively. It was observed that the most effective binary mixture was 75 mg kg(-1) carvacrol and 62.5 mg kg(-1) thymol. Furthermore, the ternary mixture carvacrol-thymol-eugenol in concentrations of 75, 31.25, and 56.25 mg kg(-1), correspondingly, was the most effective for L. innocua inactivation. Several binary and ternary mixtures of these 3 natural antimicrobial agents worked adequately to inactivate L. innocua.     

Preparation and characterization of polyacrylic acid‐poly(vinyl alcohol)‐based interpenetrating hydrogels

Some structural features of hydrogels from poly(acrylic acid) (PAAc) of various crosslinking degrees have been investigated through mechanical and swelling measurements. Interpenetrating polymer hydrogels (IPHs) of poly(vinyl alcohol) (PVA) and PAAc have been prepared by a sequential method: crosslinked PAAc chains were formed in aqueous solution by crosslinking copolymerization of acrylic acid and N,N‐methylenebisacrylamide in the presence of PVA. The application of freeze–thaw (F–T) cycles leads to the formation of a PVA hydrogel within the synthesized PAAc hydrogel. The swelling and viscoelastic properties of the IPHs were evaluated as a function of the content of crosslinker and the application of one F–T cycle. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102: 5789–5794, 2006     

3D Printable Composite Biomaterials Based on GelMA and Hydroxyapatite Powders Doped with Cerium Ions for Bone Tissue Regeneration

The main objective was to produce 3D printable hydrogels based on GelMA and hydroxyapatite doped with cerium ions with potential application in bone regeneration. The first part of the study regards the substitution of Ca²⁺ ions from hydroxyapatite structure with cerium ions (Ca_10-xCe_x(PO₄)₆(OH)₂, xCe = 0.1, 0.3, 0.5). The second part followed the selection of the optimal concentration of HAp doped, which will ensure GelMA-based scaffolds with good biocompatibility, viability and cell proliferation. The third part aimed to select the optimal concentrations of GelMA for the 3D printing process (20%, 30% and 35%). In vitro biological assessment presented the highest level of cell viability and proliferation potency of GelMA-HC5 composites, along with a low cytotoxic potential, highlighting the beneficial effects of cerium on cell growth, also supported by Live/Dead results. According to the 3D printing experiments, the 30% GelMA enriched with HC5 was able to generate 3D scaffolds with high structural integrity and homogeneity, showing the highest suitability for the 3D printing process. The osteogenic differentiation experiments confirmed the ability of 30% GelMA-3% HC5 scaffold to support and efficiently maintain the osteogenesis process. Based on the results, 30% GelMA-3% HC5 3D printed scaffolds could be considered as biomaterials with suitable characteristics for application in bone tissue engineering.     

Complexing the Oncolytic Adenoviruses Ad∆∆ and Ad-3∆-A20T with Cationic Nanoparticles Enhances Viral Infection and Spread in Prostate and Pancreatic Cancer Models

Oncolytic adenoviruses (OAd) can be employed to efficiently eliminate cancer cells through multiple mechanisms of action including cell lysis and immune activation. Our OAds, AdΔΔ and Ad-3∆-A20T, selectively infect, replicate in, and kill adenocarcinoma cells with the added benefit of re-sensitising drug-resistant cells in preclinical models. Further modifications are required to enable systemic delivery in patients due to the rapid hepatic elimination and neutralisation by blood factors and antibodies. Here, we show data that support the use of coating OAds with gold nanoparticles (AuNPs) as a possible new method of virus modification to help augment tumour uptake. The pre-incubation of cationic AuNPs with AdΔΔ, Ad-3∆-A20T and wild type adenovirus (Ad5wt) was performed prior to infection of prostate/pancreatic cancer cell lines (22Rv, PC3, Panc04.03, PT45) and a pancreatic stellate cell line (PS1). Levels of viral infection, replication and cell viability were quantified 24–72 h post-infection in the presence and absence of AuNPs. Viral spread was assessed in organotypic cultures. The presence of AuNPs significantly increased the uptake of Ad∆∆, Ad-3∆-A20T and Ad5wt in all the cell lines tested (ranging from 1.5-fold to 40-fold), compared to virus alone, with the greatest uptake observed in PS1, a usually adenovirus-resistant cell line. Pre-coating the AdΔΔ and Ad-3∆-A20T with AuNPs also increased viral replication, leading to enhanced cell killing, with maximal effect in the most virus-insensitive cells (from 1.4-fold to 5-fold). To conclude, the electrostatic association of virus with cationic agents provides a new avenue to increase the dose in tumour lesions and potentially protect the virus from detrimental blood factor binding. Such an approach warrants further investigation for clinical translation.