Results 41 to 50 of about 1,895,431 (338)
, 2018 Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: (1) inference is global and requires top-level annotations, making it unsuitable for inference of modular code components and ...
Tanter, Éric +2 more
core +2 more sources
Inference on sets in finance [PDF]
Quantitative Economics, 2012 In this paper we consider the problem of inference on a class of sets describing a collection of admissible models as solutions to a single smooth inequality. Classical and recent examples include, among others, the Hansen-Jagannathan (HJ) sets of admissible stochastic discount factors, Markowitz-Fama (MF) sets of mean-variances for asset portfolio ...
Kocatulum, Emre +2 more
openaire +13 more sources
Mind & Language, 2012 Does the formation of delusions involve abnormal reasoning? According to the prominent ‘two-factor’ theory of delusions (e.g., Coltheart, 2007), the answer is yes. The second factor in this theory is supposed to affect a deluded individual’s ability to evaluate candidates for belief.
openaire +9 more sources
On the (In)Feasibility of Attribute Inference Attacks on Machine Learning Models [PDF]
arXiv, 2021 With an increase in low-cost machine learning APIs, advanced machine learning models may be trained on private datasets and monetized by providing them as a service. However, privacy researchers have demonstrated that these models may leak information about records in the training dataset via membership inference attacks.
arxiv
Social context prevents heat hormetic effects against mutagens during fish development
FEBS Letters, EarlyView.This study shows that sublethal heat stress protects fish embryos against ultraviolet radiation, a concept known as ‘hormesis’. However, chemical stress transmission between fish embryos negates this protective effect. By providing evidence for the mechanistic molecular basis of heat stress hormesis and interindividual stress communication, this study ...
Lauric Feugere +5 more
wiley +1 more source
, 2008 I show that physical devices that perform observation, prediction, or recollection share an underlying mathematical structure. I call devices with that structure "inference devices".
Aliprantis +39 more
core +1 more source
Indirect Inference for Locally Stationary Models
, 2020 We propose the use of indirect inference estimation to conduct inference in complex locally stationary models. We develop a local indirect inference algorithm and establish the asymptotic properties of the proposed estimator.
Frazier, David, Koo, Bonsoo
core +1 more source
Online but Accurate Inference for Latent Variable Models with Local Gibbs Sampling [PDF]
, 2016 We study parameter inference in large-scale latent variable models. We first propose an unified treatment of online inference for latent variable models from a non-canonical exponential family, and draw explicit links between several previously proposed ...
Bach, Francis, Dupuy, Christophe
core +3 more sources
Brucella NyxA and NyxB dimerization enhances effector function during infection
FEBS Letters, EarlyView.Brucella abortus thrives inside cells thanks to the translocation of effector proteins that fine‐tune cellular functions. NyxA and NyxB are two effectors that destabilize the nucleolar localization of their host target, SENP3. We show that the Nyx proteins directly interact with each other and that their dimerization is essential for their function ...
Lison Cancade‐Veyre +4 more
wiley +1 more source
Synthese, 2009 We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we draw new conclusions, uncovering what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements
openaire +5 more sources