المؤلفون: Philip Saville

المساهمون: Marcelo Fiore

مصطلحات موضوعية: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/49297

الاتاحة: https://av.tib.eu/media/49297

المؤلفون: Avani S. Vaishnav, Todd J. Albert, Philip Saville, Sheeraz A. Qureshi, Catherine Himo Gang, Steven J. McAnany, Brittany Haws, Sravisht Iyer, Kern Singh

المصدر: The Spine Journal. 20:737-744

مصطلحات موضوعية: 030222 orthopedics, medicine.medical_specialty, education.field_of_study, Neck pain, Visual analogue scale, business.industry, Population, Anterior cervical discectomy and fusion, Context (language use), Dysphagia, Surgery, 03 medical and health sciences, symbols.namesake, 0302 clinical medicine, Swallowing, medicine, symbols, Orthopedics and Sports Medicine, Neurology (clinical), medicine.symptom, education, business, 030217 neurology & neurosurgery, Fisher's exact test

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bbab60c46cb7c7d500ca9a37c83f6557
https://doi.org/10.1016/j.spinee.2020.01.011

المؤلفون: Ohad Kammar, Philip Saville, Shin-ya Katsumata

المصدر: 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

مصطلحات موضوعية: fibration, monad, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, call-by-value, full abstraction, Safety, Risk, Reliability and Quality, Software, O'Hearn & Riecke

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d35299c8d34d51b149ab8d9ef725445
https://hdl.handle.net/20.500.11820/6a540810-1945-41b7-8581-003bbd629a94

المؤلفون: Marcelo Fiore, Philip Saville

المساهمون: Fiore, Marcelo [0000-0001-8558-3492], Apollo - University of Cambridge Repository

مصطلحات موضوعية: Cartesian closed category, Mathematics (miscellaneous), Classical mechanics, Mathematics::Category Theory, Structure (category theory), Coherence (statistics), cartesian closed, Computer Science Applications, Mathematics, Bicategories, coherence, strictification

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8e5aecdd9d50c903503cfd92c301dc0
https://doi.org/10.1017/s0960129521000281

المؤلفون: 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

المصدر: Spine. 44:770-776

مصطلحات موضوعية: Adult, Male, medicine.medical_specialty, Decompression, Urinary system, Collagen Type I, Young Adult, 03 medical and health sciences, 0302 clinical medicine, N-terminal telopeptide, Predictive Value of Tests, medicine, Humans, Orthopedics and Sports Medicine, Prospective Studies, Prospective cohort study, Aged, 030222 orthopedics, Neck pain, Neck Pain, business.industry, Odds ratio, Middle Aged, Decompression, Surgical, medicine.disease, Surgery, Pseudarthrosis, Spinal Fusion, Treatment Outcome, Predictive value of tests, Cervical Vertebrae, Female, Spinal Diseases, Neurology (clinical), medicine.symptom, Peptides, business, Biomarkers, 030217 neurology & neurosurgery

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0c108cb7ed3e04005a4215be02aa857
https://doi.org/10.1097/brs.0000000000002935

المؤلفون: Marcelo Fiore, Philip Saville

المصدر: 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

مصطلحات موضوعية: Comma category, Computer science, bicategories, 0102 computer and information sciences, 01 natural sciences, Article, relative full completeness, Completeness (order theory), Mathematics::Category Theory, type theory, cartesian closure, 0101 mathematics, conservative extension, computer.programming_language, 010102 general mathematics, Bicategory, rewriting, Algebra, Cartesian closed category, Type theory, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Conservative extension, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Rewriting, glueing, Lambda calculus, computer

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58fdbf1b0e36a2f5006c9177488f342f
https://doi.org/10.26226/morressier.604907f51a80aac83ca25d68

المؤلفون: Marcelo Fiore, Philip Saville

المصدر: 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

