Sökning: "Coq"

Visar resultat 1 - 5 av 6 uppsatser innehållade ordet Coq.

  1. 1. Investigation on practice ability of evidence-based nursing among nursing students of different grades

    Kandidat-uppsats, Högskolan i Gävle/Avdelningen för vårdvetenskap

    Författare :Ruyi Yan; Yangbin Zhou; [2023]
    Nyckelord :;

    Sammanfattning : Aim: To investigate the practice ability of evidence-based nursing among nursing students ofdifferent grades.Method: This study is descriptive and adopts a convenient sampling method, 184 nursingstudents from freshmen to juniors of Lishui University were be selected as the researchobjects, and a questionnaire survey was conducted. LÄS MER

  3. 2. Practical Analysis of the Giskard Consensus Protoco

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

    Författare :Leon Sandner; [2023]
    Nyckelord :Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

    Sammanfattning : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. LÄS MER

  4. 3. Cost Optimisation through Statistical Quality Control : A case study on the plastic industry

    Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för industriell ekonomi

    Författare :Pontus Moberg; Filip Svensson; [2021]
    Nyckelord :Cost Optimisation; Quality Management; Cost of Quality; P-A-F Model; Statistical Quality Control; Statistical Process Control;

    Sammanfattning : Background. Shewhart was the first to describe the possibilities that come with having a statistically robust process in 1924. Since his discovery, the importance of a robust process became more apparent and together with the consequences of an unstable process. LÄS MER

  5. 4. Förklädd feminism? : Jan Guillous hjältinna i Blå Stjärnan

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för film och litteratur (IFL)

    Författare :Kjell Gustafsson; [2016]
    Nyckelord :Feminism; heroes; gender; male female; performative acts; Feminism; hjältar; genus; manligt; kvinnligt; performativa könsakter;

    Sammanfattning : This study analyses the presence of feminism in Jan Guillou's Blue Star. The study is also looking for similarities between the main character Johanne Lauritzen and Guillou's male character in the series about Coq Rouge, Carl Hamilton. Answers are also sought for the question whether these two characters are heroes on the same terms. . LÄS MER

  7. 5. Realizability in Coq

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Anders Lundstedt; [2015]
    Nyckelord :Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet;

    Sammanfattning : This thesis describes a Coq formalization of realizability interpretations of arithmetic. The realizability interpretations are based on partial combinatory algebras—to each partial combinatory algebra there is an associated realizability interpretation. I construct two partial combinatory algebras. LÄS MER