Results 71 to 80 of about 468,328 (281)
Updating Latent Class Imputations with External Auxiliary Variables [PDF]
Structural Equation Modeling: A Multidisciplinary Journal, 2018 Latent class models are often used to assign values to categorical variables that cannot be measured directly. This "imputed" latent variable is then used in further analyses with auxiliary variables. The relationship between the imputed latent variable and auxiliary variables can only be correctly estimated if these auxiliary variables are included in
Boeschoten, Laura +3 more
openaire +4 more sources
Hematopoietic (stem) cells—The elixir of life?
FEBS Letters, EarlyView.The aging of HSCs (hematopoietic stem cells) and the blood system leads to the decline of other organs. Rejuvenating aged HSCs improves the function of the blood system, slowing the aging of the heart, kidney, brain, and liver, and the occurrence of age‐related diseases.
Emilie L. Cerezo +4 more
wiley +1 more source
Split Sampling: Expectations, Normalisation and Rare Events [PDF]
, 2013 In this paper we develop a methodology that we call split sampling methods to estimate high dimensional expectations and rare event probabilities. Split sampling uses an auxiliary variable MCMC simulation and expresses the expectation of interest as an ...
Birge, John R. +2 more
core
Auxiliary variables and recursive procedures [PDF]
, 1997 Much research in axiomatic semantics suffers from a lack of formality. In particular, most proposed verification calculi for imperative programs dealing with recursive procedures are known to be unsound or incomplete. Focussing on total correctness, we present a new consequence rule which yields a sound and complete Hoare-style calculus in the presence
openaire +1 more source
The role and implications of mammalian cellular circadian entrainment
FEBS Letters, EarlyView.At their most fundamental level, mammalian circadian rhythms occur inside every individual cell. To tell the correct time, cells must align (or ‘entrain’) their circadian rhythm to the external environment. In this review, we highlight how cells entrain to the major circadian cues of light, feeding and temperature, and the implications this has for our
Priya Crosby
wiley +1 more source
, 2014 Using an auxiliary random variable technique, we prove that binary differential phase-shift keying and binary phase-shift keying have the same asymptotic bit-error rate performance in lognormal fading channels.
Alouini, Mohamed-Slim +2 more
core +1 more source
Auxiliary Variables in Temporal Specifications
ACM Transactions on Design Automation of Electronic Systems, 2016 Assertion-based verification (ABV) for IP blocks given as synchronous RTL (register transfer level) descriptions has now widely gained acceptance. The challenge addressed here is ABV for systems on chip (SoC) modeled at the system level in SystemC TLM (Transactional Level Modeling).
openaire +2 more sources
Peptide‐based ligand antagonists block a Vibrio cholerae adhesin
FEBS Letters, EarlyView.The structure of a peptide‐binding domain of the Vibrio cholerae adhesin FrhA was solved by X‐ray crystallography, revealing how the inhibitory peptide AGYTD binds tightly at its Ca2+‐coordinated pocket. Structure‐guided design incorporating D‐amino acids enhanced binding affinity, providing a foundation for developing anti‐adhesion therapeutics ...
Mingyu Wang +9 more
wiley +1 more source
Cube-Attack-Like Cryptanalysis of Round-Reduced Keccak Using MILP
IACR Transactions on Symmetric Cryptology, 2018 Cube-attack-like cryptanalysis on round-reduced Keccak was proposed by Dinur et al. at EUROCRYPT 2015. It recovers the key through two phases: the preprocessing phase for precomputing a look-up table and online phase for querying the output and getting ...
Ling Song, Jian Guo
doaj +1 more source
, 2016 We propose and compare goal-oriented projection based model order reduction methods for the estimation of vector-valued functionals of the solution of parameter-dependent equations.
Billaud-Friess, Marie +2 more
core +2 more sources