Zobrazeno 1 - 10
of 952
pro vyhledávání: '"Jones, Eddie"'
Autor:
Tolley, Chloe, Piani-Meier, Daniela, Bentley, Sarah, Bennett, Bryan, Jones, Eddie, Pike, James, Dahlke, Frank, Tomic, Davorka, Ziemssen, Tjalf
Publikováno v:
JMIR Medical Informatics, Vol 8, Iss 4, p e17592 (2020)
BackgroundThere is an unmet need for a tool that helps to evaluate patients who are at risk of progressing from relapsing-remitting multiple sclerosis to secondary progressive multiple sclerosis (SPMS). A new tool supporting the evaluation of early s
Externí odkaz:
https://doaj.org/article/4fb2935b64b449639da6bd741471859b
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:
http://arxiv.org/abs/2210.14649
Publikováno v:
In Personality and Individual Differences July 2024 224
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
Externí odkaz:
http://arxiv.org/abs/2111.12553
Autor:
Jones, Eddie, Ramsay, Steven
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
Externí odkaz:
http://arxiv.org/abs/2008.01452
Autor:
Harmon-Jones, Eddie, Szymaniak, Kinga
Publikováno v:
In Personality and Individual Differences October 2023 213
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.