Essays about: "counterexample"

Showing result 1 - 5 of 12 essays containing the word counterexample.

  1. 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)

    Author : Sanna Jangklint; [2023]
    Keywords : Web accessibility; Cognitive accessibility; E-Commerce; Digital checkout; Cognition;

    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

  3. 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)

    Author : Gustav Ung; [2021]
    Keywords : Formal methods; Bounded Model Checking; Stateflow; SLDV; Formella metoder; Begränsad modellprovning; Stateflow; SLDV;

    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

  4. 3. Coefficients and zeros of mixed characteristicpolynomials

    University essay from KTH/Matematik (Avd.)

    Author : Samuel Zackrisson; [2017]
    Keywords : ;

    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

  5. 4. Biorthogonal Polynomials

    University essay from Linköpings universitet/Matematik och tillämpad matematik; Linköpings universitet/Tekniska fakulteten

    Author : Grayson Webb; [2017]
    Keywords : Orthogonal polynomials; Biorthogonal polynomials; Totally positive kernel; Chebyshev system; Interlacement properties; Recurrence relations;

    Abstract : 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

  6. 5. Stability in Hamiltonian Systems : KAM stability versus instability around an invariant torus

    University essay from KTH/Matematik (Avd.)

    Author : Mats Bylund; [2017]
    Keywords : ;

    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