Essays about: "-zara"

Showing result 1 - 5 of 84528 essays containing the word -zara.

  1. 1. Unity Among Environmentalists? A critical examination of Bryan Norton's Convergence Hypothesis

    University essay from Göteborgs universitet/Institutionen för lingvistik

    Author : Andreas Ott; [2018-04-12]
    Keywords : Environmental Ethics; Ethics; Convergence Hypothesis; Bryan G. Norton;

    Abstract : .... READ MORE

  2. 2. "The Pupil Mastering the Master Part II"

    University essay from Göteborgs universitet/Institutionen för lingvistik

    Author : Andreas Ott; [2018-04-05]
    Keywords : Theophrastus; Aristotle; History of Philosophy; Animal Cognition; Reasoning;

    Abstract : .... READ MORE

  3. 3. Formalizing Constructive Quantifier Elimination in Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Jeremy Pope; [2018-04-04]
    Keywords : Agda; decidability; semantics; successor; constructive;

    Abstract : In this thesis a constructive formalization of quantifier elimination is presented,based on a classical formalization by Tobias Nipkow [16]. The formalization is implementedand verified in the programming language/proof assistant Agda [1]. READ MORE

  4. 4. KANJI LEARNING AND WORKBOOKS. A comparative analysis of L2 and L1 kanji educational material

    University essay from Göteborgs universitet/Institutionen för språk och litteraturer

    Author : Karl Vagnemark; [2018-04-03]
    Keywords : japanska; Kanji; Japanese workbooks; kanji-learning; textbook-structure; L2 learner; Japanese; education;

    Abstract : This study is an analysis of two kanji workbooks. The purpose of thesis is to make suggestions for improvement in L2 kanji text-/workbooks through comparison of L2 and L1 kanji text-/workbooks. Also, to expand the research field regrading kanjitextbooks. READ MORE

  5. 5. Metrics for optimizing post-release configuration of in-vehicle software

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Aitamaryam Khorsani; [2018-03-27]
    Keywords : ;

    Abstract : Complex software architectures and designs to support more and more functionalities,higher software quality and faster time to market requires an optimaldecision making. A measurement framework, which is developed based on Goal-Question-Metric (GQM) approach is proposed in this thesis to be applied indecision makings about software download. READ MORE