On The Uniqueness of Correspondence Under Orthographic and Perspective Projections

The task of shape recovery from a motion sequence requires the establishment of correspondence between image points. The two processes, the matching process and the shape recovery one, are traditionally viewed as independent. Yet, information obtained during the process of shape recovery can be used to guide the matching process. This paper discusses the mutual relationship between the two processes. The paper is divided into two parts. In the first part we review the constraints imposed on the correspondence by rigid transformations and extend them to objects that undergo general affine (non rigid) transformation (including stretch and shear), as well as to rigid objects with smooth surfaces. In all these cases corresponding points lie along epipolar lines, and these lines can be recovered from a small set of corresponding points. In the second part of the paper we discuss the potential use of epipolar lines in the matching process. We present an algorithm that recovers the correspondence from three contour images. The algorithm was implemented and used to construct object models for recognition. In addition we discuss how epipolar lines can be used to solve the aperture problem.

Qualitative Process Theory

Objects move, collide, flow, bend, heat up, cool down, stretch, compress and boil. These and other things that cause changes in objects over time are intuitively characterized as processes. To understand common sense physical reasoning and make programs that interact with the physical world as well as people do we must understand qualitative reasoning about processes, when they will occur, their effects, and when they will stop. Qualitative Process theory defines a simple notion of physical process that appears useful as a language in which to write dynamical theories. Reasoning about processes also motivates a new qualitative representation for quantity in terms of inequalities, called quantity space. This report describes the basic concepts of Qualitative Process theory, several different kinds of reasoning that can be performed with them, and discusses its impact on other issues in common sense reasoning about the physical world, such as causal reasoning and measurement interpretation. Several extended examples illustrate the utility of the theory, including figuring out that a boiler can blow up, that an oscillator with friction will eventually stop, and how to say that you can pull with a string but not push with it. This report also describes GIZMO, an implemented computer program which uses Qualitative Process theory to make predictions and interpret simple measurements. The represnetations and algorithms used in GIZMO are described in detail, and illustrated using several examples.

Avaliação do efeito da Grande Área Metropolitana do Porto nas concentrações de Dióxido de Carbono sobre a zona costeira adjacente

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Engenharia e Gestão Ambiental.

Skin Color-Based Video Segmentation under Time-Varying Illumination

A novel approach for real-time skin segmentation in video sequences is described. The approach enables reliable skin segmentation despite wide variation in illumination during tracking. An explicit second order Markov model is used to predict evolution of the skin-color (HSV) histogram over time. Histograms are dynamically updated based on feedback from the current segmentation and predictions of the Markov model. The evolution of the skin-color distribution at each frame is parameterized by translation, scaling and rotation in color space. Consequent changes in geometric parameterization of the distribution are propagated by warping and resampling the histogram. The parameters of the discrete-time dynamic Markov model are estimated using Maximum Likelihood Estimation, and also evolve over time. The accuracy of the new dynamic skin color segmentation algorithm is compared to that obtained via a static color model. Segmentation accuracy is evaluated using labeled ground-truth video sequences taken from staged experiments and popular movies. An overall increase in segmentation accuracy of up to 24% is observed in 17 out of 21 test sequences. In all but one case the skin-color classification rates for our system were higher, with background classification rates comparable to those of the static segmentation.

An alignment based similarity measure for hand detection in cluttered sign language video

Locating hands in sign language video is challenging due to a number of factors. Hand appearance varies widely across signers due to anthropometric variations and varying levels of signer proficiency. Video can be captured under varying illumination, camera resolutions, and levels of scene clutter, e.g., high-res video captured in a studio vs. low-res video gathered by a web cam in a user’s home. Moreover, the signers’ clothing varies, e.g., skin-toned clothing vs. contrasting clothing, short-sleeved vs. long-sleeved shirts, etc. In this work, the hand detection problem is addressed in an appearance matching framework. The Histogram of Oriented Gradient (HOG) based matching score function is reformulated to allow non-rigid alignment between pairs of images to account for hand shape variation. The resulting alignment score is used within a Support Vector Machine hand/not-hand classifier for hand detection. The new matching score function yields improved performance (in ROC area and hand detection rate) over the Vocabulary Guided Pyramid Match Kernel (VGPMK) and the traditional, rigid HOG distance on American Sign Language video gestured by expert signers. The proposed match score function is computationally less expensive (for training and testing), has fewer parameters and is less sensitive to parameter settings than VGPMK. The proposed detector works well on test sequences from an inexpert signer in a non-studio setting with cluttered background.

