Sökning: "fool"

Visar resultat 6 - 10 av 13 avhandlingar innehållade ordet fool.

  1. 6. Automated Theorem Proving in a First-Order Logic with First class Boolean Sort

    Författare :Evgenii Kotelnikov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; first-order logic; program analysis; program verification; TPTP; automated theorem proving; Vampire;

    Sammanfattning : Automated theorem proving is one of the central areas of computer mathematics. It studies methods and techniques for establishing validity of mathematical problems using a computer. The problems are expressed in a variety of formal logics, including first-order logic. LÄS MER

  3. 7. Spirit of Christ Inculturated- A Theological Theme Implicit in Shusaku Endo's Literary Works

    Författare :Emi Masé-Hasegawa; Centrum för teologi och religionsvetenskap; []
    Nyckelord :HUMANIORA; HUMANITIES; Kristen teologi allmän; systematic and practical Christian theology; General; Christ.; religious pluralism; multiple religious affiliation; spirituality; koshinto; literature; Japanese religions; Japanese literature; Japan; Christianity; Japanese Christianity; Endo; inculturation; systematisk och praktisk ; Paleo-Siberian languages and literatures; Korean; Japanese; Koreanska; japanska och paleosibiriska språk; Non-Christian religions; Världsreligioner ej kristendom ;

    Sammanfattning : Shusaku Endo (1923-1996) is a Roman Catholic, Japanese novelist. From 1950 to 1953, he studied French literature in Lyon, France. Returning from Lyon, Endo began his career as a novelist. His early works include: White Men, Yellow Men(1954), A Wonderful Fool(1959), The Women in the Bible(1960), Foreign Studies(1965), etc. LÄS MER

  4. 8. Women Leaving Violent Men: Crossroads of Emotion, Cognition and Action

    Författare :Viveka Enander; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Violence against women; Intimate partner violence; Leaving Processes;

    Sammanfattning : This thesis addresses battered women’s leaving processes. Leaving is conceptualised in a wider sense, i.e. as disentanglement from violent relationships beyond the physical break-up. LÄS MER

  5. 9. Vetekornets väg : Utblottelse hos Dostojevskij och i romanen Bröderna Karamazov

    Författare :Mattias Huss; Kari Syreeni; Owe Wikström; Tord Fornberg; Birger Olsson; Uppsala universitet; []
    Nyckelord :Biblical studies; F M Dostoevsky; Crime and Punishment; The Idiot; The Brothers Karamazov; John 12:24; kenosis; imitatio Christi; transfigured motif; Gospel of John; Philippians 2; inter-symbolism; Reception History; Reception Criticism; Bibelvetenskap exegetik; New Testament Exegesis; nya testamentets exegetik;

    Sammanfattning : This study takes as its starting point John 12:24, the epigraph that Dostoevsky selected for The Brothers Karamazov. The verse is considered here as a pre-figurative model and symbol in Dostoevsky’s thought and authorship. More specifically, the notion of kenosis is argued to constitute a transfigured motif and a gloss for an imitatio ideal. LÄS MER

  7. 10. Towards an assessment of safety and security interplay in automated driving systems

    Författare :Martin Skoglund; Hans Hansson; Sasikumar Punnekkat; Fredrik Warg; Georg Macher; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Functional Safety; Cybersecurity; Automotive; Automated Drivning; Assessment; Computer Science; datavetenskap;

    Sammanfattning : We are currently in the midst of significant changes in the road transport system, including the transformation to fossil-free propulsion and the shift to higher levels of automation. The next level in automation is soon upon us and is encompassed by the broader term Connected, Cooperative and Automated Mobility (CCAM) which is relevant for the entire transportation system. LÄS MER