مصطلحات موضوعية: bicategories, Computer science, Structure (category theory), 5003 Philosophy, 4904 Pure Mathematics, Yoneda lemma, Mathematical proof, Bicategory, coherence, normalisation, Algebra, Cartesian closed category, 50 Philosophy and Religious Studies, type theory, Mathematics::Category Theory, cartesian closure, 49 Mathematical Sciences, normalisation-by-evaluation, Lambda calculus, Category theory, computer, computer.programming_language, Normalisation by evaluation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3aef10944193f4293d106473838d62c8

المؤلفون: Rikesh A. Gandhi, Harvey E. Smith, Philip Saville, Vincent Arlet

المصدر: Spine Deformity. 6:492-497

مصطلحات موضوعية: Male, Lordosis, medicine.medical_treatment, Bone Screws, Anterior cervical discectomy and fusion, Osteotomy, Fracture Fixation, Internal, 03 medical and health sciences, 0302 clinical medicine, Bone Density, Cadaver, medicine, Humans, Orthopedics and Sports Medicine, Kyphosis, Aged, Aged, 80 and over, Cervical kyphosis, Orthodontics, 030222 orthopedics, business.industry, Impaction, Laminectomy, Middle Aged, medicine.disease, Spinal Fusion, Fluoroscopy, Spinal fusion, Cervical Vertebrae, Tomography, X-Ray Computed, Cadaveric spasm, business, 030217 neurology & neurosurgery, Diskectomy

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7db0b90e65cc73b4d2d49ef25891d266
https://doi.org/10.1016/j.jspd.2018.02.005

المؤلفون: Philip Saville, Abhijeet B. Kadam, Nathan Wigner, Vincent Arlet

المصدر: Journal of Neurosurgery: Spine. 27:650-660

مصطلحات موضوعية: Adult, medicine.medical_specialty, Lordosis, medicine.medical_treatment, 03 medical and health sciences, Postoperative Complications, 0302 clinical medicine, Lumbar, Deformity, medicine, Humans, Pelvis, Aged, Retrospective Studies, 030222 orthopedics, Lumbar Vertebrae, business.industry, Impaction, Lumbosacral Region, General Medicine, Middle Aged, medicine.disease, Sagittal plane, Surgery, Pseudarthrosis, Spinal Fusion, Treatment Outcome, medicine.anatomical_structure, Spinal fusion, Feasibility Studies, medicine.symptom, business, 030217 neurology & neurosurgery

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc9b8a331862db72d3e66d1dac8762b1
https://doi.org/10.3171/2017.5.spine16926

المؤلفون: Marcelo Fiore, Philip Saville

المصدر: 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

مصطلحات موضوعية: typed lambda calculus, Computer science, 010102 general mathematics, cartesian closed bicategories, Substitution (algebra), Curry-Howard-Lambek correspondence, 0102 computer and information sciences, Bicategory, 01 natural sciences, Algebra, Cartesian closed category, Type theory, Explicit substitution, 010201 computation theory & mathematics, Mathematics::Category Theory, Computer Science::Logic in Computer Science, higher category theory, Universal algebra, Computer Science::Programming Languages, Universal property, 0101 mathematics, Lambda calculus, computer, computer.programming_language

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33e63ff1b8118b2534de1d297edd8e3f
https://hdl.handle.net/20.500.11820/a9a7232b-27b4-4a66-908d-29ea56a72fa7

المؤلفون: Avani S. Vaishnav, Benjamin Khechen, Dil V. Patel, Brittany E. Haws, Kern Singh, Catherine Himo Gang, Philip Saville, Sheeraz A. Qureshi, Steven J. McAnany

المصدر: Spine. 44(7)

مصطلحات موضوعية: Adult, Male, medicine.medical_specialty, Operative Time, Anterior cervical discectomy and fusion, Single level, 03 medical and health sciences, 0302 clinical medicine, Swallowing, Risk Factors, Bone plate, otorhinolaryngologic diseases, medicine, Humans, Orthopedics and Sports Medicine, Patient Reported Outcome Measures, Postoperative Period, Retrospective Studies, 030222 orthopedics, business.industry, Retrospective cohort study, Middle Aged, Dysphagia, Surgery, Deglutition, Spinal Fusion, Treatment Outcome, Postoperative dysphagia, Preoperative Period, Cervical Vertebrae, Operative time, Female, Neurology (clinical), medicine.symptom, business, Deglutition Disorders, Bone Plates, 030217 neurology & neurosurgery, Diskectomy

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7237bad4bf787690be5213752785fdaf
https://pubmed.ncbi.nlm.nih.gov/30889144

