Results 261 to 270 of about 14,100 (298)
Some of the next articles are maybe not open access.
The power of random counterexamples
Theoretical Computer Science, 2020zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dana Angluin, Tyler Dohrn
openaire +2 more sources
The Mathematical Gazette, 1992
In an article by Nick MacKinnon in the December 1990 Gazette on Sophie Germain, some interesting mathematical questions were left unanswered, and I was inspired to have a go at following them up.
openaire +1 more source
In an article by Nick MacKinnon in the December 1990 Gazette on Sophie Germain, some interesting mathematical questions were left unanswered, and I was inspired to have a go at following them up.
openaire +1 more source
Counterexamples and conjectures
ACM SIGART Bulletin, 1971This section of the newsletter will carry counterexamples and conjectures which are of interest to our readers but which will not normally be published elsewhere. Most of these counterexamples and conjectures concern completeness of some resolution based theorem proving procedure but others are welcomed. Some of these conjectures and/or counterexamples
openaire +1 more source
Counterexample-guided diagnosis
2016 1st IEEE International Verification and Security Workshop (IVSW), 2016In this paper, we propose a counterexample-guided diagnosis approach to identify faults in circuit designs described as net-lists on the gate-level. Given a faulty net-list and a logic specification of the correct, intended behavior of the circuit, the diagnosis algorithm iteratively computes the exact set of fault candidates, i.e., a subset of the ...
Goerschwin Fey, Heinz Riener
exaly +3 more sources
Philosophia, 2013
The Direct Argument is an important argument for demonstrating that moral responsibility is incompatible with determinism because it makes no presuppositions about the nature of free will. One of the inference rules employed in the Direct Argument is rule A: If a proposition is broadly logically necessary, then it is true and no one is, nor ever has ...
openaire +1 more source
The Direct Argument is an important argument for demonstrating that moral responsibility is incompatible with determinism because it makes no presuppositions about the nature of free will. One of the inference rules employed in the Direct Argument is rule A: If a proposition is broadly logically necessary, then it is true and no one is, nor ever has ...
openaire +1 more source
The Trace Conjecture – A Counterexample
K-Theory, 1999We cite from the abstract: ``In the paper ``Geometric \(K\)-theory for Lie groups and foliations'' [Preprint, Inst. Hautes Étud. Sci., Paris (1982)], \textit{P. Baum} and \textit{A. Connes} conjecture in a remark that for a finitely generated group \(\Gamma\) with torsion the trace map \(tr:K_0 (C^*(\Gamma)) \to\mathbb{R}\) maps \(K_0(C^*(\Gamma ...
openaire +1 more source
A Counterexample on Embedding of Spaces
gmj, 2009Abstract We give an example of a function which belongs only to the largest space in the chain of embedded spaces, important in various problems of analysis.
openaire +2 more sources
A systematic literature review on counterexample explanation
Information and Software Technology, 2022Arne Nordmann +2 more
exaly