Results 21 to 30 of about 425,347 (290)

A recursion planning analysis of inductive completion [PDF]

open access: yesAnnals of Mathematics and Artificial Intelligence, 1993
We use the AI proof planning techniques ofrecursion analysis andrippling as tools to analyze so-calledinductionless induction proof techniques. Recursion analysis chooses induction schemas and variables and rippling controls rewriting in explicit induction proofs.
Barnett, R., Basin, D., Hesketh, J.
openaire   +3 more sources

Risk groups defined by Recursive Partitioning Analysis of patients with colorectal adenocarcinoma treated with colorectal resection

open access: yesBMC Medical Research Methodology, 2012
Background To define different prognostic groups of surgical colorectal adenocarcinoma patients derived from recursive partitioning analysis (RPA). Methods Ten thousand four hundred ninety four patients with colorectal adenocarcinoma underwent colorectal
Chang Yun-Jau   +4 more
doaj   +1 more source

An alternative interpretation of residual feed intake by phenotypic recursive relationships in dairy cattle

open access: yesJDS Communications, 2021
There has been increasing interest in residual feed intake (RFI) as a measure of net feed efficiency in dairy cattle. Residual feed intake phenotypes are obtained as residuals from linear regression encompassing relevant factors (i.e., energy sinks) to ...
Xiao-Lin Wu   +7 more
doaj   +1 more source

A web-based information system for cumulative and recursive cumulative meta-analysis of genetic association studies

open access: yesHealthcare Analytics, 2023
Cumulative meta-analysis follows a methodical rather than a statistical approach, to show evolutions over time. Cumulative meta-analysis includes repeated meta-analyses over time of newly published studies on the research question.
Theodoros Mprotsis   +4 more
doaj   +1 more source

Recursive and Fast Recursive Capon Spectral Estimators

open access: yesEURASIP Journal on Advances in Signal Processing, 2007
The Capon algorithm, which was originally proposed for wavenumber estimation in array signal processing, has become a powerful tool for spectral analysis.
Chen Jingdong   +2 more
doaj   +2 more sources

Estimation of GPS Differential Code Biases Based on Independent Reference Station and Recursive Filter

open access: yesRemote Sensing, 2020
The differential code bias (DCB) of the Global Navigation Satellite Systems (GNSS) receiver should be precisely corrected when conducting ionospheric remote sensing and precise point positioning.
Liangliang Yuan   +2 more
doaj   +1 more source

Recursive Principal Components Analysis Using Eigenvector Matrix Perturbation

open access: yesEURASIP Journal on Advances in Signal Processing, 2004
Principal components analysis is an important and well-studied subject in statistics and signal processing. The literature has an abundance of algorithms for solving this problem, where most of these algorithms could be grouped into one of the following ...
Deniz Erdogmus   +4 more
doaj   +1 more source

Recursive Monte Carlo filters: Algorithms and theoretical analysis

open access: yes, 2006
Recursive Monte Carlo filters, also called particle filters, are a powerful tool to perform computations in general state space models. We discuss and compare the accept--reject version with the more common sampling importance resampling version of the ...
Künsch, Hans R.
core   +1 more source

Recursive Landau Analysis

open access: yesPhysical Review Letters
We propose a recursive method that makes use of the basic principle of unitarity to calculate the Landau singularities of n-point scattering amplitudes directly in kinematic space. For a vast class of Feynman diagrams, the method enables rapid analytic computation of Landau singularities beyond current state-of-the-art technology.
Simon Caron-Huot   +2 more
openaire   +3 more sources

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector [PDF]

open access: yes, 2019
A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state.
Aad, G.   +2940 more
core   +17 more sources

Home - About - Disclaimer - Privacy