المؤلفون: Chase C. Woodward, Andrew H. Milby, Harvey E. Smith, Philip Saville

المصدر: Seminars in Spine Surgery. 28:43-52

مصطلحات موضوعية: Cellular basis, medicine.medical_specialty, business.industry, Intervertebral disc, Disease, Degeneration (medical), Bioinformatics, Surgery, 03 medical and health sciences, 0302 clinical medicine, Innovative Therapies, medicine.anatomical_structure, Disc degeneration, medicine, Orthopedics and Sports Medicine, 030212 general & internal medicine, Lumbar disc herniation, business, 030217 neurology & neurosurgery, Intervertebral disc disease

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::04811c8dc7bd15d6ff5edbec87ece26f
https://doi.org/10.1053/j.semss.2015.08.010

المؤلفون: Philip Saville, Sheeraz A. Qureshi, Catherine Himo Gang, Steven J. McAnany, Avani S. Vaishnav, Christoph Wipplinger, Sertac Kirnaz, Roger Härtl, Rodrigo Navarro-Ramirez, Jingyan Yang

المصدر: Operative neurosurgery (Hagerstown, Md.). 18(5)

مصطلحات موضوعية: medicine.medical_specialty, Lordosis, medicine.medical_treatment, Radiography, Surgical planning, Preoperative care, 03 medical and health sciences, 0302 clinical medicine, Lumbar interbody fusion, medicine, Humans, 030212 general & internal medicine, Retrospective Studies, Lumbar Vertebrae, business.industry, medicine.disease, Sagittal plane, Surgery, medicine.anatomical_structure, Spinal Fusion, Treatment Outcome, Spinal fusion, Neurology (clinical), business, Cage, 030217 neurology & neurosurgery

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42bf6bc7d9038b6f1398c190b90e51f7
https://pubmed.ncbi.nlm.nih.gov/31914173

المؤلفون: Todd J. Albert, Philip Saville, Sheeraz A. Qureshi, Catherine Himo Gang, James Dowdell, Avani S. Vaishnav, Steven J. McAnany, Brandon B. Carlson, Rie Goto

المصدر: The spine journal : official journal of the North American Spine Society. 19(5)

مصطلحات موضوعية: medicine.medical_specialty, Lordosis, MEDLINE, Lumbar vertebrae, Cochrane Library, 03 medical and health sciences, 0302 clinical medicine, Lumbar, medicine, Deformity, Humans, Minimally Invasive Surgical Procedures, Orthopedics and Sports Medicine, 030222 orthopedics, Pain, Postoperative, business.industry, Lumbosacral Region, medicine.disease, Sagittal plane, Surgery, medicine.anatomical_structure, Spinal Fusion, Neurology (clinical), medicine.symptom, business, 030217 neurology & neurosurgery, Lumbosacral joint

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2b3034cf3edcbc1add6a13cf7eebb0c
https://pubmed.ncbi.nlm.nih.gov/34384697

المؤلفون: Harvey E. Smith, Abhijeet B. Kadam, Philip Saville, Vincent Arlet

المصدر: Journal of neurosurgery. Spine. 25(6)

مصطلحات موضوعية: Adult, Male, medicine.medical_specialty, Radiography, Blood Loss, Surgical, 03 medical and health sciences, Young Adult, 0302 clinical medicine, Lumbar, Postoperative Complications, Adult deformity, Hyperlordotic, Medicine, Humans, Aged, Retrospective Studies, 030222 orthopedics, Lumbar Vertebrae, business.industry, General Medicine, Middle Aged, Internal Fixators, Surgery, Spinal Fusion, Treatment Outcome, Female, business, 030217 neurology & neurosurgery, ALIF - Anterior lumbar interbody fusion, Follow-Up Studies

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::acbc402c7f2ddb55650dc86364e1162d
https://pubmed.ncbi.nlm.nih.gov/27391400

