Discrimination of Type 2 diabetic patients from healthy controls by using metabonomics method based on their serum fatty acid profiles

Metabonomics, the study of metabolites and their roles in various disease states, is a novel methodology arising from the post-genomics era. This methodology has been applied in many fields, including work in cardiovascular research and drug toxicology. In this study, metabonomics method was employed to the diagnosis of Type 2 diabetes mellitus (DM2) based on serum lipid metabolites. The results suggested that serum fatty acid profiles determined by capillary gas chromatography combined with pattern recognition analysis of the data might provide an effective approach to the discrimination of Type 2 diabetic patients from healthy controls. And the applications of pattern recognition methods have improved the sensitivity and specificity greatly. (C) 2004 Elsevier B.V. All rights reserved.

The regional types of China's floating population: Identification methods and spatial patterns

With the rapid increase of the number and influence of floating population in China, it is urgently needed to understand the regional types of China's floating population and their spatial characteristics. After reviewing the current methods for identifying regional types of floating population, this paper puts forward a new composite-index identification method and its modification version which is consisted of two indexes of the net migration rate and gross migration rate. Then, the traditional single-index and the new composite-index identification methods are empirically tested to explore their spatial patterns and characteristics by using China's 2000 census data at county level. The results show: (1) The composite-index identification method is much better than traditional single-index method because it can measure the migration direction and scale of floating simultaneously, and in particular it can identify the unique regional types of floating population with large scale of immigration and emigration. (2) The modified composite-index identification method, by using the share of a region's certain type of floating population to the total in China as weights, can effectively correct the over- or under-estimated errors due to the rather large or small total population of a region. (3) The spatial patterns of different regional types of China's floating population are closely related to the regional differentiation of their natural environment, population density and socio-economic development level. The three active regional types of floating population are mainly located in the eastern part of China with lower elevation, more than 800 mm precipitation, rather higher population densities and economic development levels.

Studies on coarsening of microdomains in binary polymer mixtures by Lattice Boltzmann methods

An improved free energy approach Lattice Boltzmann model(LBM) is proposed by introducing a forcing term instead of the pressure tensor. This model can reach the proper thermodynamic equilibrium after enough simulation time. On the basis of this model, the phase separation in binary polymer mixtures is studied by applying a Flory-Huggins-type free energy. The numerical results show good agreement with the analytic coexistence curve. This model can also be used to study the coarsening of microdomains in binary polymer mixtures at the early and intermediate stages.

SYNTHESIS AND STRUCTURAL CHARACTERIZATION OF THE DAWSON-TYPE TUNGSTOPHOSPHATE HETEROPOLY COMPLEXES SUBSTITUTED BY NIOBIUM

Eight new complexes alpha(2)-M(7-m)H(m)[P2W17NbO62]. H2O and alpha-1, 2, 3-M(g-m)H(m) [P2W15Nb3O62]. XH(2)O(M=K, TMA, TEA, TBA) were synthesized and characterized by IR and UV spectroscopy, polarography, XPS and XRD methods. P-31 and W-183 NMR studies show that the niobium atoms in the anions are on the polar sites. The crystal of alpha-1, 2, 3-K7H2 [P2W15Nb3O62]. 30H(2)O is hexagonal, its cell parameters: a=1.9836(4), b=1.9836(9), c=1.5498(6)nm, alpha=beta=90 degrees, gamma=120 degrees.

WATER-SOLUBLE AND AMPHIPHILIC POLYMERS .7. SYNTHESIS AND CHARACTERIZATION OF A NOVEL COMB-TYPE AMPHIPHILIC POLYMER PAMC16S

A novel comb-like amphiphilic polymer, poly (2-acrylamidohexadecylsulfonic acid) (PAMC16S), was synthesized by free radical polymerization of the corresponding amphiphilic monomer in 1,4-dioxane-water mixed solvents. Depending on the ratio of water/dioxane in the solvent, the reaction proceeded by either precipitation polymerization or micellar polymerization. The molecular weight of the polymer obtained under similar conditions decreased and subsequently increased with the increase of water content in the mixed solvent. The polyion nature of PAMC16S was confirmed by viscosity data of ethanolic solutions. In addition, the polymer was characterized by solubility, IR, TG and wide angle X-ray diffraction methods.

指数矩阵近似计算在地震波场延拓中的应用

