Sökning: "approach"

Visar resultat 41 - 45 av 15376 avhandlingar innehållade ordet approach.

  1. 41. Quantifiers and Theories : A Lazy Approach

    Författare :Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Reasoning; Automated Theorem Proving; SMT; Unification; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Sammanfattning : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. LÄS MER

  3. 42. Modelling phase separation in Fe-Cr alloys : A continuum approach

    Författare :Thomas Barkar; John Ågren; Nele Moelans; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Phase separation; spinodal decomposition; nucleation; diffusion; thermodynamics; kinetics; steel; ferritic;

    Sammanfattning : The formation of Cr-rich and Fe-rich domains upon ageing of an initially homogeneous Fe-Cr alloy at elevated temperatures (300-600 ºC) is commonly referred to as phase separation. The behaviour originates from a miscibility gap in the Fe-Cr phase diagram. LÄS MER

  4. 43. Thermodynamic study of silicate and aluminate melts : a model approach

    Författare :Johan Björkvall; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 44. The psychological treatment of epilepsy : a behavioral approach

    Författare :Joanne Caroline Dahl; Uppsala universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Sammanfattning : .... LÄS MER

  7. 45. On the causes and effects of specialization : A mathematical approach

    Författare :Micael Ehn; Kimmo Eriksson; Johan Lind; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Specialization; Division of labor; matematical model; social stratification; Applied mathematics; Tillämpad matematik; Mathematics Applied Mathematics; Matematik tillämpad matematik;

    Sammanfattning : Division of labor and division of knowledge are so important andcommon in society today that it is almost impossible to imagine asociety where everyone knows the same things and perform the sametasks. This would be a society where everyone grows, or gathers, andprepares their own food, makes their own tools, builds their ownhouse, and so on. LÄS MER