Search for dissertations about: "Floating"
Showing result 6 - 10 of 174 swedish dissertations containing the word Floating.
-
6. Securing functional programs with floating-label information-flow control
Abstract : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. READ MORE
-
7. The experience of flotation-REST (Restricted Environmental Stimulation Technique: Consciousness, Creativity, Subjective Stress and Pain
Abstract : Abstract. The purpose of the presented investigations was to study the influence and effects of altered states of consciousness (ASC) induced through the flotation tank restricted environmental stimulation technique (flotation-REST) in a laboratory setting. READ MORE
-
8. Altering consciousness in the laboratory setting
Abstract : Abstract. The purpose of the presented investigations was to study the phenomenology and effects of altered states of consciousness (ASC) induced through previous illicit use of psychedelic drugs as well as experimentally induced ASC through the flotation tank restricted environmental stimulation technique (flotation-REST) in a laboratory setting. READ MORE
-
9. Monitoring winter road friction using floating car data
Abstract : More than a million people die every year due to road traffic accidents globally where one in five serious or fatal accidents occurs during severe weather conditions. Sweden is in the lead of Vision Zero, with the aim of zero casualties due to road traffic, and every year new countries and organisations accept the challenge of saving lives. READ MORE
-
10. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations
Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE