Gill reactivity of aluminium-species following liming

In acidified aluminium (Al) rich freshwater positively charged Al-species (Al(i)) are the key toxic components due to the accumulation in fish gills. As a countermeasure, liming is used to increase the pH and reduce the concentration of Al(i)-species; in particular low molecular mass (LMM) Al(i)-species by hydrolyses. However, very toxic high molecular mass (HMM) Al polymers can form in the unstable mixing zone immediately after liming. In the present work gill reactivity of LMM and HMM Al-species was studied under controlled conditions in eight channel-tank mixing zone systems in the field where Atlantic salmon (Salmo salar L.) kept in cages were exposed to defined mixing zone water. Mixing zones were created by continually liming acid river water (pH 5.0-5.7) high in LMM Al(i) to pH 6.0 and 6.4, respectively. Transformation processes affecting the Al-speciation as a function of time after liming were documented by in situ hollow fibre ultrafiltration interfaced with ion chromatography, while the Al accumulation in fish gills was used as bioindicator. For fish exposed to mixing zone water immediately after liming (1 min) the Al accumulation in gills (mug Al g(-1)) was higher (factor of 2) than for fish exposed to acid water prior to liming, due to the formation of gill reactive HMM Al(i)-species. The Al accumulation in gills followed a first order kinetic expression reaching steady-state conditions after 24-h exposures. The deposition rate of Al in gills (mug Al g(-1) h(-1)) correlated with the water concentrations of HMM Al(i) (R(2)=0.80) in the mixing zones, and for LMM Al(i) in the acid water (R(2)=0.92). Due to the transient nature of HMM Al(i) the deposition rate of Al decreased from the point of liming with a factor of 10 downstream the channel-tank system (i.e. 100 min after liming). The concentration of gill accumulated Al was higher (factor of 3) immediately after high level liming (pH 6.4) than following low level liming (pH 6.0). However, high level liming was more efficient in detoxifying Al in downstream waters. Furthermore, the bioavailability of a given LMM Al(i) concentration as well as bioreactivity following liming was dependent on the TOC and silicon concentration in the acid water. Increased concentration of TOC (1.5 to 4.3 mg l(-1)) and silicon (0.3 to 1.0 mg l(-1)) reduced the gill reactivity of Al(i) by approximately 50%.     

Interference Cancelling Codes for Ultra-Reliable Random Access

Combinatorial code designs (CCDs) are proposed as a means for achieving ultra-reliability in the random access channel. In contrast to traditional access protocols that use random repetition coding, we show that by uniquely allocating repetition patterns to users, successful reception may be guaranteed up to a number of simultaneously active users in small frame sizes. Such codes are particularly robust in the low activity region where mission-critical machine-type communication is expected to operate. We also present deterministic codes designed to work in conjunction with successive interference cancellation to further improve reliability. The optimal IC code for frames of 5 access slots is given. Unlike slotted ALOHA, it is shown to limit packet losses to well below the ultra-reliability threshold (10^?5). These error performance gains come at the cost of a strict limitation on the supported user population (11 users in the case of 5 slots). We therefore consider larger frames of 24 slots, and analyse heuristic, low-complexity CCDs with fixed repetition factors that support up to 2024 users. While these are sub-optimal IC codes, significant gains are still observed compared to random codes.     

A New Design Concept for High-Performance Fading Channel Simulators Using Set Partitioning

In this paper, we introduce a new technique for the design of high-performance Rayleigh fading channel simulators. The proposed design method uses set partitioning – a technique, which plays a key role in the design of trellis-coded modulation schemes. We show how set partitioning can be used to design multiple uncorrelated fading waveforms enabling the simulation of Rayleigh fading channels. For the important case of isotropic scattering, we show that the sample average of the generated waveforms results in a deterministic process, the autocorrelation function (ACF) of which tends to the zeroth-order Bessel function of the first kind as the number of sample functions increases. The proposed procedure is completely deterministic. The comparison with a stochastic procedure using Monte Carlo techniques will be made. A study of the performance shows clearly that the new technique using set partitioning outperforms by far existing Monte Carlo methods.     

