-
Chapter and Conference Paper
NUSL: An executable specification language based on data abstraction
It proves very useful to give a formal specification of the software to be developed before the development. To write formal specifications, a specification language is to be used. This paper describes the spe...
-
Article
A proof rule for while loop in VDM
A proof rule for while loop which can be used in justification of program w.r.t. specifications using two-state post-conditions is presented in this paper, accompanied with a soundness proof and a comparison w...
-
Chapter
Measurements of pO2 in Vivo, Including Human Subjects, by Electron Paramagnetic Resonance
The purpose of this paper is to provide an illustrative description of the current state of development of the use of electron paramagnetic resonance (EPR, or completely equivalently, electron spin resonance o...
-
Article
Average widths and optimal recovery of multivariate Besov classes inL p (Rd)
Some weak asymptotic results for average δ -K width and average δ -L width of the isotropic Besov classes Sr p6B(R d), Sr p6b(Rd), and the aniwtropic Besov classes ...
-
Article
AverageB-width and infinite-dimensionalG-width of some smooth function classes on the line
The exact values of average σ-B width and infinite dimensional σ-G width of Sobolev classB r ⌍ (R) in the metric Lp(R) (1≤p<∞) are obtained and...
-
Article
BB rat diabetes susceptibility and body weight regulation genes colocalize on Chromosome 2
The genetic etiology of Type 1 (insulin-dependent) diabetes mellitus is complicated by the apparent presence of several diabetes susceptibility genetic regions. Type 1 diabetes in the inbred BioBreeding (BB) ...
-
Article
Average Widths and Optimal Recovery of Multivariate Besov Classes in the Amalgams of Lq and lp
In this paper, we obtain some weak asymptotic results for average σ -K width, average σ -L width, and optimal recovery of Besov classes in the amalgams of Lq and lp.
-
Chapter and Conference Paper
Trust and Cooperation in Peer-to-Peer Systems
Most of the past studies on peer-to-peer systems have emphasized routing and lookup. The selfishness of users, which brings on the free riding problem, has not attracted sufficient attention from researchers. ...
-
Chapter and Conference Paper
Text-Based P2P Content Search Using a Hierarchical Architecture
As a scalable alternative to traditional server-based architecture, peer-to-peer (P2P) computing has become a popular distributed computing paradigm. However, efficient content search is absent, which hinders ...
-
Chapter and Conference Paper
BiChord: An Improved Approach for Lookup Routing in Chord
Efficient resource lookup is essential for peer to peer networks and DHT (Distributed Hash Table) provides an ideal solution for resource lookup in distributed networks. Chord is a representative peer to peer ...
-
Article
Oligosaccharide analysis using anion attachment in negative mode electrospray mass spectrometry
Eleven different anionic species were able to form adducts with neutral oligosaccharides at low cone voltage in negative ion mode electrospray mass spectrometry. Among them, fluoride and acetate have the abili...
-
Article
Serologic study on the outbreak of acute upper respiratory tract infections caused by adenovirus 3
From April to June, 2004, an outbreak of acute upper respiratory tract infections (AURTI) occurred in the north area of Jiangsu Province, China. Twenty throat swabs were collected with 13 of them presenting an...
-
Chapter and Conference Paper
Research of RFID Middleware in Precision Feeding System of Breeder Swine
In Precision Feeding System of Breeder Swine, RFID is used to collect some important information about the body status of individual swine, IT is banded together with the adjusting of nutrition model, so as to...
-
Article
Study on the background level of selenium in soils and its sources, Guizhou Province
The contents of selenium in soil samples from Guizhou Province, which cover an area of 17.6×104 km2, have been determined. The arithmetic mean value of 947 samples is 0.39 mg/kg, the medium value is 0.30 mg/kg an...
-
Chapter and Conference Paper
News Event Tracking Using an Improved Hybrid of KNN and SVM
News event tracking is the task of associating incoming stories with events known to the system. A tracking system’s goal is to automatically assign event labels to the subsequent news stories. The paper prese...
-
Chapter and Conference Paper
Exponential Stability of Impulsive Hopfield Neural Networks with Time Delays
This paper considers the problems of global exponential stability and exponential convergence rate for impulsive Hopfield neural networks with time delays. By using the method of Lyapunov functions, M-matrix t...
-
Chapter and Conference Paper
Identification of Abnormal Operating Conditions and Intelligent Decision System for Earth Pressure Balance Shield Machine
In the Earth Pressure Balance shield construction, the soil dug in the capsule is difficult to form the "plastic flow state" and will cause three abnormal operating conditions including occlusion, caking in th...
-
Article
Modified fiber qualities of the transgenic cotton expressing a silkworm fibroin gene
A silkworm gene for fibroin was introduced into the upland cotton WC line by Agrobacterium-mediated transformation. PCR detection for fibroin, nptII and gus genes, Kanamycin (Km)-resistance analysis and GUS-histo...
-
Chapter and Conference Paper
Study on Immobilizing Soil Exogenous Lead Using Phosphate Rock
The effect of phosphate rock (PR) on exogenous Pb fractions in yellow cinnamon soil (S1) and latosol soil (S2) were studied by Tessier’s sequential extraction procedures after PR was applied into the two soils...
-
Article
The essential role of GhPEL gene, encoding a pectate lyase, in cell wall loosening by depolymerization of the de-esterified pectin during fiber elongation in cotton
Cotton fiber elongation, largely achieved by cell wall loosening, is an important stage during cotton fiber development. In this present research, a fiber preferential cDNA encoding a pectate lyase (PEL) which...
