Essays about: "counterexample"
Showing result 1 - 5 of 12 essays containing the word counterexample.
-
1. Insights of an accessible e-commerce website : Investigating cognitive accessibility in the checkout process
University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)Abstract : Accessible web interfaces are crucial for the inclusion and independence of all groups in society. Cognitive accessibility aims to make content more accessible for individuals with cognitive disabilities, such as people with learning disabilities (e.g. dyslexia, dysgraphia) and age-related disabilities (e. READ MORE
-
2. Implementation and evaluation of bounded invariant model checking for a subset of Stateflow
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Stateflowmodels are used for describing logic and implementing state machines in modern safety-critical software. However, the complete Stateflowmodelling language is hard to formally define, therefore a subset relevant for industrial models has been developed in previous works. READ MORE
-
3. Coefficients and zeros of mixed characteristicpolynomials
University essay from KTH/Matematik (Avd.)Abstract : The mixed characteristic polynomial (MCP) was introduced in the papersof Marcus, Spielman and Srivastava from 2013 on Ramanujan graphs and the Kadison-Singerconjecture. Several known results and open problems can be formulated in termsof MCPs. The proofs of Marcus, Spielman and Srivastava involve bounding theroots of certain MCPs. READ MORE
-
4. Biorthogonal Polynomials
University essay from Linköpings universitet/Matematik och tillämpad matematik; Linköpings universitet/Tekniska fakultetenAbstract : In this thesis we present some fundamental results regarding orthogonal polynomials and biorthogonal polynomials, the latter defined as in the article "Cauchy Biorthogonal Polynomials", authored by Bertola, Gekhtman, and Szmigielski. We show that total positivity of the kernel can be weakened and how this implies that interlacement for biorthogonal polynomials holds in general. READ MORE
-
5. Stability in Hamiltonian Systems : KAM stability versus instability around an invariant torus
University essay from KTH/Matematik (Avd.)Abstract : In his ICM-54 lecture, Kolmogorov introduced a now fundamental result regarding the persistence of a large (in the measure theoretic sense) set of invariant tori, in a certain category of almost-integrable Hamiltonian systems. 44 years later, in his ICM-98 talk, Herman conjectured that given any analytic Hamiltonian system with an invariant diophantine torus, this torus will always be accumulated by a positive measure set of invariant KAM tori, i. READ MORE