This article suggests that fact checking is a useful but incomplete framework for delivering an epistemically healthy public sphere. Through brief history of the fact/value distinction, it argued there no secure justification limiting interventions aimed at improving emergent digital sphere only to factual claims. On this basis, heuristic principle ‘value checking’ outlined, as complement in ep...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

the main goal of this research is to study, through the minimalist program, the mechanism of checking phi(φ)-features (person & number) and nominative case in persian sentences. different syntactic structures are examined in this paper. it is shown that verb raising is overt in persian and that the uninterpretable φ-features of the finite tense head are valued & checked by the interpretable φ-f...

This paper employs Adaptive Neuro-Fuzzy Inference System (ANFIS) to predict water level that leads to flood in coastal areas. ANFIS combines the verbal power of fuzzy logic and numerical power of neural network for its action. Meteorological and astronomical data of Santa Monica, a coastal area in California, U. S. A., were obtained. A portion of the data was used to train the ANFIS network, wh...