45S5 Bioglass®-derived scaffolds coated with organic–inorganic hybrids containing graphene

Highly porous 45S5 Bioglass®-based scaffolds fabricated by a foam replication technique were coated with electrically conductive organic–inorganic hybrid layers containing graphene by a solution method. α,ω-Triethoxysilane terminated poly (ethylene glycol) and tetraethoxysilane were used as the precursors of the organic–inorganic hybrid coatings, that contained 1.5 wt.% of homogeneously dispersed graphene nanoplatelets. The resulting coated scaffolds retained their original high porosity and interconnected pore structure after coating. The presence of graphene did not impair the bioactivity of the scaffolds in simulated body fluid.Initial tests carried out using MG-63 cells demonstrated that both uncoated scaffolds and scaffolds coated with organic/inorganic hybrids containing graphene offered the cultured cells an adequate surface for cell attachment, spreading and expression of extracellular matrix. The results showed that scaffolds coated with graphene are biocompatible and they can support cellular activity. The electrical conductivity introduced by the coating might have the potential to increase tissue growth when cell culture is carried out under an applied electric field.     

Factors affecting the occurrence and transport of atmospheric organochlorines in the china sea and the northern Indian and South East atlantic oceans

Organochlorine pesticides (OCPs) and polychlorinated biphenyls (PCBs) are reported in 97 air samples collected on board the RV Polarstern in November 2007 from the equator to Cape Town, South Africa and the MV Oceanic II (The Scholar Ship) in January-March 2008 from Shanghai, China to Cape Verde in the Central Atlantic Ocean. The atmospheric concentrations were higher close to the coast and lower in remote regions of the Indian and South Atlantic Ocean. Groups of samples were selected in the South China Sea, Indian Ocean and South Atlantic Ocean where the relative wind direction matched the trajectory of the ship, thus all the samples had the same input of sources upwind. In these three regions the concentrations of OCPs and PCBs declined during atmospheric transport following first order kinetics. These sets of measurements provided estimates of field derived residence times (FDRTs) for individual compounds. These values were compared with predicted atmospheric residence times (PARTs) computed using a model of long-range atmospheric transport potential of POPs. The FDRTs are 5-10 times longer for the more volatile PCB congeners and TC, CC, p,p'-DDT and p,p'-DDE than the respective PARTs, while they are similar to PARTs for the less volatile compounds. Possible causes of discrepancies between PARTs and FDRTs are discussed, and revolatilization from the ocean surface seems to be the main cause for the higher values of FDRTs of the more volatile compounds in comparison with the respective PARTs.     

Perfluorinated compounds in the Asian atmosphere

There is interest in the production, use, and environmental occurrence of perfluorinated compounds (PFCs) across Asia and the Asian contributions to the burden of these compounds reaching the Arctic and other remote regions via long-range transport. A spatial survey of perfluorinated compounds was therefore undertaken across China, India, and Japan in 2009 using passive air samplers. Target analytes were fluorotelomer olefins (FTOs), acrylates (FTAs), alcohols (FTOHs), sulfonamides, and sulfonamidoethanols. Wide variations in concentrations and mixtures of compounds were apparent from the study. Generally the FTOHs were the most abundant, followed by 8:2 FTO in China and Japan and by the sulfonamides in India. There was a general decline in PFC concentration from urban, rural, to remote locations. Background stations reflected regional differences in air mass composition. A site in the west Pacific Ocean exhibited a Japanese profile in which 8:2 FTO and 8:2 FTOH were predominant. In contrast, a southern Indian profile with high 4:2 FTOH concentrations was observed at a background site in southern China.     

Assessment of lower urinary tract functional deficit in rats with contusive spinal cord injury

Traumatic spinal cord injury (SCI) produces lower urinary tract (LUT) dysfunction that has been studied in surgical transection models. Our aim was to assess LUT functional deficit in a clinically relevant model of incomplete SCI to investigate how partial preservation of supraspinal connections might affect LUT dysfunction. Standardized weight-drop contusion (10 g x 2.5 cm) or complete transection, was produced at T8 in female Sprague-Dawley rats. Behavioral tests were used to assess hind limb sensorimotor function at Day 1 after surgery and weekly thereafter. The urometric experiments were conducted on groups (n = 7) of uninjured rats and on injured rats during Weeks 1 and 2 after SCI (before and after spontaneous voiding was established) as well as Week 2 after a complete transection (n = 3). Under anesthesia, the bladder was continuously perfused with saline. Changes in bladder pressure and external urethral sphincter (EUS) electrical activity were monitored. The bladder was then dissected and weighed and both the bladder and spinal cord were fixed for pathoanatomical analyses. Our results indicate that several aspects of LUT dysfunction after contusive SCI were similar to transection, e.g., reduction of voiding efficiency (approximately 5% of normal value), decrease in inter-contraction interval (47%), increase in bladder capacity (8-fold), and weight (4.6-fold). One aspect appeared different from transection--partial recovery from acute bladder/sphincter dyssynergia. Because the coordination of bladder and EUS function is mediated by brainstem pathways, partial recovery of synergy after SCI was likely due to sparing of some relevant bulbospinal projections as was confirmed by retrograde transneuronal viral tracing.     

