Results 41 to 50 of about 14,100 (298)

An Illuminating Counterexample

open access: yesThe American Mathematical Monthly, 2003
We give a visually appealing counterexample to the proposition that unbiased estimators are better than biased estimators.
openaire   +3 more sources

Building counterexamples

open access: yesDiscrete Mathematics, 1997
A conjecture concerning perfect graphs asserts that if for a Berge graph \(G\) (i.e., a graph without odd holes and odd antiholes) the following three conditions hold: (1) neither \(G\), nor \(\overline {G}\) has an even pair; (2) neither \(G\), nor \(\overline {G}\) has a stable cutset; (3) neither \(G\), nor \(\overline {G}\) has a star-cutset, then \
openaire   +3 more sources

Counterexamples to Mercat’s conjecture [PDF]

open access: yesArchiv der Mathematik, 2016
6 pages, Proof of a lemma added in Section 2, Slight change in the proof of the main theorem, added ...
openaire   +3 more sources

Counterexamples in scale calculus [PDF]

open access: yesProceedings of the National Academy of Sciences, 2019
Significance The counterexamples presented here are the first of this kind for notions of differentiability that satisfy a chain rule. Their context arises naturally from requiring differentiability of crucial maps in the theory of pseudoholomorphic curves in symplectic geometry.
Filippenko, Benjamin   +2 more
openaire   +5 more sources

Counterexample-guided abstraction refinement

open access: yes, 2000
We present an automatic iterative abstraction-refinement methodology in which the initial abstract model is generated by an automatic analysis of the control structures in the program to be verified. Abstract models may admit erroneous (or "spurious&
Orna Grumberg (5415962)   +14 more
core   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

open access: yesAdvanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano   +3 more
wiley   +1 more source

Kaplan’s Counterexample to Quine’s Theorem

open access: yes, 2018
In his article “Opacity” (1986), David Kaplan propounded a counterexample to the thesis, defended by Quine and known as Quine’s Theorem, that establishes the illegitimacy of quantifying from outside into a position not open to substitution.
Paolo Bonardi
core   +1 more source

A counterexample to analyticity in frictional dynamics

open access: yes, 2022
We consider the motion of a particle acted on by dry friction and a force that is an analytic function of time. We give a counterexample to the claim that such motions are given by analytic functions of time.
Christopher R. Dance
core   +1 more source

On the Prospects for African Philosophy in Australia

open access: yesAustralian Journal of Social Issues, EarlyView.
ABSTRACT This paper grapples with the situation of people of African descent in Australia by working through the constitution of the body of academic philosophy in the country. It contends with the parochialism of the Australian philosophical community and the prospects for the cultivation of greater pluralism. Taking African philosophy as one possible
Bryan Mukandi
wiley   +1 more source

A counterexample to the Nelson-Seiberg theorem

open access: yesJournal of High Energy Physics, 2020
We present a counterexample to the Nelson-Seiberg theorem and its extensions. The model has 4 chiral fields, including one R-charge 2 field and no R-charge 0 filed.
Zheng Sun, Zipeng Tan, Lu Yang
doaj   +1 more source

Home - About - Disclaimer - Privacy