Search Results - "HAMILTON, GEOFF"

Continents of Liberty: Emerson and Gerald Vizenor's Chair of Tears by Hamilton, Geoff

“…(51) Though Emerson was clearly sympathetic to the plight of the Cherokees and ashamed of what removal policies suggested about his nation, his understanding…”
Get full text

Verifying Temporal Properties of Reactive Systems by Transformation by Hamilton, Geoff

“…We show how program transformation techniques can be used for the verification of both safety and liveness properties of reactive systems. In particular, we…”
Get full text

Tight Polynomial Worst-Case Bounds for Loop Programs by Amir M. Ben-Amram, Geoff Hamilton

“…In 2008, Ben-Amram, Jones and Kristiansen showed that for a simple programming language - representing non-deterministic imperative programs with bounded…”
Get full text

Mythos and Mental Illness: Psychopathy, Fantasy, and Contemporary Moral Life by Hamilton, Geoff

“…Medical accounts of the absence of conscience are intriguing for the way they seem disposed to drift away from the ideal of scientific objectivity and towards…”
Get full text

Boarding School Voices: Carlisle Indian Students Speak by Arnold Krupat (review) by Hamilton, Geoff

Get full text

Traditional Ecological Knowledge: Learning from Indigenous Practices for Environmental Sustainability ed. by Melissa K. Nelson and Dan Shilling (review) by Hamilton, Geoff

Get full text

Use of Hair Tubes as an Indirect Method for Monitoring Red and Grey Squirrel Populations by Finnegan, Laura, Hamilton, Geoff, Perol, Julie, Rochford, John

“…Hair tubes were investigated as an indirect means of monitoring red and grey squirrel populations and estimating squirrel densities. Hair tube surveys and live…”
Get full text

Something to Be Done: The Road, Beckett, and American Autonomy by Hamilton, Geoff

“…Cormac McCarthy’s “use” of Beckett in The Road involves, at its most profound level, the symbolic deployment and roadside rejection of what his precursor’s…”
Get full text

The Native American Renaissance: Literary Imagination and Achievement ed. by Alan R. Velie, A. Robert Lee (review) by Hamilton, Geoff

Get full text

Red Ink: Native Americans Picking up the Pen in the Colonial Period by Drew Lopenzina (review) by Hamilton, Geoff

Get full text

Comparative Analysis of Methods for Performing a Side-Channel Video-Fingerprinting Attack by Djon, Deborah, Connaughton, Darragh, Hamilton, Geoff, McCarren, Andrew

“…In an era of increasing digital privacy concerns, side-channel attacks pose a risk to the privacy of many streaming service clients. With the attack outlined…”
Get full text

Indian Resilience and Rebuilding: Indigenous Nations in the Modern American West by Donald L. Fixico (review) by Hamilton, Geoff

Get full text

Review by Geoff Hamilton

Get full text

Dynamics and dynamic modelling of H2S production in sewer systems by Sharma, Keshab Raj, Yuan, Zhiguo, de Haas, David, Hamilton, Geoff, Corrie, Shaun, Keller, Jurg

“…Accurate and reliable predictions of sulfide production in a sewer system greatly benefit formulation of appropriate strategies for optimal sewer management…”
Get full text

The Four Deaths of Acorn Whistler: Telling Stories in Colonial America by Joshua Piker (review) by Hamilton, Geoff

Get full text

THE RED LAND TO THE SOUTH: American Indian Writers and Indigenous Mexico by James H. Cox (review) by Hamilton, Geoff

Get full text

"Murder Everywhere": Whitman, Lish, and the Fate of Self-Celebration by HAMILTON, GEOFF

“…This essay considers Gordon Lish's invocation of Walt Whitman in his novel Dear Mr. Capote. The novel illustrates, I argue, a profound evolution in the…”
Get full text

Verifying a delegation protocol for grid systems by Aziz, Benjamin, Hamilton, Geoff

“…In this paper, we design a non-uniform static analysis for formally verifying a protocol used in large-scale Grid systems for achieving delegations from users…”
Get full text

Integrated modelling and management of manganese for a conventional potable water treatment plant by Zhang, Fuxin, Zhang, Hong, Bertone, Edoardo, Stewart, Rodney, O’Halloran, Kelvin, Hamilton, Geoff, Cinque, Kathy

“…•Integrated model to simulate manganese transport from a monomictic reservoir to a drinking water treatment plant.•Seasonal variation of manganese are mainly…”
Get full text

Detecting Man-in-the-Middle Attacks by Precise Timing by Aziz, B., Hamilton, G.

“…Man-in-the-middle attacks are one of the most popular and fundamental attacks on distributed systems that have evolved with advances in distributed computing…”
Get full text