Results 271 to 280 of about 720,962 (318)
Some of the next articles are maybe not open access.
MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
The Review of Symbolic Logic, 2018AbstractThe deviation ofmathematical proof—proof in mathematical practice—from the ideal offormal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof.
openaire +3 more sources
2004
Abstract Reject inference has an established role in the development of scorecards for credit applications. The performance of the rejects, had they been accepted, is inferred to be good or bad in order to obtain a complete picture of the population applying for credit.
Gaynor Bennett +2 more
openaire +1 more source
Abstract Reject inference has an established role in the development of scorecards for credit applications. The performance of the rejects, had they been accepted, is inferred to be good or bad in order to obtain a complete picture of the population applying for credit.
Gaynor Bennett +2 more
openaire +1 more source
2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2011
Wyner defined the notion of common information of two discrete random variables as the minimum of I(W; X, Y) where W induces conditional independence between X and Y. Its generalization to multiple dependent random variables revealed a surprising monotone property in the number of variables.
Ge Xu, Biao Chen 0001
openaire +1 more source
Wyner defined the notion of common information of two discrete random variables as the minimum of I(W; X, Y) where W induces conditional independence between X and Y. Its generalization to multiple dependent random variables revealed a surprising monotone property in the number of variables.
Ge Xu, Biao Chen 0001
openaire +1 more source
Proceedings of the AAAI Conference on Artificial Intelligence, 2015
Graphical visualization has demonstrated enormous power in helping people to understand complexity in many branches of science. But, curiously, AI has been slow to pick up on the power of visualization. Alar is a visualization system intended to help people understand and control symbolic inference.
Henry Lieberman, Joe Henke
openaire +1 more source
Graphical visualization has demonstrated enormous power in helping people to understand complexity in many branches of science. But, curiously, AI has been slow to pick up on the power of visualization. Alar is a visualization system intended to help people understand and control symbolic inference.
Henry Lieberman, Joe Henke
openaire +1 more source
2017
Haplotypes, as they specify linkage patterns between individual nucleotide variants, confer critical information for understanding the genetics of human diseases. However, haplotype information is not directly obtainable from high-throughput genotyping platforms.
Sunah, Song, Xin, Li, Jing, Li
openaire +2 more sources
Haplotypes, as they specify linkage patterns between individual nucleotide variants, confer critical information for understanding the genetics of human diseases. However, haplotype information is not directly obtainable from high-throughput genotyping platforms.
Sunah, Song, Xin, Li, Jing, Li
openaire +2 more sources
2012
This chapter provides an overview of the Bayesian approach to data analysis, modeling, and statistical decision making. The topics covered go from basic concepts and definitions (random variables, Bayes' rule, prior distributions) to various models of general use in biology (hierarchical models, in particular) and ways to calibrate and use them (MCMC ...
openaire +3 more sources
This chapter provides an overview of the Bayesian approach to data analysis, modeling, and statistical decision making. The topics covered go from basic concepts and definitions (random variables, Bayes' rule, prior distributions) to various models of general use in biology (hierarchical models, in particular) and ways to calibrate and use them (MCMC ...
openaire +3 more sources
IEEE Software, 1999
To meet the needs of rapid software evolution, the authors introduce models and tools for a new methodology: inferred designs.
Louis Perrochon, Walter Mann
openaire +1 more source
To meet the needs of rapid software evolution, the authors introduce models and tools for a new methodology: inferred designs.
Louis Perrochon, Walter Mann
openaire +1 more source
Journal of PeriAnesthesia Nursing, 1996
The goal of research is to discover new knowledge to improve patient care. Research is essential because of its ability to establish causal relationships. This article discusses the minimum requirements a research report must meet to establish a causal relationship.
openaire +2 more sources
The goal of research is to discover new knowledge to improve patient care. Research is essential because of its ability to establish causal relationships. This article discusses the minimum requirements a research report must meet to establish a causal relationship.
openaire +2 more sources
Neuroscience & Biobehavioral Reviews, 2015
Perceptual inference refers to the ability to infer sensory stimuli from predictions that result from internal neural representations built through prior experience. Methods of Bayesian statistical inference and decision theory model cognition adequately by using error sensing either in guiding action or in "generative" models that predict the sensory ...
openaire +2 more sources
Perceptual inference refers to the ability to infer sensory stimuli from predictions that result from internal neural representations built through prior experience. Methods of Bayesian statistical inference and decision theory model cognition adequately by using error sensing either in guiding action or in "generative" models that predict the sensory ...
openaire +2 more sources
Analogical inference as generalised inductive inference
1989Analogical inference and inductive inference are processes which achieve roughly the same end (the development of new knowledge) via rather different means. But what is the relationship between these two processes?
openaire +1 more source