Estimation and Prediction of Evolving Color Distributions for Skin Segmentation Under Varying Illumination

A novel approach for real-time skin segmentation in video sequences is described. The approach enables reliable skin segmentation despite wide variation in illumination during tracking. An explicit second order Markov model is used to predict evolution of the skin color (HSV) histogram over time. Histograms are dynamically updated based on feedback from the current segmentation and based on predictions of the Markov model. The evolution of the skin color distribution at each frame is parameterized by translation, scaling and rotation in color space. Consequent changes in geometric parameterization of the distribution are propagated by warping and re-sampling the histogram. The parameters of the discrete-time dynamic Markov model are estimated using Maximum Likelihood Estimation, and also evolve over time. Quantitative evaluation of the method was conducted on labeled ground-truth video sequences taken from popular movies.

Cerebellar Learning in an Opponent Motor Controller for Adaptive Load Compensation and Synergy Formation

This paper shows how a minimal neural network model of the cerebellum may be embedded within a sensory-neuro-muscular control system that mimics known anatomy and physiology. With this embedding, cerebellar learning promotes load compensation while also allowing both coactivation and reciprocal inhibition of sets of antagonist muscles. In particular, we show how synaptic long term depression guided by feedback from muscle stretch receptors can lead to trans-cerebellar gain changes that are load-compensating. It is argued that the same processes help to adaptively discover multi-joint synergies. Simulations of rapid single joint rotations under load illustrates design feasibility and stability.

The effects of osmotic stress on the structure and function of the cell nucleus.

Osmotic stress is a potent regulator of the normal function of cells that are exposed to osmotically active environments under physiologic or pathologic conditions. The ability of cells to alter gene expression and metabolic activity in response to changes in the osmotic environment provides an additional regulatory mechanism for a diverse array of tissues and organs in the human body. In addition to the activation of various osmotically- or volume-activated ion channels, osmotic stress may also act on the genome via a direct biophysical pathway. Changes in extracellular osmolality alter cell volume, and therefore, the concentration of intracellular macromolecules. In turn, intracellular macromolecule concentration is a key physical parameter affecting the spatial organization and pressurization of the nucleus. Hyper-osmotic stress shrinks the nucleus and causes it to assume a convoluted shape, whereas hypo-osmotic stress swells the nucleus to a size that is limited by stretch of the nuclear lamina and induces a smooth, round shape of the nucleus. These behaviors are consistent with a model of the nucleus as a charged core/shell structure pressurized by uneven partition of macromolecules between the nucleoplasm and the cytoplasm. These osmotically-induced alterations in the internal structure and arrangement of chromatin, as well as potential changes in the nuclear membrane and pores are hypothesized to influence gene transcription and/or nucleocytoplasmic transport. A further understanding of the biophysical and biochemical mechanisms involved in these processes would have important ramifications for a range of fields including differentiation, migration, mechanotransduction, DNA repair, and tumorigenesis.

Measurement of intracellular strain on deformable substrates with texture correlation.

Mechanical stimuli are important factors that regulate cell proliferation, survival, metabolism and motility in a variety of cell types. The relationship between mechanical deformation of the extracellular matrix and intracellular deformation of cellular sub-regions and organelles has not been fully elucidated, but may provide new insight into the mechanisms involved in transducing mechanical stimuli to biological responses. In this study, a novel fluorescence microscopy and image analysis method was applied to examine the hypothesis that mechanical strains are fully transferred from a planar, deformable substrate to cytoplasmic and intranuclear regions within attached cells. Intracellular strains were measured in cells derived from the anulus fibrosus of the intervertebral disc when attached to an elastic silicone membrane that was subjected to tensile stretch. Measurements indicated cytoplasmic strains were similar to those of the underlying substrate, with a strain transfer ratio (STR) of 0.79. In contrast, nuclear strains were much smaller than those of the substrate, with an STR of 0.17. These findings are consistent with previous studies indicating nuclear stiffness is significantly greater than cytoplasmic stiffness, as measured using other methods. This study provides a novel method for the study of cellular mechanics, including a new technique for measuring intranuclear deformations, with evidence of differential magnitudes and patterns of strain transferred from the substrate to cell cytoplasm and nucleus.

Huntingtin is required for normal excitatory synapse development in cortical and striatal circuits.

