Sökning: "counterexample"

Visar resultat 1 - 5 av 12 uppsatser innehållade ordet counterexample.

  1. 1. Insights of an accessible e-commerce website : Investigating cognitive accessibility in the checkout process

    Master-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Författare :Sanna Jangklint; [2023]
    Nyckelord :Web accessibility; Cognitive accessibility; E-Commerce; Digital checkout; Cognition;

    Sammanfattning : 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. LÄS MER

  3. 2. Implementation and evaluation of bounded invariant model checking for a subset of Stateflow

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gustav Ung; [2021]
    Nyckelord :Formal methods; Bounded Model Checking; Stateflow; SLDV; Formella metoder; Begränsad modellprovning; Stateflow; SLDV;

    Sammanfattning : 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. LÄS MER

  4. 3. Coefficients and zeros of mixed characteristicpolynomials

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Samuel Zackrisson; [2017]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  5. 4. Biorthogonal Polynomials

    Kandidat-uppsats, Linköpings universitet/Matematik och tillämpad matematik; Linköpings universitet/Tekniska fakulteten

    Författare :Grayson Webb; [2017]
    Nyckelord :Orthogonal polynomials; Biorthogonal polynomials; Totally positive kernel; Chebyshev system; Interlacement properties; Recurrence relations;

    Sammanfattning : 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. LÄS MER

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

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Mats Bylund; [2017]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER