Results 41 to 50 of about 12,021,669 (295)
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
A Rare Epilepsy Type: Eating Epilepsy
Eating epilepsy is a rare type of reflex epilepsy. Genetic factors, types of food, and eating habits are important. Presently described is case of a 28-year-old man with simple partial and secondary generalized epilepsy, provoked especially by fatty or ...
Ayhan BÖLÜK +2 more
core +1 more source
On the identity type as the type of computational paths [PDF]
We introduce a new way of formalizing the intensional identity type based on the fact that a entity known as computational paths can be interpreted as terms of the identity type. Our approach enjoys the fact that our elimination rule is easy to understand and use.
Arthur F. Ramos +2 more
openaire +2 more sources
ABSTRACT Background Sickle cell disease (SCD) is a chronic, inherited hemoglobinopathy that requires frequent hospitalization for disease‐related complications. Canadian data on inpatient care is limited. This study compared caregiver‐reported hospital experiences of children with SCD to those with cystic fibrosis (CF), a chronic, autosomal recessive ...
Hailey M. Zwicker +11 more
wiley +1 more source
Typeview: A Tool for Understanding Type Errors [PDF]
In modern statically typed functional languages, type inference is used to determine the type of each function automatically. Whenever this fails, the compiler emits an error message that is often very complex.
Huch, F. +7 more
core
Type Inference for Correspondence Types
AbstractWe present a correspondence type/effect system for authenticity in a π-calculus with polarized channels, dependent pair types and effect terms and show how one may, given a process P and an a priori type environment E, generate constraints that are formulae in the Alternating Least Fixed-Point (ALFP) logic.
Andrew D. Gordon 0001 +2 more
openaire +2 more sources
Objectives Children’s dental fear is a major issue in avoidance of dental visits, which exacerbates dental health problems and is associated with multiple factors. The dentist’s behavior is one of the influential factors in dental fear. This study aimed
خشایار علی اکبرنیا +4 more
doaj +1 more source
ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa +8 more
wiley +1 more source
Inductive Types in Homotopy Type Theory [PDF]
Homotopy type theory is an interpretation of Martin-Löf's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof ...
Awodey, S, GAMBINO, Nicola, Sojakova, K.
openaire +3 more sources
Madame Davit: Gaudir de la natura: La il·lustració botànica des de la perspectiva de gènere
Suzanne Davit (París, 1897–Barcelona, 1973) és poc coneguda i estudiada, tot i la rellevància del seu llegat en la il·lustració botànica catalana de començament i de mitjan segle xx.
Àngels Viladomiu, Àngel Romo
doaj +1 more source

