Sökning: "abstraction"

Visar resultat 16 - 20 av 352 avhandlingar innehållade ordet abstraction.

  1. 16. Function Variables for Constraint Programming

    Författare :Brahim Hnich; Edward Tsang; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; Computer science; Datalogi; Computer Science; data- och systemvetenskap;

    Sammanfattning : Quite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. LÄS MER

  3. 17. Överflöd och ofullbordan : Essä om det moderna

    Författare :Bo Isenberg; Sociologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; abstraction; abundance; classical modernity; contingency; crisis; modernity; oblivion; postmodernity; the principle of insufficient reason; religion; society; sociology; structivity; Sociology; tradition; cultural sociology; historical anthropology; Sociologi; Cultural anthropology; ethnology; Kulturantropologi; etnologi;

    Sammanfattning : The problem which the present study discusses is modernity. The study interprets modernity’s cultural and anthropological dispositions as historical appearances. Consequently, it is situated at the intersection of cultural sociology and historical anthropology. The aim is to generate insight and understanding rather than a coherent theory. LÄS MER

  4. 18. On Compositional Supervisor Synthesis for Discrete Event Systems

    Författare :Sahar Mohajerani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; abstraction; supervisory control theory.; synthesis; Finite-state automata;

    Sammanfattning : Over the past decades, human dependability on technical devices has rapidlyincreased. Many activities of such devices can be described by sequences ofevents, where the occurrence of an event causes the system to go from onestate to another. This is elegantly modeled by automata. LÄS MER

  5. 19. The Emergence of Conditional Subordinators in Swedish : A Study in Grammaticalization

    Författare :Henrik Rosenkvist; tolkning i offentlig sektor och översättning danska och isländska Avdelningen för svenska; []
    Nyckelord :HUMANIORA; HUMANITIES; Scandinavian languages and literature; conditionality; source determination; image schema; abstraction; bleaching; grammaticalization; reanalysis; language change; syntax; Nordiska språk språk och litteratur ; subordinator; conditional;

    Sammanfattning : This thesis is an empirical and theoretical study of the emergence of five Swedish conditional subordinators: utan, om, hvar, ifall and bara. The first changes occur in the 13th century, and the last in the 18th century. LÄS MER

  7. 20. Humanizing Technology Through Post-Digital Art

    Författare :Vygandas Vegas Simbelis; Kristina Höök; John Bowers; KTH; []
    Nyckelord :Humanization of technology; post-digital aesthetics; abstraction; materiality; immateriality; interpretative digitality; hacking; disruption; accelerationism; interactive art; interaction design; human-computer interaction.; Art; Technology and Design; Konst; teknik och design; Människa-datorinteraktion; Human-computer Interaction; Media Technology; Medieteknik; Computer Science; Datalogi; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : I draw upon the idea of the post digital to create (1) art for humanization of technology and (2) art as manifestations of digital qualities in the physical world, e.g., through digital-analog convergence, or through enriching our experiences with hybrid constellations of techniques, concepts and aesthetics. LÄS MER