Sökning: "general logics"

Visar resultat 11 - 15 av 53 avhandlingar innehållade orden general logics.

  1. 11. Relations in Models of Calculi and Logics with Names

    Författare :Kidane Yemane; Björn Victor; John Power; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Process Calculi; Syntax; Semantics; HD-automata; Logic; Category theory; Computer engineering; Datorteknik;

    Sammanfattning : In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of FOλ(nabla) logic. LÄS MER

  3. 12. Välja vara : En studie om gymnasieval, mässor och kampen om framtiden

    Författare :Martin Harling; Eva Reimers; Magnus Dahlstedt; Susanne Urban; Lisbeth Lundahl; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; Educational practice; upper secondary school choice; marketization; inequality; subjectivation; problematization; discourse analysis; logics perspective; Pedagogiskt arbete; gymnasieval; marknadisering; ojämlikhet; subjektivering; problematisering; diskursanalys; logikperspektiv;

    Sammanfattning : Avhandlingen kartlägger och analyserar i fyra empiriska artiklar hur elevsubjekt konstrueras i skolans vardag och vilken roll marknadens principer spelar i dessa konstruktioner. I synnerhet fokuseras vilka logiker som konstituerar gymnasievalets praktiker, samt hur dessa legitimeras, tolkas och utmanas. LÄS MER

  4. 13. Playing the Matching Game : An Institutional Analysis of Executive Recruitment and Selection in Software Start-ups: Silicon Valley and Stockholm

    Författare :Tiziana Sardiello; Christofer Edling; Mary Brinton; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; job-matching; executive recruitment; executive selection; entrepreneurship; start-up; software; institutionalism; institutional logics; Silicon Valley; Stockholm; Sociology; Sociologi; Sociology; sociologi;

    Sammanfattning : Software start-ups make media headlines daily, suggesting that it may take only a garage and two engineering students to begin such companies, and that these same people will constitute the core of the executive team until these organizations become multinational giants. Despite these spontaneous starts, newly formed entrepreneurial ventures have many obstacles to overcome in their resource and cultural environments when establishing their practices. LÄS MER

  5. 14. Policy Integration for Sustainable Transport Development : Case Studies of Two Swedish Regions

    Författare :Linnea Eriksson; Jenny Palm; Lisa Hansson; Dick Magnusson; Magdalena Fallde; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Policy integration; sustainable transport; region; policy; planning; public administration; institutional logics; organizational identity; boundary object; Sweden; Policy integration; samverkan; hållbara transporter; regional nivå; policy; planering; offentlig förvaltning; institutionella logiker; organisationsidentiteter; gränsobjekt;

    Sammanfattning : It has been argued that for the management of complex issues such as sustainability, which transcend traditional policy sectors and require coordination between several different interests and actors, policymaking depends upon collaboration and integration processes between different sectors and tiers of government. The overall aim of this thesis is therefore to study how and why (or why not) policy integration processes are being developed in regional policymaking and what this means for the achievement of sustainable transport. LÄS MER

  7. 15. The Decline of Class Voting in Sweden 1968–2014: Reconsiderations, Explanations and the Role of the New Middle Class

    Författare :Erik Vestin; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; voting behavior; political attitudes; social class; class voting; dealignment; realignment; generational replacement; work logics; swing voter;

    Sammanfattning : Class voting has been one of the most wide-spread and persistent patterns of voting behavior in Western democracies throughout the 20th century. Understanding its decline is an important part of understanding the current political situation. LÄS MER