Search Constraints

Start Over
Filtering by: Creator Castell, John Daniel Remove constraint Creator: Castell, John Daniel Degree Field Computer Science Remove constraint Degree Field: Computer Science License Attribution 4.0 (CC BY 4.0) Remove constraint License: Attribution 4.0 (CC BY 4.0)

Search Results

  • Playing by the Rules: A Formal Specification of BoGL’s Loops and Type System

    Creator:
    Grejuc, Alex
    Abstract:
    BoGL is a programming language created for the purpose of computer science education that is specific to the domain of board games. Although there is a language grammar and an existing implementation that is currently used by students, a complete and formal language standard does not yet exist. In the...
    Resource Type:
    Honors College Thesis
    Full Text:
    also to Rebeca, Vasile, and Daniel for growing up with me and for helping me navigate the world as a

  • Machine Learning and Optimization Applications in Agriculture

    Creator:
    Molotkov, Alexander
    Abstract:
    The ever-increasing global population presents looming problems for the field of agriculture. Global food demand will, at some point, increase to the point where there is not enough crop-ready land to keep up. This creates an additional incentive, other than economics, for growers to increase their yield-per-acre and make sure...
    Resource Type:
    Honors College Thesis

  • On Avoiding Power-Seeking by Artificial Intelligence

    Creator:
    Turner, Alexander M.
    Abstract:
    We do not know how to align a very intelligent AI agent's behavior with human interests. I investigate whether—absent a full solution to this AI alignment problem—we can build smart {\ai} agents which have limited impact on the world, and which do not autonomously seek power. In this thesis, I...
    Resource Type:
    Dissertation
    Full Text:
    , Abram Demski, and John Wentworth for their friendship, ideas, and support. I thank my benefactors: the