Results 71 to 80 of about 139,845,986 (286)

Type classes for mathematics in type theory [PDF]

Mathematical Structures in Computer Science, 2011
The introduction of first-class type classes in the Coq system calls for a re-examination of the basic interfaces used for mathematical formalisation in type theory. We present a new set of type classes for mathematics and take full advantage of their unique features to make practical a particularly flexible approach that was formerly thought to be ...
Bas Spitters, Eelis van der Weegen
openaire   +5 more sources

Parents of Youth With Cancer Report on Their Psychosocial Care: iSTEPPP Survey Finds Alignment and Gaps With Standards

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background The Standards for Psychosocial Care for Children with Cancer and Their Families guide the provision of comprehensive psychosocial care. Parallel to research characterizing implementation of the Standards from the perspective of providers, this study examines implementation of the Standards from the perspective of parents of youth ...
Emily M. Pariseau, Kimberly Buff, Michele A. Scialla, Kimberly S. Canter, Lori Wiener, Victoria Sardi‐Brown, Julia B. Tager, Kamyar Arasteh, Anne E. Kazak   +8 more
wiley   +1 more source

Typeview: A Tool for Understanding Type Errors [PDF]

, 2000
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., Simon, Axel, Simon, A., Frank Huch, Olaf Chitil, Chitil, Olaf, Axel Simon, Huch, Frank   +7 more
core  

A comparative analysis of influenza virus infections in the 2013/2014 and 2014/2015 epidemic seasons in the reporting system, for different age groups in Poland

Family Medicine & Primary Care Review, 2016
Background . Influenza remains the cause of many seasonal infections, leading even to death, in all age groups, for all patient health states, under all health policies, and in all latitudes.
Ewelina Hallmann-Szelińska, Daniel Rabczenko, Karolina Bednarska, Katarzyna Kondratiuk, Lidia B. Brydak   +4 more
doaj   +1 more source

Chemotherapy for Spinal Cord Intramedullary Pediatric Low‐Grade Glioma—A Systematic Literature Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric intramedullary low‐grade gliomas (PIMLGGs) are rare neoplasms that present unique clinical and management challenges. Although surgery remains the primary tool for tissue diagnosis and decompression, complete gross‐total resection is frequently unfeasible due to the infiltrative nature of these lesions.
Olga M. Sergeenko, Segev Gabay, Jonathan Roth, Amit Ringel, Rina Dvir, Shlomi Constantini   +5 more
wiley   +1 more source

A phase two randomised controlled double blind trial of high dose intravenous methylprednisolone and oral prednisolone versus intravenous normal saline and oral prednisolone in individuals with leprosy type 1 reactions and/or nerve function impairment. [PDF]

, 2011
BACKGROUND: Leprosy Type 1 reactions are a major cause of nerve damage and the preventable disability that results. Type 1 reactions are treated with oral corticosteroids and there are few data to support the optimal dose and duration of treatment.
Dhakal, Sushmita, Macdonald Murdo, Kishori Mahat, Walker Stephen L., Deanna A Hagge, Ruchal Shudan, Diana N J Lockwood, Deanna A. Hagge, Nicholls Peter G., Peter G Nicholls, Stephen L. Walker, Ruchal, Shudan, Kapil D. Neupane, Peter G. Nicholls, Neupane, Kapil D, Diana N. J. Lockwood, Lockwood, Diana NJ, Neupane Kapil D., Shudan Ruchal, Walker, Stephen L, Kapil D Neupane, Hagge, Deanna A, Stephen L Walker, Sushmita Dhakal, Hamal Sushma, Hawksworth, Rachel A, Murdo Macdonald, Sushma Hamal, Nicholls, Peter G, Rachel A Hawksworth, Lockwood Diana N. J., Hagge Deanna A., Macdonald, Murdo, Mahat Kishori, Dhakal Sushmita, Hawksworth Rachel A., Mahat, Kishori, Rachel A. Hawksworth, Hamal, Sushma   +38 more
core   +1 more source

“We Cannot Talk as a Family”: Complexities of Survivorship Communication Among Hispanic/Latino Young Adult Survivors of Childhood Cancer, Parents, and Clinicians

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Young adult childhood cancer survivors (YA‐CCS) have an increased risk of treatment‐related health complications throughout their lives. Lifelong survivorship care is recommended, yet many YA‐CCS experience disruptions in care during pediatric‐to‐adult transitions and do not receive recommended survivorship care.
Kevin Shanchen Pu, Nicole Fernández‐Viña, Briana C. Martin‐Villa, Daniela Ramirez, Rebecca M. Lewinsohn, Mary Smith, Heidi Boynton, Lidia Schapira, Stephanie M. Smith   +8 more
wiley   +1 more source

Immunology and genetics of type 1 diabetes [PDF]

, 2008
Type 1 diabetes is one of the most well-characterized autoimmune diseases. Type 1 diabetes compromises an individual's insulin production through the autoimmune destruction of pancreatic Β-cells.
Omenn, Gilbert S., Pietropaolo, Massimo, Michael P. Morran, Gilbert S. Omenn, Massimo Pietropaolo, Morran, Michael P.   +5 more
core   +1 more source

Identifying Patterns of Hospitalizations Among Childhood Cancer Survivors: A Population‐Based Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Childhood cancer survivors (CCSs) experience more hospitalizations than the general population. We aimed to identify distinct hospitalization patterns among Queensland CCSs and the associated characteristics. Methods Cases (aged ≤14 years) diagnosed between 1995 and 2019 while residents of Queensland were identified through the ...
Hai Pham, Teyl Engstrom, Peter Baade, Natalie Bradford, Sarah Pont, Louise Marquart‐Wilson, Natasha Nassar, Jason D. Pole   +7 more
wiley   +1 more source

Type VI secretion: a beginner's guide [PDF]

, 2008
Type VI secretion is a newly described mechanism for protein transport across the cell envelope of Gram-negative bacteria. Components that have been partially characterised include an IcmF homologue, the ATPase ClpV, a regulatory FHA domain protein and ...
Bailey, Christopher, Bailey, Christopher M., Bingle, Lewis E. H., Bailey, Christopher M, Pallen, Mark J, Pallen, Mark J., Bingle, Lewis, Pallen, Mark   +7 more
core   +1 more source