Extraction of genomic DNA and detection of single nucleotide polymorphism genotyping utilizing an integrated magnetic bead-based microfluidic platform

This study presents a new magnetic bead-based microfluidic platform, which integrates three major modules for rapid leukocytes purification, genomic DNA (gDNA) extraction and fast analysis of genetic gene. By utilizing microfluidic technologies and magnetic beads conjugated with CD_15/45 antibodies, leukocytes in a human whole blood sample can be first purified and concentrated, followed by extraction of gDNA utilizing surface-charge switchable, DNA-specific, magnetic beads in the lysis solution. Then, specific genes associated with genetic diseases can be amplified by an on-chip polymerase chain reaction (PCR) process automatically. The whole pretreatment process including the leukocytes purification and gDNA extraction can be performed in an automatic fashion with the incorporation of the built bio-separators consisting of microcoils array within less than 20 min. The detection of single nucleotide polymorphism (SNP) genotyping of methylenetetra-hydrofolate reductase (MTHFR) C677T region associated with an increased risk of genetic diseases was further performed to demonstrate the capability of the proposed system. The extracted gDNA can be transported into a micro PCR chamber for on-chip fast nucleic acid amplification of detection genes with minimum human intervention. Hence, the developed system may provide a powerful automated platform for pretreatment of human leukocytes, gDNA extraction and fast analysis of genetic gene.     

Robust DOA estimation and target docking for mobile robots

Direction of arrival (DOA) guided automated target acquisition and docking system is proposed for mobile robots employing the dual-directional antenna system. The dual-directional antenna estimates the DOA of the signal of interest using the ratio of the signal strengths between two adjacent antennas. In practice, DOA estimation poses a significant technical challenge, since the RF signal is easily distorted by the environmental conditions. Therefore, the robot often loses its way in an electromagnetically disturbed environment. To cope with this problem, a robust DOA estimation algorithm is developed based on Kalman filtering. This algorithm allows the robot to reduce the potential error in the estimated DOA, and adjust the robot’s heading to the target transponder without needing to know the positions of current and previous measurements in a global coordinate system. The simulation and experiment results clearly demonstrate that the mobile robot equipped with the developed system is able to dock to a target transponder in an indoor environment partially occupied by obstacles.     

Proteomic analysis of sera of asymptomatic,early‐stage patients with Wilson's disease

Wilson's disease (WD) is characterized by excessive accumulation of intracellular copper in liver and extrahepatic tissues, leading to significant oxidative stress and tissue damage. To date, several diagnostic biomarkers for WD such as serum ceruloplasmin, serum or urine copper levels and copper content in liver have been identified. However, these biomarkers may not be convincing for the diagnosis in some WD patients. To identify additional novel diagnostic biomarkers, we compared the serum protein profiles of asymptomatic childhood WD patients (n=20), without neurologic manifestation or liver cirrhosis, with normal controls (n=13). Fourteen spots, five up‐regulated and nine down‐regulated (>2‐fold), were differentially expressed in WD patients in comparison to normal control on 2‐DE. Among them, three spots were down‐regulated in both male and female WD. MS/MS analysis revealed that the three spots were complement component C3, complement factor B and alpha‐2 macroglobulin. By comparative proteome analysis, complement component C3, complement factor B and alpha‐2 macroglobulin, which are related to oxidative stress and inflammation, turned out to be good candidates for novel diagnostic biomarkers for early stages of WD.     

Toward the Proteome of the Human Peripheral Blood Eosinophil

Eosinophils (EOSs) are granular leukocytes that have significant roles in many inflammatory and immunoregulatory responses, especially asthma and allergic diseases. We have undertaken a fairly comprehensive proteomic analysis of purified peripheral blood EOSs from normal human donors primarily employing 2‐DE with protein spot identification by MALDI‐MS. Protein subfractionation methods employed included IEF (Zoom^® Fractionator) and subcellular fractionation using differential protein solubilization. We have identified 3141 proteins, which had Mascot expectation scores of 10^?3 or less. Of these 426 were unique and non‐redundant of which 231 were novel proteins not previously reported to occur in EOSs. Ingenuity Pathway Analysis showed that some 70% of the non‐redundant proteins could be subdivided into categories that are clearly related to currently known EOS biological activities. Cytoskeletal and associated proteins predominated among the proteins identified. Extensive protein posttranslational modifications were evident, many of which have not been previously reported that reflected the dynamic character of the EOS. This data set of eosinophilic proteins will prove valuable in comparative studies of disease versus normal states and for studies of gender differences and polymorphic variation among individuals.     

Adaptive sorting: an information theoretic perspective

We present two algorithms that are near optimal with respect to the number of inversions present in the input. One of the algorithms is a variation of insertion sort, and the other is a variation of merge sort. The number of comparisons performed by our algorithms, on an input sequence of length n that has I inversions, is at most . Moreover, both algorithms have implementations that run in time . All previously published algorithms require at least comparisons for some c > 1. M. L. Fredman was supported in part by NSF grant CCR-9732689.     

Relational structures model of concurrency

The paper deals with the foundations of concurrency theory. We show how structurally complex concurrent behaviours can be modelled by relational structures (X, ¨, \sqsubset){(X, \diamondsuit, \sqsubset)} , where X is a set (of event occurrences), and ¨{\diamondsuit} (interpreted as commutativity) and \sqsubset{\sqsubset} (interpreted as weak causality) are binary relations on X. The paper is a continuation of the approach initiated in Gaifman and Pratt (Proceedings of LICS’87, pp 72–85, 1987), Lamport (J ACM 33:313–326, 1986), Abraham et al. (Semantics for concurrency, workshops in computing. Springer, Heidelberg, pp 311–323, 1990) and Janicki and Koutny (Lect Notes Comput Sci 506:59–74, 1991), substantially developed in Janicki and Koutny (Theoretical Computer Science 112:5–52, 1993) and Janicki and Koutny (Acta Informatica 34:367–388, 1997), and recently generalized in Guo and Janicki (Lect Notes Comput Sci 2422:178–191, 2002) and Janicki (Lect Notes Comput Sci 3407:84–98, 2005). For the first time the full model for the most general case is given.     

Theoretical justification of approximate norm minimization method for intelligent digital redesign

This paper investigates the theoretical justification of intelligent digital redesign (IDR) methods based on the approximate discrete-time models. Its main purpose is to design the digital fuzzy controller achieving the minimum norm distance between the trajectories of the approximate closed-loop systems under the analog and the digital controls. It is verified that, if there exist the digital gains such that the approximate norm distance is sufficiently small, the redesigned controller makes the trajectories of the exact closed-loop systems close, or, at least, asymptotically stabilizes the plant.     

Variations for the <Emphasis Type="Italic">Q</Emphasis>- and <Emphasis Type="Italic">H</Emphasis>-factors in the polar decomposition

In this paper, the variations of both subunitary polar factors and Hermitian positive semidefinite polar factors in the polar decomposition are studied. New perturbation bounds of both polar factors are given without the restriction that A and its perturbed matrix à have the same rank. These improve recent results.     

Developable polynomial surface approximation to smooth surfaces for fabrication parameters of a large curved shell plate by Differential Evolution

This paper presents a simple and efficient method to approximate a developable surface to a compound design surface by a polynomial. It is required to predict a final shape of roll bending in the fabrication of a curved shell plate. The roll bending process usually makes the cylindrical or conical curvature from an initial flat plate. It means that the final shape is developable or the surface representation has zero Gaussian curvature. The fabrication shape is important in order to estimate process parameters of roller bending.An optimization problem is formulated to determine the polynomial surface which is in the closest proximity to the design surface or the given shell plate, which is subjected to developability. The results and the efficiency of this algorithm are verified and evaluated by applying it to some shell plates which are obtained from a real ship model. The predicted bending shape becomes fundamental information in determining more process parameters for the fabrication of a compound curved shell plate.     

A -based layout design for gratings allocation

In the design process of gratings, the grating layout design is the most important activity influencing manufacturing cost. In the grating layout design, the key to saving manufacturing cost is to find a design with a minimal number of cutting operations. This paper presents an application of the A^* algorithm in grating layout design. The design problem is represented as the space search problem of design alternatives. A^* explores the feasible alternatives within the space, until an optimal solution is obtained.