Stephen Forrest

Stephen Forrest
Maplesoft GmbH | MAPLESOFT

MSc

About

15
Publications
7,095
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
787
Citations
Additional affiliations
September 2015 - April 2021
Maplesoft GmbH
Maplesoft GmbH
Position
  • Software Architect
August 2013 - August 2015
Maplesoft
Position
  • Product Manager, Maple
September 2005 - September 2007
McMaster University
Position
  • PhD Student

Publications

Publications (15)
Article
Full-text available
Pathogens and associated outbreaks of infectious disease exert selective pressure on human populations, and any changes in allele frequencies that result may be especially evident for genes involved in immunity. In this regard, the 1346-1353 Yersinia pestis-caused Black Death pandemic, with continued plague outbreaks spanning several hundred years,...
Article
Full-text available
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC 2 to build a...
Conference Paper
Full-text available
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly...
Conference Paper
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly...
Data
List of genomes used in SNP calling and phylogeny. DOI: http://dx.doi.org/10.7554/eLife.12994.009
Data
Combined SNP table from three SNP calling approaches. DOI: http://dx.doi.org/10.7554/eLife.12994.008
Article
Full-text available
Modern strains of Mycobacterium tuberculosis from the Americas are closely related to those from Europe, supporting the assumption that human tuberculosis was introduced post-contact. This notion, however, is incompatible with archaeological evidence of pre-contact tuberculosis in the New World. Comparative genomics of modern isolates suggests that...
Article
Full-text available
In the 19th century, there were several major cholera pandemics in the Indian subcontinent, Europe, and North America. The causes of these outbreaks and the genomic strain identities remain a mystery. We used targeted high-throughput sequencing to reconstruct the Vibrio cholerae genome from the preserved intestine of a victim of the 1849 cholera ou...
Article
Full-text available
The Jet Propulsion Laboratory (JPL) is investing heavily in the development of an infrastructure for building system models using the Systems Modeling Language (SysML). An essential component is a transformation apparatus that permits diverse models to be integrated independently of their nature (e.g. declarative, analytical and statistical). This...
Article
Full-text available
Although investigations of medieval plague victims have identified Yersinia pestis as the putative etiologic agent of the pandemic, methodological limitations have prevented large-scale genomic investigations to evaluate changes in the pathogen's virulence over time. We screened over 100 skeletal remains from Black Death victims of the East Smithfi...
Article
Full-text available
We wish to answer the following question: what is the most appropriate language for de-scribing the "contracts" that Maple routines offer? In this, we are seeking much more than types (which Maple does not have, at least statically), as these are not sufficiently expres-sive to capture what is going on. We also wish to study what is actually in Map...

Network

Cited By

Projects

Project (1)
Project
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems