Search Results Heading

MBRLSearchResults

mbrl.module.common.modules.added.book.to.shelf
Title added to your shelf!
View what I already have on My Shelf.
Oops! Something went wrong.
Oops! Something went wrong.
While trying to add the title to your shelf something went wrong :( Kindly try again later!
Are you sure you want to remove the book from the shelf?
Oops! Something went wrong.
Oops! Something went wrong.
While trying to remove the title from your shelf something went wrong :( Kindly try again later!
    Done
    Filters
    Reset
  • Discipline
      Discipline
      Clear All
      Discipline
  • Is Peer Reviewed
      Is Peer Reviewed
      Clear All
      Is Peer Reviewed
  • Item Type
      Item Type
      Clear All
      Item Type
  • Is Full-Text Available
      Is Full-Text Available
      Clear All
      Is Full-Text Available
  • Year
      Year
      Clear All
      From:
      -
      To:
  • More Filters
      More Filters
      Clear All
      More Filters
      Subject
    • Country Of Publication
    • Publisher
    • Source
    • Target Audience
    • Language
    • Place of Publication
    • Contributors
    • Location
312 result(s) for "Erickson, John D"
Sort by:
Islam and postcolonial narrative
The author in this text examines four authors from the third world, all of whom have engaged in a critique of the relationship between Islam and the West.
Creole Identity in Chamoiseau's \Solibo Magnifique\ and Confiant's \Le Meurtre du Samedi-Gloria\
A police inquiry under Inspector Frédéric Dorval, reassigned to Martinique after 15 years with the French metropolitan police force, leads us through a marginal netherworld of the common people living an impoverished existence, a world of jobless people, street vendors, hawkers, prostitutes, fishermen, thieves, etc., whose lives are animated by the combats of the damier, cockfights, movies, and sexual encounters. (Rushdie 120, 124-25) To understand their Caribbeanness, according to Edouard Glissant, the Creole people had to keep a \"clear consciousness\" of their relations with both Africa and Europe, thus needing to scrutinize the chaos of this new humanity that we are, to understand what the Caribbean is; to perceive the meaning of this Caribbean civilization which is still stammering and immobile; to embrace \"our space in the world; to explore \"our reality from a cathartic perspective; to decompose what we are while purifying what we are by fully exhibiting to the sun of consciousness the hidden mechanisms of our alienation; to plunge in our singularity, to explore it in a projective way, to reach out for what we are\" (Bernabé et al 83-84; Glissant cited) From this consciousness is thrown up the barrier of mistrust and suspicion between the common Creole people and the authorities, the whites and their surrogates. The Writing of Memory\"]. [...]the writer sets out to fashion the fusion of the spoken word and the written word. Since a \"renifleur\" is someone who snifts out, or is on the scent of, something or someone, the phrase prompts us to surmise that the true detectives in the two novels are Chamoiseau and Confiant themselves, who have set out to detect the situation and location of créolité.
Veiled Woman and Veiled Narrative in Tahar ben Jelloun's The Sandchild
Moroccan writer Tahar ben Jelloun's \"The Sandchild\" graphically explores the problem of sexuality and its ties to much more extended social and political problems. This theme is examined and discussed.
Maximin's L'Isolé Soleil and Caliban's Curse
In his \"L'Isole soleil,\" Daniel Maximin attempts to rewrite the Antillean history. The re-inscription of the other America seen through the tormented mind of the main character, Caliban, is discussed.
Generalization, lemma generation, and induction in ACL2
Formal Verification is becoming a critical tool for designing software and hardware today. Rising complexity, along with software's pervasiveness in the global economy have meant that errors are becoming more difficult to find and more costly to fix. Among the formal verification tools available today, theorem provers offer the ability to do the most complete verification of the most complex systems. However, theorem proving requires expert guidance and typically is too costly to be economical for all but the most mission critical systems. Three major challenges to using a theorem prover are: finding generalizations, choosing the right induction scheme, and generating lemmas. In this dissertation we study all three of these in the context of the ACL2 theorem prover.