Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details [PDF]
arXiv, 2019 We propose a calling convention for capability machines with local capabilities. The calling convention ensures local-state encapsulation and well-bracketed control flow. We use the calling convention in a hand-full of program examples and prove that they behave correctly.
arxiv
The Dramas and Dramatic Dances of Non-European Races in Special Reference to the Origin of Greek Tragedy, with an Appendix on the Origin of Greek Comedy [PDF]
, 1918 Roy C. Flickinger, William Ridgeway
openalex +1 more source
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics [PDF]
arXiv, 2019 This paper is an appendix to the paper "Cut-free Calculi and Relational Semantics for Temporal STIT logics" by Berkel and Lyon, 2019. It provides the completeness proof for the basic STIT logic Ldm (relative to irreflexive, temporal Kripke STIT frames) as well as gives the derivation of the independence of agents axiom for the logic Xstit.
arxiv
DECIDUAL REACTION IN THE APPENDIX IN INTRA-UTERINE PREGNANCY [PDF]
, 1913 George W. Outerbridge
openalex +1 more source
Degenerate Perverse Sheaves on Abelian Varieties [PDF]
arXiv, 2012 We analyze irreducible perverse sheaves on abelian varieties, defined over the complex numbers or the algebraic closure of a finite field, whose Euler characteristic is zero. We give a description of such perverse sheaves under assumptions for the case of simple abelian varieties.
arxiv
On entropy of spherical twists [PDF]
arXiv, 2017 In this paper, we compute categorical entropy of spherical twists. In particular, we prove that Gromov-Yomdin type conjecture holds for spherical twists. Moreover, we construct counterexamples of Gromov-Yomdin type conjecture for K3 surfaces modifying Fan's construction for even higher dimensional Calabi-Yau manifolds.
arxiv
A CASE OF INCARCERATION OF THE VERMIFORM APPENDIX CONTAINING A FOREIGN BODY (PIN) IN THE SAC OF AN INGUINAL HERNIA IN A CHILD. [PDF]
, 1909 T. H. Kellock
openalex +1 more source
Appendix JBA Vol. 16 No. 3 2020
Jurnal Borneo Administrator: Media Pengembangan Paradigma dan Gaya Baru Manajemen Pemerintahan Daerah, 2020 Appendix Artikel
doaj +1 more source
Appendix JBA Vol. 12 No. 3 2016
Jurnal Borneo Administrator: Media Pengembangan Paradigma dan Gaya Baru Manajemen Pemerintahan Daerah, 2017 appendix appendix
doaj +1 more source
Appendix—Spectrum of horse-heart cytochrome c [PDF]
, 1959 E. Margoliash, Nehamah Frohwirt
openalex +1 more source