research
∙
01/14/2022
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
This paper introduces a formal definition of a Cyber-Physical System (CP...
share
research
∙
06/23/2018
Disease Classification in Metagenomics with 2D Embeddings and Deep Learning
Deep learning (DL) techniques have shown unprecedented success when appl...
research
∙
05/01/2018
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming
Evolutionary Biologists have long struggled with the challenge of develo...
research
∙
12/01/2017
