Results 91 to 100 of about 5,851,461 (307)
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
Consistent ranking of multivariate volatility models [PDF]
A large number of parameterizations have been proposed to model conditional variance dynamics in a multivariate framework. This paper examines the ranking of multivariate volatility models in terms of their ability to forecast out-of-sample conditional ...
ROMBOUTS, Jeroen V.K. +2 more
core
Semantic Triple-Assisted Learning for Question Answering Passage Re-ranking
, 2023 Passage re-ranking in question answering (QA) systems is a method to reorder a set of retrieved passages, related to a given question so that answer-containing passages are ranked higher than non-answer-containing passages.
Bahadorreza Ofoghi (13059933) +2 more
core
, 2022 Panel (a) represents estimates for Top 5 probabilities as a function of Alma mater ranking; Panel (b) estimates initial placements as a function of Alma mater ranking.
Sergey V. Popov (6719075)
core +1 more source
KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer
Molecular Oncology, EarlyView.Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan +16 more
wiley +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
Ranking Portfolio Performance: An Application of a Joint Means and Variances Equality Test [PDF]
We propose a new procedure to rank portfolio performance. Given a set of N portfolios, we use statistical tests of dominance which produce direct mean-variance comparisons between any two portfolios in the set. These tests yield an NxN matrix of pairwise
Ramón Rabinovitch, Joel Owen
core
Molecular Oncology, EarlyView.RNA profiling of circulating extracellular vesicles (EVs) from blood samples of men undergoing prostate biopsy identifies transcripts associated with clinically significant prostate cancer. Integrative analysis with public tumor datasets links EV‐derived gene signatures to tumor stage and progression‐free survival, highlighting CASP3, XRCC2, and RIT1 ...
Stefan Werner +14 more
wiley +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
The Importance of Parameters in Ranking Functions
CoRRPublished by Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH ...
Standke, Christoph +3 more
openaire +5 more sources