Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,716,821 papers from all fields of science
Search
Sign In
Create Free Account
Fit-Checker
Known as:
Fitchecker
National Institutes of Health
Create Alert
Alert
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
Wassim Abou-Jaoudé
,
Pedro T. Monteiro
,
+4 authors
D. Thieffry
Front. Bioeng. Biotechnol.
2015
Corpus ID: 11588015
Computational modeling constitutes a crucial step toward the functional understanding of complex cellular networks. In particular…
Expand
2009
2009
Model-Checking Modulo Theories at Work : the integration of Yices in MCMT
S. Ghilardi
2009
Corpus ID: 18616874
Recently, the notion of an array-based system has been introduced as an abstraction of infinite state systems (such as…
Expand
2003
2003
Automatic Grammar Checking for Second Language Learners – the Use of Prepositions
Jens Eeg-Olofsson
,
Ola Knutsson
2003
Corpus ID: 16430603
This paper presents a partial extension of a tool for automatic grammar checking of Swedish text. The work was carried out within…
Expand
2002
2002
alpha SPIN: Extending SPIN with Abstraction
M. Gallardo
,
Jesús Martínez
,
P. Merino
,
E. Pimentel
SPIN
2002
Corpus ID: 5381508
Model Checking is a powerful verification method to increase the quality of software systems. However, the application of this…
Expand
Highly Cited
2001
Highly Cited
2001
Towards effective model checking
T. Ruys
2001
Corpus ID: 1579376
This dissertation describes research into the effective application of model checkers, smart computer programs which can be used…
Expand
1998
1998
The development and analysis of intrusion detection algorithms
S. Webster
1998
Corpus ID: 15864720
This thesis presents three new low-complexity intrusion detection algorithms tested on sniffing data from 80,000 real Internet…
Expand
1997
1997
Amplitude checker grating from one-dimensional Ronchi grating and its application to array generation.
S. Bhattacharya
,
Rajpal Singh Sirohi
Applied optics
1997
Corpus ID: 8867859
The Ronchi grating is well known for its many applications in areas such as spectroscopy, grating interferometry, and Talbot…
Expand
1996
1996
Local Model Checking for a Value-Based Modal µ-Calculus
J. Rathke
,
M. Hennessy
1996
Corpus ID: 1924557
We rst present a rst-order modal-calculus which uses parameterised maximal and minimal xpoints to describe safety and liveness…
Expand
1995
1995
A well-formedness checker for ?CRL
J. Hillebrand
,
H. Korver
1995
Corpus ID: 60664076
We present an algebraic speciication for the static semantics of the process language CRL. This spec-iication can be executed in…
Expand
1990
1990
A Proactive Password Checker
M. Bishop
1990
Corpus ID: 59897982
Password selection has long been a difficult issue; traditionally, passwords are either assigned by the computer or chosen by the…
Expand
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
ACCEPT & CONTINUE