Skip to search formSkip to main contentSkip to account menu

Fit-Checker

Known as: Fitchecker 
National Institutes of Health

Related topics

Related topics

1 relation

Broader (1)

Silicones

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Model Checking to Assess T-Helper Cell Plasticity
Computational modeling constitutes a crucial step toward the functional understanding of complex cellular networks. In particular… 
2009
2009
Model-Checking Modulo Theories at Work : the integration of Yices in MCMT
Recently, the notion of an array-based system has been introduced as an abstraction of infinite state systems (such as… 
2003
2003
Automatic Grammar Checking for Second Language Learners – the Use of Prepositions
This paper presents a partial extension of a tool for automatic grammar checking of Swedish text. The work was carried out within… 
2002
2002
alpha SPIN: Extending SPIN with Abstraction
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
Towards effective model checking
This dissertation describes research into the effective application of model checkers, smart computer programs which can be used… 
1998
1998
The development and analysis of intrusion detection algorithms
This thesis presents three new low-complexity intrusion detection algorithms tested on sniffing data from 80,000 real Internet… 
1997
1997
Amplitude checker grating from one-dimensional Ronchi grating and its application to array generation.
The Ronchi grating is well known for its many applications in areas such as spectroscopy, grating interferometry, and Talbot… 
1996
1996
Local Model Checking for a Value-Based Modal µ-Calculus
We rst present a rst-order modal-calculus which uses parameterised maximal and minimal xpoints to describe safety and liveness… 
1995
1995
A well-formedness checker for ?CRL
We present an algebraic speciication for the static semantics of the process language CRL. This spec-iication can be executed in… 
1990
1990
A Proactive Password Checker
Password selection has long been a difficult issue; traditionally, passwords are either assigned by the computer or chosen by the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License