History monoid

Known as: Distribution, Distribution (concurrency) 
In mathematics and computer science, a history monoid is a way of representing the histories of concurrently running computer processes as a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1981-2017
051019812017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Background: Participatory health education interventions and/or community-based primary health care in remote regions can improve… (More)
  • table 1
  • table 2
  • table 3
  • table 3
  • table 4
Is this relevant?
Highly Cited
2015
Highly Cited
2015
A Sleeping Beauty (SB) in science refers to a paper whose importance is not recognized for several years after publication. Its… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
2012
2012
Reconstruction of population history from genetic data often requires Monte Carlo integration over the genealogy of the samples… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2008
2008
The identification of mutations that confer unique properties to a pathogen, such as host range, is of fundamental importance in… (More)
  • table 1
  • table 2
  • figure 6
Is this relevant?
2008
2008
Recombination has a profound impact on the evolution of viruses, but characterizing recombination patterns in molecular sequences… (More)
  • table 1
Is this relevant?
2007
2007
This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification… (More)
  • figure 1
  • figure 2
Is this relevant?
2007
2007
The northern lowlands of Mars may have been produced by plate tectonics. Preexisting old thick highland crust was subducted… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2005
2005
The benefits of exposing calls and returns p. 2 A compositional approach to the stochastic dynamics of gene networks p. 4 Games… (More)
Is this relevant?
2004
2004
Objectives: To evaluate the relationship between prostate cancer and several potential lifestyle risk factors. Methods: We… (More)
  • table 1
  • table 2
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper assesses the predictability of network traffic by considering two metrics: 1) how far into the future a traffic r ate… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?