Results 71 to 80 of about 13,143,476 (301)
A topological counterpart of well-founded trees in dependent type theory [PDF]
, 2023 Within dependent type theory, we provide a topological counterpart of well-founded trees (for short, W-types) by using a proof-relevant version of the notion of inductively generated suplattices introduced in the context of formal topology under the name
Maietti, Maria Emilia +3 more
core +1 more source
, 2019 peer reviewedChurch’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense.
BENZMÜLLER, Christoph, Andrews, Peter
core +1 more source
Determining substitutability of cloud services supported by semantically extended type theory
Tongxin xuebao, 2016 In cloud environments, the high dynamics and more service failures were great obstacles to cloud applications, service substitution was a key research issue and also was a main solution to these challenges.
Xian-qing WANG +5 more
doaj
Mathematical Structures in Computer Science, 2020 AbstractIn this paper, we define indexed type theories which are related to indexed (∞-)categories in the same way as (homotopy) type theories are related to (∞-)categories. We define several standard constructions for such theories including finite (co)limits, arbitrary (co)products, exponents, object classifiers, and orthogonal factorization systems.
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric refractory immune thrombocytopenia (rITP) is generally characterized by persistent thrombocytopenia and failure to achieve a sustained response to multiple standard therapies. We report a 4‐year‐old female with congenital tufting enteropathy, post‐intestinal transplant patient on immunosuppressants, who developed severe rITP ...
Sarah Hsieh +4 more
wiley +1 more source
Massive deformations of Type IIA theory within double field theory
Journal of High Energy Physics, 2018 We obtain massive deformations of Type IIA supergravity theory through duality twisted reductions of Double Field Theory (DFT) of massless Type II strings. The mass deformation is induced through the reduction of the DFT of the RR sector. Such reductions
Aybike Çatal-Özer
doaj +1 more source
Type II double field theory in superspace
Journal of High Energy Physics, 2023 We explore type II supersymmetric double field theory in superspace. The double supervielbein is an element of the orthosymplectic group OSp(10, 10|64), which also governs the structure of generalized superdiffeomorphisms.
Daniel Butter
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Graft‐versus‐host disease (GvHD) remains one of the most significant complications of hematopoietic stem cell transplantation (HSCT). Abatacept, a selective T‐cell costimulation modulator, is a relatively novel prophylactic agent, though pediatric data remain limited.
Matthijs D. Kruizinga +3 more
wiley +1 more source
Shannon type inequalities via time scales theory
Advances in Difference Equations, 2020 The aim of present paper is to obtain Shannon type inequalities using the extended version of Jensen’s inequality in time scales settings. The concept of differential entropy of a continuous random variable on time scales is introduced, and its bounds ...
Iqrar Ansari +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose To explore caregivers' experiences and perceptions of the nutritional challenges faced by children and adolescents undergoing cancer treatment, including oral intake and the use of nutritional support. Methods This was a qualitative study based on focus groups with parents and caregivers at a Brazilian pediatric oncology hospital ...
Danyelle Apparecida Balsamão Marques +5 more
wiley +1 more source