Seismic wave field numerical modeling and seismic migration imaging based on wave equation have become useful and absolutely necessarily tools for imaging of complex geological objects. An important task for numerical modeling is to deal with the matrix exponential approximation in wave field extrapolation. For small value size matrix exponential, we can approximate the square root operator in exponential using different splitting algorithms. Splitting algorithms are usually used on the order or the dimension of one-way wave equation to reduce the complexity of the question. In this paper, we achieve approximate equation of 2-D Helmholtz operator inversion using multi-way splitting operation. Analysis on Gauss integral and coefficient of optimized partial fraction show that dispersion may accumulate by splitting algorithms for steep dipping imaging. High-order symplectic Pade approximation may deal with this problem, However, approximation of square root operator in exponential using splitting algorithm cannot solve dispersion problem during one-way wave field migration imaging. We try to implement exact approximation through eigenfunction expansion in matrix. Fast Fourier Transformation (FFT) method is selected because of its lowest computation. An 8-order Laplace matrix splitting is performed to achieve a assemblage of small matrixes using FFT method. Along with the introduction of Lie group and symplectic method into seismic wave-field extrapolation, accurate approximation of matrix exponential based on Lie group and symplectic method becomes the hot research field. To solve matrix exponential approximation problem, the Second-kind Coordinates (SKC) method and Generalized Polar Decompositions (GPD) method of Lie group are of choice. SKC method utilizes generalized Strang-splitting algorithm. While GPD method utilizes polar-type splitting and symmetric polar-type splitting algorithm. Comparing to Pade approximation, these two methods are less in computation, but they can both assure the Lie group structure. We think SKC and GPD methods are prospective and attractive in research and practice.

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.

Exploitation of Ebola Virus VP35 Protein to identify new drugs counteracting its type I IFN antagonism

Ebolaviruses (EBOVs) are among the most virulent and deadly pathogens ever known, causing fulminant haemorrhagic fevers in humans and non-human primates. The 2014 outbreak of Ebola virus disease (EVD) in West Africa has claimed more lives than all previous EVD outbreaks combined. The EBOV high mortality rates have been related to the virus-induced impairment of the host innate immunity reaction due to two virus-coded proteins, VP24 and VP35. EBOV VP35 is a multifunctional protein, it is essential for viral replication as a component of the viral RNA polymerase and it also participates in nucleocapsid assembly. Early during EBOV infection, alpha-beta interferon (IFN-α/β) production would be triggered upon recognition of viral dsRNA products by cytoplasmic retinoic acid-inducible gene I (RIG-I)-like receptors (RLRs). However, this recognition is efficiently prevented by the double-stranded RNA (dsRNA) binding activity of the EBOV VP35 protein, which hides RLRs binding sites on the dsRNA phosphate backbone as well the 5’-triphosphate (5’-ppp) dsRNA ends to RIG-I recognition. In addition to dsRNA binding and sequestration, EBOV VP35 inhibits IFN-α/β production preventing the activation of the IFN regulatory factor 3 (IRF-3) by direct interaction with cellular proteins. Previous studies demonstrated that single amino acid changes in the VP35 dsRNA binding domain reduce EBOV virulence, indicating that VP35 is an attractive target for antiviral drugs development. Within this context, here we report the establishment of a novel method to characterize the EBOV VP35 inhibitory function of the dsRNA-dependent RIG-I-mediated IFN-β signaling pathway in a BLS2 cell culture setting. In such system, a plasmid containing the promoter region of IFN-β gene linked with a luciferase reporter gene was transfected, together with a EBOV VP35 mammalian expression plasmid, into the IFN-sensitive A549 cell line, and the IFN-induction was stimulated through dsRNA transfection. Through alanine scanning mutational studies with biochemical, cellular and computational methods we highlighted the importance of some VP35 residues involved in dsRNA end-capping binding, such as R312, K282 and R322, that may serve as target for the development of small-molecule inhibitors against EBOV. Furthermore, we identified a synthetic compound that increased IFN-induction only under antiviral response stimulation and subverted VP35 inhibition, proving to be very attractive for the development of an antiviral drug. In conclusion, our results provide the establishment of a new assay as a straightforward tool for the screening of antiviral compounds that target i) dsRNA-VP35 or cellular protein-VP35 interaction and ii) dsRNA-dependent RIG-I-mediated IFN signaling pathway, in order to potentiate the IFN response against VP35 inhibition, setting the bases for further drug development.

Hidden Type Variables and Conditional Extension for More Expressive Generic Programs

