This paper introduces and investigate the type II true level k knowledge circle, extended type II knowledge base, extended type II automatic reasoning system and the level (k,j) perfectness of extended type II knowled...
详细信息
This paper introduces and investigate the type II true level k knowledge circle, extended type II knowledge base, extended type II automatic reasoning system and the level (k,j) perfectness of extended type II knowledge base K II bases on the type II topological logicC II T.
Calcium is one of the most important and versatile intracellular messenger, known as "the signal of life and death ". It has been found that, at certain time in the cell cycle, there is an oscillation of Ca ...
详细信息
Calcium is one of the most important and versatile intracellular messenger, known as "the signal of life and death ". It has been found that, at certain time in the cell cycle, there is an oscillation of Ca 2+ and its transmission (the Calcium wave) in the cell. Some useful information can be got from this phenomenon, like the speed of metabolism and the activity of the cell, ect. Using two photon laser scanning microscopy (TPLSM) system, we observed the dynamic process of the Ca 2+ oscillation in mouse oocyte and zygote, obtaining the accurate cycle and amplitude of the oscillation. Then we successfully applied the results to the animal model experiment on hyperglycemia mice, with comparison to that on normal ones.
There is an increasing requirement, in a variety of fields, for the ability to make microscopic movements or to position items with high degree of accuracy. In this paper, a parallel mechanism with prismatic actuators...
详细信息
There is an increasing requirement, in a variety of fields, for the ability to make microscopic movements or to position items with high degree of accuracy. In this paper, a parallel mechanism with prismatic actuators which encompasses three degrees of freedom and can produce motion on a microscopic level is proposed and developed. In order to produce such motion, the mechanism is composed of compliant joints and links and flexure hinges, so it may also be referred to as a compliant mechanism. First, the detailed design of motion systems for the machine structure is introduced, followed by the mathematical analysis based on kinematics model of the presented mechanism. Finally, a comprehensive Finite Element Method analysis is carried out for the device optimization.
In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterizatio...
详细信息
In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterization, therefore the pointwise conception is pervasive. We explore approximate reasoning in abstract logical framework Fl on completely distributive lattice L. We propose the structure of point- wise topological logic F TL , the structure of matching function sigma. and the structure of matching neighborhood group. We investigate approximate reasoning in pointwise topological logic F TL with matching function sigma, develop pointwise topological algorithm of simple approximate reasoning, introduce the essential characteristics of this scheme.
This paper describes a semi-supervised regularized method for additive logistic regression. The graph regularization term of the combined functions is added to the original cost functional used in AdaBoost. This term ...
详细信息
This paper describes a semi-supervised regularized method for additive logistic regression. The graph regularization term of the combined functions is added to the original cost functional used in AdaBoost. This term constrains the learned function to be smooth on a graph. Then the gradient solution is computed with the advantage that the regularization parameter can be adaptively selected. Finally, the function step-size of each iteration can be computed using Newton-Raphson iteration. Experiments on benchmark data sets show that the algorithm gives better results than existing methods.
Formal models of communicating and concurrent systems are one of the most important topics in formal methods,and process calculus is one of the most successful formal models of communicating and concurrent *** the pre...
详细信息
Formal models of communicating and concurrent systems are one of the most important topics in formal methods,and process calculus is one of the most successful formal models of communicating and concurrent *** the previous works,the author systematically studied topology in process calculus,probabilistic process calculus and pi-calculus with noisy channels in order to describe approximate behaviors of communicating and concurrent systems as well as randomness and noise in *** article is a brief survey of these works.
Music genre classification is a hot topic in pattern recognition and signal processing. Classical supervised methods need lost of labeled music data to train a classifier. In this paper, we propose a semi-supervised g...
详细信息
In this paper, we view gradual transition detection as a sequence labeling problem and propose to use Conditional Random Fields (CRFs) for this purpose. CRFs is a state-of-the-art sequence labeling approach. It provid...
详细信息
ISBN:
(纸本)9781595937025
In this paper, we view gradual transition detection as a sequence labeling problem and propose to use Conditional Random Fields (CRFs) for this purpose. CRFs is a state-of-the-art sequence labeling approach. It provides a unified way to integrate various useful clues to form a decision system. Moreover, it has principled way for parameter estimation and inference. Compared to rule-based approaches, gradual transition detection with CRFs requires fewer human interactions while designing the system. The experiments on TRECVID platform show that CRFs can achieve comparable performance to that of the state-of-the-art approaches. Copyright 2007 ACM.
We participate in document search and expert search of Enterprise Track in TREC2007. The motive behind the TREC Enterprise Track is to study the issues searching the documents and experts inside an enterprise environm...
详细信息
We participate in document search and expert search of Enterprise Track in TREC2007. The motive behind the TREC Enterprise Track is to study the issues searching the documents and experts inside an enterprise environment, which has not been sufficiently addressed in research. In document search, we focus on the key overview page pre-selection methods and link analysis algorithms. In expert search, we develop methods to detect expert identifiers and experimented based on our previous PDD model.
Dynamic reconstruction is different from predictive modeling since the system has to operate in an autonomous mode. Therefore, the reconstructed system must be stable enough. In this paper, the stability of a special ...
详细信息
暂无评论