المؤلفون: Paresh Kothari, Philip Saville, Sreebala C. M. Srinivasan, Charlotte F. Longman

المصدر: Foot & Ankle International. 32:818-821

مصطلحات موضوعية: Adult, Male, musculoskeletal diseases, medicine.medical_specialty, Arthrodesis, medicine.medical_treatment, Arthritis, Sural nerve, Osteoarthritis, Tendon transfer, medicine, Humans, Orthopedics and Sports Medicine, Aged, Retrospective Studies, Valgus deformity, Aged, 80 and over, Wound Healing, business.industry, Subtalar Joint, Middle Aged, medicine.disease, Neurovascular bundle, Surgery, body regions, Joint Deformities, Acquired, medicine.anatomical_structure, Female, Ankle, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c36df6531b0b813d8df3d385b8b5c127
https://doi.org/10.3113/fai.2011.0818

المؤلفون: Eliana E. Kim, Catherine Himo Gang, Steven J. McAnany, Farah Maryam, Rodrigo Navarro-Ramirez, Philip Saville, Sheeraz A. Qureshi, Roger Härtl, Avani S. Vaishnav

المصدر: The Spine Journal. 18:S214

مصطلحات موضوعية: Retrospective review, medicine.medical_specialty, Lordosis, business.industry, Context (language use), medicine.disease, Sagittal plane, Surgery, medicine.anatomical_structure, Statistical significance, Cohort, medicine, Mann–Whitney U test, Mis tlif, Orthopedics and Sports Medicine, Neurology (clinical), business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cc4fcb85705519d86749a34fa37cd727
https://doi.org/10.1016/j.spinee.2018.06.695

المؤلفون: Emily M. Stein, Todd J. Albert, Philip Saville, Eric Feuchtbaum, Virginie Lafage, Pooja Prabhakar, Brandon B. Carlson, Patrick Hill, Han Jo Kim, Michael E. Steinhaus, Renaud Lafage, Jingyan Yang

المصدر: The Spine Journal. 18:S80

مصطلحات موضوعية: Cervical spine surgery, medicine.medical_specialty, business.industry, Urinary system, Radiography, Context (language use), medicine.disease, Surgery, Pseudarthrosis, N-terminal telopeptide, Cervical decompression, medicine, Orthopedics and Sports Medicine, Neurology (clinical), business, Prospective cohort study

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::00d57a7f14436d7580cfed11a9f5373c
https://doi.org/10.1016/j.spinee.2018.06.427

المؤلفون: Jason B Anari, Vincent Arlet, Harvey E. Smith, Philip Saville

المصدر: European spine journal : official publication of the European Spine Society, the European Spinal Deformity Society, and the European Section of the Cervical Spine Research Society. 25

مصطلحات موضوعية: Male, Reoperation, medicine.medical_specialty, Decompression, medicine.medical_treatment, Radiography, Lumbar vertebrae, 03 medical and health sciences, 0302 clinical medicine, Pedicle Screws, medicine, Humans, Orthopedics and Sports Medicine, 030222 orthopedics, Lumbar Vertebrae, business.industry, Impaction, Middle Aged, medicine.disease, Spondylolisthesis, Surgery, medicine.anatomical_structure, Spinal Fusion, Coronal plane, Spinal fusion, Lordosis, Spinal Fractures, Female, Complication, business, Tomography, X-Ray Computed, 030217 neurology & neurosurgery

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7ece4efdfa8ad85ece62f2a3133200e
https://pubmed.ncbi.nlm.nih.gov/26984878

المؤلفون: Marcelo Fiore and Philip Saville, Fiore, Marcelo, Saville, Philip

مصطلحات الفهرس: list object, free monoid, strong monad, (cartesian, linear, and second-order) algebraic theory, near semiring, Haskell Monad type class, opetope, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2017.16
Is Part Of LIPIcs, Volume 84, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)