Zobrazeno 1 - 10
of 162
pro vyhledávání: '"Stephen Dolan"'
Autor:
Jeremy Yallop, Stephen Dolan
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 294, Iss Proc. ML 2017, Pp 74-85 (2019)
First class type equalities, in the form of generalized algebraic data types (GADTs), are commonly found in functional programs. However, first-class representations of other relations between types, such as subtyping, are not yet directly supported
Externí odkaz:
https://doaj.org/article/8388c5ea1abb4de493ae96804dd0a4bc
Autor:
Stephen Dolan
Accelerator-based neutrino oscillation experiments have the potential to revolutionise our understanding of fundamental physics, offering an opportunity to characterise charge-parity violation in the lepton section, to determine the neutrino mass ord
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db7a6ee3d3fa8efab580920e5cf1336f
Publikováno v:
PLoS Computational Biology, Vol 13, Iss 5, p e1005457 (2017)
Transcriptomics technologies are the techniques used to study an organism's transcriptome, the sum of all of its RNA transcripts. The information content of an organism is recorded in the DNA of its genome and expressed through transcription. Here, m
Externí odkaz:
https://doaj.org/article/86fb791c11d1434796666958b46478cc
Autor:
Stephen Dolan
Publikováno v:
Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a4135cf3220ab8314e07440d5b3cc9ca
https://doi.org/10.1145/3546196.3550165
https://doi.org/10.1145/3546196.3550165
Publikováno v:
Physical Review
Physical Review D, 105 (11)
Physical Review D, 105 (11)
For current and future neutrino oscillation experiments using large liquid argon time projection chambers (LAr-TPCs), a key challenge is identifying neutrino interactions from the pervading cosmic-ray background. Rejection of such background is often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3c39b76c53b8085697bb2c5602f1163
http://repo.scoap3.org/api
http://repo.scoap3.org/api
A substantial fraction of systematic uncertainties in neutrino oscillation experiments stems from the lack of precision in modeling the nucleus when describing the neutrino-nucleus interactions. The Spectral Function (SF) model features a distributio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a2009b039c2511fba0e5e0b36f4da8c
http://cds.cern.ch/record/2801659
http://cds.cern.ch/record/2801659
Publikováno v:
Proceedings of 37th International Cosmic Ray Conference — PoS(ICRC2021).
In current and future neutrino oscillation experiments using liquid argon time projection chambers (LAr-TPCs), a key challenge is identifying neutrino interactions from the pervading cosmic-ray background. Rejection of such background is often possib
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e44079252c1f1db8bc0fbcd051658a7
https://doi.org/10.22323/1.395.1075
https://doi.org/10.22323/1.395.1075
Publikováno v:
Transplant Infectious Disease. 23
Blastomycosis is a fungal infection caused primarily by Blastomyces dermatitis. The fungus is endemic to the Ohio, Mississippi, and St. Lawrence River areas of the United States. Organ transplant recipients are at risk of blastomycosis due to pharmac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ac8c2b90d9fdd659be39ace0c66bf06
https://doi.org/10.1111/tid.13671
https://doi.org/10.1111/tid.13671
Publikováno v:
Daily Mail. 8/19/2023, p52. 1p.
Autor:
Stephen Dolan
Plenary Talk from Neutrino 2020
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c227c282daf4caaffb4b2225080bccc