Search for dissertations about: "Higher order"

Showing result 1 - 5 of 3358 swedish dissertations containing the words Higher order.

2. 1. Toward higher-order network models

   Author : Ludvig Bohlin; Martin Rosvall; Ludvig Lizana; Tina Eliassi-Rad; Umeå universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; network science; complex systems; complex networks; network analysis; higher-order networks; community detection; citation networks; network modeling; fysik; Physics;

   Abstract : Complex systems play an essential role in our daily lives. These systems consist of many connected components that interact with each other. READ MORE

4. 2. Designing for eAssessment of higher order thinking : An undergraduate IT online distance education course in Sri Lanka

   Author : Hakim Usoof; Brian Hudson; Eva Lindgren; Gihan Wikramanayake; Priyantha Hewagamage; Patrick Dillon; Umeå universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Learning; Assessment; Distance Education; Higher order thinking; Collaborative learning; Higher education; Plagiarism; Keystroke dynamics; pedagogik; Education; pedagogiskt arbete; educational work; computer and systems sciences; data- och systemvetenskap;

   Abstract : Distance education has seen rapid growth over the recent decades. The rapid development of Information Communication Technology [ICT] has been one of the main drivers of this growth in distance education. However, distance education and ICT themselves posts challenges to both students and educators alike. READ MORE

5. 3. Dynamic higher order equations

   Author : Hossein Abadikhah; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Torsion; Series expansion; Elasticity; Micropolar; Functionally graded material;

   Abstract : The subject of this thesis is to derive and evaluate governing equations and correspondingboundary conditions for solid cylinders and rectangular plates, where the materialconstituting the cylinder or plate are governed by classical elasticity, micropolar elasticityor a functionally graded case of the previously mentioned models. This is achieved by asystematic power series expansion approach, by either adopting a generalized Hamilton'sprinciple or a direct approach. READ MORE

6. 4. A Verified Theorem Prover for Higher-Order Logic

   Author : Oskar Abrahamsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; formal verification; higher-order logic; interactive theorem provers;

   Abstract : This thesis is about mechanically establishing the correctness of computer programs. In particular, we are interested in establishing the correctness of tools used in computer-aided mathematics. We build on tools for proof-producing program synthesis, and verified compilation, and a verified theorem proving kernel. READ MORE

7. 5. Moral Disagreement and the Significance of Higher-Order Evidence

   Author : Marco Tiozzo; Göteborgs universitet; []
   Keywords : HUMANIORA; HUMANITIES; Moral Disagreement; Higher-Order Evidence; Moral Skepticism; Peer Disagreement; Faultless Disagreement; Moral Intransigence; Epistemic Rationality;

   Abstract : Recent years have seen an increasing interest in the philosophy of disagreement, especially in epistemology where there is an intense debate over the epistemic significance of disagreement and higher-order evidence more generally. Considerations about disagreement also play an important role in metaethics – most prominently in various arguments that purport to establish moral skepticism. READ MORE