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

Fit-Checker

Known as: Fitchecker 
 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Computational modeling constitutes a crucial step toward the functional understanding of complex cellular networks. In particular… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
2014
2014
BackgroundComputational models play an increasingly important role in systems biology for generating predictions and in synthetic… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2009
2009
Recently, the notion of an array-based system has been introduced as an abstraction of infinite state systems (such as… Expand
  • figure 1
  • table 2
Is this relevant?
2003
2003
This paper presents a partial extension of a tool for automatic grammar checking of Swedish text. The work was carried out within… Expand
Is this relevant?
2002
2002
Model Checking is a powerful verification method to increase the quality of software systems. However, the application of this… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This dissertation describes research into the effective application of model checkers, smart computer programs which can be used… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • figure 2.2
Is this relevant?
1998
1998
This thesis presents three new low-complexity intrusion detection algorithms tested on sniffing data from 80,000 real Internet… Expand
  • table 2.1
  • figure 2-1
  • table 2.2
  • figure 2-2
  • figure 2-4
Is this relevant?
1997
1997
The Ronchi grating is well known for its many applications in areas such as spectroscopy, grating interferometry, and Talbot… Expand
Is this relevant?
1995
1995
We present an algebraic speciication for the static semantics of the process language CRL. This spec-iication can be executed in… Expand
Is this relevant?
1990
1990
Password selection has long been a difficult issue; traditionally, passwords are either assigned by the computer or chosen by the… Expand
Is this relevant?