Essays about: "realizability"
Showing result 1 - 5 of 7 essays containing the word realizability.
-
1. Learning Through Taking Action : An empirical study into the early-stage business model development for a novel technology
University essay from KTH/Skolan för industriell teknik och management (ITM)Abstract : This thesis examines the critical factors shaping early-stage business model development. As a result, this paper provides insights and recommendations for the effective commercialization of innovations. READ MORE
-
2. The inevitability of reductionism in the mind-Body problem : Finding convergence between functionalism and Type-Identity Physicalism
University essay from Uppsala universitet/Avdelningen för teoretisk filosofiAbstract : Type identity theory is a theory within physicalism that maintains that types of mental states or processes are identical to types of states or processes in the brain. This would imply mental types can’t be encountered in physical structures other than the brain. READ MORE
-
3. The Art of Quitting : A Dissection in six Acts
University essay from Stockholms konstnärliga högskola/Institutionen för cirkusAbstract : This study offers insight into the process and frst-hand experience of quitting circus. The focus lies in the defning of acts of stopping as a consciouschoice. Stopping is generally seen as negative and unproductive as it caneasily be associated with giving up or failing, and therefore seems to be anunlikely and unworthy subject to be researched. READ MORE
-
4. Reduction of vibration transmitted through car seats : A study to reduce test drivers’ whole-body vibrations at Volvo Car Group’s test facility
University essay from Karlstads universitet/Fakulteten för hälsa, natur- och teknikvetenskap (from 2013)Abstract : Present thesis will concentrate on the attention to reduce the input of whole-body vibrations transmitted to test drivers in durability tests. On behalf of Volvo Cars, the purpose has been to develop a concept solution on the driver's seat. Solving this problem is significant due to test driver’s safety and theirs ergonomically conditions. READ MORE
-
5. Realizability in Coq
University essay from KTH/Matematik (Avd.)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