Ricerca

Risultati della ricerca

  • Cc08hk299?file=thumbnail
    Masters Thesis
    Salomon, Michelle
    Biological sequence alignment has been widely used in the field of computational biology and bioinformatics. For this application both non-heuristic and heuristic algorithms have been implemented. With the recent technological development of high- p . . .
  • St74ct024?file=thumbnail
    Masters Thesis
    Reeves, Joseph
    In the realm of logic certain domains have kept their head above water, resisting the thrust of automation. As such, interactive theorem provers exist for these higher-order or more complex logics, demanding significant expenditures of human experti . . .
  • N296x1614?file=thumbnail
    Masters Thesis
    Soundarajan, Sanjay
    Unknown regulatory motif finding on DNA sequences is a crucial task for understanding gene expression and the task requires accuracy and efficiency. We propose DMF, a combinatorial approach that uses hash-based heuristics to skip unnecessary computat . . .
  • Mp48sg282?file=thumbnail
    Masters Thesis
    Hughes, David
    Object detection performed by deep neural networks is a popular research task with diverse real-life applications; these target applications will typically have semantic classes outside of the label maps of publically-available, pre-trained models. Th . . .
  • N009w500d?file=thumbnail
    Masters Thesis
    Halftermeyer, Roger
    Industrial Control Systems, or ICSs, are modernizing everyday with new advances in technology. This modernization is being done while old traditions of air gapping, as the main line of defense from security attacks, is still maintained. ICSs are moder . . .