Negation as failure for disjunctive logic programming

We generalize the Negation-as-Failure procedure for disjunctive logic programming. Then we compare our method with related methods in the literature. We also propose a new completion theory for disjunctive logic programs which allows some program clauses to have inclusive meaning and the others exclusive meaning.     

Second-Order optical non-linearities of {4-(dimethylamino) stilben z & e 4'-yl} dimesityl borane

Samples of {4-(dimethylamino) stilben Z & E 4'-yl} dimesityl borane (BNS) were synthesised and investigated for their non-linear optical properties. The results show that the quadratic hyperpolarisability of the Z-isomer is smaller than that of the E-isomer, the beta value found for the latter being as high as 60 × 10^?30 esu.     

Coating of carbon-fiber surface by silicon carbide via sol-gel mixtures of tetraethyl orthosilicate and phenolic resin

The preparation of a SiC coating on a carbon fiber surface using a sol-gel mixture of tetraethyl orthosilicat (TEOS) and phenolic resin was studied. FTIR and SEM investigations indicated that the SiC coating can be formed by carbothermal reduction of the sol-gel mixture at 1420°C for 15–20 min in an argon atmosphere. TGA of the coated fiber was also performed, showing that the SiC coating improves the thermooxidative stability of the carbon fiber. With the thickness of the obtained coating of 0.47 μm using a C/Si ratio of 4, this treatment does not affect the carbon fiber strength.     

Rate-distortion optimized tree-structured compression algorithms for piecewise polynomial images.

This paper presents novel coding algorithms based on tree-structured segmentation, which achieve the correct asymptotic rate-distortion (R-D) behavior for a simple class of signals, known as piecewise polynomials, by using an R-D based prune and join scheme. For the one-dimensional case, our scheme is based on binary-tree segmentation of the signal. This scheme approximates the signal segments using polynomial models and utilizes an R-D optimal bit allocation strategy among the different signal segments. The scheme further encodes similar neighbors jointly to achieve the correct exponentially decaying R-D behavior (D(R) - c(o)2(-c1R)), thus improving over classic wavelet schemes. We also prove that the computational complexity of the scheme is of O(N log N). We then show the extension of this scheme to the two-dimensional case using a quadtree. This quadtree-coding scheme also achieves an exponentially decaying R-D behavior, for the polygonal image model composed of a white polygon-shaped object against a uniform black background, with low computational cost of O(N log N). Again, the key is an R-D optimized prune and join strategy. Finally, we conclude with numerical results, which show that the proposed quadtree-coding scheme outperforms JPEG2000 by about 1 dB for real images, like cameraman, at low rates of around 0.15 bpp.     

Purification and characterization of an alpha1,2,-L-fucosyltransferase, which modifies the cytosolic protein FP21,from the cytosol of Dictyostelium

A novel fucosyltransferase (cFTase) activity has been enriched over 10(6)-fold from the cytosolic compartment of Dictyostelium based on transfer of [3H]fucose from GDP-[3H]fucose to Galbeta1,3 GlcNAc beta-paranitrophenyl (paranitrophenyl-lacto-N-bioside or pNP-LNB). The activity behaved as a single component during purification over DEAE-, phenyl-, Reactive Blue-4-, GDP-adipate-, GDP-hexanolamine-, and Superdex gel filtration resins. The purified activity possessed an apparent Mr of 95 X 10(3), was Mg2+-dependent with a neutral pH optimum, and exhibited a Km for GDP-fucose of 0.34 microM, a Km for pNP-LNB of 0.6 mM, and a Vmax for pN-P-LNB of 620 nmol/min/mg protein. SDS-polyacrylamide gel electrophoresis analysis of the Superdex elution profile identified a polypeptide with an apparent Mr of 85 X 10(3), which coeluted with the cFTase activity and could be specifically photolabeled with the donor substrate inhibitor GDP-hexanolaminyl-azido-125I-salicylate. Based on substrate analogue studies, exoglycosidase digestions, and co-chromatography with fucosylated standards, the product of the reaction with pNP-LNB was Fucalpha1, 2Galbeta1,3GIcNAcbeta-pNP. The cFTase preferred substrates with a Galbeta1,3linkage, and thus its acceptor substrate specificity resembles the human Secretor-type alpha1,2- FTase. Afucosyl isoforms of the FP21 glycoprotein, GP21-I and GP21-II, were purified from the cytosol of a Dictyostelium mutant and found to be substrates for the cFTase, which exhibited an apparent K(m) of 0.21 microM and an apparent V(max) of 460 nmol/min/mg protein toward GP21-II. The highly purified cFTase was inhibited by the reaction products Fucalpha1,2Galbeta1,3GlcNAcbeta-pNP and FP21-II. FP21-I and recombinant FP21 were not inhibitory, suggesting that acceptor substrate specificity is based primarily on carbohydrate recognition. A cytosolic location for this step of FP21 glycosylation is implied by the isolation of the cFTase from the cytosolic fraction, its high affinity for its substrates, and its failure to be detected in crude membrane preparations.     

Performance analysis of a COFDM/FM in-band digital audiobroadcasting system

In this paper, we present a performance analysis of a coded orthogonal frequency division multiplexing DAB system that is power multiplexed over a commercial FM station. We model the mobile channel with a time-frequency scattering function. Results show that the performance of the FM demodulator is crucial, since the level of the residual FM signal has a strong influence on the BER performance of the COFDM system. As with other mobile communication systems, the use of interleaving greatly enhances the performances     

Soluble Prokaryotic Overexpression and Purification of Human GM-CSF Using the Protein Disulfide Isomerase b′a′ Domain

Granulocyte-macrophage colony-stimulating factor (GM-CSF) is a member of the colony-stimulating factor (CSF) family, which functions to enhance the proliferation and differentiation of hematopoietic stem cells and other hematopoietic lineages such as neutrophils, dendritic cells, or macrophages. These proteins have thus generated considerable interest in clinical therapy research. A current obstacle to the prokaryotic production of human GM-CSF (hGM-CSF) is its low solubility when overexpressed and subsequent complex refolding processes. In our present study, the solubility of hGM-CSF was examined when combined with three N-terminal fusion tags in five E. coli strains at three different expression temperatures. In the five E. coli strains BL21 (DE3), ClearColi BL21 (DE3), LOBSTR, SHuffle T7 and Origami2 (DE3), the hexahistidine-tagged hGM-CSF showed the best expression but was insoluble in all cases at each examined temperature. Tagging with the maltose-binding protein (MBP) and the b′a′ domain of protein disulfide isomerase (PDIb′a′) greatly improved the soluble overexpression of hGM-CSF at 30 °C and 18 °C. The solubility was not improved using the Origami2 (DE3) and SHuffle T7 strains that have been engineered for disulfide bond formation. Two conventional chromatographic steps were used to purify hGM-CSF from the overexpressed PDIb′a′-hGM-CSF produced in ClearColi BL21 (DE3). In the experiment, 0.65 mg of hGM-CSF was isolated from a 0.5 L flask culture of these E. coli and showed a 98% purity by SDS-PAGE analysis and silver staining. The bioactivity of this purified hGM-CSF was measured at an EC₅₀ of 16.4 ± 2 pM by a CCK8 assay in TF-1 human erythroleukemia cells.     

Simulated Microgravity Inhibits the Proliferation of Chang Liver Cells by Attenuation of the Major Cell Cycle Regulators and Cytoskeletal Proteins

Simulated microgravity (SMG) induced the changes in cell proliferation and cytoskeleton organization, which plays an important factor in various cellular processes. The inhibition in cell cycle progression has been considered to be one of the main causes of proliferation inhibition in cells under SMG, but their mechanisms are still not fully understood. This study aimed to evaluate the effects of SMG on the proliferative ability and cytoskeleton changes of Chang Liver Cells (CCL-13). CCL-13 cells were induced SMG by 3D clinostat for 72 h, while the control group were treated in normal gravity at the same time. The results showed that SMG reduced CCL-13 cell proliferation by an increase in the number of CCL-13 cells in G0/G1 phase. This cell cycle phase arrest of CCL-13 cells was due to a downregulation of cell cycle-related proteins, such as cyclin A1 and A2, cyclin D1, and cyclin-dependent kinase 6 (Cdk6). SMG-exposed CCL-13 cells also exhibited a downregulation of α-tubulin 3 and β-actin which induced the cytoskeleton reorganization. These results suggested that the inhibited proliferation of SMG-exposed CCL-13 cells could be associate with the attenuation of major cell cycle regulators and main cytoskeletal proteins.     

Near infrared light-induced disassembly of polymeric micelles based on methylene blue conjugated polyethylene glycol

Light-sensitive drug delivery systems are considered ideal for applications in the biomedical fields for their ability to release the payload in an on-demand spatiotemporal controlled manner through the manipulation of the light source. Among the broad radiation spectrum, near infrared (NIR) light is considered advantageous compared to UV and visible light, due to its inherently lower photodamage to normal tissues and deeper penetration to lesion areas. In this study, we report a successful synthesis of a polymer capable of undergoing partial degradation upon irradiation with NIR light by conjugating 10-N-carbamoyl linkage methylene blue (MB) moiety, a NIR photocleavable ligand, with polyethylene glycol (PEG). Through effective coupling of MB, a hydrophobic moiety, to the hydrophilic PEG molecule, an amphiphilic polymer was synthesized, as demonstrated by a lowered surface tension (55 mN/m at 0.1% wt/vol). Subsequently, photo-induced reversal of surface activity associated with self-assembled structure disruption, was displayed by surface tension measurements, size distribution analysis, and burst release profile of paclitaxel (PTX) from polymeric micelles upon the exposure to NIR irradiation.