Generic object-oriented programming languages combine parametric polymorphism and nominal subtype polymorphism, thereby providing better data abstraction, greater code reuse, and fewer run-time errors. However, most generic object-oriented languages provide a straightforward combination of the two kinds of polymorphism, which prevents the expression of advanced type relationships. Furthermore, most generic object-oriented languages have a type-erasure semantics: instantiations of type parameters are not available at run time, and thus may not be used by type-dependent operations. This dissertation shows that two features, which allow the expression of many advanced type relationships, can be added to a generic object-oriented programming language without type erasure: 1. type variables that are not parameters of the class that declares them, and 2. extension that is dependent on the satisfiability of one or more constraints. We refer to the first feature as hidden type variables and the second feature as conditional extension. Hidden type variables allow: covariance and contravariance without variance annotations or special type arguments such as wildcards; a single type to extend, and inherit methods from, infinitely many instantiations of another type; a limited capacity to augment the set of superclasses after that class is defined; and the omission of redundant type arguments. Conditional extension allows the properties of a collection type to be dependent on the properties of its element type. This dissertation describes the semantics and implementation of hidden type variables and conditional extension. A sound type system is presented. In addition, a sound and terminating type checking algorithm is presented. Although designed for the Fortress programming language, hidden type variables and conditional extension can be incorporated into other generic object-oriented languages. Many of the same problems would arise, and solutions analogous to those we present would apply.

A Type System For Safe SN Resource Allocation

snBench is a platform on which novice users compose and deploy distributed Sense and Respond programs for simultaneous execution on a shared, distributed infrastructure. It is a natural imperative that we have the ability to (1) verify the safety/correctness of newly submitted tasks and (2) derive the resource requirements for these tasks such that correct allocation may occur. To achieve these goals we have established a multi-dimensional sized type system for our functional-style Domain Specific Language (DSL) called Sensor Task Execution Plan (STEP). In such a type system data types are annotated with a vector of size attributes (e.g., upper and lower size bounds). Tracking multiple size aspects proves essential in a system in which Images are manipulated as a first class data type, as image manipulation functions may have specific minimum and/or maximum resolution restrictions on the input they can correctly process. Through static analysis of STEP instances we not only verify basic type safety and establish upper computational resource bounds (i.e., time and space), but we also derive and solve data and resource sizing constraints (e.g., Image resolution, camera capabilities) from the implicit constraints embedded in program instances. In fact, the static methods presented here have benefit beyond their application to Image data, and may be extended to other data types that require tracking multiple dimensions (e.g., image "quality", video frame-rate or aspect ratio, audio sampling rate). In this paper we present the syntax and semantics of our functional language, our type system that builds costs and resource/data constraints, and (through both formalism and specific details of our implementation) provide concrete examples of how the constraints and sizing information are used in practice.

Type Inference For Recursive Definitions

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing how our systems can be used to type programs encountered in practice. We show that type inference in the rank-k system is decidable for k ≤ 2 and undecidable for k ≥ 3. (Similar results based on different techniques are known to hold for System F, without recursive types and object types.) Our undecidability result is obtained by a reduction from a particular adaptation (which we call "regular") of the semi-unification problem and whose undecidability is, interestingly, obtained by methods totally different from those used in the case of standard (or finite) semi-unification.

Type Inference for Variant Object Types

Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive power of the type system. Flexibility of static typing can be recovered in different ways: in first-order systems, by the adoption of object types with variance annotations, in second-order systems by resorting to Self types. Type inference is known to be P-complete for first-order systems of finite and recursive object types, and NP-complete for a restricted version of Self types. The complexity of type inference for systems with variance annotations is yet unknown. This paper presents a new object type system based on the notion of Split types, a form of object types where every method is assigned two types, namely, an update type and a select type. The subtyping relation that arises for Split types is variant and, as a result, subtyping can be performed both in width and in depth. The new type system generalizes all the existing first-order type systems for objects, including systems based on variance annotations. Interestingly, the additional expressive power does not affect the complexity of the type inference problem, as we show by presenting an O(n^3) inference algorithm.

Uniformly convergent finite element and finite difference methods for singularly perturbed ordinary differential equations

This thesis is concerned with uniformly convergent finite element and finite difference methods for numerically solving singularly perturbed two-point boundary value problems. We examine the following four problems: (i) high order problem of reaction-diffusion type; (ii) high order problem of convection-diffusion type; (iii) second order interior turning point problem; (iv) semilinear reaction-diffusion problem. Firstly, we consider high order problems of reaction-diffusion type and convection-diffusion type. Under suitable hypotheses, the coercivity of the associated bilinear forms is proved and representation results for the solutions of such problems are given. It is shown that, on an equidistant mesh, polynomial schemes cannot achieve a high order of convergence which is uniform in the perturbation parameter. Piecewise polynomial Galerkin finite element methods are then constructed on a Shishkin mesh. High order convergence results, which are uniform in the perturbation parameter, are obtained in various norms. Secondly, we investigate linear second order problems with interior turning points. Piecewise linear Galerkin finite element methods are generated on various piecewise equidistant meshes designed for such problems. These methods are shown to be convergent, uniformly in the singular perturbation parameter, in a weighted energy norm and the usual L2 norm. Finally, we deal with a semilinear reaction-diffusion problem. Asymptotic properties of solutions to this problem are discussed and analysed. Two simple finite difference schemes on Shishkin meshes are applied to the problem. They are proved to be uniformly convergent of second order and fourth order respectively. Existence and uniqueness of a solution to both schemes are investigated. Numerical results for the above methods are presented.

