Results 41 to 50 of about 3,100,000 (302)
Handling delimited continuations with dependent types [PDF]
Proceedings of the ACM on Programming Languages, 2018 Dependent types are a powerful tool for maintaining program invariants. To take advantage of this aspect in real-world programming, efforts have been put into enriching dependently typed languages with missing constructs, most notably, effects. This paper presents a language that has two practically interesting ingredients: dependent inductive types ...
Youyou Cong, Kenichi Asai
openaire +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin +2 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito +7 more
wiley +1 more source
Equi-Attraction and The Continuous Dependence of Attractors on Time Delays [PDF]
, 2008 Under appropriate regularity conditions it is shown that the continuous dependence of the global attractors \mathcal{A}_\tau of semi dynamical systems S^{(\tau)}(t) in C([-\tau,0];Z) with Z a Banach space and time delay \tau \in [T_*,T^*], where T_* > 0,
Kloeden, Peter E., Marín Rubio, Pedro
core +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
Hyper-dependence, hyper-ageing properties and analogies between them: a semigroup-based approach [PDF]
, 2001 In previous papers, evolution of dependence and ageing, for vectors of non-negative random variables, have been separately considered. Some analogies between the two evolutions emerge however in those studies.
SPIZZICHINO, Fabio +4 more
core +1 more source
Theory of continuous rate-dependent hysteresis [PDF]
Communications in Nonlinear Science and Numerical Simulation, 2020 Hysteresis is a special type of behavior ubiquitous in science and engineering: it consists in that slow inputs produce a loop in the steady-state part of the graph output-versus-input. On the other hand, mathematical textbooks on hysteresis use a different property to define hysteresis processes: rate independence.
openaire +3 more sources
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Nonlinearity and Temporal Dependence [PDF]
Nonlinearities in the drift and diffusion coefficients influence temporal dependence in scalar diffusion models. We study this link using two notions of temporal dependence: beta-mixing and rho-mixing.
Lars P. Hansen +2 more
core +2 more sources
Fractal and FractionalHere, we establish significant results on the well-posedness of solutions to stochastic pantograph fractional differential equations (SPFrDEs) with the ϕ-Hilfer fractional derivative.
Abdelhamid Mohammed Djaouti +1 more
doaj +1 more source