Now showing items 1-4 of 4

    • AN EXPLORATORY ANALYSIS OF REACTION-DIFFUSION SYSTEMS 

      Shabet, Matthew (2022-05-23)
      Reaction-diffusion models play an important role in explaining many physical phenomena. This thesis represents an exploratory analysis of reaction-diffusion systems, ranging from the mathematical theory to modern-day ...
    • Automated Kantian Ethics 

      Singh, Lavanya (2022-05-25)
      AI is beginning to make decisions without human supervision in increasingly consequential contexts like healthcare, policing, and driving. These decisions are inevitably ethically tinged, but most AI systems in use today ...
    • Interpreting Language with Continuation-Based Semantics 

      Han, Ye Joo (2023-06-30)
      Starting with Montague’s lambda calculus for explaining natural language, programming language and natural language have had many commonalities that allowed theories in one to explicate phenomena in the other. In this ...
    • microKanren with Delayed Goals 

      Zharmukhametova, Laura (2021-06-04)
      miniKanren is a relational programming language embedded in Scheme. This paper studies the problem of supporting delayed goals in the context of µKanren, the core of miniKanren. It explores different representations of ...