Avancerad sökning

Visar resultat 16 - 20 av 445 avhandlingar som matchar ovanstående sökkriterier.

  1. 16. Analysis, synthesis and application of automaton-based constraint descriptions

    Författare :María Andreína Francisco Rodríguez; Justin Pearson; Pierre Flener; Christopher Jefferson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint predicates; global constraints; automata; automaton-described constraint predicates; automaton-induced constraint decompositions; implied constraints; time-series constraints; transducers; automaton invariants; Computer Science; Datavetenskap;

    Sammanfattning : Constraint programming (CP) is a technology in which a combinatorial problem is modelled as a conjunction of constraints on variables ranging over given initial domains, and optionally an objective function on the variables. Such a model is given to a general-purpose solver performing systematic search to find constraint-satisfying domain values for the variables, giving an optimal value to the objective function. LÄS MER

  2. 17. Cell signaling by Rho and Miro GTPases : Studies of Rho GTPases in Cytoskeletal Reorganizations and of Miro GTPases in Mitochondrial Dynamics

    Författare :Åsa Fransson; Pontus Aspenström; Harry Mellor; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Ras superfamily; Rho GTPases; cytoskeleton; Miro GTPases; mitochondrial dynamics; Cell and molecular biology; Cell- och molekylärbiologi;

    Sammanfattning : The Ras superfamily of GTPases embraces six major branches of proteins: the Ras, Rab, Ran, Arf, Rho and Miro subfamilies. The majority of GTPases function as binary switches that cycle between active GTP-bound and inactive GDP-bound states. This thesis will focus primarily on the biological functions of the Rho and Miro proteins. LÄS MER

  3. 18. Diverse Sounds : Enabling Inclusive Sonic Interaction

    Författare :Emma Frid; Roberto Bresin; Andrew McPherson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Accessible Digital Musical Instruments; Sonic Interaction Design; Sound and Music Computing; New Interfaces for Musical Expression; Media Technology; Medieteknik; Human-computer Interaction; Människa-datorinteraktion;

    Sammanfattning : This compilation thesis collects a series of publications on designing sonic interactions for diversity and inclusion. The presented papers focus on case studies in which musical interfaces were either developed or reviewed. LÄS MER

  4. 19. Homogeneous and heterogeneous Cp*Ir(III) catalytic systems : Mechanistic studies of redox processes catalyzed by bifunctional iridium complexes, and synthesis of iridium-functionalized MOFs

    Författare :Greco González Miera; Belén Martín-Matute; Matt Clarke; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; catalysis; bifunctional; metal-ligand cooperation; amine alkylation; Hammett; kinetics; acceptorless alcohol dehydrogenation; MOF; transition metal; synchrotron; organisk kemi; Organic Chemistry;

    Sammanfattning : The purpose of this doctoral thesis is to investigate and develop catalytic processes mediated by iridium(III) complexes. By understanding the mechanisms, the weaknesses of the designed catalysts can be identified and be overcome in the following generation. LÄS MER

  5. 20. The Birka Warrior : the material culture of a martial society

    Författare :Charlotte Hedenstierna-Jonson; Lena Holmquist Olausson; Heinrich Härke; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Birka; martial society; warrior; material culture; distribution patterns; cultural expression; Rus’; Viking Age; Early Middle Age; iconography; style; Archaeology; Arkeologi;

    Sammanfattning : This is a study of martial material culture in the context of the Viking Age warrior of Birka, Sweden. The aim is to establish the role, function and affiliation of the Birka warrior and thereby place Birka on the power-political map of the 10th century. LÄS MER