Search

Synthesis of Randomized Accuracy-Aware Map-Fold Programs

REA Auditado

We present Syndy, a technique for automatically synthesizing randomized map/fold computations that trade accuracy for performance. Given a specification of a fully accurate computation, Syndy automatically synthesizes approximate implementations of map and fold tasks, explores the approximate computation space that these approximations induce, and derives an accuracy versus performance tradeoff curve that characterizes the explored space.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ciencias Computacionales

Short tandem repeat (STR) profile authentication via machine learning techniques

REA Auditado

Short tandem repeat (STR) DNA profiles have multiple uses in forensic analysis, kinship identification, and human biometrics. However, as biotechnology progresses, there is a growing concern that STR profiles can be created using standard laboratory techniques such as whole genome amplification and molecular cloning. Such technologies can be used to synthesize any STR profile without the need for a physical sample, only knowledge of the desired genetic sequence. Therefore, to preserve the credibility of DNA as a forensic tool, it is imperative to develop means to authenticate STR profiles.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica

Detecting high level story elements from low level data

REA Auditado

The problem addressed here is yet another artificial intelligence problem that is easily solved by young children yet challenges even sophisticated computer programs. This thesis's canonical example is a scene featuring two entities drinking. In one scene, a cat drinks from a faucet. In the other, a human drinks from a glass. Even young humans can identify that the two images are similar in that they both involve drinking. However, low-level analysis of the scene will find many more differences than similarities in the case cited above.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica

Exploring real-time video interactivity with Scratch

REA Auditado

Real-time video interactivity is becoming increasingly popular in today's world with the advent of better and more affordable video input devices. With the recent release of the Microsoft Kinect followed by an official Kinect SDK, there has been an explosion of activity around utilizing this now easily-accessible video sensor data. Many creative uses have surfaced including object recognition, gesture recognition, and more. The audience capable of taking full advantage of these video technologies continues to be a technical crowd, likely with a background in computer science.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica

Statistical methods for locating performance problems in multi-tier applications

REA Auditado

This thesis describes an algorithm developed to aid in solving the problem of performance diagnosis, by automatically identifying the specific component in a multicomponent application system responsible for a performance problem. The algorithm monitors the system, collecting load and latency information from each component, searches the data for patterns indicative of performance saturation using statistical methods, and uses a machine learning classifier to interpret those results.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica

Frequency domain model-based intracranial pressure estimation

REA Auditado

Elevation of intracranial pressure (ICP), the pressure of the fluid surrounding the brain, can require urgent medical attention. Current methods for determining ICP are invasive, require neurosurgical expertise, and can lead to infection. ICP measurement is therefore limited to the sickest patients, though many others could potentially benefit from availability of this vital sign. We present a frequency-domain approach to ICP estimation using a simple lumped, linear time-invariant model of cerebrovascular dynamics.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica

Analysis of word-order universals using Bayesian phylogenetic inference

REA Auditado

This thesis examines the novel approach by Dunn et al. (2011) that employs the Bayesian phylogenetic inference to compute the Bayes Factors that determine whether the evolutions of a set of word-order traits in four language families are correlated or independent. In the first part of the thesis, the phylogenetic trees of the Indo-European and Bantu language families are reconstructed using several methods and the differences among the resulting trees are analyzed. In the second part of the thesis, the trees are used to conduct various modifications to the original experiments by Dunn et al.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica

The road to multi-dimensional magnetic levitation : realizing two-dimensional control in classical feedback

REA Auditado

A stable multi-dimensional magnetic levitator was characterized and implemented. This thesis contains a full analysis of the feedback specifications, a short summary of the circuits used in the design of the setup, and results from the physical device. Two and three dimensional magnetic levitation systems were analyzed and designed. A modular cell of the two-dimensional levitator was implemented. by Paul Gerardus Hlebowitsh. Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2012. Cataloged from PDF version of thesis.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica

Using genetic algorithm to "fool" HMAX object recognition model

REA Auditado

HMAX ("Hierarchical Model and X") system is among the best machine vision approaches developed today, in many object recognition tasks [1]. HMAX decomposes an image into features which are passed to a classifier. These features each capture information about a small section of the input image but might not have information about the overall structure of the image if there is not a significant number of overlapping features. Therefore it can produce a false-positive if two images from two different classes having sufficiently similar features profile but completely different structures.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica

Physical reasoning in complex scenes is sensitive to mass

REA Auditado

Many human activities require precise judgments about the dynamics and physical properties - for example, mass - of multiple objects. Classic work suggests that people's intuitive models of physics in mass-sensitive situations are relatively poor and error-prone, based on highly simplified heuristics that apply only in special cases. These conclusions seem at odds with the breadth and sophistication of naive physical reasoning in real-world situations.

Tema: general: 

• Ingeniería y Ciencias Aplicadas›Ingeniería›Ingeniería Eléctrica