Sökning: "Binary"

Visar resultat 1 - 5 av 747 avhandlingar innehållade ordet Binary.

  1. 1. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

  3. 2. Breaking the Binary : Attitudes towards and cognitive effects of gender-neutral pronouns

    Författare :Hellen P. Vergoossen; Marie Gustafsson Sendén; Håkan Fischer; Philip Pärnamets; Peter Hegarty; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; gender-fair language; gender-neutral pronouns; hen; Psychology; psykologi;

    Sammanfattning : For a long time, Swedish only had two third-person singular pronouns: hon [‘she’] and han [‘he’]. Following several publications using the gender-neutral pronoun hen to refer to its characters, a debate article in a national newspaper proposed expanding the Swedish pronouns with hen. LÄS MER

  4. 3. Fluids, Gels and Crystals : Phase behavior of binary thermoresponsive microgel mixtures

    Författare :Jasper Immink; NanoLund: Centre for Nanoscience; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; colloidal phase behavior; microgel; binary mixture; colloidal gel; sequential gelation; patchy particle; binary crystal; crystal-to-crystal transition;

    Sammanfattning : Thermoresponsive colloidal microgels expel solvent from their interior upon crossing a threshold temperature, resulting in a significantly reduced size. The collapse of microgels can reversibly switch the interparticle interactions from soft repulsive to attractive, and the accompanying size reduction allows for precise control over volume fraction. LÄS MER

  5. 4. Some binary response situations : theory and applications

    Författare :Karin Dahmström; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In a binary response situation we are studying an event which either occurs or does not occur. Such situations are treated in the following five reports. In report I, there is a review of different statistical models and analysis methods for, in particular, nonexperimental surveys. LÄS MER

  7. 5. Blurring the Colonial Binary : Turn-of-the-Century Transnational Entertainment in Southeast Asia

    Författare :Nadi Tofighian; John Fullerton; Charles Musser; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; colonial history; early cinema; film history; distribution; transnational networks; entertainment culture; Southeast Asia; Singapore; postcolonial theory; colonial discourse; ethnicity; race; whiteness; Cinema Studies; filmvetenskap;

    Sammanfattning : This dissertation examines and writes the early history of distribution and exhibition of moving images in Southeast Asia by observing the intersection of transnational itinerant entertainment and colonialism. It is a cultural history of turn-of-the-century Southeast Asia, and focuses on the movement of films, people, and amusements across oceans and national borders. LÄS MER