The synthesis and biological evaluation of lanostane and cholestane-type natural products

The main objective of this thesis is to outline the synthetic chemistry involved in the preparation of a range of novel lanostane and cholestane derivatives, and subsequent investigation into their biological activity in cancer cells. The biological results obtained throughout the project have driven the strategic synthesis of new compounds, in an effort to optimise the anti cancer potential of lanostane and cholestane derivatives. The first chapter begins with an overview of steroidal compounds and details a literature review of the natural sources of these moieties, as well as their biosynthesis and reported synthetic derivatives. The biological activity of interesting natural and synthetic analogues is also discussed. In addition, an insight into some currently prescribed pharmaceutical compounds, with functional groups relevant to this project, is presented. The second chapter discusses the methods employed for the synthesis of these novel lanostane and cholestane derivatives, and comprises three main sections. Firstly, various oxidation products of lanosterol are synthesised, mainly via epoxidations of the C-8,9 and C- 24,25 alkenes, and also allylic oxidations at these positions. Secondly, amine derivatives of lanosterol are formed by cleaving the lanostane side chain, thereby yielding a new cholestane nucleus, and performing several reductive aminations on the resulting key aldehyde intermediates. Various amines such as piperidine, morpholine, diethylamine and aniline are employed in the reductive amination reactions to yield novel cholestane steroids with amine side chains. Finally, starting from stigmasterol and proceeding with the same methodology of cleaving the steroidal side chain and subsequently performing reductive aminations, novel cholestane derivatives of the biologically active amines are synthesised. The cytotoxicity of these compounds against CaCo-2 and U937 cell lines is presented in terms of percentage viability of cells, IC50 value and apoptosis. The MTT assay is used to determine the percentage viability of cells, and the IC50 data is generated from the MTT results. Apoptosis is measured in terms of fold increase relative to a carrier control. In summary, the compounds formed are discussed in terms of chemical synthesis, spectroscopic interpretation and biological activity. The main reaction pathways involved in the chemistry within this project are various oxidations and reductive amination. The final chapter is a detailed account of the full experimental procedures for the compounds synthesised during this work, including characterisation using spectroscopic and analytical data.

Variation in the type and frequency of postoperative invasive Staphylococcus aureus infections according to type of surgical procedure.

OBJECTIVE: To determine the epidemiological characteristics of postoperative invasive Staphylococcus aureus infection following 4 types of major surgical procedures.design. Retrospective cohort study. SETTING: Eleven hospitals (9 community hospitals and 2 tertiary care hospitals) in North Carolina and Virginia. PATIENTS: Adults undergoing orthopedic, neurosurgical, cardiothoracic, and plastic surgical procedures. METHODS: We used previously validated, prospectively collected surgical surveillance data for surgical site infection and microbiological data for bloodstream infection. The study period was 2003 through 2006. We defined invasive S. aureus infection as either nonsuperficial incisional surgical site infection or bloodstream infection. Nonparametric bootstrapping was used to generate 95% confidence intervals (CIs). P values were generated using the Pearson chi2 test, Student t test, or Wilcoxon rank-sum test, as appropriate. RESULTS: In total, 81,267 patients underwent 96,455 procedures during the study period. The overall incidence of invasive S. aureus infection was 0.47 infections per 100 procedures (95% CI, 0.43-0.52); 227 (51%) of 446 infections were due to methicillin-resistant S.aureus. Invasive S. aureus infection was more common after cardiothoracic procedures (incidence, 0.79 infections per 100 procedures [95%CI, 0.62-0.97]) than after orthopedic procedures (0.37 infections per 100 procedures [95% CI, 0.32-0.42]), neurosurgical procedures (0.62 infections per 100 procedures [95% CI, 0.53-0.72]), or plastic surgical procedures (0.32 infections per 100 procedures [95% CI, 0.17-0.47]) (P < .001). Similarly, S. aureus bloodstream infection was most common after cardiothoracic procedures (incidence, 0.57 infections per 100 procedures [95% CI, 0.43-0.72]; P < .001, compared with other procedure types), comprising almost three-quarters of the invasive S. aureus infections after these procedures. The highest rate of surgical site infection was observed after neurosurgical procedures (incidence, 0.50 infections per 100 procedures [95% CI, 0.42-0.59]; P < .001, compared with other procedure types), comprising 80% of invasive S.aureus infections after these procedures. CONCLUSION: The frequency and type of postoperative invasive S. aureus infection varied significantly across procedure types. The highest risk procedures, such as cardiothoracic procedures, should be targeted for ongoing preventative interventions.