Sökning: "Formal modeling and Analysis"

Visar resultat 36 - 40 av 51 avhandlingar innehållade orden Formal modeling and Analysis.

  1. 36. Simulation of communicative behavior

    Författare :Jonas Wikman; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Teknisk psykologi; Engineering Psychology;

    Sammanfattning : Developing tasks and organizations involves risk, and investments in planning, equipment, and training evoke expectations that may not be fulfilled. Therefore, it would be desirable to use an experimenting approach, and successively try and test new courses of action under realistic conditions. LÄS MER

  3. 37. Perspectives on the role of digital tools in students' open-ended physics inquiry

    Författare :Elias Euler; Bor Gregorcic; Cedric Linder; Konrad Schönborn; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; digital learning environments; modeling; semi-formalisms; microworlds; social semiotics; embodied cognition; disciplinary-relevant aspects; Physics with specialization in Physics Education; Fysik med inriktning mot fysikens didaktik;

    Sammanfattning : In this licentiate thesis, I present detailed case studies of students as they make use of simulated digital learning environments to engage with physics phenomena. In doing so, I reveal the moment-to-moment minutiae of physics students’ open-ended inquiry in the presence of two digital tools, namely the sandbox software Algodoo and the PhET simulation My Solar System (both running on an interactive whiteboard). LÄS MER

  4. 38. Literacy proficiency, earnings, and recurrent training : a ten country comparative study

    Författare :Emmanuel Boudard; Max van der Kamp; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Adult education; Continuing education; Vuxenutbildning; Livslångt lärande;

    Sammanfattning : The purpose of the study is to theorise on participation in recurrent training and to estimate a statistical model. The main focus is the links between latent variables, such as observed skills based on literacy proficiency, firm size, literacy practices at work and at home, and other latent correlates, such as educational attainment, labour force status, experience, occupational status and earnings. LÄS MER

  5. 39. Ontology-Driven Data Access and Data Integration with an Application in the Materials Design Domain

    Författare :Huanyu Li; Patrick Lambrix; Nahid Shahmehri; Rickard Armiento; Olaf Hartig; Mari Carmen Suárez‐Figueroa; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The Semantic Web aims to make data on the web machine-readable by introducing semantics to the data. Ontologies are one of the critical technologies in the Semantic Web. LÄS MER

  7. 40. Methods and Tool Support for Analyzing Architectural Models of Embedded Systems

    Författare :Stefan Björnander; Paul Pettersson; Kristina Lundqvist; Cristina Seceleanu; Ingo Sander; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Embedded systems are ubiquitous in the modern world. They are microcomputers most often included incomplete devices consisting of software and hardware. Embedded systems range from small devices to large systems monitoring and controlling complex processes. LÄS MER