Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,766 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.
2018
2018
Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults
Valentin Bouziat
,
X. Pucel
,
Stéphanie Roussel
,
L. Travé-Massuyès
Workshop on Principles of Diagnosis
2018
Corpus ID: 55574944
In this paper we consider the diagnosis of intermittent and permanent faults in discrete event systems. We present a logic based…
Expand
2017
2017
Plagiat Checker: Growth Improvement of Aren (Arenga pinnata Merr.) with Various Dose of Bioorganic Liquid Fertilizer
Hafizianor Hafizianor
2017
Corpus ID: 135444460
2016
2016
Students Dread the "P" Word: Is Turnitin® Good for Plagiarism Detection and Feedback?.
R. Krishnan
2016
Corpus ID: 69839403
This paper is based on a presentation made at NADE 2016, in Anaheim, California, entitled “Turnitin—An Extraordinary Teaching and…
Expand
2016
2016
Pterostilbene reduced post-antibiotic effect time of linezolid against methicillin-resistant Staphylococcus aureus
D. F. Basri
,
N. A. Hamid
,
S. F. Ishak
,
A. Ghazali
2016
Corpus ID: 53419281
Pterostilbene is biologically classified as a phytoalexin, which is part of the plant's defense system in response to pathogen…
Expand
2012
2012
Implementasi Algoritma Negascout untuk Permainan Checkers
Aditya Kurniawan Effendi
,
Rosa Delima
,
Antonius Rachmat Chrismanto
2012
Corpus ID: 119973743
Checker is a zero sum game which means if one player is declared win then the other player is declared lose, if one player gets 1…
Expand
2011
2011
Verifying File System Consistency at Runtime
D. Fryer
,
R. Mahmood
,
Ashvin Goel
,
Angela Demke Brown
2011
Corpus ID: 7624036
Existing file-system reliability methods, such as checksums, redundancy, or transactional updates, provide limited defenses…
Expand
2011
2011
Modeling and Verifying Web Service Behaviors Based on Live Sequence Chart Specifications
Honghao Gao
,
Yuanyuan Zhang
,
Jun Liu
2011
Corpus ID: 16537743
Web Services have been widely used in Service-Oriented Architecture (SOA) framework. Due to the complexity of interactive…
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
2009
2009
Formal Verification of MCAPI Applications Using the Dynamic Verification tool MCC
Subodh Sharma
,
G. Gopalakrishnan
2009
Corpus ID: 14901241
Multicore Communication API (MCAPI) is an API specification that offers low latency and high bandwidth communication service…
Expand
2001
2001
Implementing a Model Checker for Performability Behaviour
H. Hermanns
,
J. Katoen
,
J. Meyer-Kayser
2001
Corpus ID: 14795678
We describe a novel model checking algorithm for analysing the behaviour of stochastic systems with respect to their…
Expand