At a time when all knowledge is 'situated' and no longer 'universal' or 'neutral', the translation of Sheila Jasanoff's reflections about "how we should deploy for the good our profoundly human ingenuity" raises a question for Brazilian academia: how to 'situate' this reflection? If times are changing for the imperial West, it is plausible to take advantage of this time to problematize 'the pro...

Existing efforts on XML internationalization and localization have been focusing on the contents of XML documents instead of on the meta presentations such as tags and attributes. Although XML standard allows the use of unicode throughout a document including the meta level presentations, most tags and attributes of XML documents are still defined in English, which makes it difficult for native...

This paper introduces a mechanism for localizing a microphone array when the location of sound sources in the environment is known. Using the recently proposed spatial observability function (SOF) based microphone array integration technique, a maximum likelihood estimator for the correct position and orientation of the array is derived. This is used to localize and track a microphone array wit...

Existing proposals for implementing the run-time suspension test for GHC concentrate upon suspending unifications in the bodies of clauses being used to evaluate guard literals. However, by making simple alterations to the guard and adding special primitives to it to localise the requirement to suspend to a primitive in the guard, unifications in the bodies of clauses may proceed without being ...

We devise a graphical model that supports the process of debugging software by guiding developers to code that is likely to contain defects. The model is trained using execution traces of passing test runs; it reflects the distribution over transitional patterns of code positions. Given a failing test case, the model determines the least likely transitional pattern in the execution trace. The m...

This paper presents algorithms, simulations, and empirical results of a system that finds relative tag positions in 3D space using a new approach called “mobile infrastructure.” Mobile infrastructure consists of one or more sensors in a fixed configuration on a mobile platform, and a set of tags affixed to objects or locations in the environment which the users want to localize. It is especiall...

We develop a method for measuring and localizing homology classes. This involves two problems. First, we define relevant notions of size for both a homology class and a homology group basis, using ideas from relative homology. Second, we propose an algorithm to compute the optimal homology basis, using techniques from persistent homology and finite field algebra. Classes of the computed optimal...

Analysis of the transcriptome by computational and experimental methods has established that sense-antisense transcriptional units are a common phenomenon. Although the regulatory potential of antisense transcripts has been experimentally verified in a number of studies, the biological importance of sense-antisense regulation of gene expression is still a matter of debate. Here, we report the i...

This paper presents an algorithm for detecting, localizing and grouping instances of repeated scene elements. The grouping is represented by a graph where nodes correspond to individual elements and arcs join spatially neighboring elements. Associated with each arc is an aane map that best transforms the image patch at one location to the other. The approach we propose consists of 4 steps: (1) ...

Title of dissertation: Localizing the Effects of Link Flooding Attacks in the Internet Soo Bum Lee Doctor of Philosophy, 2009 Dissertation directed by: Professor Virgil D. Gligor Department of Electrical and Computer Engineering Malware-contaminated hosts organized as a “bot network” can target and flood network links (e.g., routers). Yet, none of the countermeasures to link flooding proposed t...