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.     

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.     

From big smartphone data to worldwide research: The Mobile Data Challenge

This paper presents an overview of the Mobile Data Challenge (MDC), a large-scale research initiative aimed at generating innovations around smartphone-based research, as well as community-based evaluation of mobile data analysis methodologies. First, we review the Lausanne Data Collection Campaign (LDCC), an initiative to collect unique longitudinal smartphone dataset for the MDC. Then, we introduce the Open and Dedicated Tracks of the MDC, describe the specific datasets used in each of them, discuss the key design and implementation aspects introduced in order to generate privacy-preserving and scientifically relevant mobile data resources for wider use by the research community, and summarize the main research trends found among the 100+ challenge submissions. We finalize by discussing the main lessons learned from the participation of several hundred researchers worldwide in the MDC Tracks.     

Human interaction discovery in smartphone proximity networks

Since humans are fundamentally social beings and interact frequently with others in their daily life, understanding social context is of primary importance in building context-aware applications. In this paper, using smartphone Bluetooth as a proximity sensor to create social networks, we present a probabilistic approach to mine human interaction types in real life. Our analysis is conducted on Bluetooth data continuously sensed with smartphones for over one year from 40 individuals who are professionally or personally related. The results show that the model can automatically discover a variety of social contexts. We objectively validated our model by studying its predictive and retrieval performance.     

Optimization of sodium sulfide treatment of rice straw to increase the enzymatic hydrolysis in bioethanol production

The efficiency of sodium sulfide-assisted alkaline pulping for cellulose preparation from Oryza sativa L. rice straw in Vietnam for enzymatic saccharification was investigated. The response surface methodology was used for the determination of optimal technological parameters of alkaline pulping such as active alkali dosage, temperature and time. The optimal technological parameters were established to be active alkali dosage of 7%, treatment temperature of 100 °C and treatment time of 120 min. At these regimes, a maximal sugar yield of 51.8% (over dry rice straw) was obtained. It meant that the saccharification efficiency up to 97.1% could be achieved by using sodium sulfide-assisted alkaline pretreatment method. Addition of sodium sulfide into alkaline pretreatment resulted in higher sugar yield, higher level of depolymerization of lignin and less loss of cellulose. Moreover, liquid hydrolyzate after enzymatic hydrolysis was analyzed by HPLC to determine the compositions of sugar mixture. The fiber morphology in pretreated biomass solid was also revealed by SEM.