Sökning: "Reasoning framework"

Visar resultat 6 - 10 av 191 avhandlingar innehållade orden Reasoning framework.

1. 6. Situation awareness in pervasive computing systems : reasoning, verification, prediction

   Författare :Andrey Boytsov; Christian Becker; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; situation awareness; context awareness; pervasive computing; ubiquitous computing; context prediction; Pervasive Mobile Computing; Distribuerade datorsystem;

   Sammanfattning : The paradigm of pervasive computing aims to integrate the computing technologies in a graceful and transparent manner, and make computing solutions available anywhere and at any time. Different aspects of pervasive computing, like smart homes, smart offices, social networks, micromarketing applications, PDAs are becoming a part of everyday life. LÄS MER

3. 7. Assessing mathematical creativity : comparing national and teacher-made tests, explaining differences and examining impact

   Författare :Jesper Boesen; Johan Lithner; Torulf Palm; Gunnar Gjone; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Mathematical reasoning; creative reasoning; moderate high stake; teacher made tests; imitative reasoning; assessment; impact; influence; effect; mathematical competence; national tests; MATHEMATICS; MATEMATIK; Mathematical reasoning; creative reasoning; moderate high stake; teacher made tests; imitative reasoning; assessment; impact; influence; effect; mathematical competence; national tests;

   Sammanfattning : Students’ use of superficial reasoning seems to be a main reason for learning difficulties in mathematics. It is therefore important to investigate the reasons for this use and the components that may affect students’ mathematical reasoning development. LÄS MER

4. 8. Analogical reasoning in science education : - connections to semantics and scientific modelling in thermodynamics

   Författare :Jesper Haglund; Helge Strömdahl; Konrad Schönborn; Roland Kjellander; Kevin Dunbar; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; science education; thermodynamics; analogical reasoning; semantics; scientific modelling; naturvetenskapsdidaktik; termodynamik; analogiskt tänkande; semantik; vetenskaplig modellering;

   Sammanfattning : Analogiskt tänkande är en central kognitiv förmåga som vi använder i vardagslivet, såväl som i mer formella sammanhang, såsom i forskning och undervisning. Föreliggande avhandling behandlar hur analogier och analogiskt tänkande, uppmärksamhet på semantik och förståelse för vetenskaplig modellering kan användas för att hantera utmaningar i naturvetenskapsundervisningen, särskilt inom området termodynamik. LÄS MER

5. 9. Decision support in dementia care : developing systems for interactive reasoning

   Författare :Helena Lindgren; Patrik Eklund; Klaus-Peter Adlassnig; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Artificial intelligence; human-computer interaction; activity theory; argumentation; fuzzy logic; general logics; clinical decision support systems; cognitive disorder; dementia; differential diagnosis; clinical practice guideline; knowledge engineering; knowledge representation; cognitive ergonomics; interactive reasoning; Computer science; Datavetenskap; Computer Science; datalogi;

   Sammanfattning : Demensvården i Sverige och i andra delar av världen har på olika sätt varit i fokus de senaste åren där man påtalat behovet att utveckla metoder och riktlinjer för hur vården ska bedrivas. Detta för att möta den växande andelen äldre människor som också utvecklar demenssjukdomar. LÄS MER

7. 10. A framework for reasoning about Erlang code

   Författare :Lars-Åke Fredlund; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. LÄS MER