Results 71 to 80 of about 9,195,846 (282)
A Brief Analysis of Competitive Sports Depicted on the Portrait Bricks and Stones of the Han Dynasty
Contemporary Social Sciences, 2022 The emergence of competitive sports in ancient China is closely related to military activities. With the evolution and development of society, many sporting events have been introduced to and accepted by, the people and later carried forward from ...
Li Jiaxin, Lei Ling, Li Lin, and Wang Daiqian
doaj +1 more source
Type Inference for Correspondence Types
Electronic Notes in Theoretical Computer Science, 2009 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 +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Physical rehabilitation is highly recognised in improving the quality of life of cancer survivors through prehabilitation, sequelae management and palliative care, yet its integration into routine care in Ghana has not been characterised, leading to potential gaps in service access.
Dorothy Ekua Adjabu +5 more
wiley +1 more source
Central Nervous System Tumors Among Infants in Canada: A Report From CYP‐C
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Central nervous system (CNS) tumors in infants are rare, pose unique clinical challenges, and lack large‐scale evidence‐based data to guide management. This study seeks to describe CNS tumors in Canadian infants and to compare their outcomes with those of older children.
Samuel Sassine +17 more
wiley +1 more source
LIPIcs, Volume 175, TYPES 2019, Complete Volume
, 2020 LIPIcs, Volume 175, TYPES 2019, Complete ...
Mahboubi, Assia, Bezem, Marc
core +1 more source
, 2021 Learning Objectives: Understand the relationship between copyright and other intellectual property; Identify where a copyright issue or concern may also involve trademark, patent or industrial design issues; List the types of intellectual property ...
McNally, Michael B., Wakaruk, Amanda
core +1 more source
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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben +4 more
wiley +1 more source
LIPIcs, Volume 104, TYPES'17, Complete Volume
, 2019 LIPIcs, Volume 104, TYPES'17, Complete ...
Abel, Andreas +2 more
core +1 more source
Scientific Reports, 2022 Vitamin D as an immunomodulator has not been studied in patients with severe COVID-19. This study aimed to estimate the efficacy of vitamin D3 supplementation on cellular immunity and inflammatory markers in patients with COVID-19 admitted to the ...
Mikhail V. Bychinin +6 more
doaj +1 more source