Influence of Preheating Temperature on Microstructure Evolution and Hardness of High-Speed Steel AISI M50 Processed by Laser Powder Bed Fusion

The laser powder bed fusion (LPBF) technology has been involved in the tooling industry to produce tools with complex geometry and integrated functions. However, tool steels with high carbon content tend to crack due to the thermal stresses during the LPBF process. One solution is increasing the powder bed temperature to avoid large thermal gradients. In the present study, the influence of the preheating temperature on microstructure and corresponding hardness is systematically investigated. With the help of time–temperature–transformation diagram, the phase evolution during the LPBF process is systematically explained. AISI M50 samples are produced by LPBF from room temperature to a preheating temperature of 650 °C. Higher preheating temperatures shift the optimal laser parameter window to lower volume energy densities. A cellular/dendritic microstructure formed during the rapid solidification with retained austenite is located at the interdendritic regions. Moreover, a high preheating temperature reduces the retained austenite fraction, specifically from 39% without preheating to 7.6% at 650 °C preheating temperature.     

Soundness and Completeness Proofs by Coinductive Methods

We show how codatatypes can be employed to produce compact, high-level proofs of key results in logic: the soundness and completeness of proof systems for variations of first-order logic. For the classical completeness result, we first establish an abstract property of possibly infinite derivation trees. The abstract proof can be instantiated for a wide range of Gentzen and tableau systems for various flavors of first-order logic. Soundness becomes interesting as soon as one allows infinite proofs of first-order formulas. This forms the subject of several cyclic proof systems for first-order logic augmented with inductive predicate definitions studied in the literature. All the discussed results are formalized using Isabelle/HOL’s recently introduced support for codatatypes and corecursion. The development illustrates some unique features of Isabelle/HOL’s new coinductive specification language such as nesting through non-free types and mixed recursion–corecursion.     

Evolutionary Design of Fuzzy Logic Based Position Controller for Mobile Robot

This paper develops a fuzzy logic based position controller whose membership functions are tuned by genetic algorithm. The main goal is to ensure successful velocity and position trajectories tracking between the mobile robot and the virtual reference cart. The proposed fuzzy controller has two inputs and two outputs. The first input represents the distance between the mobile robot and the reference cart. The second input is the angle formed by the straight line defined with the orientation of the robot, and the straight line that connects the robot with the reference cart. The outputs represent linear and angular velocity commands, respectively. The performance of the fuzzy controller is validated through comparison with previously developed mobile robot position controller based on control Lyapunov functions (CLF). Simulation results indicate good performance of position tracking while at the same time a substantial reduction of the control torques is achieved.     

Cloud computing-based parallel genetic algorithm for gene selection in cancer classification

Cancer classification is one of the main steps during patient healing process. This fact enforces modern clinical researchers to use advanced bioinformatics methods for cancer classification. Cancer classification is usually performed using gene expression data gained in microarray experiment and advanced machine learning methods. Microarray experiment generates huge amount of data, and its processing via machine learning methods represents a big challenge. In this study, two-step classification paradigm which merges genetic algorithm feature selection and machine learning classifiers is utilized. Genetic algorithm is built in MapReduce programming spirit which makes this algorithm highly scalable for Hadoop cluster. In order to improve the performance of the proposed algorithm, it is extended into a parallel algorithm which process on microarray data in distributed manner using the Hadoop MapReduce framework. In this paper, the algorithm was tested on eleven GEMS data sets (9 tumors, 11 tumors, 14 tumors, brain tumor 1, lung cancer, brain tumor 2, leukemia 1, DLBCL, leukemia 2, SRBCT, and prostate tumor) and its accuracy reached 100% for less than 25 selected features. The proposed cloud computing-based MapReduce parallel genetic algorithm performed well on gene expression data. In addition, the scalability of the suggested algorithm is unlimited because of underlying Hadoop MapReduce platform. The presented results indicate that the proposed method can be effectively implemented for real-world microarray data in the cloud environment. In addition, the Hadoop MapReduce framework demonstrates substantial decrease in the computation time.