Profiling and Functional Analysis of microRNA Deregulation in Cancer-Associated Fibroblasts in Oral Squamous Cell Carcinoma Depicts an Anti-Invasive Role of microRNA-204 via Regulation of Their Motility

Background: Knowledge on the role of miR changes in tumor stroma for cancer progression is limited. This study aimed to investigate the role of miR dysregulation in cancer-associated fibroblasts (CAFs) in oral squamous cell carcinoma (OSCC). Methodology: CAF and normal oral fibroblasts (NOFs) were isolated from biopsies of OSCC patients and healthy individuals after informed consent and grown in 3D collagen gels. Total RNA was extracted. Global miR expression was profiled using Illumina version 2 panels. The functional impact of altered miR-204 expression in fibroblasts on their phenotype and molecular profile was investigated using mimics and inhibitors of miR-204. Further, the impact of miR-204 expression in fibroblasts on invasion of adjacent OSCC cells was assessed in 3D-organotypic co-cultures. Results: Unsupervised hierarchical clustering for global miR expression resulted in separate clusters for CAF and NOF. SAM analysis identified differential expression of twelve miRs between CAF and NOF. Modulation of miR-204 expression did not affect fibroblast cell proliferation, but resulted in changes in the motility phenotype, expression of various motility-related molecules, and invasion of the adjacent OSCC cells. 3′ UTR miR target reporter assay showed ITGA11 to be a direct target of miR-204. Conclusions: This study identifies differentially expressed miRs in stromal fibroblasts of OSCC lesions compared with normal oral mucosa and it reveals that one of the significantly downregulated miRs in CAF, miR-204, has a tumor-suppressive function through inhibition of fibroblast migration by modulating the expression of several different molecules in addition to directly targeting ITGA11.     

CFD simulation study to investigate the risk from hydrogen vehicles in tunnels

When introducing hydrogen-fuelled vehicles, an evaluation of the potential change in risk level should be performed. It is widely accepted that outdoor accidental releases of hydrogen from single vehicles will disperse quickly, and not lead to any significant explosion hazard. The situation may be different for more confined situations such as parking garages, workshops, or tunnels. Experiments and computer modelling are both important for understanding the situation better. This article reports a simulation study to examine what, if any, is the explosion risk associated with hydrogen vehicles in tunnels. Its aim was to further our understanding of the phenomena surrounding hydrogen releases and combustion inside road tunnels, and furthermore to demonstrate how a risk assessment methodology developed for the offshore industry could be applied to the current task. This work is contributing to the EU Sixth Framework (Network of Excellence) project HySafe, aiding the overall understanding that is also being collected from previous studies, new experiments and other modelling activities.     

Fast terminal sliding‐mode finite‐time tracking control with differential evolution optimization algorithm using integral chain differentiator in uncertain nonlinear systems

This paper presents a fast terminal sliding‐mode tracking control for a class of uncertain nonlinear systems with unknown parameters and system states combined with time‐varying disturbances. Fast terminal sliding‐mode finite‐time tracking systems based on differential evolution algorithms incorporate an integral chain differentiator (ICD) to feedback systems for the estimation of the unknown system states. The differential evolution optimization algorithm using ICD is also applied to a tracking controller, which provides unknown parametric estimation in the limitation of unknown system states for trajectory tracking. The ICD in the tracking systems strengthens the tracking controller robustness for the disturbances by filtering noises. As a powerful finite‐time control effort, the fast terminal sliding‐mode tracking control guarantees that all tracking errors rapidly converge to the origin. The effectiveness of the proposed approach is verified via simulations, and the results exhibit high‐precision output tracking performance in uncertain nonlinear systems.     

An empirical study of variations in COTS-based software development processes in the Norwegian IT industry

