A multicomputer garbage collector for a single-assignment language

An asynchronous garbage collector for a message-passing multiprocessor (multicomputer) is described. This combines Weighted Reference Counting (WRC) interprocessor collection and tracing intraprocessor collection to permit individual processors to reclaim local storage independently. A novel feature is the integration of Weighted Reference Counting collection and the communication algorithms required to support a global address space in a single assignment language. This significantly reduces communication overhead and space requirements attributable to garbage collection. In addition, techniques are described that avoid the creation of cyclic structures that cannot be reclaimed using WRC. Experimental studies performed in a concurrent logic programming system that incorporates the collector confirm its efficiency and the benefits of integrating garbage collector and language implementation.     

Nanoparticle-functionalized porous polymer monolith detection elements for surface-enhanced Raman scattering

The use of porous polymer monoliths functionalized with silver nanoparticles is introduced in this work for high-sensitivity surface-enhanced Raman scattering (SERS) detection. Preparation of the SERS detection elements is a simple process comprising the synthesis of a discrete polymer monolith section within a silica capillary, followed by physically trapping silver nanoparticle aggregates within the monolith matrix. A SERS detection limit of 220 fmol for Rhodamine 6G is demonstrated, with excellent signal stability over a 24 h period. The capability of the SERS-active monolith for label-free detection of biomolecules was demonstrated by measurements of bradykinin and cytochrome c. The SERS-active monoliths can be readily integrated into miniaturized micrototal-analysis systems for online and label-free detection for a variety of biosensing, bioanalytical, and biomedical applications.     

MicroRNA-Based Diagnosis and Therapy

MicroRNAs (miRNAs) are a group of endogenous non-coding RNAs that regulate gene expression. Alteration in miRNA expression results in changes in the profile of genes involving a range of biological processes, contributing to numerous human disorders. With high stability in human fluids, miRNAs in the circulation are considered as promising biomarkers for diagnosis, as well as prognosis of disease. In addition, the translation of miRNA-based therapy from a research setting to clinical application has huge potential. The aim of the current review is to: (i) discuss how miRNAs traffic intracellularly and extracellularly; (ii) emphasize the role of circulating miRNAs as attractive potential biomarkers for diagnosis and prognosis; (iii) describe how circulating microRNA can be measured, emphasizing technical problems that may influence their relative levels; (iv) highlight some of the circulating miRNA panels available for clinical use; (v) discuss how miRNAs could be utilized as novel therapeutics, and finally (v) update those miRNA-based therapeutics clinical trials that could potentially lead to a breakthrough in the treatment of different human pathologies.     

ICOSL Stimulation by ICOS-Fc Accelerates Cutaneous Wound Healing In Vivo

Background: ICOS and its ligand ICOSL are immune receptors whose interaction triggers bidirectional signals that modulate the immune response and tissue repair. Aim: The aim of this study was to assess the in vivo effects of ICOSL triggering by ICOS-Fc, a recombinant soluble form of ICOS, on skin wound healing. Methods: The effect of human ICOS-Fc on wound healing was assessed, in vitro, and, in vivo, by skin wound healing assay using ICOS^−/− and ICOSL^−/− knockout (KO) mice and NOD-SCID-IL2R null (NSG) mice. Results: We show that, in wild type mice, treatment with ICOS-Fc improves wound healing, promotes angiogenesis, preceded by upregulation of IL-6 and VEGF expression; increases the number of fibroblasts and T cells, whereas it reduces that of neutrophils; and increases the number of M2 vs. M1 macrophages. Fittingly, ICOS-Fc enhanced M2 macrophage migration, while it hampered that of M1 macrophages. ICOS^−/− and ICOSL^−/− KO, and NSG mice showed delayed wound healing, and treatment with ICOS-Fc improved wound closure in ICOS^−/− and NSG mice. Conclusion: These data show that the ICOS/ICOSL network cooperates in tissue repair, and that triggering of ICOSL by ICOS-Fc improves cutaneous wound healing by increasing angiogenesis and recruitment of reparative macrophages.     

Multi-modal demands of a smartphone used to place calls and enter addresses during highway driving relative to two embedded systems

There is limited research on trade-offs in demand between manual and voice interfaces of embedded and portable technologies. Mehler et al. identified differences in driving performance, visual engagement and workload between two contrasting embedded vehicle system designs (Chevrolet MyLink and Volvo Sensus). The current study extends this work by comparing these embedded systems with a smartphone (Samsung Galaxy S4). None of the voice interfaces eliminated visual demand. Relative to placing calls manually, both embedded voice interfaces resulted in less eyes-off-road time than the smartphone. Errors were most frequent when calling contacts using the smartphone. The smartphone and MyLink allowed addresses to be entered using compound voice commands resulting in shorter eyes-off-road time compared with the menu-based Sensus but with many more errors. Driving performance and physiological measures indicated increased demand when performing secondary tasks relative to ‘just driving’, but were not significantly different between the smartphone and embedded systems.

Practitioner Summary: The findings show that embedded system and portable device voice interfaces place fewer visual demands on the driver than manual interfaces, but they also underscore how differences in system designs can significantly affect not only the demands placed on drivers, but also the successful completion of tasks.     

