Results 1 to 10 of about 15,474 (237)
Abstraction for Falsification [PDF]
, 2005 Abstraction is traditionally used in the process of verification. There, an abstraction of a concrete system is sound if properties of the abstract system also hold in the concrete system. Specifically, if an abstract state a satisfies a property ψ then all the concrete states that correspond to a satisfy ψ too. Since the ideal goal of proving a system
Thomas Ball 0001 +2 more
openaire +4 more sources
Causality-Aided Falsification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability.
Takumi Akazaki Mr. +2 more
doaj +4 more sources
A New Approach to Model Verification, Falsification and Selection
Econometrics, 2015 This paper shows that a qualitative analysis, i.e., an assessment of the consistency of a hypothesized sign pattern for structural arrays with the sign pattern of the estimated reduced form, can always provide decisive insight into a model’s validity ...
George M Lady
exaly +3 more sources
Falsification and consciousness [PDF]
Neuroscience of Consciousness, 2021 Abstract The search for a scientific theory of consciousness should result in theories that are falsifiable. However, here we show that falsification is especially problematic for theories of consciousness. We formally describe the standard experimental setup for testing these theories.
Johannes Kleiner, Erik Hoel
openaire +3 more sources
Unapproved clinical trials in Russia: exception or norm?
BMC Medical Ethics, 2021 Background In modern Russia, any clinical investigation of a pharmaceutical for use in humans is subject to prior evaluation and approval by the Ministry of Health and its Central Ethics Committee.
Petr Talantov +4 more
doaj +1 more source
Frontiers in Human Neuroscience, 2021 Wason's selection task (WST) as a representative of the field of conditional proposition testing has been explored by multiple disciplines for more than 50 years, but the neural basis of its key falsification thinking remains unclear.
Meng Zhang +5 more
doaj +1 more source
Reproducibility, Fabrication, and Falsification [PDF]
Computer, 2021 Research data validation is challenging and expensive. If not addressed, falsification and fabrication of data are encouraged, causing disinformation directed at the public.
Joanna F. DeFranco, Jeffrey M. Voas
openaire +2 more sources
The Role of Imam Sajjad in Correction of falsification of Prophet Mohammad's Tradition [PDF]
پژوهش های تاریخی, 2016 The tendency to the tradition of Prophet was considerable from the beginning of Khelafat period. The tradition of Prophet not only provided a practical model for resolving the problems of society but also was used as a tool for competitors to indicate ...
hussein husseinianmoghadam
doaj +1 more source
Chemical Terrorism as a Coercive Instrument of Foreign Policy of the US and the West
Вестник войск РХБ защиты, 2023 This article considers modern chemical terrorism to be one of the specific and new methods for resolving political contradictions. The acts of chemical terrorism or its threat can be used deliberately as a coercive instrument of foreign policy in the ...
V. A. Kovtun +6 more
doaj +1 more source
Mechanically deboned poultry meat and its role in rational and efficient use of raw materials
Теория и практика переработки мяса, 2023 The growth in poultry meat production is a worldwide trend. Industrial poultry meat processing is also developing with production of a wide range of products.
V. V. Gushchin
doaj +1 more source