Sökning: "Explanation Methods"

Visar resultat 1 - 5 av 268 avhandlingar innehållade orden Explanation Methods.

1. 1. Teaching and Learning Historical Explanation : Teacher and Student Cases from Lower and Upper Secondary History

   Författare :Joakim Wendell; Johan Samuelsson; Martin Stolare; Thomas Nygren; Karlstads universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; history education; historical explanation; causation; cause and consequence; explanatory progression; historical thinking; use of history; History; Historia;

   Sammanfattning : The purpose of this thesis is to investigate and analyse how teachers and students understand the concept of historical explanation in the context of classroom teaching practices. The thesis is made up of four studies that investigate different aspects of understanding, focusing on either teacher or student understanding as expressed in words and actions. LÄS MER

3. 2. On Causal Attribution

   Författare :B. Ingemar B. Lindahl; Dugald Murdoch; Ingmar Pörn; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; causation; cause-condition distinction; causal selection; differentiating factor; inus condition; explanation; covering-law model; Mill’s methods; objectivity; pragmatics; responsibility; abnormalism; history; science; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

   Sammanfattning : This dissertation treats of the problem of attributing the occurrence of an individual event or state to a single cause — a problem commonly understood either as a question of distinguishing the cause from the mere conditions or as a matter of singling out, from several causes, one cause, as the cause. The main purpose of the study is to clarify some basic concepts, and some criteria of ascertainment of the cause, that may be discerned in the literature on causal attribution. LÄS MER

4. 3. Making Methods Work in Software Engineering : Method Deployment - as a Social Achievement

   Författare :Kari Rönkkö; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software engineering; software development methods; social achievement; research methodology; action research; ethnography; ethnomethodology; industrial cooperation;

   Sammanfattning : The software engineering community is concerned with improvements in existing methods and development of new and better methods. The research approaches applied to take on this challenge have hitherto focused heavily on the formal and specifying aspect of the method. LÄS MER

5. 4. Trustworthy explanations : Improved decision support through well-calibrated uncertainty quantification

   Författare :Helena Löfström; Ulf Seigerroth; Ulf Johansson; Patrick Mikalef; Jönköping University; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Explainable Artificial Intelligence; Interpretable Machine Learning; Decision Support Systems; Uncertainty Estimation; Explanation Methods;

   Sammanfattning : The use of Artificial Intelligence (AI) has transformed fields like disease diagnosis and defence. Utilising sophisticated Machine Learning (ML) models, AI predicts future events based on historical data, introducing complexity that challenges understanding and decision-making. LÄS MER

7. 5. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

   Författare :Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

   Sammanfattning : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER