Jason Hu
McGill University
Mathematical proofInternal medicineUniverse (mathematics)OncologyOdds ratioProgramming languageAbirateroneEnzalutamideBone mineralVariety (linguistics)Androgen deprivation therapyAgdaProstate cancerDocetaxelCastration resistantComputer scienceCategory theoryHormoneMedicineCohortType theory
23Publications
6H-index
36Citations
Publications 24
Newest
#1Jason Hu (McGill University)H-Index: 6
#2Armen Aprikian (MUHC: McGill University Health Centre)H-Index: 56
Last. Alice Dragomir (McGill University)H-Index: 25
view all 4 authors...
Abstract null null Background null Novel hormonal agents (NHAs) such as abiraterone acetate (ABI) and enzalutamide (ENZ) are frequently used in metastatic castration-resistant prostate cancer (mCRPC). Despite their overall tolerable risk profile, certain signals of cardiovascular toxicity were reported for these agents in clinical trials but little is known about their incidence in clinical practice. The objective was to assess the comparative cardiovascular safety of ABI and ENZ in patients wit...
Source
#1Jason HuH-Index: 6
#2Armen AprikianH-Index: 56
Last. Alice DragomirH-Index: 25
view all 4 authors...
Source
#1Jason Hu (McGill University)H-Index: 6
#2Armen Aprikian (McGill University)H-Index: 56
Last. Alice Dragomir (McGill University)H-Index: 25
view all 4 authors...
62Background: Novel hormonal agents (NHAs) such abiraterone (ABI) and enzalutamide (ENZA) have demonstrated similar survival benefits against placebo groups in their respective clinical trials lead...
Source
In this note, we review a construction of category with families (CwF) in a presheaf category. When the base category of a presheaf category is a CwF, we internalize this CwF structure in the CwF of the presheaf category. This note assumes working knowledge on category theory.
#1Jason Hu (McGill University)H-Index: 6
#2Jacques Carette (McMaster University)H-Index: 13
The generality and pervasiveness of category theory in modern mathematics makes it a frequent and useful target of formalization. It is however quite challenging to formalize, for a variety of reasons. Agda currently (i.e. in 2020) does not have a standard, working formalization of category theory. We document our work on solving this dilemma. The formalization revealed a number of potential design choices, and we present, motivate and explain the ones we picked. In particular, we find that alte...
Source
#1Jason HuH-Index: 6
#2Jacques CaretteH-Index: 13
Source
#1Jason Hu (McGill University)H-Index: 6
#2Armen Aprikian (McGill University)H-Index: 56
Last. Alice Dragomir (McGill University)H-Index: 25
view all 4 authors...
BACKGROUND Androgen deprivation therapy (ADT) is a cornerstone of treatment for advanced prostate cancer (PCa); however, it accelerates the loss of bone mineral density (BMD), which increases fracture risk. Guidelines recommend BMD testing when initiating ADT to assess baseline fracture risk properly. The objective of this study was to examine the proportion of BMD testing in men initiating ADT in Quebec and to identify factors associated with receipt of this testing. METHODS The study cohort co...
Source
The generality and pervasiness of category theory in modern mathematics makes it a frequent and useful target of formalization. It is however quite challenging to formalize, for a variety of reasons. Agda currently (i.e. in 2020) does not have a standard, working formalization of category theory. We document our work on solving this dilemma. The formalization revealed a number of potential design choices, and we present, motivate and explain the ones we picked. In particular, we find that altern...
Source
#1Jason HuH-Index: 6
#2Jacques Carette (McMaster University)H-Index: 13
The generality and pervasiness of category theory in modern mathematics makes it a frequent and useful target of formalization. It is however quite challenging to formalize, for a variety of reasons. Agda currently (i.e. in 2020) does not have a standard, working formalization of category theory. We document our work on solving this dilemma. The formalization revealed a number of potential design choices, and we present, motivate and explain the ones we picked. In particular, we find that altern...
#1Jason HuH-Index: 6
#2Armen AprikianH-Index: 56
Last. Alice DragomirH-Index: 25
view all 4 authors...
Source
This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.