Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Klebsiella sp. D3S

 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
JetBrains MPS is a language workbench, an IDE that allows developers both to write code and create language definitions. It… Expand
  • figure 15
  • figure 17
Is this relevant?
2015
2015
Systematic state space traversal is a very popular approach for detecting errors in multithreaded programs. Nevertheless, it is… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2013
2013
This technical report aims at describing how to generate a domain model from natural language specification using supervised… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
This report provides the formalization of DEECo concepts and operational semantic of DEECo systems. Further, it establishes the… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
2013
2013
This technical report describes our statistical method for deriving an initial version of the domain model directly from textual… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
All techniques and tools for verification of multi-threaded programs must cope with the huge number of possible thread… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2012
2012
Textual use-cases have been traditionally used at the design stage of development process for describing software functionality… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2012
2012
When applying model-driven architecture to component models, a significant issue is to address challenges such as component… Expand
  • figure 1
  • table 1
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2011
2011
Xanthomonas oryzae pv. oryzae (Xoo) is the most devastating pathogen to Oryza sativa and has been shown to cause bacterial blight… Expand
  • table 1
  • table 2
  • table 2
  • table 3
  • figure 1
Is this relevant?