Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Philip Saville"'
Autor:
Avani S. Vaishnav, Todd J. Albert, Philip Saville, Sheeraz A. Qureshi, Catherine Himo Gang, Steven J. McAnany, Brittany Haws, Sravisht Iyer, Kern Singh
Publikováno v:
The Spine Journal. 20:737-744
BACKGROUND CONTEXT Dysphagia following anterior cervical discectomy and fusion (ACDF) is a common complication, the etiology of which has not been established. Given that one potential mechanism for dysphagia is local tissue edema, it is thought that
Publikováno v:
Kammar, O, Katsumata, S Y & Saville, P 2022, ' Fully abstract models for effectful λ-calculi via category-theoretic logical relations ', Proceedings of the ACM on Programming Languages, vol. 6, no. POPL, 44 . https://doi.org/10.1145/3498705
We present a construction which, under suitable assumptions, takes a model of Moggi's computational λ-calculus with sum types, effect operations and primitives, and yields a model that is adequate and fully abstract. The construction, which uses the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d35299c8d34d51b149ab8d9ef725445
https://hdl.handle.net/20.500.11820/6a540810-1945-41b7-8581-003bbd629a94
https://hdl.handle.net/20.500.11820/6a540810-1945-41b7-8581-003bbd629a94
Autor:
Marcelo Fiore, Philip Saville
We prove a strictification theorem for cartesian closed bicategories. First, we adapt Power’s proof of coherence for bicategories with finite bilimits to show that every bicategory with bicategorical cartesian closed structure is biequivalent to a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8e5aecdd9d50c903503cfd92c301dc0
https://doi.org/10.1017/s0960129521000281
https://doi.org/10.1017/s0960129521000281
Autor:
Pooja Prabhakar, Patrick Hill, Virginie Lafage, Todd J. Albert, Philip Saville, Jingyan Yang, Brandon B. Carlson, Renaud Lafage, Han Jo Kim, Emily M. Stein, Eric Feuchtbaum, Rachel S. Bronheim, Michael E. Steinhaus
Publikováno v:
Spine. 44:770-776
Study design Prospective cohort study. Objective To examine preoperative urinary cross-linked n-telopeptide (uNTx) and assess for association with fusion rates in patients undergoing single and multi-level anterior cervical decompression and fusion (
Autor:
Marcelo Fiore, Philip Saville
Publikováno v:
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science ISBN: 9783030452308
FoSSaCS
Saville, P & Fiore, M 2020, Relative full completeness for bicategorical cartesian closed structure . in Foundations of Software Science and Computation Structures : International Conference on Foundations of Software Science and Computation Structures FoSSaCS 2020 . Lecture Notes in Computer Science, vol. 12077, 23rd International Conference on Foundations of Software Science and Computation Structures, Dublin, Ireland, 25/04/20 . https://doi.org/10.1007/978-3-030-45231-5_15
Lecture Notes in Computer Science ISBN: 9783030452308
FoSSaCS
Saville, P & Fiore, M 2020, Relative full completeness for bicategorical cartesian closed structure . in Foundations of Software Science and Computation Structures : International Conference on Foundations of Software Science and Computation Structures FoSSaCS 2020 . Lecture Notes in Computer Science, vol. 12077, 23rd International Conference on Foundations of Software Science and Computation Structures, Dublin, Ireland, 25/04/20 . https://doi.org/10.1007/978-3-030-45231-5_15
The glueing construction, defined as a certain comma category, is an important tool for reasoning about type theories, logics, and programming languages. Here we extend the construction to accommodate ‘2-dimensional theories’ of types, terms betw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58fdbf1b0e36a2f5006c9177488f342f
https://doi.org/10.26226/morressier.604907f51a80aac83ca25d68
https://doi.org/10.26226/morressier.604907f51a80aac83ca25d68
Autor:
Marcelo Fiore, Philip Saville
Publikováno v:
LICS
Fiore, M & Saville, P 2020, Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure . in LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . New York, pp. 425–439, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, 8/07/20 . https://doi.org/10.1145/3373718.3394769
Fiore, M & Saville, P 2020, Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure . in LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . New York, pp. 425–439, Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, 8/07/20 . https://doi.org/10.1145/3373718.3394769
We present two proofs of coherence for cartesian closed bicat- egories. Precisely, we show that in the free cartesian closed bicategory on a set of objects there is at most one structural 2-cell between any parallel pair of 1-cells. We thereby reduce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3aef10944193f4293d106473838d62c8
Publikováno v:
Spine Deformity. 6:492-497
Purpose Cervical spines previously posteriorly instrumented and fused with a kyphotic deformity represent a surgical challenge. Current treatment strategies include C7 pedicle subtraction osteotomy or a posterior-anterior-posterior approach, which ca
Publikováno v:
Journal of Neurosurgery: Spine. 27:650-660
OBJECTIVEThe authors’ aim in this study was to evaluate whether sagittal plane correction can be obtained from the front by overpowering previous posterior instrumentation and/or fusion with hyperlordotic anterior lumbar interbody fusion (ALIF) cag
Autor:
Marcelo Fiore, Philip Saville
Publikováno v:
Fiore, M & Saville, P 2019, A type theory for cartesian closed bicategories : (Extended Abstract) . in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 24-27 June 2019-Vancouver . Institute of Electrical and Electronics Engineers (IEEE), pp. 1-13, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, Canada, 24/06/19 . https://doi.org/10.1109/LICS.2019.8785708
LICS
LICS
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal property, thereby
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33e63ff1b8118b2534de1d297edd8e3f
https://hdl.handle.net/20.500.11820/a9a7232b-27b4-4a66-908d-29ea56a72fa7
https://hdl.handle.net/20.500.11820/a9a7232b-27b4-4a66-908d-29ea56a72fa7
Autor:
Avani S. Vaishnav, Benjamin Khechen, Dil V. Patel, Brittany E. Haws, Kern Singh, Catherine Himo Gang, Philip Saville, Sheeraz A. Qureshi, Steven J. McAnany
Publikováno v:
Spine. 44(7)
Retrospective review of prospectively collected data.To investigate if zero profile devices offer an advantage over traditional plate/cage constructs for dysphagia rates in single level anterior cervical discectomy and fusion (ACDF).Dysphagia rates f