云南高校图书馆联盟文献共享服务平台- TRACTABILITY

TRACTABILITY: 作品数：12被引量：6H指数：1; 导出分析报告; 相关领域：理学更多>>; 相关机构：哈尔滨工业大学更多>>; 相关期刊：《Data Intelligence》《Computers, Materials & Continua》《Frontiers of Computer Science》《Acta Mathematica Scientia》更多>>; 相关基金：国家自然科学基金北京市自然科学基金美国国家科学基金国家重点基础研究发展计划更多>>

Research on the Parallel Tractability of Knowledge Graph Reasoning based on Boolean Circuits: 《Data Intelligence》2024年第3期692-719,共28页Zhangquan Zhou; supported by The Natural Science Foundation of the Jiangsu Higher Education Institutions of China under grant number 22KJB520003.The project name is"Research on Representation and Reasoning of Knowledge Graphs based on Semantic Mapping".; Although neural methods have been comprehensively applied in different fields,symbolic based logic reasoning is still the main choice for numerous applications based on knowledge graphs.To enhance the efficiency of kn...; 关键词：Knowledge graph REASONING Parallel tractability Boolean circuit the NC complexity

Local holographic transformations:tractability and hardness: 《Frontiers of Computer Science》2023年第2期167-177,共11页Peng YANG Zhiguo FU; supported by the National Natural Science Foundation of China(Grant No.61872076);the Natural Science Foundation of Jilin Province(20200201161JC).; Local holographic transformations were introduced by Cai et al.,and local affine functions,an extra tractable class,were derived by it in#CSP^(2).In the present paper,we not only generalize local affine functions to#C...; 关键词：#CSP^(d) Holant problems local holographic transformations

Machine Learning Modeling of Protein-intrinsic Features Predicts Tractability of Targeted Protein Degradation: 《Genomics, Proteomics & Bioinformatics》2022年第5期882-898,共17页Wubing Zhang Shourya S.Roy Burman Jiaye Chen Katherine A.Donovan Yang Cao Chelsea Shu Boning Zhang Zexian Zeng Shengqing Gu Yi Zhang Dian Li Eric S.Fischer Collin Tokheim X.Shirley Liu; supported by grants from the Breast Cancer Research Foundation(Grant No.BCRF-19-100 to X.Shirley Liu);the Mark Foundation for Cancer Research(Mark Foundation Emerging Leader Award;Grant No.19-001-ELA to Eric S.Fischer);the National Institutes of Health(NIH;Grant Nos.R01CA218278 and R01CA214608 to Eric S.Fischer);Cancer Research Institute(Irvington Postdoctoral Fellowship;Grant No.CRI 3442 to Shourya S.Roy Burman),USA;Damon Runyon Fellow supported by the Damon Runyon Cancer Research Foundation,USA(Grant No.DRQ-04-20)。; Targeted protein degradation(TPD)has rapidly emerged as a therapeutic modality to eliminate previously undruggable proteins by repurposing the cell’s endogenous protein degradation machinery.However,the susceptibilit...; 关键词：Targeted protein degradation DEGRADABILITY Protein-intrinsic feature UBIQUITINATION Machine learning

Automated Test Case Generation from Requirements: A Systematic Literature Review被引量：1: 《Computers, Materials & Continua》2021年第5期1819-1833,共15页Ahmad Mustafa Wan M.N.Wan-Kadir Noraini Ibrahim Muhammad Arif Shah Muhammad Younas Atif Khan Mahdi Zareei Faisal Alanazi; supported by Tecnologico de Monterrey,Mexico.; Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are deri...; 关键词：Test case generation functional testing techniques requirementsbased test case generation system testing natural language requirement requirements tractability coverage criteria

STRONG EQUIVALENCES OF APPROXIMATION NUMBERS AND TRACTABILITY OF WEIGHTED ANISOTROPIC SOBOLEV EMBEDDINGS: 《Acta Mathematica Scientia》2020年第6期1765-1782,共18页Jidong HAO Heping WANG; the National Natural Science Foundation of China(11671271);the Natural Science Foundation of Beijing Municipality(1172004).; In this article,we study multivariate approximation defined over weighted anisotropic Sobolev spaces which depend on two sequences a={a j}j≥1 and b={b j}j≥1 of positive numbers.We obtain strong equivalences of the a...; 关键词：strong equivalences TRACTABILITY approximation numbers weighted anisotropic spaces analytic Korobov spaces

(S,T)-WEAK TRACTABILITY OF MULTIVARIATE LINEAR PROBLEMS IN THE AVERAGE CASE SETTING被引量：1: 《Acta Mathematica Scientia》2019年第4期1033-1052,共20页Yongping LIU Guiqiao XU; supported by the National Natural Science Foundation of China(11471043,11671271);the Beijing Natural Science Foundation(1172004); The purpose of this article is to investigate (s, t)-weak tractability of multivariate linear problems in the average case set ting. The considered algorithms use finitely many evaluations of arbitrary linear function...; 关键词：(s t)-weak TRACTABILITY LINEAR PROBLEM LINEAR tensor product PROBLEM HILBERT space AVERAGE case setting

The expression tractability of biological traits shaped by natural selection: 《Journal of Genetics and Genomics》2019年第8期397-404,共8页Li Liu Jianguo Wang Jian-Rong Yang Feng Wang Xionglei He; supported by research grants from National Natural Science Foundation of China (Nos. 31630042 and 91731302); Understanding how gene expression is translated to phenotype is central to modern molecular biology,and the success is contingent on the intrinsic tractability of the specific traits under examination.However, an a pr...; 关键词：NATURAL SELECTION TRACTABILITY EXPRESSION state Complex TRAIT

On the Tractability of Shortest Path Problems in Weighted Edge-Coloured Graphs: 《Journal of Systems Science & Complexity》2018年第2期527-538,共12页ENSOR Andrew LILLO Felipe; supported by Católica del Maule University Through the Project MECESUP–UCM0205; A weighted edge-coloured graph is a graph for which each edge is assigned both a positive weight and a discrete colour, and can be used to model transportation and computer networks in which there are multiple transpo...; 关键词：Edge-coloured chain graph minimal paths multimodal networks Pareto set cardinality upper bounds.

Querying Big Data: Bridging Theory and Practice被引量：3: 《Journal of Computer Science & Technology》2014年第5期849-869,共21页樊文飞怀进鹏; supported in part by the National Basic Research 973 Program of China under Grant No.2014CB340302;Fan is also supported in part by the National Natural Science Foundation of China under Grant No.61133002;the Guangdong Innovative Research Team Program under Grant No.2011D005;Shenzhen Peacock Program under Grant No.1105100030834361;the Engineering and Physical Sciences Research Council of UK under Grant No.EP/J015377/1;the National Science Foundation of USA under Grant No.III-1302212; Big data introduces challenges to query answering, from theory to practice. A number of questions arise. What queries are ＂tractable＂ on big data？ How can we make big data ＂small＂ so that it is feasible to find e...; 关键词：big data query answering TRACTABILITY APPROXIMATION data quality

Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on ABox Decomposition: 《Tsinghua Science and Technology》2010年第6期623-632,共10页杜剑峰漆桂林 Jeff Z.Pan; Supported by the National Natural Science Foundation of China(Nos.61005043 and 60970045); Ontology diagnosis, a well-known approach for handling inconsistencies in a description logic （DL） based ontology, computes a diagnosis of the ontology, i.e., a minimal subset of axioms in the ontology whose removal...; 关键词：ontology diagnosis minimum cost diagnosis description logics data tractability

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

TRACTABILITY

检索结果分析

下载全文

高级检索检索式检索

时间限定

期刊范围

学科限定全选

高级检索 检索式检索

时间限定

期刊范围

学科限定全选

TRACTABILITY

检索结果分析

下载全文

用户登录

高级检索检索式检索