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.
2018
2018
Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults
In this paper we consider the diagnosis of intermittent and permanent faults in discrete event systems. We present a logic based… 
2017
2017
Plagiat Checker: Growth Improvement of Aren (Arenga pinnata Merr.) with Various Dose of Bioorganic Liquid Fertilizer
2016
2016
Pterostilbene reduced post-antibiotic effect time of linezolid against methicillin-resistant Staphylococcus aureus
Pterostilbene is biologically classified as a phytoalexin, which is part of the plant's defense system in response to pathogen… 
2016
2016
Students Dread the "P" Word: Is Turnitin® Good for Plagiarism Detection and Feedback?.
This paper is based on a presentation made at NADE 2016, in Anaheim, California, entitled “Turnitin—An Extraordinary Teaching and… 
2016
2016
Plagiat checker: DEVELOPMENT OF LEARNING MATERIALS ON THE SUBJECT OF STATIC FLUID ASSISTED FLIP BOOK MAKER
2011
2011
Verifying File System Consistency at Runtime
Existing file-system reliability methods, such as checksums, redundancy, or transactional updates, provide limited defenses… 
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… 
2009
2009
Formal Verification of MCAPI Applications Using the Dynamic Verification tool MCC
Multicore Communication API (MCAPI) is an API specification that offers low latency and high bandwidth communication service… 
2006
2006
A new synchronization policy between PSL checkers and SystemC designs at transaction level
The authors present a technique to synchronize between PSL (property specification language) checkers and SystemC IPs at the… 
2001
2001
Implementing a Model Checker for Performability Behaviour
We describe a novel model checking algorithm for analysing the behaviour of stochastic systems with respect to their… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)