Sökning: "realiserbarhet"

Visar resultat 1 - 5 av 7 uppsatser innehållade ordet realiserbarhet.

  1. 1. Lager & hantering av skivmaterial : Utvecklingsarbete hos Reklamcentra produktion

    Uppsats för yrkesexamina på grundnivå, Luleå tekniska universitet/Institutionen för ekonomi, teknik och samhälle

    Författare :Oscar Öberg; [2019]
    Nyckelord :Lagersystem för skivmaterial; Produktionsdesign- och utveckling; Layoutplanering; Lean;

    Sammanfattning : This report describes a bachelor program thesis in Technical design with orientation to production design carried out via Luleå University of Technology. The project has been performed at Reklamcentra Produktion Sverige AB and comprises 15 higher education credits. LÄS MER

  3. 2. Smarta kontrakt på blockkedjan, framtiden för ett svenskt e-röstningssystem?

    Kandidat-uppsats, Uppsala universitet/Informationssystem

    Författare :Max Nerman; Ejnar Sörensen; [2018]
    Nyckelord :E-röstning; E-röstningssystem; Blockkedja; Ethereum; Svenska val; Design Science; Kryptovalutor;

    Sammanfattning : E-tjänster används oftare i Sverige och studier visar att en majoritet av befolkningen vill ha möjlighet att rösta i val via internet. Grannländer som Norge och andra europeiska länder har antingen testat eller implementerat ett e-röstningssystem för demokratiska val, men många av har fått utstå stor kritik eller har lagts ner, som e-röstningsprojektet i Norge. LÄS MER

  4. 3. En Darwinistisk reduktionism

    Kandidat-uppsats, Umeå universitet/Institutionen för idé- och samhällsstudier

    Författare :Elin Wengelin Grantén; [2018]
    Nyckelord :Alex Rosenberg; reduktionism; fysikalism; biologins filosofi;

    Sammanfattning : Alex Rosenbergʼs Darwinian reductionism is a more recent form of reductionism that aims at settling the dispute between reductionists and antireductionists in philosophy of biology. The idea is that the principle of natural selection can be viewed as a physico-chemical law that can ground biology in physics and chemistry, and hence make reductionism possible despite issues such as multiple realizability and downward causation. LÄS MER

  5. 4. 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

  7. 5. Construction of a cooling step

    Master-uppsats, KTH/Maskinkonstruktion (Inst.)

    Författare :Erik Hofmeijer; Martin Nilsson; [2009]
    Nyckelord :;

    Sammanfattning : Ett livsmedelsföretag har manuell kylning av pasta mellan deras kokningsmaskin och deras kylningsmaskin. Kylningen är viktig för att avbryta kokningen av pastan. Detta examensarbete behandlar konstruktionen av ett koncept vars uppgift är att automatisera kylningen av pasta inom detta livsmedelsföretag. LÄS MER