-
Chapter
Surgical Treatment of Lymphedema of the Extremities (A Study on Lymphaticovenous Anastomosis in Comparison with the Method of Excision and Skin Graft)
Lymphedema of the extremity is a chronic and obstinate disease which causes much distress to the patient. In the past 50 years various methods of surgical treatment have been tried, but none of them is satisfa...
-
Article
Syntheses of long-chain quaternary ammonium salts from fatty alcohols by microwave irradiation
The phase-transfer catalysts, long-chain quaternary ammonium salts, were rapidly synthesized from fatty alcohols by the reactions with hydrogen halides in the presence of trialkyl amines under microwave irradi...
-
Article
Regression of prostate cancer xenografts by a lentiviral vector specifically expressing diphtheria toxin A
We have constructed a prostate-specific lentiviral vector based on the promoter of the prostate-specific antigen (PSA). The PSA promoter-based lentiviral vector has been used to deliver the diphtheria toxin A ...
-
Article
Effects of Altered Expression and Localization of Cyclophilin A on Differentiation of p19 Embryonic Carcinoma Cells
1.The retinoblastoma susceptibility gene product, p105Rb (RB), is an important regulator in the control of cell proliferation, differentiation, and apoptosis. Several cellular factors that complex with RB and ...
-
Chapter and Conference Paper
Is Timed Branching Bisimilarity an Equivalence Indeed?
We show that timed branching bisimilarity as defined by van der Zwaag [14] and Baeten & Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose an adaptation based on van der ...
-
Chapter and Conference Paper
An Improved Multi-stage (t, n)-Threshold Secret Sharing Scheme
Recently, Chang et al. proposed a multi-stage (t, n)-threshold secret sharing scheme based on the one-way function. For k secrets shared among n participants, each participant has to keep one secret shadow; but t...
-
Chapter and Conference Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most currently available verifica...
-
Chapter and Conference Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
We propose algorithms significantly extending the limits for maintaining exact representations in the verification of linear hybrid systems with large discrete state spaces. We use AND-Inverter Graphs (AIGs) e...
-
Chapter and Conference Paper
A Framework for Automatically Checking Anonymity with μCRL
We present a powerful and flexible method for automatically checking anonymity in a possibilistic general-purpose process algebraic verification toolset. We propose new definitions of a choice anonymity degree an...
-
Article
Open AccessMolecular phylogeny of the Drosophila obscura species group, with emphasis on the Old World species
Species of the Drosophila obscura species group (e.g., D. pseudoobscura, D. subobscura) have served as favorable models in evolutionary studies since the 1930's. Despite numbers of studies conducted with varied t...
-
Article
Non-cytolytic antigen clearance in DNA-vaccinated mice with electroporation
To explore the potential of electroporation (EP)-mediated hepatitis B virus (HBV) DNA vaccination for the treatment of chronic HBV infection.
-
Article
Inner Anti-inflammatory Mechanisms of Petroleum Ether Extract from Melilotus suaveolens Ledeb
Melilotus suaveolens Ledeb is a species of traditional medical plant for treating inflammation-related disease. This study is to explore the inner anti-inflammatory mechanism on petroleum ether extract from Melil...
-
Chapter and Conference Paper
Online Generation and Dissemination of Disaster Information Based on Satellite Remote Sensing Data
This paper aims to introduce a system framework for online generation and dissemination of disaster information based on satellite remote sensing data, that is, the design and application of the WEB-based Disa...
-
Chapter and Conference Paper
Leader Election in Anonymous Rings: Franklin Goes Probabilistic
We present a probabilistic leader election algorithm for anonymous, bidirectional, asynchronous rings. It is based on an algorithm from Franklin 22, augmented with random identity selection, hop counters to de...
-
Article
Overexpression of the cucumber LEAFY homolog CFL and hormone treatments alter flower development in gloxinia (Sinningia speciosa)
Leafy (LFY) and LFY-like genes control the initiation of floral meristems and regulate MADS-box genes in higher plants. The Cucumber-FLO-LFY (CFL) gene, a LFY homolog in Cucumis sativus L...
-
Article
On automatic verification of self-stabilizing population protocols
The population protocol model has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with each other to carry out a computation....
-
Article
Baiyun movement: A significant tectonic event on Oligocene/Miocene boundary in the northern South China Sea and its regional implications
A significant geologic event occurred on the Oligocene/Miocene boundary at 23.8 Ma in the northern South China Sea, which is named the Baiyun (白云) movement in this article. This event strongly affected not onl...
-
Article
A Decoherence-Reduction Scheme by Waveguides in Quantum Information Processing
Based on the result of cavity quantum electrodynamics, we suggest a method, in which the Fabry-Perot cavity or the confocal cavity is replaced by a waveguide with the size comparable to the wavelength of the p...
-
Article
Development and identification of a wheat-Psathyrostachys huashanica addition line carrying HMW-GS, LMW-GS and gliadin genes
Psathyrostachys huashanica Keng, in the family Poaceae, subtribe Triticeae is an endangered and endemic species of China. It is characterized as Shaanxi, drought tolerant and fungus and disease resistant. In this...
-
Chapter and Conference Paper
On Combining State Space Reductions with Global Fairness Assumptions
Model checking has established itself as an effective system analysis method, as it is capable of proving/dis-proving properties automatically. Its application to practical systems is however limited by state ...
