Results 11 to 20 of about 22,108 (301)
Seafood procurement auctions in the presence of origin falsification: Price-only auction versus scoring auction. [PDF]
PLoS ONEOrigin falsification in seafood procurement is a significant issue that threatens supply chain integrity and distorts market competition. Despite advances in origin detection technologies, this problem persists, particularly when penalty mechanisms lack ...
Shangjun Piao, Jiantao Guo
doaj +2 more sources
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 +3 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
Test Design Under Falsification [PDF]
Econometrica, 2022 We study the optimal design of tests with manipulable inputs. Tests take a unidimensional state of the world as input and output, an informative signal to guide a receiver's approve or reject decision. The receiver wishes to only approve states that comply with her baseline standard.
Perez-Richet, Eduardo, Skreta, Vasiliki
core +6 more sources
Induction-Guided Falsification [PDF]
, 2006 The induction-guided falsification searches a bounded reachable state space of a transition system for a counterexample that the system satisfies an invariant property. If no counterexamples are found, it tries to verify that the system satisfies the property by mathematical induction on the structure of the reachable state space of the system, from ...
Kazuhiro Ogata 0001 +3 more
openaire +2 more sources
Quantum Epistemology and Falsification
Entropy, 2022 The operational axiomatization of quantum theory in previous works can be regarded as a set of six epistemological rules for falsifying propositions of the theory. In particular, the Purification postulate—the only one that is not shared with classical theory—allows falsification of random-sequences generators, a task classically unfeasible.
Giacomo Mauro D’Ariano
openaire +4 more sources
CalendaLes doctorant·es de l’UMR 8138 « Sorbonne - Identités, Relations Internationales et Civilisations de l’Europe » organisent une Journée d'étude sur la falsification qui se déroulera le mercredi 26 novembre 2025 au Campus Condorcet. Notre journée d’étude invite à étudier ce phénomène à l’époque contemporaine, toutes aires géographiques confondues ...
Miller, David
core +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