Results 81 to 90 of about 5,386,608 (256)
Ranking Functions for Size-Change Termination II [PDF]
Logical Methods in Computer Science, 2009 Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program in the form of "size-change graphs".
Amir M. Ben-Amram, Chin Soon Lee
doaj +1 more source
Pairwise meta-rules for better meta-learning-based algorithm ranking [PDF]
, 2013 In this paper, we present a novel meta-feature generation method in the context of meta-learning, which is based on rules that compare the performance of individual base learners in a one-against-one manner.
Pfahringer, Bernhard, Sun, Quan
core +1 more source
Molecular Oncology, EarlyView.This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska +13 more
wiley +1 more source
Synthesis of Linear Ranking Functions [PDF]
, 2001 Deductive verification of progress properties relies on finding ranking functions to prove termination of program cycles. We present an algorithm to synthesize linear ranking functions that can establish such termination. Fundamental to our approach is the representation of systems of linear inequalities and sets of linear expressions as polyhedral ...
Michael Colón, Henny Sipma
openaire +2 more sources
Molecular Oncology, EarlyView.Combining osimertinib with the STING agonist ADU‐S100 activates innate and adaptive immunity to overcome the non‐inflamed microenvironment of Egfr‐mutant lung cancer. This combination increases NK and CD8+ T‐cell infiltration, associated with activation of the STING‐IRF3 pathway and local immunogenic cell death.
Jun Nishimura +19 more
wiley +1 more source
Content-based Ontology Ranking [PDF]
, 2006 Techniques to rank ontologies are crucial to aid and encourage the re-use of publicly available ontologies. This paper presents a system that obtains a list of ontologies from a search engine that contain the terms provided by a knowledge engineer and ...
Jones, Mathew, Alani, Harith
core +1 more source
Rank Function and Outer Inverses
The Electronic Journal of Linear Algebra, 2018 For the class of matrices over a field, the notion of `rank of a matrix' as defined by `the dimension of subspace generated by columns of that matrix' is folklore and cannot be generalized to the class of matrices over an arbitrary commutative ring. The `determinantal rank' defined by the size of largest submatrix having nonzero determinant, which is ...
Karantha, Manjunatha Prasad +2 more
openaire +3 more sources
Dominance relations and universities ranking [PDF]
This paper proposes a theory for establishing dominance relations between universities on the basis of their scientific production and the number of citations their publications received in given time window. We apply this theory to the ranking of French
Nicolas CARAYOL (GREThA UMR CNRS 5113) +1 more
core
Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining
Molecular Oncology, EarlyView.IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis +3 more
wiley +1 more source
Ranking policy and political economic journals [PDF]
The purpose of this paper is to rank economic journals in the broader field of policy and political science. By using one composite input and one composite output the paper ranks 52 journals in a linear programming setting using data for the time period ...
Halkos, George, Tzeremes, Nickolaos
core