Sökning: "hardware in work"
Visar resultat 1 - 5 av 319 avhandlingar innehållade orden hardware in work.
1. To work or not to work in an extended working life? Factors in working and retirement decisions
Sammanfattning : In most of the industrialised world, the proportion of older and retired people in the population is continuously increasing. This will have budgetary implications for maintaining the welfare state, because the active working section of the population must fund the non-active and old population. LÄS MER
2. Working out work : from personal informatics to redesigning work
Sammanfattning : "Personal Informatics" (PI) and "Quantified Self" (QS) are two contemporary notions in the field of Human–Computer Interaction. Such hardware and software systems gather personalized quantified data and visualize them for the purpose of supporting self-reflection. LÄS MER
3. Work-oriented design of computer artifacts
Sammanfattning : This thesis is an inquiry into the human activity of designing computer artifacts that are useful to people in their daily activity at work. The emphasis is on opportunities and constraints for industrial democracy and quality of work.First, the philosophical foundation of design of computer artifacts is considered. LÄS MER
4. Building Verified Hardware and Verified Stacks in HOL
Sammanfattning : This thesis explores building provably correct software and hardware inside the HOL4 interactive theorem prover. Interactive theorem provers such as HOL4 are proof environments where manual (human) and automated (machine) proofs can be composed in logically safe ways and all proof steps (be it manual or automated) are mechanically checked. LÄS MER
5. Driving in Virtual Reality : Requirements for automotive research and development
Sammanfattning : In the last decades, there has been a substantial increase in the development of complex active safety systems for automotive vehicles. These systems need to be tested for verification and validation to ensure that the system intervenes in the correct situations using the correct measures. LÄS MER