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

International Conference on Computer Science & Education (ICCSE)

作者： Yu Sun Yuefei Sui Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing CN

The Gentzen systems for a sequent Γ⇒Δ have been proposed in the propositional logic, the predicate calculus and other logics. In this paper, based on the Gentzen system for the predicate calculus, we propose the Gentzen system for a sequent Γ⇒Δ in the description logic, where Γ and Δ are two sets of assertions in ALC: Assertions with universal qualification and inclusion assertions are decomposed as those of universal quantification formulas in the Gentzen system for the predicate calculus. It is proved that the Gentzen system for description logic is sound and complete; but it is not decidable.

关键词： Computers Calculus

来源：评论

学校读者我要写书评

暂无评论

Modeling term translation for document-informed machine translation

Modeling term translation for document-informed machine tran...

引用

2014 Conference on Empirical Methods in Natural Language processing, EMNLP 2014

作者： Meng, Fandong Xiong, Deyi Jiang, Wenbin Liu, Qun Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences China University of Chinese Academy of Sciences China School of Computer Science and Technology Soochow University China Centre for Next Generation Localisation Dublin City University Ireland

ISBN: (纸本)9781937284961

Term translation is of great importance for statistical machine translation (SMT), especially document-informed SMT. In this paper, we investigate three issues of term translation in the context of documentinformed SMT and propose three corresponding models: (a) a term translation disambiguation model which selects desirable translations for terms in the source language with domain information, (b) a term translation consistency model that encourages consistent translations for terms with a high strength of translation consistency throughout a document, and (c) a term bracketing model that rewards translation hypotheses where bracketable source terms are translated as a whole unit. We integrate the three models into hierarchical phrase-based SMT and evaluate their effectiveness on NIST Chinese- English translation tasks with large-scale training data. Experiment results show that all three models can achieve significant improvements over the baseline. Additionally, we can obtain a further improvement when combining the three models. © 2014 Association for Computational Linguistics.

关键词： Machine translation

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROSCIENCE 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

Corrigendum to “Fast and scalab.e lock methods for video coding on many-core architecture” [J. Vis. Commun. Image R. 25(7) (2014) 1758–1762]

引用

Journal of Visual Communication and Image Representation 2015年 27卷 57-57页

作者： Weizhi Xu Hui Yu Dianjie Lu Fenglong Song Da Wang Xiaochun Ye Songwei Pei Dongrui Fan Hongtao Xie Institute of Microelectronics Tsinghua University Beijing China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China Key Lab. of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China School of Information Science and Engineering Shandong Normal University Jinan China Department of Computer Science and Technology Beijing University of Chemical Technology Beijing China Institute of Information Engineering Chinese Academy of Sciences National Engineering Laboratory for Information Security Technologies Beijing China

来源：评论

学校读者我要写书评

暂无评论

Corrigendum to “Fast and scalab.e lock methods for video coding on many-core architecture” [J. Vis. Commun. 25 (7) (2014) 1758–1762]

引用

Journal of Visual Communication and Image Representation 2015年 26卷 350-350页

来源：评论

学校读者我要写书评

暂无评论

Quantitative identification of yellow rust, powdery mildew and fertilizer-water stress in winter wheat using In-Situ hyperspectral data

Quantitative identification of yellow rust, powdery mildew a...

引用

作者： Guan, Qingsong Huang, Wenjiang Zhao, Jinling Liu, Liangyun Liang, Dong Huang, Linsheng Wang, Li Yang, Guijun Key Laboratory of Digital Earth Science Institute of Remote Sensing and Digital Earth Chinese Academy of Sciences Beijing China Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education Anhui University Hefei Anhui China Beijing Agriculture Information Technology Research Center Beijing China

As the progressive effects of global warming, the yield loss caused by diseases and pests are increasing in winter wheat. It is necessary to distinguish different diseases for guiding variable rate spraying in wheat. Nevertheless, it is very difficult to quantitatively identify different diseases and fertilizer-water stress by specific sensitive bands selected from multi spectral data over a large area. Conversely, hyper spectral data contain more information, and provide the potential for quantitative identification of different stresses. This study focused on identification and distinction of yellow rust, powdery mildew and fertilizer-water stress by canopy spectral reflectance. Fifteen commonly used vegetation indices were selected, and independent t-test was done to get sensitivity index for each stress. Finally, a combination index was optimally selected to distinguish the three stresses. The results showed that the integrative index (NDVI-PhRI) combining normalized difference vegetation index (NDVI) and physiological reflectance index (PhRI) could be used to identify powdery mildew and yellow rust (PM-YR). A 2-dimensional spatial coordinate was established based on the NDVI and PhRI derived from hyper spectral data, then the different stress data were displayed in the spatial coordinate and the classification boundary could be used to identify the powdery mildew and yellow rust stress. Similarly, yellow rust and fertilizer-water stress (YR-n0w0) can be distinguished by the combination index (MSR-PhRI) derived from modified simple ratio (MSR) and physiological reflectance index (PhRI);and the combination index (NRI-RVSI) derived from nitrogen reflectance index (NRI) and red-edge vegetation stress index (RVSI) was accurate to identify powdery mildew and fertilizer-water stress (PM-n0w0). For the PM-YR, YR-n0w0 and PM-n0w0 models, their verification accuracies were 83.3%, 88%, 88.75%, and the kappa accuracies were 63.41%, 74.79%, 71.43%, respectively. It indicate

关键词： Physiology

来源：评论

学校读者我要写书评

暂无评论

Elastic and Efficient Virtual Network Provisioning for Cloud-Based Multi-tier Applications

Elastic and Efficient Virtual Network Provisioning for Cloud...

