(J, J′)-lossless factorization based on conjugation

This paper is concerned with a derivation of the state-space form of the (J, J′)-lossless factorization which contains both the inner-outer factorization and the spectral factorization of positive matrices as special cases. Also, the (J, J′)-lossless factorization gives a unified framework of H^∞ control theory. We use the method of conjugation which makes the derivation much simpler than the previous literature, most of which used the technique of (J, J′)-spectral factorization. A necessary and sufficient condition is represented in terms of two Riccati equations one of which is degenerated.     

A Model in κ for DNA Addition

DNA computing is a hot research topic in recent years. Formalization and verification using theories(π-calculus, bioambients, κ-calculus and etc.) in Computer Science attract attention because it can help prove and predict to a certian degree various kinds of biological processes. Combining these two aspects, formal methods can be used to verify algorithms in DNA computing, including basic arithmetic operations if they are to be included in a DNA chip. In this paper, we first introduce a newly-designed algorithm for solving binary addition with DNA, which contributes to a unit in DNA computer processor, and then formalize the algorithm in κ-calculus(a formal method well suited for describing protein interactions) to show the correctness of it in a sense, and a sensible example is provided. Finally, some discussion on the described model is made, in addition to a few possible future improvement directions.     

Locked nucleic acids biosensor for detection of BCR/ABL fusion gene using benzoate binuclear copper (II) complex as hybridization indicator

Benzoate binuclear copper (II) complex, [Cu₂(C₇H₅O₂)₄(C₂H₆O)₂] (abbreviated as CuR₂) was prepared and its interaction with double-stranded salmon sperm DNA (dsDNA) in pH 7.4 phosphate buffer solution was studied by electrochemical experiments at the Au electrode (AuE). It was revealed that CuR₂ presented an excellent electrochemical activity on AuE and could bind with dsDNA by intercalation mode. The CuR₂ was further utilized as a new indicator in the fabrication of an electrochemical DNA biosensor for detection of BCR/ABL fusion gene. The biosensor based on nanogold (NG) modified AuE was developed by using thiolated-hairpin locked nucleic acids (LNA) as the capture probe for hybridization with BCR/ABL fusion gene. The results indicated this new method has excellent specificity for single-base mismatch and complementary after hybridization. The constructed electrochemical DNA biosensor achieved a detection limit of 1.0 × 10⁻¹⁰ M for complementary target DNA with a good stability.     

Highly efficient blue organic light‐emitting diode with high color purity using 4,4′‐N,N′‐dicarbazole‐biphyenyl (CBP) doped with 1,4‐bis[2‐(3‐N‐ethylcarbazoryl) vinyl]benzene (BCzVB)

Abstract— An efficient pure blue multilayer organic light‐emitting diode employing 1,4‐bis[2‐(3‐N‐ethylcarbazoryl)vinyl]benzene (BCzVB) doped into 4,4′‐N,N′‐dicarbazole‐biphyenyl (CBP) is reported. The device structure is ITO (indium tin oxide)/TPD (N,N′‐diphenyl‐N,N′‐bis (3‐methylphenyl)‐1,1′biphenyl‐4,4′diamine)/CBP:BCzVB/Alq₃ (tris‐(8‐hydroxy‐quinolinato) aluminum)/Liq (8‐hydroxy‐quinolinato lithium)/Al; here TPD was used as the hole‐transporting layer, CBP as the blue‐emitting host, BCzVB as the blue dopant, Alq₃ as the electron‐transporting layer, Liq as the electron‐injection layer, and Al as the cathode, respectively. A maximum luminance of 8500 cd/m² and a device efficiency of 3.5 cd/A were achieved. The CIE co‐ordinates were x = 0.15, y = 0.16. The electroluminescent spectra reveal a dominant peak at 448 nm and additional peaks at 476 nm with a full width at half maximum of 60 nm. The Föster energy transfer and, especially, carrier trapping models were considered to be the main mechanism for exciton formation on BCzVB molecules under electrical excitation.     

On the ω-language Expressive Power of Extended Petri Nets

In this paper, we study the expressive power of several monotonic extensions of Petri nets. We compare the expressive power of Petri nets, Petri nets extended with non-blocking arcs and Petri nets extended with transfer arcs, in terms of ω-languages. We show that the hierarchy of expressive powers of those models is strict. To prove these results, we propose original techniques that rely on well-quasi orderings and monotonicity properties.     

Gas sensitivity of Zn doped α-Fe2O3(SO4, Sn, Zn) to carbon monoxide

It is shown that the doping of Zn and Sn can improve the gas sensitivity of α-Fe₂O₃-based sensing material to CO. X-ray photo-electron spectroscopy analysis suggests that this is mainly due to the fact that the simultaneous doping of Zn and Sn can increase the S and hence SO₄²⁻ contents in the α-Fe₂O₃(SO₄²⁻, Sn, Zn) sensing material. The results also suggest that under a given condition, the gas sensitivity of α-Fe₂O₃(SO₄²⁻, Sn, Zn) to CO can be optimised by properly adjusting the doped Zn content.