Sökning: "hardware in work"

Visar resultat 1 - 5 av 319 avhandlingar innehållade orden hardware in work.

  1. 1. To work or not to work in an extended working life? Factors in working and retirement decisions

    Författare :Kerstin Nilsson; Avdelningen för arbets- och miljömedicin; Sveriges lantbruksuniversitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; ageing; older worker; retirement planning; retirement decision; motivation; meaningful activity; social inclusion; macro; meso; micro; work environment; working life; work ability; work injury; health; public health; diagnosed disease; self-rated health; organisation; basic premises for work; hardware in work; software in work; age; Success and failure factors; folkhälsa; demographic shifts; healthy ageing; healthy work places; retirement; successful ageing; occupational environment; Occupational medicine; work motivation; demografy; men and women;

    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. 2. Working out work : from personal informatics to redesigning work

    Författare :Fatemeh Moradi; Mikael Wiberg; Andreas Lund; Tommy Olsson; Jodi Forlizzi; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Personal Informatics; Quantified Self; Redesigning Work; Contextual Design; Observational Ethnographic Studies; Concept Development; Prototyping; Design Space;

    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. 3. Work-oriented design of computer artifacts

    Författare :Pelle Ehn; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; design; computer; work; industrial democracy; skill; tool; labor process; language-game; Scandinavia;

    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 con­sidered. LÄS MER

  4. 4. Building Verified Hardware and Verified Stacks in HOL

    Författare :Andreas Lööw; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; hardware synthesis; compilers; formal verification; interactive theorem proving;

    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. 5. Driving in Virtual Reality : Requirements for automotive research and development

    Författare :Björn Blissing; Johan Ölvander; Fredrik Bruzelius; James Oliver; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Virtual Reality; Augmented Reality; Mixed Reality; Driver Behavior; Active Safety Testing;

    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