Generalised rely-guarantee concurrency: an algebraic foundation

The rely-guarantee technique allows one to reason compositionally about concurrent programs. To handle interference the technique makes use of rely and guarantee conditions, both of which are binary relations on states. A rely condition is an assumption that the environment performs only atomic steps satisfying the rely relation and a guarantee is a commitment that every atomic step the program makes satisfies the guarantee relation. In order to investigate rely-guarantee reasoning more generally, in this paper we allow interference to be represented by a process rather than a relation and hence derive more general rely-guarantee laws. The paper makes use of a weak conjunction operator between processes, which generalises a guarantee relation to a guarantee process, and introduces a rely quotient operator, which generalises a rely relation to a process. The paper focuses on the algebraic properties of the general rely-guarantee theory. The Jones-style rely-guarantee theory can be interpreted as a model of the general algebraic theory and hence the general laws presented here hold for that theory.     

A Library-Based Approach to Task Parallelism in a Data-Parallel Language

Pure data-parallel languages such as High Performance Fortran version 1 (HPF) do not allow efficient expression of mixed task/data-parallel computations or the coupling of separately compiled data-parallel modules. In this paper, we show how these common parallel program structures can be represented, with only minor extensions to the HPF model, by using a coordination library based on the Message Passing Interface (MPI). This library allows data-parallel tasks to exchange distributed data structures using calls to simple communication functions. We present microbenchmark results that characterize the performance of this library and that quantify the impact of optimizations that allow reuse of communication schedules in common situations. In addition, results from two-dimensional FFT, convolution, and multiblock programs demonstrate that the HPF/MPI library can provide performance superior to that of pure HPF. We conclude that this synergistic combination of two parallel programming standards represents a useful approach to task parallelism in a data-parallel framework, increasing the range of problems addressable in HPF without requiring complex compiler technology.     

Non‐Covalent Functionalization of Graphene Using Self‐Assembly of Alkane‐Amines

A simple, versatile method for non‐covalent functionalization of graphene based on solution‐phase assembly of alkane‐amine layers is presented. Second‐order Møller–Plesset (MP2) perturbation theory on a cluster model (methylamine on pyrene) yields a binding energy of ≈220 meV for the amine–graphene interaction, which is strong enough to enable formation of a stable aminodecane layer at room temperature. Atomistic molecular dynamics simulations on an assembly of 1‐aminodecane molecules indicate that a self‐assembled monolayer can form, with the alkane chains oriented perpendicular to the graphene basal plane. The calculated monolayer height (≈1.7 nm) is in good agreement with atomic force microscopy data acquired for graphene functionalized with 1‐aminodecane, which yield a continuous layer with mean thickness ≈1.7 nm, albeit with some island defects. Raman data also confirm that self‐assembly of alkane‐amines is a non‐covalent process, i.e., it does not perturb the sp² hybridization of the graphene. Passivation and adsorbate n‐doping of graphene field‐effect devices using 1‐aminodecane, as well as high‐density binding of plasmonic metal nanoparticles and seeded atomic layer deposition of inorganic dielectrics using 1,10‐diaminodecane are also reported.     

Wireless underground sensor networks: Research challenges

This work introduces the concept of a Wireless Underground Sensor Network (WUSN). WUSNs can be used to monitor a variety of conditions, such as soil properties for agricultural applications and toxic substances for environmental monitoring. Unlike existing methods of monitoring underground conditions, which rely on buried sensors connected via wire to the surface, WUSN devices are deployed completely belowground and do not require any wired connections. Each device contains all necessary sensors, memory, a processor, a radio, an antenna, and a power source. This makes their deployment much simpler than existing underground sensing solutions. Wireless communication within a dense substance such as soil or rock is, however, significantly more challenging than through air. This factor, combined with the necessity to conserve energy due to the difficulty of unearthing and recharging WUSN devices, requires that communication protocols be redesigned to be as efficient as possible. This work provides an extensive overview of applications and design challenges for WUSNs, challenges for the underground communication channel including methods for predicting path losses in an underground link, and challenges at each layer of the communication protocol stack.     

Metabolic Pathways for Observed Impacts of Crop Load on Floral Induction in Apple

The triggers of biennial bearing are thought to coincide with embryonic development in apple and occurs within the first 70 days after full bloom (DAFB). Strong evidence suggests hormonal signals are perceived by vegetative apple spur buds to induce flowering. The hormonal response is typically referred to as the floral induction (FI) phase in bud meristem development. To determine the metabolic pathways activated in FI, young trees of the biennial bearing cultivar ‘Nicoter’ and the less susceptible cultivar ‘Rosy Glow’ were forced into an alternate cropping cycle over five years and an inverse relationship of crop load and return bloom was established. Buds were collected over a four-week duration within 70 DAFB from trees that had maintained a four-year biennial bearing cycle. Metabolomics profiling was undertaken to determine the differentially expressed pathways and key signalling molecules associated with biennial bearing. Marked metabolic differences were observed in trees with high and low crop load treatments. Significant effects were detected in members of the phenylpropanoid pathway comprising hydroxycinnamates, salicylates, salicylic acid biosynthetic pathway intermediates and flavanols. This study identifies plant hormones associated with FI in apples using functional metabolomics analysis.