Huntington's disease (HD) is a neurodegenerative disease caused by the expansion of a poly-glutamine (poly-Q) stretch in the huntingtin (Htt) protein. Gain-of-function effects of mutant Htt have been extensively investigated as the major driver of neurodegeneration in HD. However, loss-of-function effects of poly-Q mutations recently emerged as potential drivers of disease pathophysiology. Early synaptic problems in the excitatory cortical and striatal connections have been reported in HD, but the role of Htt protein in synaptic connectivity was unknown. Therefore, we investigated the role of Htt in synaptic connectivity in vivo by conditionally silencing Htt in the developing mouse cortex. When cortical Htt function was silenced, cortical and striatal excitatory synapses formed and matured at an accelerated pace through postnatal day 21 (P21). This exuberant synaptic connectivity was lost over time in the cortex, resulting in the deterioration of synapses by 5 weeks. Synaptic decline in the cortex was accompanied with layer- and region-specific reactive gliosis without cell loss. To determine whether the disease-causing poly-Q mutation in Htt affects synapse development, we next investigated the synaptic connectivity in a full-length knock-in mouse model of HD, the zQ175 mouse. Similar to the cortical conditional knock-outs, we found excessive excitatory synapse formation and maturation in the cortices of P21 zQ175, which was lost by 5 weeks. Together, our findings reveal that cortical Htt is required for the correct establishment of cortical and striatal excitatory circuits, and this function of Htt is lost when the mutant Htt is present.

Magnetic resonance imaging of graded skeletal muscle injury in live rats.

INTRODUCTION: Increasing number of stretch-shortening contractions (SSCs) results in increased muscle injury. METHODS: Fischer Hybrid rats were acutely exposed to an increasing number of SSCs in vivo using a custom-designed dynamometer. Magnetic resonance imaging (MRI) imaging was conducted 72 hours after exposure when rats were infused with Prohance and imaged using a 7T rodent MRI system (GE Epic 12.0). Images were acquired in the transverse plane with typically 60 total slices acquired covering the entire length of the hind legs. Rats were euthanized after MRI, the lower limbs removed, and tibialis anterior muscles were prepared for histology and quantified stereology. RESULTS: Stereological analyses showed myofiber degeneration, and cellular infiltrates significantly increased following 70 and 150 SSC exposure compared to controls. MRI images revealed that the percent affected area significantly increased with exposure in all SSC groups in a graded fashion. Signal intensity also significantly increased with increasing SSC repetitions. DISCUSSION: These results suggest that contrast-enhanced MRI has the sensitivity to differentiate specific degrees of skeletal muscle strain injury, and imaging data are specifically representative of cellular histopathology quantified via stereological analyses.

Design of Scheduling Algorithms Using Game Theoretic Ideas

Scheduling a set of jobs over a collection of machines to optimize a certain quality-of-service measure is one of the most important research topics in both computer science theory and practice. In this thesis, we design algorithms that optimize {\em flow-time} (or delay) of jobs for scheduling problems that arise in a wide range of applications. We consider the classical model of unrelated machine scheduling and resolve several long standing open problems; we introduce new models that capture the novel algorithmic challenges in scheduling jobs in data centers or large clusters; we study the effect of selfish behavior in distributed and decentralized environments; we design algorithms that strive to balance the energy consumption and performance.

The technically interesting aspect of our work is the surprising connections we establish between approximation and online algorithms, economics, game theory, and queuing theory. It is the interplay of ideas from these different areas that lies at the heart of most of the algorithms presented in this thesis.

The main contributions of the thesis can be placed in one of the following categories.

1. Classical Unrelated Machine Scheduling: We give the first polygorithmic approximation algorithms for minimizing the average flow-time and minimizing the maximum flow-time in the offline setting. In the online and non-clairvoyant setting, we design the first non-clairvoyant algorithm for minimizing the weighted flow-time in the resource augmentation model. Our work introduces iterated rounding technique for the offline flow-time optimization, and gives the first framework to analyze non-clairvoyant algorithms for unrelated machines.

2. Polytope Scheduling Problem: To capture the multidimensional nature of the scheduling problems that arise in practice, we introduce Polytope Scheduling Problem (\psp). The \psp problem generalizes almost all classical scheduling models, and also captures hitherto unstudied scheduling problems such as routing multi-commodity flows, routing multicast (video-on-demand) trees, and multi-dimensional resource allocation. We design several competitive algorithms for the \psp problem and its variants for the objectives of minimizing the flow-time and completion time. Our work establishes many interesting connections between scheduling and market equilibrium concepts, fairness and non-clairvoyant scheduling, and queuing theoretic notion of stability and resource augmentation analysis.

