9 research outputs found

    A framework for Satisfiability Modulo Theories

    No full text

    Diet Modelling: Combining Mathematical Programming Models with Data-Driven Methods

    No full text
    Mathematical programming has been the principal workhorse behind most diet models since the 1940s. As a predominantly hypothesis-driven modelling paradigm, its structure is mostly defined by a priori information, i.e. expert knowledge. In this paper we consider two machine learning paradigms, and three instances thereof that could help leverage the readily available data and derive valuable insights for modelling healthier, and acceptable human diets

    The History of Biological Weapons Use: What We Know and What We Don't

    No full text
    corecore