Results 1 to 10 of about 14,100 (298)
IEEE Access, 2021 Due to their success at synthesising highly realistic images, many claims have been made about optimality and convergence in generative adversarial networks (GANs).
Graham W. Pulford, Kirill Kondrashov
doaj +1 more source
Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
Micromachines, 2021 Micro-scale Cyber-Physical Systems (MCPSs) can be automatically and formally estimated by probabilistic model checking, on the level of system model MDPs (Markov Decision Processes) against desired requirements in PCTL (Probabilistic Computation Tree ...
Yang Liu +3 more
doaj +1 more source
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality [PDF]
Logical Methods in Computer Science, 2020 Normalization fails in type theory with an impredicative universe of propositions and a proof-irrelevant propositional equality. The counterexample to normalization is adapted from Girard's counterexample against normalization of System F equipped with a
Andreas Abel, Thierry Coquand
doaj +1 more source
THE ARGUMENT AND DEMONSTRATION EXEMPLIFIED IN A MATHEMATICAL DIALOGUE
Infinity, 2022 The teaching-learning process is analyzed in a course for a group of professors who were taught subjects on Calculus, to study the episodes of problem-solving in them, focused on the identification of patterns and argumentation using counterexamples. The
Luisa Morales Maure +3 more
doaj +1 more source
A note on possible density and diameter of counterexamples to the Seymour's second neighborhood conjecture [PDF]
Opuscula Mathematica, 2021 Seymour's second neighborhood conjecture states that every simple digraph without loops or 2-cycles contains a vertex whose second neighborhood is at least as large as its first.
Oleksiy Zelenskiy +2 more
doaj +1 more source
Debugging of Markov Decision Processes (MDPs) Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In model checking, a counterexample is considered as a valuable tool for debugging. In Probabilistic Model Checking (PMC), counterexample generation has a quantitative aspect. The counterexample in PMC is a set of paths in which a path formula holds, and
Hichem Debbi
doaj +1 more source
Strevens's Counterexample to Lewis's "Causation as Influence", and Degrees of Causation
Dialectica, 2020 Sungho Choi has criticised Michael Strevens's counterexample to David Lewis's final theory of "token" causation, causation as "influence." I argue that, even if Choi's points are correct, Strevens's counterexample remains useful in revealing a ...
Joshua Goh
doaj +1 more source
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
IEEE Access, 2019 Probabilistic assume-guarantee reasoning is a theoretically feasible way to alleviate the state space explosion problem in stochastic model checking. The key to probabilistic assume-guarantee reasoning is how to generate the assumption.
Yan Ma, Zining Cao, Yang Liu
doaj +1 more source
Three Recalcitrant Problems of Argument Identification
Informal Logic, 2003 Logicians disagree on (1) criteria for the presence of an argument, (2) criteria for adding implicit premises and (3) criteria for linking premises. I attempt to resolve all three problems, and in the process to remove the main obstacles to teaching ...
Michael E. Malone
doaj +1 more source
Oeritte: User-Friendly Counterexample Explanation for Model Checking
IEEE Access, 2021 Thorough verification is a part of the design process of instrumentation and control systems if they must comply with crucial safety requirements. Model checking can be applied to the formal model of such a system to reason about its correctness based on
Polina Ovsiannikova +3 more
doaj +1 more source