Essays about: "Coq"

Found 4 essays containing the word Coq.

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

    University essay from Högskolan i Gävle/Avdelningen för vårdvetenskap

    Author : Ruyi Yan; Yangbin Zhou; [2023]
    Keywords : ;

    Abstract : 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. READ MORE

  3. 2. Practical Analysis of the Giskard Consensus Protoco

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Leon Sandner; [2023]
    Keywords : Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

    Abstract : 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. READ MORE

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

    University essay from Blekinge Tekniska Högskola/Institutionen för industriell ekonomi

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

    Abstract : 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. READ MORE

  5. 4. Realizability in Coq

    University essay from KTH/Matematik (Avd.)

    Author : Anders Lundstedt; [2015]
    Keywords : Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet;

    Abstract : 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. READ MORE