引用

International Conference on Parallel processing (ICPP)

作者： Meng Shen Ke Xu Fan Li Kun Yang Liehuang Zhu Lei Guan Beijing Engineering Research Center of High Volume Language Information Processing and Cloud Computing Applications Beijing Institute of Technology P. R. China Department of Computer Science Tsinghua University P. R. China School of Computer Science & Electronic Engineering University of Essex UK The ISN National Key Lab XiDian University P. R. China School of Management & Economics Beijing Institute of Technology P. R. China

ISBN: (纸本)9781467375887

The multi-tier architecture is prevalently adopted by cloud applications, such as the three-tier web application. It is highly desirable for both tenants and providers to provide virtual networks in an efficient and elastic way, where tenant applications can automatically scale in or out with varying workloads and providers can accommodate as many requests as possible in the underlying network. However, due to potential conflicts between efficiency and elasticity, it is challenging to achieve these two goals simultaneously in abstracting tenant requirements and designing corresponding provisioning algorithms. In this paper, we propose an efficient and elastic virtual network provisioning solution called Easy Alloc, which is comprised of an elasticity-aware abstraction model and a virtual network provisioning algorithm. To accurately capture the tenant requirement and maintain the provisioning simplicity for providers, the elasticity-aware model enables two types of decoupling, i.e., Always-on VMs for normal load and on-demand VMs for dynamic scaling, and the bandwidth requirement of each VM for intra- and inter-tier communications. Then we formulate the virtual network provisioning as an overhead minimization problem, where the objective simultaneously considers the bandwidth and elasticity overhead. Due to the NP-completeness of this problem, we leverage two heuristics, slot reservation and tier iteration, to obtain an efficient algorithm. Extensive simulation results show that compared with a typical elasticity-agnostic method under a heavy load, Easy Alloc enables a 9% increase of request acceptance rate and a 16.8% improvement of the successful extension rate. To the best of our knowledge, this is the first work targeting at the elastic virtual network provisioning.

关键词： Bandwidth Elasticity Cloud computing Algorithm design and analysis Load modeling Resource management

来源：评论

学校读者我要写书评

暂无评论

High-through put Identification of Protein Disulfide Bonds from Complex Samples

High-through put Identification of Protein Disulfide Bonds f...

引用

中国化学会首届全国质谱分析学术研讨会

作者： Shan Lu Sheng-Bo Fan Bing Yang Jia-Ming Meng Long Wu Kun Zhang En-Zhi Shen Chun-Qing Song Rui-Xiang Sun Si-Min He Meng-Qiu Dong College of Life Science Beijing Normal University National Institute of Biological Sciences Key Lab of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of Sciences

Correct disulfide bond formation is essential for the activity and stability of numerous proteins of essential biological functions such as secreted signaling proteins and cell surface *** protein disulfide bonds typically requires a large amount of highly purified proteins,and much relies on arduous sample preparation and manual data *** we report a robust and sensitive method for identifying disulfide bonds in *** the new method,we successfully mapped all 74 disulfide bonds from a mixture often purified proteins and hundreds of disulfide bonds from an *** periplasmic fraction,a *** mitochondrial fraction,and human whole-cell *** biological experiments verified nine out of nine randomly selected,newly identified disulfide bonds in *** proteins.

关键词： High-through put Identification of Protein Disulfide Bonds from Complex Samples

来源：评论

学校读者我要写书评

暂无评论

Twin Support Vector Machines Based on the Mixed Kernel Function

Twin Support Vector Machines Based on the Mixed Kernel Funct...

引用

The 6th International Conference on Computer Research and Development

作者： Fulin Wu Shifei Ding School of Computer Science and Technology China University of Mining and Technology Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of Sciences

The efficiency and performance of the Twin Support Vector Machines(TWSVM) are better than the traditional support vector machines when it deals with the problems. However, it also has the problem of selecting kernel functions. Generally, TWSVM selects the Gaussian radial basis kernel function. Although it has a strong learning ability, its generalization ability is relatively weak. In a certain extent, this will limit the performance of TWSVM. In order to solve the problem of selecting kernel functions in TWSVM, we propose the twin support vector machines based on the mixed kernel function(MK-TWSVM) in this paper. To make full use of the learning ability of local kernel functions and the excellent generalization ability of global kernel functions, MK-TWSVM selects a global kernel function and a local kernel function to construct a mixed kernel function which has the better performance. The experimental results indicate that the mixed kernel function makes TWSVM have the good learning ability and generalization ability. So it improves the performance of TWSVM.

关键词： mixed kernel function TWSVM kernel function

来源：评论

学校读者我要写书评

暂无评论

A Flight-Test information Reasoning System Combining Textual CBR and RBR Approaches

A Flight-Test Information Reasoning System Combining Textual...

引用

7th International Conference on intelligent Systems and Knowledge Engineering, ISKE 2012

作者： Yang, Bo Wang, Guodong Yao, Wentao State Key Laboratory of Intelligent Technology and Systems Tsinghua National Lab. for Information Science and Technology Dep. of Computer Science and Tech. Tsinghua University 100084 Beijing China Shenyang Aircraft Design and Research Institute 110031 Shenyang China

This paper presents a reasoning method based on the combination of Textual CBR and RBR to deal with the case described by the natural language with the intention of resolving the information retrieval in the flight-test procedure. Then experiments are made by using the reasoning system based on the method. The results show that not only could the method retrieve the cases from the system correctly, but also the Textual CBR procedure could complement the RBR procedure when the latter one cannot retrieve the case correctly. Thus the method could efficiently increase availab.lity of the reasoning system. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：