Comparison of three air samplers for the collection of four nebulized respiratory viruses - Collection of respiratory viruses from air –

Viral respiratory tract infections are a leading cause of morbidity and mortality worldwide. Unfortunately, the transmission routes and shedding kinetics of respiratory viruses remain poorly understood. Air sampling techniques to quantify infectious viruses in the air are indispensable to improve intervention strategies to control and prevent spreading of respiratory viruses. Here, the collection of infectious virus with the six-stage Andersen cascade impactor was optimized with semi-solid gelatin as collection surface. Subsequently, the collection efficiency of the cascade impactor, the SKC BioSampler, and an in-house developed electrostatic precipitator was compared. In an in vitro set-up, influenza A virus, human metapneumovirus, parainfluenza virus type 3, and respiratory syncytial virus were nebulized and the amount of collected infectious virus and viral RNA was quantified with each air sampler. Whereas only low amounts of virus were collected using the electrostatic precipitator, high amounts were collected with the BioSampler and cascade impactor. The BioSampler allowed straight-forward sampling in liquid medium, whereas the more laborious cascade impactor allowed size fractionation of virus-containing particles. Depending on the research question, either the BioSampler or the cascade impactor can be applied in laboratory and field settings, such as hospitals to gain more insight into the transmission routes of respiratory viruses.     

Laser sealing of plasma-sprayed calcia-stabilized zirconia

On leave from Scientific Research Council, Baghdad, Iraq.     

Substrate Scope for Human Histone Lysine Acetyltransferase KAT8

Biomedically important histone lysine acetyltransferase KAT8 catalyses the acetyl coenzyme A-dependent acetylation of lysine on histone and other proteins. Here, we explore the ability of human KAT8 to catalyse the acetylation of histone H4 peptides possessing lysine and its analogues at position 16 (H4K16). Our synthetic and enzymatic studies on chemically and structurally diverse lysine mimics demonstrate that KAT8 also has a capacity to acetylate selected lysine analogues that possess subtle changes on the side chain and main chain. Overall, this work highlights that KAT8 has a broader substrate scope beyond natural lysine, and contributes to the design of new chemical probes targeting KAT8 and other members of the histone lysine acetyltransferase (KAT) family.     

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.

     

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.     

Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions

We present techniques for applying a finite relational model finder to logical specifications that involve high-level definitional principles such as (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions. In contrast to previous work, which focused on algebraic datatypes and restricted occurrences of unbounded quantifiers in formulas, we can handle arbitrary formulas by means of a three-valued Kleene logic. The techniques form the basis of the counterexample generator Nitpick for Isabelle/HOL. As case studies, we consider formulas about an inductively defined context-free grammar, a functional implementation of AA trees, and a coalgebraic list datatype.     

Extractive spectrophotometric method for determination of metribuzin herbicide and application of factorial design in optimization of various factors

A simple extractive spectrophotometric method has been described for the determination of metribuzin herbicide. Metribuzin was reacted with copper and a stable complex in the presence of ammonia (0.2M) at pH 10.5 was formed. The resulting yellow coloured complex was extracted in chloroform and showed absorption maxima at 340 nm. Beer's law was obeyed in the range of 0.8-25 microg mL(-1) with molar absorptivity of 5.67 x 10(3)L mol(-1)cm(-1). The composition of the complex was studied by Job's method of continuous variation and the results indicated that the mole ratio of metribuzin:Cu(2+) is 2:1. The optimum reaction conditions for complexation and other analytical parameters were evaluated. A two-level factorial design was also used to determine the effect of different parameters and their interaction on metribuzin:Cu(2+) complex formed. The method was successfully applied for the determination of metribuzin in commercial formulations and real samples.     

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.     

Digital shinrin-yoku: do nature experiences in virtual reality reduce stress and increase well-being as strongly as similar experiences in a physical forest?

Virtual Reality - Shinrin-yoku or forest bathing refers to a therapeutic, immersive nature experience that aids to improve well-being. The goal of the current research was to compare the effects of...