Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 74 for “"counterexamples"”.
-
Kippenhahn's Conjecture: Counterexamples and Quantisation
… constructing two new one-parameter families of counterexamples, and proving a general theorem which allows for the construction of additional such families. Among the techniques we have used are graph theory and matrix theory. Recently there has been much work on linear pencils in the fields of …
-
A new look at Counterexamples in topology
The book Counterexamples in Topology is a useful catalogue of topological spaces and properties. This thesis extends that catalogue to the properties of sobriety and packedness, and describes some related theory. A purely topological account of sobriety and sober reflections is given, together with …
-
Counterexamples related to the Sato-Tate conjecture
Let $E_{/\mathbf{Q}}$ be an elliptic curve. The Sato--Tate conjecture, now a theorem, tells us that the angles $\theta_p =\cos^{-1}\left(\frac{a_p}{2\sqrt p}\right)$ are equidistributed in $[0,\pi]$ with respect to the measure $\frac{2}{\pi}\sin^2\theta\, d\theta$ if $E$ is non-CM …
-
Geometry of Ricci-flat Kähler manifolds and some counterexamples
In this work, we study geometry of Ricci-flat Kähler manifolds, and also provide some counterexample constructions. We study asymptotic behavior of complete Ricci-flat metrics at infinity and consider a construction of approximate Ricci-flat metrics on quasiprojective manifolds with a divisor with …
-
Mixed Problems and Layer Potentials for Harmonic and Biharmonic Functions
… geometric restriction on the domain. Well-known counterexamples by Brown show this restriction to be a necessary condition. This thesis proves that these harmonic counterexamples are an anomaly, in that the mixed problem can be solved for all data modulo a finite dimensional subspace. The …
-
Diagnosis, synthesis and analysis of probabilistic models
… checking Markov models: diagnosis --- generating counterexamples, synthesis --- providing valid parameter values and analysis --- verifying linear real-time properties. The three aspects are relatively independent while all contribute to developing new theory and algorithms in the research field …
-
Linear and multilinear spherical maximal functions
… possible open set of indices and we provide counterexamples that indicate the optimality of our results. Moreover, we obtain weak type and Lorentz space estimates as well as counterexamples in the endpoint cases. We also study a family of maximal operators that provides a continuous link …
-
Learning-based inductive invariant synthesis
… that learned concepts from positive and negative counterexamples. We argue that these models are not robust for invariant synthesis and, consequently, introduce ICE, a robust learning paradigm for synthesizing invariants that learns using positive, negative and implication counterexamples, and …
-
Numerical Tests of Two Conjectures in Fake Real Quadratic Orders
… unit in the real quadratic field Q(√D). No counterexamples have been found in real quadratic fields but we found numerous counterexamples in fake real quadratic orders and this is evidence that the conjecture is false for real quadratic fields.
-
Not Function but Function Conquered: Against a Functionalist Theory of Directives
… I argue that functionalism is false. I develop counterexamples that show functionalism is too permissive about the kinds of causation suitable for generating directives. I argue further that the most plausible way to address these counterexamples is to become more attitudinal: rather than be …
-
Learning frameworks for program synthesis
… provided by the teacher as natural notions of counterexamples. Thus, learning frameworks for synthesis have three components: the verification oracle, the notion of a natural counterexample, and the learning algorithm. The goals of this thesis are to study learning frameworks for synthesis, …
-
Directed search for the verification of communication protocols
… not memory-efficient, but offers shortest <br>counterexamples. On the other hand, depth-first search is more <br>memory-efficient, but delivers suboptimal counterexamples. <br> <br>We propose and analyze the use of classic heuristic search <br>algorithms for a more efficient error detection. …
-
Minimal Volume K-Point Lattice D-Simplices
… this statement is not true for d = 2, and counterexamples are provided within.
-
Explicit multiplicative relations between Gauss sums
… sums. While this is known to be false, very few counterexamples, now known as sign ambiguities, have been given. Here, we provide an explicit product formula giving an infinite class of new sign ambiguities and resolve the ambiguous sign in terms of the order of the ideal class of quadratic …
-
Partial belief and expert testimony
… argument for Reflection, but other authors cite counterexamples to Reflection that appear to undermine the credibility of diachronic Dutch books. I argue that a suitably qualified version of Reflection gets around the counterexamples. I distinguish between Dutch books that reveal incoherence-like …
-
Approximation of Generalized Schur Complements (Ladder Network)
… infinite dimensional case is then considered and counterexamples are given to show that not all the generalizations extend in a natural way. An approximating sequence is shown to exist for the Schur complement matrix equation. The sequences which work as approximating sequences are classified. …
-
Aliens, dreams and strange machines: an investigation into thought, interpretation and rationality
… thinkers; (2) it can fend off certain apparent counterexamples. The thesis is split into four parts. Part I explains why one might want to answer ‘No’ to the question ‘Are there particular sorts of internal organisation which a being must have in order to count as a thinker?’ It then introduces …
-
A Philosophical Defense of Judicial Minimalism
… including objections based on tough case counterexamples, offer a new version of the argument of epistemic humility and offer a new argument in support of judicial minimalism from the perspective of law and economics.</p>
-
A finite characterization of K-matrices in dimensions less than four
… necessary conditions, sufficient conditions, and counterexamples pertaining to K-matrices are also given. A finite characterization of completely K-matrices (K-matrices all of whose principal submatrices are also K-matrices) is proved for dimensions < 4.
-
Second thoughts about double effect.
… failure of the extreme version. Then I provide counterexamples to DDE which draw inspiration from Judith Jarvis Thomson's looping trolley counterexample. In my counterexamples, I argue that DDE implausibly implies that we are obligated either to maximize harm to specific individuals or to …
Page 1 of 4