3. Energy Efficient Scheduling: We give the first non-clairvoyant algorithm for minimizing the total flow-time + energy in the online and resource augmentation model for the most general setting of unrelated machines.

4. Selfish Scheduling: We study the effect of selfish behavior in scheduling and routing problems. We define a fairness index for scheduling policies called {\em bounded stretch}, and show that for the objective of minimizing the average (weighted) completion time, policies with small stretch lead to equilibrium outcomes with small price of anarchy. Our work gives the first linear/ convex programming duality based framework to bound the price of anarchy for general equilibrium concepts such as coarse correlated equilibrium.

A noisy linear map underlies oscillations in cell size and gene expression in bacteria.

During bacterial growth, a cell approximately doubles in size before division, after which it splits into two daughter cells. This process is subjected to the inherent perturbations of cellular noise and thus requires regulation for cell-size homeostasis. The mechanisms underlying the control and dynamics of cell size remain poorly understood owing to the difficulty in sizing individual bacteria over long periods of time in a high-throughput manner. Here we measure and analyse long-term, single-cell growth and division across different Escherichia coli strains and growth conditions. We show that a subset of cells in a population exhibit transient oscillations in cell size with periods that stretch across several (more than ten) generations. Our analysis reveals that a simple law governing cell-size control-a noisy linear map-explains the origins of these cell-size oscillations across all strains. This noisy linear map implements a negative feedback on cell-size control: a cell with a larger initial size tends to divide earlier, whereas one with a smaller initial size tends to divide later. Combining simulations of cell growth and division with experimental data, we demonstrate that this noisy linear map generates transient oscillations, not just in cell size, but also in constitutive gene expression. Our work provides new insights into the dynamics of bacterial cell-size regulation with implications for the physiological processes involved.

Optimizing the reliability of power electronics module isolation substrates

Optimal design of a power electronics module isolation substrate is assessed using a combination of finite element structural mechanics analysis and response surface optimisation technique. Primary failure modes in power electronics modules include the loss of structural integrity in the ceramic substrate materials due to stresses induced through thermal cycling. Analysis of the influence of ceramic substrate design parameters is undertaken using a design of experiments approach. Finite element analysis is used to determine the stress distribution for each design, and the results are used to construct a quadratic response surface function. A particle swarm optimisation algorithm is then used to determine the optimal substrate design. Analysis of response surface function gradients is used to perform sensitivity analysis and develop isolation substrate design rules. The influence of design uncertainties introduced through manufacturing tolerances is assessed using a Monte-Carlo algorithm, resulting in a stress distribution histogram. The probability of failure caused by the violation of design constraints has been analyzed. Six geometric design parameters are considered in this work and the most important design parameters have been identified. Overall analysis results can be used to enhance the design and reliability of the component.

Seasonality and interannual variability of the European Slope Current from 20 years of altimeter data compared with in situ measurements

The European Slope Current (SC) is a major section of the warm poleward flow from the Atlantic to the Arctic, which also moderates the exchange of heat, salt, nutrients and carbon between the deep ocean and the European shelf seas. The mean structure of the geostrophic flow, seasonality, interannual variability and long-term trend of SC are appraised with an unprecedented continuous 20-year satellite altimeter dataset. Comparisons with long term in situ data showed a maximum correlation of r2=0.51 between altimeter and Acoustic Doppler Current Profilers (ADCP), with similar results for drogued buoy data. Mean geostrophic currents were appraised more comprehensively than previous attempts, and the paths of 4 branches of the North Atlantic Current (NAC) and positions of 5 eddies in the region were derived quantitatively. A consistent seasonal cycle in the flow of the SC was found at all 8 sections along the European shelf slope, with maximum poleward flow in the winter and minimum in the summer. The seasonal difference in the altimetry current speed amounted to ~8-10 cm s-1 at the northern sections, but only ~5 cm s-1 on the Bay of Biscay slopes. This extended altimeter dataset indicates significant regional and seasonal variations, and has revealed new insights into the interannual variability of the SC. It is shown that there is a peak poleward flow at most positions along a ~2000 km stretch of the continental slope from Portugal to Scotland during 1995-1997, but this did not clearly relate to the extreme negative North Atlantic Oscillation (NAO) in the winter of 1995-1996. The speed of the SC exhibited a long term decreasing trend of ~1% per year. By contrast the NAC showed no significant trend over the 20-year period. Major changes in the NAC occurred three times, and these changes followed decreases in the NAO index.