FAQ

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
The UNU-CBGs: development and deployment of a real international open source Casemix grouper for resource challenged countries
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
Exploiting Distribution and Atomic Transactions for Partial Order Reduction
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
A Pointer Logic for Object Diagrams
Compositional reasoning about pointers and references is crucial to verification of contemporary software. This paper introduces… (More)
Is this relevant?
2006
2006
Model checking RAISE specifications
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
Model Checking Durational Probabilis- Tic Systems against Probabilistic Lin- Ear Duration Invariants Model Checking Durational Probabilis- Tic Systems against Probabilistic Lin- Ear Duration…
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
Automatic Test Case Generation for OCL: a Mutation Approach
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
Toward a Formal Model for Component Interfaces for Real-time Systems
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
Linking Theories of Concurrency
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
Modelling and Verification of Biphase Mark Protocols Using PVS/DC−
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
Induction, inhibition, and some enzymological properties of aryl hydrocarbon hydroxylase in fresh mitogen-activated human lymphocytes.
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?