Sökning: "type"

Visar resultat 21 - 25 av 11068 avhandlingar innehållade ordet type.

1. 21. 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

3. 22. 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

4. 23. Type-II interband quantum dot photodetectors

   Författare :Oscar Gustafsson; Mattias Hammar; Wenquan Ma; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; photodetector; quantum dot; infrared; MOVPE; thermal imaging; type-II; photoluminescence; III V; InSb; InGaSb; InAs; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   Sammanfattning : Photon detectors based on single-crystalline materials are of great interest for high performance imaging applications due to their low noise and fast response. The major detector materials for sensing in the long-wavelength infrared (LWIR) band (8-14 µm) are currently HgCdTe (MCT) and AlGaAs/GaAs quantum wells (QW) used in intraband-based quantum-well infrared photodetectors (QWIPs). LÄS MER

5. 24. Guarded Recursive Types in Type Theory

   Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

   Sammanfattning : In total functional (co)programming valid programs are guaranteed to always produce (part of) their output in a finite number of steps.Enforcing this property while not sacrificing expressivity has beenchallenging. LÄS MER

7. 25. Properties of Type Ia Supernovae : From the (intermediate) Palomar Transient Factory

   Författare :Seméli Papadogiannakis; Ariel Goobar; Rahman Amandius; Ulrich Feindt; Edward Baron; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Type Ia supernovae; cosmology; machine learning; fysik; Physics;

   Sammanfattning : Type Ia Supernovae (SNe) have been used to discover the accelerated expansion of the universe but many open questions remain unanswered. These include the stellar progenitor, extinction and possible systematic trends in the supernova brightness for different host galaxy environments or cosmic time. LÄS MER