Zobrazeno 1 - 10
of 83
pro vyhledávání: '"Eddie, Jones"'
Autor:
Chenhan Sun, Yusheng Jia, Hainan Li, Xuanqi Qiao, Mi Tang, Meiyan Geng, Eddie Jones, James Pike, Mia Unsworth, Min Hu
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract Multiple sclerosis (MS) is uncommon in China and the standard of care is underdeveloped, with limited utilization of disease-modifying treatment (DMT). An understanding of real-world disease burden (including direct medical, non-medical, and
Externí odkaz:
https://doaj.org/article/da884d83338a44c0b4a1213fe516e077
Autor:
Crystal Watson, Dhanalakshmi Thirumalai, Arie Barlev, Eddie Jones, Sasha Bogdanovich, Kiren Kresa-Reahl
Publikováno v:
Neurology and Therapy, Vol 12, Iss 6, Pp 1961-1979 (2023)
Abstract Introduction Much of the current literature on treatment patterns and disability progression in multiple sclerosis (MS) does not distinguish between the relapsing–remitting and progressive subtypes (including primary [PPMS] and secondary p
Externí odkaz:
https://doaj.org/article/e5bed912d1c24028a5e2841dc4079259
Publikováno v:
BMC Neurology, Vol 21, Iss 1, Pp 1-12 (2021)
Abstract Background Many patients with Parkinson’s disease (PD) who receive carbidopa/levodopa experience symptom reemergence or worsening, or “OFF” episodes. This study assessed the association of “OFF” episodes with health-related quality
Externí odkaz:
https://doaj.org/article/990794baf49e4ee3b89788958fb9353e
Autor:
Jeff, Schein, Christy R, Houle, Annette L, Urganus, Eddie, Jones, James, Pike, Joseph, Husbands, Cynthia J, Willey
Publikováno v:
Journal of Alzheimer's Disease. 88:663-677
Background: Dementia patients frequently depend on caregivers. Agitation is a common behavioral dementia symptom particularly burdensome to patients and caregivers. Objective: To assess the association of agitation severity with non-professional care
Autor:
Margaret Gerbasi, Rodger Elble, Eddie Jones, Alexander Gillespie, John Jarvis, Elizabeth Chertavian, Zachary Smith, Kemi Bankole, Sriram Shankar, Ludy Shih
Publikováno v:
Monday, April 24.
Publikováno v:
Jochems, J C, Jones, E C & Ramsay, S 2023, ' Higher-Order MSL Horn Constraints ', Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, 69, pp. 2017–2047 . https://doi.org/10.1145/3571262
The monadic shallow linear (MSL) class is a decidable fragment of first-order Horn clauses that was discovered and rediscovered around the turn of the century, with applications in static analysis and verification. We propose a new class of higher-or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c811c00ceafb4b984b311396f2a9f123
https://hdl.handle.net/1983/515a6048-86b6-424e-8692-0e6e19b4d647
https://hdl.handle.net/1983/515a6048-86b6-424e-8692-0e6e19b4d647
Autor:
Gustavo Seifer, Tarunya Arun, Carlos Capela, Guy Laureys, Eddie Jones, Patricia Dominguez-Castro, Rainel Sanchez-de la Rosa, Simone Hiltl, Pietro Iaffaldano
Publikováno v:
Multiple Sclerosis and Related Disorders
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1b6b15c648eab35af68c1a57d9cb10a
https://biblio.ugent.be/publication/01H3V7QEH0S2BS2G2Q82DFHZHE/file/01H3V7SKNJBFV9XRTPDWN756E1
https://biblio.ugent.be/publication/01H3V7QEH0S2BS2G2Q82DFHZHE/file/01H3V7SKNJBFV9XRTPDWN756E1
Non-professional caregiver burden is associated with the severity of patients' cognitive impairment.
Autor:
Christopher M Black, Craig W Ritchie, Rezaul K Khandker, Robert Wood, Eddie Jones, Xiaohan Hu, Baishali M Ambegaonkar
Publikováno v:
PLoS ONE, Vol 13, Iss 12, p e0204110 (2018)
Background/objectivesTo analyse the relationship between caregiver burden and severity of patients' cognitive impairment.DesignData were drawn from the cross-sectional 2015/2016 Adelphi Real World Dementia Disease-Specific Programme.SettingThis resea
Externí odkaz:
https://doaj.org/article/9ddacb41c0e446b29a35fdf57920cef6
Publikováno v:
Jones, E C, Ong, L & Ramsay, S 2022, CycleQ : An Efficient Basis for Cyclic Equational Reasoning . in R Jhala & I Dillig (eds), PLDI 2022 : Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Association for Computing Machinery (ACM), pp. 395-409, The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, California, United States, 13/06/22 . https://doi.org/10.1145/3519939.3523731
We propose a new cyclic proof system for automated, equational reasoning about the behaviour of pure functional programs. The key to the system is the way in which cyclic proof and equational reasoning are mediated by the use of contextual substituti
Autor:
Steven J. Ramsay, Eddie Jones
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-29
The pattern-match safety problem is to verify that a given functional program will never crash due to non-exhaustive patterns in its function definitions. We present a refinement type system that can be used to solve this problem. The system extends