More and more software projects use Commercial-Off-The-Shelf (COTS) components. Although previous studies have proposed specific COTS-based development processes, there are few empirical studies that investigate how to use and customize COTS-based development processes for different project contexts. This paper describes an exploratory study of state-of-the-practice of COTS-based development processes. Sixteen software projects in the Norwegian IT companies have been studied by structured interviews. The results are that COTS-specific activities can be successfully incorporated in most traditional development processes (such as waterfall or prototyping), given proper guidelines to reduce risks and provide specific assistance. We have identified four COTS-specific activities—the build vs. buy decision, COTS component selection, learning and understanding COTS components, and COTS component integration – and one new role, that of a knowledge keeper. We have also found a special COTS component selection activity for unfamiliar components, combining Internet searches with hands-on trials. The process guidelines are expressed as scenarios, problems encountered, and examples of good practice. They can be used to customize the actual development processes, such as in which lifecycle phase to put the new activities into. Such customization crucially depends on the project context, such as previous familiarity with possible COTS components and flexibility of requirements.

Development of separation technology for the removal of radium-223 from decayed thorium-227 in drug formulations. Material screening and method development

Targeted thorium conjugates are currently being investigated as a new class of alpha-radiopharmaceuticals. The natural decay of thorium-227 (²²⁷Th) results in the ingrowth of radium-223 (²²³Ra). Consideration must, therefore, be given to define acceptable limits of ²²³Ra in the drug product at the time of dose administration. By effective sequestration of ²²³Ra, we aim to improve the radiochemical purity and extend the effective user window of drug products containing ²²⁷Th. ²²³Ra is the first progeny of ²²⁷Th and the only one with a long half-life (days). We have, therefore, focused on the removal of this specific species since the progenies of ²²³Ra will have a very limited lifetime in the formulation once ²²³Ra is removed. In this study, we investigated a multitude of materials for their ability to reduce the ²²³Ra level by: (1) passive diffusion or (2) by cartridge filtration on gravity columns. In addition, we probe the compatibility of these materials in the presence of antibody trastuzumab to assess the level of protein binding and estimate the quenching of radiolysis by binding of radionuclides. A screening matrix of organic and inorganic materials was established, i.e. strontium and calcium alginate gel beads, distearoyl phosphatidylglycerol (DSPG) liposomes, ceramic hydroxyapatite, Zeolite UOP type 4A and cation exchange resins AG50W-X8 and SOURCE 30S. First, passive diffusional uptake of ²²³Ra by suspended materials present in the formulation was measured as a decrease in sample radioactivity after separation. Second, selected materials were packed on gravity columns in order to evaluate the efficiency of column separation versus diffusional adsorption. The retention of ²²³Ra and ²²⁷Th were characterized by measuring the radioactivity in the eluate and on the columns. Finally, the compatibility between trastuzumab, as a selected model antibody, and suspensions of the binding materials was analyzed during storage of the drug product in the presence of adsorbent. The formation of H₂O₂ was evaluated to measure the influence of radionuclide binding material on radiolysis in the formulation. All the materials bound ²²³Ra by passive diffusional uptake ranging from 31% to 95% with DSPG liposomes demonstrating superiority at 95% efficiency. All materials suitable for assessment by gravity column filtration bound ²²³Ra almost quantitatively (～100%) and with minimal variation (relative standard deviation <1%). The uptake was significantly higher compared to passive diffusional uptake. Alginate gel beads, ceramic hydroxyapatite and SOURCE 30S reduced the antibody concentration in solution to 40–50% while the Zeolite UOP type 4A, AG50W-X8 resin and DSPG liposomes showed?≤10% reduction of antibody concentration. Ceramic hydroxyapatite significantly reduced H₂O₂ formed by radionuclide initiated radiolysis.     

Verifying a distributed list system: A case history

The background for this paper is twofold: One is the definition of a caching protocol for shared memory parallel computers called SCI, and the other is the usage of rewriting techniques in program verification. The paper concentrates on a linked list system, which is a central aspect of the caching protocol. We first describe an informal proof of this system, including a rather large invariant. Thereafter we show how the list system and the invariant can both be described in the formalism of rewriting logic, and we use this to carry through a significant part of the verification mechanically, using the OBJ3 interpreter.