Skip to search formSkip to main contentSkip to account menu

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… 
2009
2009
Recently, the notion of an array-based system has been introduced as an abstraction of infinite state systems (such as… 
2003
2003
This paper presents a partial extension of a tool for automatic grammar checking of Swedish text. The work was carried out within… 
2002
2002
Model Checking is a powerful verification method to increase the quality of software systems. However, the application of this… 
Highly Cited
2001
Highly Cited
2001
This dissertation describes research into the effective application of model checkers, smart computer programs which can be used… 
1998
1998
This thesis presents three new low-complexity intrusion detection algorithms tested on sniffing data from 80,000 real Internet… 
1997
1997
The Ronchi grating is well known for its many applications in areas such as spectroscopy, grating interferometry, and Talbot… 
1996
1996
We rst present a rst-order modal-calculus which uses parameterised maximal and minimal xpoints to describe safety and liveness… 
1995
1995
We present an algebraic speciication for the static semantics of the process language CRL. This spec-iication can be executed in… 
1990
1990
Password selection has long been a difficult issue; traditionally, passwords are either assigned by the computer or chosen by the…