Search for dissertations about: "Research program"

Showing result 1 - 5 of 1029 swedish dissertations containing the words Research program.

  2. 1. Program Matters : From Drawing to Code

    Author : Pablo Miranda Carranza; Katja Grillner; Daniel Koch; Charlie Gulström Hughes; Molly Wright Steenson; KTH; []
    Keywords : HUMANIORA; HUMANITIES; program; algorithm; code; drawing; geometry; notation; score; literacy; writing systems; diagram; formalism; sequence; cybernetics; materiality; research programme; archeological; archive; discourse analysis; practice-based; artefact; bricolage; Architecture; Arkitektur;

    Abstract : Whether on paper, on site or mediating between both, means for reading and writing geometry have been central to architecture: the use of compasses and rulers, strings, pins, stakes or plumb-lines enabled the analysis and reproduction of congruent figures on different surfaces since antiquity, and from the renaissance onwards, the consistent planar representation of three-dimensional shapes by means of projective geometry. Tacitly through practice, or explicitly encoded in classical geometry, the operational syntaxes of drawing instruments, real or imaginary, have determined the geometric literacies regulating the production and instruction of architecture. READ MORE

  4. 2. Working Together : Exploring Relational Tensions in Swedish Academia

    Author : Tobias Fridholm; Anders Malmberg; Anders Waxell; Per Lundequist; Oliver Ibert; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Economic geography; Relational tensions; Academic research; Academic entrepreneurship; Research commercialization; Creativity; Creative milieus; Innovation; Innovation systems; Trust; Authority; Research policy; Triple helix; Biotechnology; Swedish research; Universities; Expertise; Professionalism; Professions; Research collaboration; Collaborations; Research funding; Ekonomisk geografi; Relationella spänningar; Akademisk forskning; Akademiskt entreprenörskap; Forskningskommersialisering; Kreativitet; Kreativa miljöer; Innovation; Innovationssystem; Tillit; Auktoritet; Forskningspolitik; Trippel helix; Bioteknik; Svensk forskning; Universitet; Expertis; Professioner; Professionalism; Samverkan; Tredje uppgiften; Forskningsfinansiering; Human geography; economic geography; Kulturgeografi; ekonomisk geografi; Social and Economic Geography; Kulturgeografi;

    Abstract : This study explores the basic social conditions for high-quality university research, and focuses on research in science and technology in Sweden. Swedish research policy has adopted more of a market perspective on academic research and its role in society. READ MORE

  5. 3. Raising the (roll)bar : exploring barriers and facilitators to research translation in US public health

    Author : Pamela J. Tinc; Kristina Lindvall; Lars Weinehall; Julie Sorensen; Paul Jenkins; Per Nilsen; Umeå universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; implementation science; research to practice; scale-up; Consolidated Framework for Implementation Research; Proctor taxonomy of implementation outcomes; evidence-based practices; stakeholder engagement; rollover protective systems; tractor overturns; farm safety; occupational safety; injury prevention; Public health; folkhälsa;

    Abstract : Background In public health, implementation science work is crucial to protecting the safety and health of populations. Despite this, such efforts have been extremely limited within the specific public health field of occupational safety and health. READ MORE

  6. 4. AGORA Research - Designed Interventions in Interorganizational Settings

    Author : Clas Mellby; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; innovation systems; cultivation; systemic thinking; research team; action research; Agora Research; intervention; artificial science;

    Abstract : The thesis is about a research approach in the intersection of action research, artificial science, and innovation systems. The thesis is based on two projects, one from intraorganizational context (EURobust) and the other from interorganizational settings (Open Arenas). READ MORE

  7. 5. Deductive Program Analysis with First-Order Theorem Provers

    Author : Simon Robillard; Chalmers tekniska högskola; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE