Results 31 to 40 of about 314,654 (293)
Modeling and verification of finite field multiplier using formal method
Dianzi Jishu Yingyong, 2018 This paper focused on the correctness of finite field multiplier, and described the detailed process of formal modeling and verification of finite field multiplier in higher-order logic theorem prover HOL4.
Zhang Jie, Wang Shaochao, Guan Yong
doaj +1 more source
Strong solutions to a nonlinear stochastic Maxwell equation with a retarded material law [PDF]
, 2017 We study the Cauchy problem for a semilinear stochastic Maxwell equation with Kerr-type nonlinearity and a retarded material law. We show existence and uniqueness of strong solutions using a refined Faedo-Galerkin method and spectral multiplier theorems ...
Hornung, Luca
core +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Families of children with cancer experience significant financial strain, even with universal healthcare. Indirect costs, such as productivity losses and non‐medical expenses, are rarely included in economic evaluations, and little is known about how effectively financial aid programmes alleviate this burden. Childhood brain tumours
Megumi Lim +8 more
wiley +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
Discrete maximal regularity of time-stepping schemes for fractional evolution equations [PDF]
, 2017 In this work, we establish the maximal $\ell^p$-regularity for several time stepping schemes for a fractional evolution model, which involves a fractional derivative of order $\alpha\in(0,2)$, $\alpha\neq 1$, in time.
Jin, Bangti, Li, Buyang, Zhou, Zhi
core +2 more sources
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source
Stochastic fiber dynamics in a spatially semi-discrete setting
, 2016 We investigate a spatially discrete surrogate model for the dynamics of a slender, elastic, inextensible fiber in turbulent flows. Deduced from a continuous space-time beam model for which no solution theory is available, it consists of a high ...
Lindner, Felix +4 more
core +1 more source
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
Characterizations of GEM detector prototype
, 2015 At NISER-IoP detector laboratory an initiative is taken to build and test Gas Electron Multiplier (GEM) detectors for ALICE experiment. The optimisation of the gas flow rate and the long-term stability test of the GEM detector are performed.
Bhattacharya, P. +9 more
core +3 more sources
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source