-
Chapter and Conference Paper
A top-down step-wise refinement methodology for protocol specification
Existing approaches to formal protocol specification and verification suffer from great difficulty in constructing correct specifications for practical problems. The objective of this paper is to advocate a to...
-
Chapter
Abstracts
Expression of an activated raf transgene accelerated the terminal myeloid differentiation of HL-60 human promyelocytic leukemia cells induced by retinoic acid. A similar result was obtained when 1,25-dihydroxy...
-
Chapter and Conference Paper
Expression of GSTπ in Breast Cancer and Its Relationship to the Expression of Estrogen and Progesterone Receptor
We examined the expression of the glutathione S-transferase π(GSTπ), estrogen (ER), and progesterone receptor (PR) genes in breast tumor samples and in the corresponding adjacent normal tissues from 120 patien...
-
Chapter
Studies on the synthesis and antithrombosis activity of two peptides derived from the molecular-binding site of fibrinogen
-
Chapter and Conference Paper
Multi-step Subdivision Algorithm for Chaikin Curves
A Chaikin curve is a subdivision curve. Subdivision begins from an initial control polygonal curve. For each subdivision step, all corners of the polygonal curve are cut off, and a new polygonal curve is thus ...
-
Chapter and Conference Paper
Image Enhancement via Fusion Based on Laplacian Pyramid Directional Filter Banks
Based on the directionality of images and combining the direction information with multiple resolution analysis, an image enhancement idea via fusion based on directional filter banks is presented in this pape...
-
Chapter and Conference Paper
Poster Summaries
-
Chapter and Conference Paper
A Fast Feature Extraction Method for Kernel 2DPCA
Recently, a new approach called two-dimensional principal component analysis (2DPCA) has been proposed for face representation and recognition. The essence of 2DPCA is that it computes the eigenvectors of the ...
-
Chapter and Conference Paper
QoS Topology Control with Minimal Total Energy Cost in Ad Hoc Wireless Networks
This paper discusses the energy efficient QoS topology control problem in ad hoc wireless networks. Given a set of nodes in a plane, end-to-end traffic demands and delay bounds between node pairs, the problem ...
-
Chapter and Conference Paper
Efficient Exact Arithmetic over Constructive Reals
We describe a computing method of the computable (or constructive) real numbers based on analysis of expressions. This method take precision estimate into account in order to get a better algorithm than Méniss...
-
Chapter and Conference Paper
Power Relations and Their Properties
Power relation is firstly presented in this paper. Some operations of power relation are discussed, especially, weak composed operation is introduced and studied. Then, some properties of power relation itself...
-
Chapter and Conference Paper
Discernibility-Matrix Method Based on the Hybrid of Equivalence and Dominance Relations
The attribute set of some information systems is composed of both regular attributes and criteria. In order to obtain information reduction of this type of information systems, equivalence relation should be d...
-
Chapter and Conference Paper
Retrieving Land Surface Temperature in FuZhou Base on Landsat ETM+ Image Data
Remote sensing data from Landsat 7 systems were utilized to retrieve urban area Land Surface Temperature. Using Radiative Transfer Equation method to retrieve the Land Surface Temperature of Fuzhou area and ge...
-
Chapter and Conference Paper
Study on the Application of Serial Communication Programming Technology in Embedded System
Embedded technology is widely used in many fields now. Serial communication is the main problem to solve for the developer in the development of interactive embedded systems. This paper describes the embedded ...
-
Chapter and Conference Paper
IP Address Management in Virtualized Cloud Environments
The ability to deploy resources and services in cloud computing utilizing virtualization technologies in a timely and cost-effective manner is important, bringing with it significant economical gain and busine...
-
Chapter and Conference Paper
Seismic Performance of Concrete-Filled Steel Tubular (CFST) Structures
Concrete-filled steel tube (CFST) consists of outer steel tube and concrete in-filled, which combines the merits of steel and concrete. This kind of composite member has various advantages, i.e., high strength...
-
Chapter and Conference Paper
Simulated Annealing Based Algorithm for Mutated Driver Pathways Detecting
With the development of Next-generation DNA sequencing technologies, one of the challenges is to distinguish functional mutations vital for cancer development, and filter out the unfunctional and random “passe...
-
Chapter and Conference Paper
An Evolutionary Algorithm for TD-LTE Resource Allocation Based on Adaptive Fairness Threshold
In Time Division Long Term Evolution(TD-LTE) system, decreasing the cross time slot interference is very important to improve the system throughput. Accordingly, we will propose a multi-cells Orthogonal Freque...
-
Chapter and Conference Paper
MAC Protocol Used Progressive Reservation Mechanism in Ad hoc Networks
Guarantee to QoS for real-time traffic is the bottleneck to Ad hoc Networks’ development. In the distributed network, packet contention is so high that nodes always fail to access channels in limited time. Alt...
-
Chapter and Conference Paper
High-Quality Protein-Encoding Gene Design and Protein Analysis
Rapid growth of global population should be demanded more high-quality food and this might be alleviated by improving protein nutrition levels in usual foodstuff. The expense associated with food additives use...
