NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 2 of 2 for “"Pyrosome"”.

  1. A Framework for Modular, Extensible, Equivalence-Preserving Compilation

    Jamner, DustinMassachusetts Institute of Technology2022

    I present Pyrosome1 , a generic framework for the verification of extensible, compositional compilers in Coq. Current techniques for proving compiler correctness are generally tied to the specific structures of the languages and compilers that they support. This limits the extent to which these …

    mit Repository record

  2. Elucidating Mechanisms of Biofluorescence and Bioluminescence in Marine Organisms

    Guarnaccia, Andrew MThe Graduate School and University Center of The City University of New York2022

    … (Chapter 3). Additionally, we confirmed that the pyrosome <em>Pyrosoma atlanticum</em> utilizes an endogenous luciferase that reacts with coelenterazine to luminesce (Chapter 5). Our results provide better insight into the two separates forms of light emission, provide new tools for biomedical …

    cuny-grad Repository record