Campsicnemus unu

 
National Institutes of Health

Topic mentions per year

Topic mentions per year

1969-2014
02419692014

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Introduction Although the Casemix system has been in existence for more than three decades, the deployment of this system in… (More)
Is this relevant?
2009
2009
We present a method for systematic examination and reduction of the state space of distributed systems. The approach exploits… (More)
  • figure 2
  • figure 4
  • figure 6
  • figure 7
  • table 1
Is this relevant?
2007
2007
Compositional reasoning about pointers and references is crucial to verification of contemporary software. This paper introduces… (More)
Is this relevant?
2006
2006
This report presents the basic foundations for the verification by means of model checking techniques of formal specifications… (More)
  • figure 2.1
  • figure 2.2
  • table 3.1
  • table 3.2
  • table 3.5
Is this relevant?
2006
2006
In this report, we introduce a Probabilistic Duration Calculus (PDC) as a probabilistic extension of Duration Calculus to express… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2005
2005
We give a formal model of component interface for real-time component based systems. We extend the specification of a method with… (More)
  • figure 1
Is this relevant?
2004
2004
the governments of the People's Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as… (More)
Is this relevant?
1997
1997
The paper presents a model of Biphase Mark Protocols (BMP) using Duration Calculus, which seems to be more general and more… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1979
1979
Basal and/or polycyclic aromatic hydrocarbon (PAH)-induced aryl hydrocarbon hydroxylase (AHH) in mitogen-activated cultured… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?