检索结果-内蒙古大学图书馆

2013 Asia-Pacific Computational Intelligence and information technology Conference(APCIIT 2013)

作者： LI WEI YUEFEI SUI State Key Laboratory of Software Development Environment Beijing University of Aeronautics and Astronautics Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences

The AGM axiom system is for the belief revision(revision by a single belief), and the DP axiom system is for the iterated revision(revision by a finite sequence of beliefs). Li[1] gave an R-calculus for R-configurations |Γ, where is a set of atomic formulas or the negations of atomic formulas, and Γ is a finite set of formulas. The set-based minimal change and inference-based minimal change are distinguished in this paper, and two R- calculi V and N are given so that V and N are sound and complete with respect to the set-based minimal change and the inference-based minimal change, respectively.

关键词： Belief Revision,R-Calculus,Minimal Change,Contraction,Soundness and Completeness.

来源：评论

学校读者我要写书评

暂无评论

One Sound and Complete R-Calculus with Pseudo-Subtheory Minimal Change Property

One Sound and Complete R-Calculus with Pseudo-Subtheory Mini...

引用

2013 Conference on Artificial Intelligence and Data Mining(AIDM 2013);2013 Business Economics and Investment Conference(BEI 2013);2013 Water Pollution and Treatment Conference(WPT 2013)

作者： Wei Li Yuefei Sui State Key Laboratory of Software Development Environment Beijing University of Aeronautics and Astronautics Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of Sciences

The AGM axiom system is for the belief revision (revision by a single belief),and the DP axiom system is for the iterated revision (revision by a finite sequence of beliefs).Li [1] gave an R-calculus for R-configurations Δ| Γ,where Δ is a set of atomic formulas or the negations of atomic formulas,and Γ is a finite set of *** propositional logic programs,one R-calculus N will be given in this paper,such that N is sound and complete with respect to operator s (Δ,t),where s (Δ,t)is a pseudo-theory minimal change of t by Δ .

关键词：

来源：评论

学校读者我要写书评

暂无评论

Genome-wide identification of cancer-related polyadenylated and non-polyadenylated RNAs in human breast and lung cell lines

引用

Science China(Life Sciences) 2013年第5期56卷 503-512,1-4页

作者： ZHAO GuoGuang JIAO Fei LIAO Qi LUO HaiTao LI Hui SUN Liang BU DeChao YU KunTao ZHAO Yi CHEN RunSheng Bioinformatic Research Group Key Laboratory of Intelligent Information ProcessingAdvanced Computing Research LaboratoryInstitute of Computing TechnologyChinese Academy of Sciences University of Chinese Academy of Sciences Department of Biochemistry and Molecular Biology Binzhou Medical College Department of Preventive Medicine School of MedicineNingbo University College of Computer Science and Technology Jilin University Bioinformatics Laboratory and National Laboratory of Biomacromolecules Institute of BiophysicsChinese Academy of SciencesBeijing 100101China

Eukaryotic mRNAs consist of two forms of transcripts:poly(A)+ and poly(A),based on the presence or absence of poly(A) tails at the 3 ***(A)+ mRNAs are mainly protein coding mRNAs,whereas the functions of poly(A) mRNA are largely *** studies have shown that a significant proportion of gene transcripts are poly(A) or bimorphic(containing both poly(A)+ and poly(A) transcripts).We compared the expression levels of poly(A) and poly(A)+ RNA mRNAs in normal and cancer cell *** also investigated the potential functions of these RNA transcripts using an integrative workflow to explore poly(A)+ and poly(A) transcriptome sequences between a normal human mammary gland cell line(HMEC) and a breast cancer cell line(MCF-7),as well as between a normal human lung cell line(NHLF) and a lung cancer cell line(A549).The data showed that normal and cancer cell lines differentially express these two forms of *** ontology(GO) annotation analyses hinted at the functions of these two groups of transcripts and grouped the differentially expressed genes according to the form of their *** data showed that cell cycle-,apoptosis-,and cell death-related functions corresponded to most of the differentially expressed genes in these two forms of transcripts,which were also associated with the ***,translational elongation and translation functions were also found for the poly(A) protein-coding genes in cancer cell *** demonstrate that poly(A) transcripts play an important role in cancer development.

关键词： polyadenylation non-polyadenylation function annotation high throughput sequencing cancer bioinformatics

来源：评论

学校读者我要写书评

暂无评论

Flexible navigation in smartphones and tablets using scalable storyboards 13

Flexible navigation in smartphones and tablets using scalabl...

引用

3rd ACM International Conference on Multimedia Retrieval, ICMR 2013

作者： Zheng, Shuai Herranz, Luis Jiang, Shuqiang Key Lab. of Intelligent Information Processing Chinese Academy of Sciences Beijing 100190 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China School of Software Engineering Beijing Jiaotong University Beijing 100044 China

ISBN: (纸本)9781450320337

In this demo paper we present a multiscale browsing interface for handheld devices, in which the user can interactively change the scale of the storyboard to easily adjust the amount of information desired. Conventional and hierarchical storyboards provide one or very few possible lengths. In contrast, scalable storyboards allow the number of images and the storyboard itself to be adapted to the device constraints (e.g. aspect ratio, resolution) and navigation state with much finer granularity. Several levels and modes, including segment of interest, are provided for more intuitive and convenient navigation. © 2013 Authors.

关键词： Aspect ratio

来源：评论

学校读者我要写书评

暂无评论

Iterative methods in large field electron microscope tomography

Iterative methods in large field electron microscope tomogra...

引用

作者： Wan, Xiaohua Phan, Sébastien Lawrence, Albert Zhang, Fa Han, Renmin Liu, Zhiyong Ellisman, Mark Key Lab of Intelligent Information Processing and Advanced Computing Research Lab Institute of Computing Technology Chinese Academy of Sciences Beijing China National Center for Microscopy and Imaging Research University of California San Diego CA 92093 United States Chinese Academy of Sciences Graduate University Beijing China State Key Lab for Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China

Electron tomography (ET) is a powerful technology allowing the three-dimensional (3D) imaging of cellular ultrastructure. These structures are reconstructed from a set of micrographs taken at different sample orientations, the final volume being the solution of a general inverse problem. Two different approaches are used in this context: iterative methods and filtered backprojection. Iterative methods are known to provide high-resolution 3D reconstructions for ET under noisy and incomplete data conditions. However, all previous implementations have been restricted to the straight-line projection models. This is not accurate since electron trajectories in electron microscopes do not follow the straight-line optics assumed for X-rays, and biological samples may warp as a result of being exposed to an electron beam. Compensation for curvilinear trajectories, nonlinear electron optics, and sample warping constitutes a major advance in large-field ET and has made possible resolution down to the molecular level in reconstructions of whole cells. At present these advances are limited to filtered backprojection and have been implemented in the software package TxBR. As the next step in this development, we have modified the ASART method in conjunction with a 3D model. By employing alignment based on general curvilinear trajectories we have been able to show that further improvements can be achieved with iterative methods. We also discuss a unified treatment of the alignment and reconstruction problems within the framework of iterative methods, and the relationship between formulas employed in the update step and cross-validation methods. Copyright © by SIAM. Unauthorized reproduction of this article is prohibited.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

A novel neural network classification model based on covering and Affinity Propagation clustering algorithm

引用

Journal of Computational information Systems 2013年第7期9卷 2565-2573页

作者： Li, Hui Ding, Shifei School of Computer Science and Technology China University of Mining and Technology Xuzhou 221116 China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Jiangsu Normal University Xuzhou 221116 China

Affinity Propagation (AP) algorithm can automatically determine the cluster center and does not need a pre-determined number of clustering. This paper presents a novel neural network classification model, using AP clustering method as a pre-processor to cluster high dimensional massive data samples, and combining covering algorithm to automatically determine the center of the covering, and calculating its radius, and then converting these parameters into the weights and thresholds of the hidden layer of classification neural network. The number of hidden layer neurons is the number of covering. The output layer is the M-P neuron layer. By evaluating the input feature of hidden layer to complete the mapping from covering to the output, and gain the corresponding output category of the input feature. Simulation results show that our proposed neural network classification model can get better performance. Copyright © 2013 Binary information Press.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Cascaded Shape Space Pruning for Robust Facial Landmark Detection

Cascaded Shape Space Pruning for Robust Facial Landmark Dete...

引用

International Conference on Computer Vision (ICCV)

作者： Xiaowei Zhao Shiguang Shan Xiujuan Chai Xilin Chen Key Lab of Intelligent Information Processing of Chinese Academy of Sciences (CAS) Institute of Computing Technology Beijing China

ISBN: (纸本)9781479928415

In this paper, we propose a novel cascaded face shape space pruning algorithm for robust facial landmark detection. Through progressively excluding the incorrect candidate shapes, our algorithm can accurately and efficiently achieve the globally optimal shape configuration. Specifically, individual landmark detectors are firstly applied to eliminate wrong candidates for each landmark. Then, the candidate shape space is further pruned by jointly removing incorrect shape configurations. To achieve this purpose, a discriminative structure classifier is designed to assess the candidate shape configurations. Based on the learned discriminative structure classifier, an efficient shape space pruning strategy is proposed to quickly reject most incorrect candidate shapes while preserve the true shape. The proposed algorithm is carefully evaluated on a large set of real world face images. In addition, comparison results on the publicly available BioID and LFW face databases demonstrate that our algorithm outperforms some state-of-the-art algorithms.

关键词： Shape Face Detectors Optimization Databases Robustness Detection algorithms

来源：评论

学校读者我要写书评

暂无评论

Cross-view graph embedding

Cross-view graph embedding

引用

11th Asian Conference on Computer Vision, ACCV 2012

作者： Huang, Zhiwu Shan, Shiguang Zhang, Haihong Lao, Shihong Chen, Xilin Key Lab. of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China University of Chinese Academy of Sciences Beijing 100049 China OMRON Social Solutions Co. Ltd. Kyoto Japan

ISBN: (纸本)9783642374432

Recently, more and more approaches are emerging to solve the cross-view matching problem where reference samples and query samples are from different views. In this paper, inspired by Graph Embedding, we propose a unified framework for these cross-view methods called Cross-view Graph Embedding. The proposed framework can not only reformulate most traditional cross-view methods (e.g., CCA, PLS and CDFE), but also extend the typical single-view algorithms (e.g., PCA, LDA and LPP) to cross-view editions. Furthermore, our general framework also facilitates the development of new cross-view methods. In this paper, we present a new algorithm named Cross-view Local Discriminant Analysis (CLODA) under the proposed framework. Different from previous cross-view methods only preserving inter-view discriminant information or the intra-view local structure, CLODA preserves the local structure and the discriminant information of both intra-view and inter-view. Extensive experiments are conducted to evaluate our algorithms on two cross-view face recognition problems: face recognition across poses and face recognition across resolutions. These real-world face recognition experiments demonstrate that our framework achieves impressive performance in the cross-view problems. © 2013 Springer-Verlag.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

Nitrogen vertical distribution by canopy reflectance spectrum in winter wheat

引用

IOP Conference Series: Earth and Environmental Science 2014年第1期17卷

作者： W J Huang Q Y Yang D L Peng L S Huang D Y Zhang G J Yang Key Laboratory of Digital Earth Science Institute of Remote Sensing and Digital Earth Chinese Academy of Sciences Beijing 100094 China Key Laboratory of Intelligent Computing & Signal Processing Ministry of Education Anhui University Hefei 230039 Anhui China Beijing Agriculture Information Technology Research Center Beijing 100097 China

Nitrogen is a key factor for plant photosynthesis, ecosystem productivity and leaf respiration. Under the condition of nitrogen deficiency, the crop shows the nitrogen deficiency symptoms in the bottom leaves, while excessive nitrogen will affect the upper layer leaves first. Thus, timely measurement of vertical distribution of foliage nitrogen content is critical for growth diagnosis, crop management and reducing environmental impact. This study presents a method using bi-directional reflectance difference function (BRDF) data to invert foliage nitrogen vertical distribution. We developed upper-layer nitrogen inversion index (ULNI), middle-layer nitrogen inversion index (MLNI) and bottom-layer nitrogen inversion index (BLNI) to reflect foliage nitrogen inversion at upper layer, middle layer and bottom layer, respectively. Both ULNI and MLNI were made by the value of the ratio of Modified Chlorophyll Absorption Ration Index to the second Modified Triangular Vegetation Index (MCARI/MTVI2) referred to as canopy nitrogen inversion index (CNII) in this study at ±40° and ±50°, and at ±30° and ±40° view angles, respectively. The BLNI was composed by the value of nitrogen reflectance index (NRI) at ±20° and ±30° view angles. These results suggest that it is feasible to measure foliage nitrogen vertical-layer distribution in a large scale by remote sensing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Model of Three Points for Location Estimation in Wireless Sensor Networks

A Model of Three Points for Location Estimation in Wireless ...

引用

2013 2nd International Symposium on Materials Science and Engineering technology(ISMSET 2013)

作者： Shaoguo Xie Yanjun Hu Yi Wang Fang Jiang Jingjing Liu Yingguan Wang Key Laboratory of Intelligent Computing & Signal Processing Ministry of Education An Hui University Key Laboratory of Wireless Sensor Network & Communication Shanghai Institute of Microsystem and Information Technology Chinese Academy of Sciences

In this paper, we propose a novel model of three points named TP for location estimation in wireless sensor networks(WSNs) with random deployment of anchor nodes. In this model, we select three anchor nodes which have the strongest received signal strength(RSS) for location estimation, the centroid algorithm and the method of intersection of judgment are used to estimate the location of unknown nodes. To further exploit three nearest intersection points in TP, the enhanced TP(ETP) is proposed. The simulation results show that the proposed models outperform MMSE and BML in terms of the localization accuracy for WSNs. Moreover, the localization accuracy of the proposed models in scenario 2 with random deployment of anchor nodes are better than in scenario 1 with planned deployment of anchor nodes. Additionally, compared with MMSE and BML, ETP and TP can reduce the environmental impact on location estimation.

关键词： Location estimation Anchor node Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：