Sökning: "problem type"

Visar resultat 1 - 5 av 1243 avhandlingar innehållade orden problem type.

  1. 1. Explaining everyday problem solving

    Författare :Annika Wallin; Kognitionsvetenskap; []
    Nyckelord :HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; domain-specificity; ecological rationality; evolutionary psychology; practice theory; situated action; universal problem solver; everyday cognition; Explanations; everyday problem solving; domain-generality; causality; social information; Psychology; Psykologi;

    Sammanfattning : How well can we explain natural occurrences of cognitive behaviours given the theoretical frameworks available to us today? The thesis explores what has to be assumed in cognitive theory in order to provide such an explanation, in contrast to being able to predict behaviour under controlled circumstances. The behaviours considered are all of the type described as involving higher level cognition or being representation hungry. LÄS MER

  3. 2. Problemlösning i grupp : betydelsen av gruppstorlek, gruppsammansättning, gruppnorm och problemtyp för grupprodukt och individuell kunskapsbehållning

    Författare :Sture Sjödin; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Group problem solving; group size; group composition; group norm; problem type; group productivity;

    Sammanfattning : The purpose of this dissertation was to, from the point of view of interaction, study how the factors group size, group composition, group norm and problem type influenced group problem solving. Three classroom studies were performed in grades four and five of the Swedish nine-year compulsory school. LÄS MER

  4. 3. Office type, performance and well-being : A study of how personality and work tasks interact with contemporary office environments and ways of working

    Författare :Aram Seddigh; Hugo Westerlund; Erik Berntson; Fredrik Jönsson; Eva Vingård; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Office type; open-plan office; flex office; cell office; performance; job satisfaction; distraction; self-rated health; well-being; cognitive stress; exhaustion; individual differences; personality; concentration; stim-ulus screening ability; memory; Kontorstyp; kontorslandskap; flexkontor; cellkontor; produktivitet; arbetstillfredsställelse; distraktion; självskattat hälsa; trivsel; kognitiv stress; utmattning; individuella skillnader; personlighet; koncentration; arbetsminne; Psychology; psykologi;

    Sammanfattning : Today, many organisations are adopting offices that have an open design with or without flexible seating. While advocates of open-plan offices propose that these office types lead to cost savings and aid inter and intra-team communication, opponents argue that these office types are associated with decreased performance and worsened health among employees. LÄS MER

  5. 4. Practical Unification for Dependent Type Checking

    Författare :Víctor López Juan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; unification; type checking; dependent types; Functional Programming;

    Sammanfattning : When using popular dependently-typed languages such as Agda, Idris or Coq to write a proof or a program, some function arguments can be omitted, both to decrease code size and to improve readability.  Type checking such a program involves inferring a combination of these implicit arguments that makes the program type-correct. LÄS MER

  7. 5. Exact completion and type-theoretic structures

    Författare :Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

    Sammanfattning : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. LÄS MER