Marc L. Smith

Learn More
In contrast to sequential computation, concurrent computation gives rise to parallel events. Efforts to translate the history of concurrent computations into sequential event traces result in the potential uncertainty of the observed order of these events. Loosely coupled distributed systems complicate this uncertainty even further by introducing the(More)
Using the extended model for view-centric reasoning, EVCR, we focus on the many possibilities for concurrent processes to be composed. EVCR is an extension of VCR, both models of true concurrency; VCR is an extension of CSP, which is based on an interleaved semantics for modeling concurrency. VCR, like CSP, utilizes traces of instantaneous events, though(More)
We wish to let CBE—Life Sciences Education readers know about a portal to a set of curricular lab modules designed to integrate genomics and bioinformatics into commonly taught courses at all levels of the undergraduate curriculum. Through a multi-year, collaborative process, we developed, implemented, and peer-reviewed inquiry-based, integrated(More)
There are many different models of concurrent processes. The goal of this work is to introduce a common formalized framework for current research in this area and to eliminate shortcomings of existing models of concurrency. Following up the previous research of the authors and other researchers on concurrency, here we build a high-level metamodel EAP(More)
The most popular approaches for reconstructing phylogenetic trees attempt to solve NP-hard optimization criteria such as maximum parsimony (MP). Currently, the best-performing heuristic for reconstructing MP trees is Recursive-Iterative DCM3 (Rec-I-DCM3), which uses a single tree (or solution) to guide its way through an exponentially-sized tree space. To(More)
There has been an explosion of interest in bioinformatics, medical informatics, and healthcare informatics in the past decade. As a result, many computer science departments are developing courses or degree programs in bioinformatics and/or health informatics. This session is aimed at faculty who are teaching, or developing courses that tie together(More)