Results 41 to 50 of about 358,060 (302)
Handling delimited continuations with dependent types [PDF]
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 +1 more source
In this work, we study the existence of one and exactly one solution x∈C[0,1]x\in C\left[0,1], for a delay quadratic integral equation of Volterra-Stieltjes type.
El-Sayed Ahmed M. A., Omar Yasmin M. Y.
doaj +1 more source
A Continuation Principle for Periodic BV-Continuous State-Dependent Sweeping Processes [PDF]
We consider a Caratheodory differential equation with a state-dependent convex constraint that changes BV-continuously in time (a perturbed BV-continuous state-dependent sweeping processes). By setting up an appropriate catching-up algorithm we prove solvability of the initial value problem.
Mikhail Kamenskii +2 more
openaire +3 more sources
On mixed problem in thermoelasticity of type III for Cosserat media
In our present study, we approach a linear theory for the thermoelasticity of type III for Cosserat media. At the beginning we introduce the equations and conditions, specific for a mixed problem in this context, namely the motion and energy equations ...
Marin Marin +3 more
doaj +1 more source
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Continuous dependence on initial data for damped fourth-order wave equation with strain term
This article investigates the fourth-order wave equation with general nonlinear strain term as well as both strong and weak damping terms. By deriving and utilizing energy decay estimate independent of the initial data in the stable manifold, we derive ...
Han Jiangbo, Wu Weipeng
doaj +1 more source
ABSTRACT Background PIK3CA‐related overgrowth spectrum (PROS) includes several rare overgrowth disorders resulting from somatic gain‐of‐function mutations in PIK3CA. Despite treatment advances, including the recent approval of alpelisib for PROS in the United States, literature detailing the patient experience with PROS is limited.
Vamsi Bollu +8 more
wiley +1 more source
ABSTRACT Background 131I‐metaiodobenzylguanidine (131I‐MIBG) radiotherapy is a key treatment for relapsed and refractory (R/R) neuroblastoma (NB). Patients with R/R disease treated in the modern era are increasingly exposed to anti‐GD2 immunotherapy, which exerts selective pressure and may modify both tumor cell state and microenvironment.
Benjamin J. Lerman +7 more
wiley +1 more source
Equi-Attraction and The Continuous Dependence of Attractors on Time Delays [PDF]
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
ABSTRACT Background An internal tandem duplication in the gene encoding Fms‐like tyrosine kinase 3 (FLT3‐ITD) is associated with high relapse risk and poor prognosis in acute myeloid leukemia (AML) and plays a crucial role in treatment decisions. Measurable residual disease (MRD) analysis of FLT3‐ITD during and after treatment has shown prognostic ...
Sofie Johansson Alm +11 more
wiley +1 more source

