Now showing items 5-8 of 626

    • Monadic and Higher-Order Structure 

      Arkor, Nathanael
      Simple type theories, ubiquitous in the study of programming language theory, augment algebraic theories with higher-order, variable-binding structure. This motivates the definition of higher-order algebraic theories to ...
    • Software and Hardware Co-design for Efficient Neural Networks 

      Zhao, Aaron
      Deep Neural Networks (DNNs) offer state-of-the-art performance in many domains but this success comes at the cost of high computational and memory resources. Since DNN inference is now a popular workload on both edge and ...
    • Towards automatic interpretation of A Fortiori arguments 

      Razuvayevskaya, Olesya
      Argument A Fortiori represents a common type of everyday reasoning where the conclusions about the possibility of a certain scenario are drawn based on its comparison to some similar scenario, as in the following ...
    • Transparent Analysis of Multi-Modal Embeddings 

      Verő, Anita Lilla
      Vector Space Models of Distributional Semantics – or Embeddings – serve as useful statistical models of word meanings, which can be applied as proxies to learn about human concepts. One of their main benefits is that not ...