Learning Binary Code Representations for Effective and Efficient Image Retrieval

The size of online image datasets is constantly increasing. Considering an image dataset with millions of images, image retrieval becomes a seemingly intractable problem for exhaustive similarity search algorithms. Hashing methods, which encodes high-dimensional descriptors into compact binary strings, have become very popular because of their high efficiency in search and storage capacity. In the first part, we propose a multimodal retrieval method based on latent feature models. The procedure consists of a nonparametric Bayesian framework for learning underlying semantically meaningful abstract features in a multimodal dataset, a probabilistic retrieval model that allows cross-modal queries and an extension model for relevance feedback. In the second part, we focus on supervised hashing with kernels. We describe a flexible hashing procedure that treats binary codes and pairwise semantic similarity as latent and observed variables, respectively, in a probabilistic model based on Gaussian processes for binary classification. We present a scalable inference algorithm with the sparse pseudo-input Gaussian process (SPGP) model and distributed computing. In the last part, we define an incremental hashing strategy for dynamic databases where new images are added to the databases frequently. The method is based on a two-stage classification framework using binary and multi-class SVMs. The proposed method also enforces balance in binary codes by an imbalance penalty to obtain higher quality binary codes. We learn hash functions by an efficient algorithm where the NP-hard problem of finding optimal binary codes is solved via cyclic coordinate descent and SVMs are trained in a parallelized incremental manner. For modifications like adding images from an unseen class, we propose an incremental procedure for effective and efficient updates to the previous hash functions. Experiments on three large-scale image datasets demonstrate that the incremental strategy is capable of efficiently updating hash functions to the same retrieval performance as hashing from scratch.

FREQUENCY DOMAIN CHARACTERIZATION OF OPTIC FLOW AND VISION-BASED OCELLAR SENSING FOR ROTATIONAL MOTION

The structure of an animal’s eye is determined by the tasks it must perform. While vertebrates rely on their two eyes for all visual functions, insects have evolved a wide range of specialized visual organs to support behaviors such as prey capture, predator evasion, mate pursuit, flight stabilization, and navigation. Compound eyes and ocelli constitute the vision forming and sensing mechanisms of some flying insects. They provide signals useful for flight stabilization and navigation. In contrast to the well-studied compound eye, the ocelli, seen as the second visual system, sense fast luminance changes and allows for fast visual processing. Using a luminance-based sensor that mimics the insect ocelli and a camera-based motion detection system, a frequency-domain characterization of an ocellar sensor and optic flow (due to rotational motion) are analyzed. Inspired by the insect neurons that make use of signals from both vision sensing mechanisms, advantages, disadvantages and complementary properties of ocellar and optic flow estimates are discussed.

Why are some cyano-based ionic liquids better glucose solvents than water?

Among different classes of ionic liquids (ILs), those with cyano-based anions have been of special interest due to their low viscosity and enhanced solvation ability for a large variety of compounds. Experimental results from this work reveal that the solubility of glucose in some of these ionic liquids may be higher than in water – a well-known solvent with enhanced capacity to dissolve mono- and disaccharides. This raises questions on the ability of cyano groups to establish strong hydrogen bonds with carbohydrates and on the optimal number of cyano groups at the IL anion that maximizes the solubility of glucose. In addition to experimental solubility data, these questions are addressed in this study using a combination of density functional theory (DFT) and molecular dynamics (MD) simulations. Through the calculation of the number of hydrogen bonds, coordination numbers, energies of interaction and radial and spatial distribution functions, it was possible to explain the experimental results and to show that the ability to favorably interact with glucose is driven by the polarity of each IL anion, with the optimal anion being dicyanamide.

Multibiomarker assessment of cadmium-based quantum dots effects in the marine mussel Mytilus galloprovincialis

Tese de Doutoramento, Ciências do Mar, da Terra e do Ambiente, Ramo: Ciências e Tecnologias do Ambiente, Especialização em Ecotoxicologia, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2016

Evaluation of confidence-driven cost aggregation strategies

In this thesis I describe eight new stereo matching algorithms that perform the cost-aggregation step using a guided filter with a confidence map as guidance image, and share the structure of a linear stereo matching algorithm. The results of the execution of the proposed algorithms on four pictures from the Middlebury dataset are shown as well. Finally, based on these results, a ranking of the proposed algorithms is presented.

Mathematical models for cellular aggregation: the chemotactic instability and clustering formation

In this thesis we present a mathematical formulation of the interaction between microorganisms such as bacteria or amoebae and chemicals, often produced by the organisms themselves. This interaction is called chemotaxis and leads to cellular aggregation. We derive some models to describe chemotaxis. The first is the pioneristic Keller-Segel parabolic-parabolic model and it is derived by two different frameworks: a macroscopic perspective and a microscopic perspective, in which we start with a stochastic differential equation and we perform a mean-field approximation. This parabolic model may be generalized by the introduction of a degenerate diffusion parameter, which depends on the density itself via a power law. Then we derive a model for chemotaxis based on Cattaneo's law of heat propagation with finite speed, which is a hyperbolic model. The last model proposed here is a hydrodynamic model, which takes into account the inertia of the system by a friction force. In the limit of strong friction, the model reduces to the parabolic model, whereas in the limit of weak friction, we recover a hyperbolic model. Finally, we analyze the instability condition, which is the condition that leads to aggregation, and we describe the different kinds of aggregates we may obtain: the parabolic models lead to clusters or peaks whereas the hyperbolic models lead to the formation of network patterns or filaments. Moreover, we discuss the analogy between bacterial colonies and self gravitating systems by comparing the chemotactic collapse and the gravitational collapse (Jeans instability).

System-on-a-Chip (SoC) based Hardware Acceleration in Register Transfer Level (RTL) Design

Today, modern System-on-a-Chip (SoC) systems have grown rapidly due to the increased processing power, while maintaining the size of the hardware circuit. The number of transistors on a chip continues to increase, but current SoC designs may not be able to exploit the potential performance, especially with energy consumption and chip area becoming two major concerns. Traditional SoC designs usually separate software and hardware. Thus, the process of improving the system performance is a complicated task for both software and hardware designers. The aim of this research is to develop hardware acceleration workflow for software applications. Thus, system performance can be improved with constraints of energy consumption and on-chip resource costs. The characteristics of software applications can be identified by using profiling tools. Hardware acceleration can have significant performance improvement for highly mathematical calculations or repeated functions. The performance of SoC systems can then be improved, if the hardware acceleration method is used to accelerate the element that incurs performance overheads. The concepts mentioned in this study can be easily applied to a variety of sophisticated software applications. The contributions of SoC-based hardware acceleration in the hardware-software co-design platform include the following: (1) Software profiling methods are applied to H.264 Coder-Decoder (CODEC) core. The hotspot function of aimed application is identified by using critical attributes such as cycles per loop, loop rounds, etc. (2) Hardware acceleration method based on Field-Programmable Gate Array (FPGA) is used to resolve system bottlenecks and improve system performance. The identified hotspot function is then converted to a hardware accelerator and mapped onto the hardware platform. Two types of hardware acceleration methods – central bus design and co-processor design, are implemented for comparison in the proposed architecture. (3) System specifications, such as performance, energy consumption, and resource costs, are measured and analyzed. The trade-off of these three factors is compared and balanced. Different hardware accelerators are implemented and evaluated based on system requirements. 4) The system verification platform is designed based on Integrated Circuit (IC) workflow. Hardware optimization techniques are used for higher performance and less resource costs. Experimental results show that the proposed hardware acceleration workflow for software applications is an efficient technique. The system can reach 2.8X performance improvements and save 31.84% energy consumption by applying the Bus-IP design. The Co-processor design can have 7.9X performance and save 75.85% energy consumption.

Incentive based policies on climate change: taxes and tradable emssions permits

The reduction of Greenhouse Gases (GHG) plays a central role in the environmental policies considered by countries for implementation not only at its own level but also at supranational levels. This thesis is dedicated to investigate some aspects of two of the most relevant climate change policies. The first part is dedicated to emission permit markets and the second part to optimal carbon taxes. On emission permit markets we explore the strategic behavior of oligopolistic firms operating in polluting industrial sectors that are regulated by cap and trade systems. Our aim is to identify how market power influences the main results obtained under perfect competition assumptions and to understand how actions taken in one market affects the outcome of the other related market. A partial equilibrium model is developed for this purpose with specific abatement cost functions. In Chapter 2 we use the model to explain some of the most relevant literature results. In Chapter 3 the model is used to analyze different oligopolistic structures in the product market under the assumption of competitive permits market. There are two significant findings. Firstly, under the assumption of a Stackelberg oligopoly, firms have no incentives for lobbying in order to manipulate permit prices up, as they have under Cournot competition...

The actinin family of actin crosslinking proteins: natural functions and potential applications in synthetic biology

Actinin and spectrin proteins are members of the Spectrin Family of Actin Crosslinking Proteins. The importance of these proteins in the cytoskeleton is demonstrated by the fact that they are common targets for disease causing mutations. In their most prominent roles, actinin and spectrin are responsible for stabilising and maintaining the muscle architecture during contraction, and providing shape and elasticity to the red blood cell in circulation, respectively. To carry out such roles, actinin and spectrin must possess important mechanical and physical properties. These attributes are desirable when choosing a building block for protein-based nanoconstruction. In this study, I assess the contribution of several disease-associated mutations in the actinin-1 actin binding domain that have recently been linked to a rare platelet disorder, congenital macrothrombocytopenia. I investigate the suitability of both actinin and spectrin proteins as potential building blocks for nanoscale structures, and I evaluate a fusion-based assembly strategy to bring about self-assembly of protein nanostructures. I report that the actinin-1 mutant proteins display increased actin binding compared to WT actinin-1 proteins. I find that both actinin and spectrin proteins exhibit enormous potential as nano-building blocks in terms of their stability and ability to self-assemble, and I successfully design and create homodimeric and heterodimeric bivalent building blocks using the fusion-based assembly strategy. Overall, this study has gathered helpful information that will contribute to furthering the advancement of actinin and spectrin knowledge in terms of their natural functions, and potential unnatural functions in protein nanotechnology.

Preference inference based on Pareto models

In this paper, we consider Preference Inference based on a generalised form of Pareto order. Preference Inference aims at reasoning over an incomplete specification of user preferences. We focus on two problems. The Preference Deduction Problem (PDP) asks if another preference statement can be deduced (with certainty) from a set of given preference statements. The Preference Consistency Problem (PCP) asks if a set of given preference statements is consistent, i.e., the statements are not contradicting each other. Here, preference statements are direct comparisons between alternatives (strict and non-strict). It is assumed that a set of evaluation functions is known by which all alternatives can be rated. We consider Pareto models which induce order relations on the set of alternatives in a Pareto manner, i.e., one alternative is preferred to another only if it is preferred on every component of the model. We describe characterisations for deduction and consistency based on an analysis of the set of evaluation functions, and present algorithmic solutions and complexity results for PDP and PCP, based on Pareto models in general and for a special case. Furthermore, a comparison shows that the inference based on Pareto models is less cautious than some other types of well-known preference model.

Integration of process planning and scheduling using mobile-agent based approach in a networked manufacturing environment

Effective and efficient implementation of intelligent and/or recently emerged networked manufacturing systems require an enterprise level integration. The networked manufacturing offers several advantages in the current competitive atmosphere by way to reduce, by shortening manufacturing cycle time and maintaining the production flexibility thereby achieving several feasible process plans. The first step in this direction is to integrate manufacturing functions such as process planning and scheduling for multi-jobs in a network based manufacturing system. It is difficult to determine a proper plan that meets conflicting objectives simultaneously. This paper describes a mobile-agent based negotiation approach to integrate manufacturing functions in a distributed manner; and its fundamental framework and functions are presented. Moreover, ontology has been constructed by using the Protégé software which possesses the flexibility to convert knowledge into Extensible Markup Language (XML) schema of Web Ontology Language (OWL) documents. The generated XML schemas have been used to transfer information throughout the manufacturing network for the intelligent interoperable integration of product data models and manufacturing resources. To validate the feasibility of the proposed approach, an illustrative example along with varied production environments that includes production demand fluctuations is presented and compared the proposed approach performance and its effectiveness with evolutionary algorithm based Hybrid Dynamic-DNA (HD-DNA) algorithm. The results show that the proposed scheme is very effective and reasonably acceptable for integration of manufacturing functions.

Obtaining environmental favourability functions from logistic regression

Logistic regression is a statistical tool widely used for predicting species’ potential distributions starting from presence/absence data and a set of independent variables. However, logistic regression equations compute probability values based not only on the values of the predictor variables but also on the relative proportion of presences and absences in the dataset, which does not adequately describe the environmental favourability for or against species presence. A few strategies have been used to circumvent this, but they usually imply an alteration of the original data or the discarding of potentially valuable information. We propose a way to obtain from logistic regression an environmental favourability function whose results are not affected by an uneven proportion of presences and absences. We tested the method on the distribution of virtual species in an imaginary territory. The favourability models yielded similar values regardless of the variation in the presence/absence ratio. We also illustrate with the example of the Pyrenean desman’s (Galemys pyrenaicus) distribution in Spain. The favourability model yielded more realistic potential distribution maps than the logistic regression model. Favourability values can be regarded as the degree of membership of the fuzzy set of sites whose environmental conditions are favourable to the species, which enables applying the rules of fuzzy logic to distribution modelling. They also allow for direct comparisons between models for species with different presence/absence ratios in the study area. This makes themmore useful to estimate the conservation value of areas, to design ecological corridors, or to select appropriate areas for species reintroductions.

Semi-implicit finite strain constitutive integration and mixed strain/stress control based on intermediate configurations

A new semi-implicit stress integration algorithm for finite strain plasticity (compatible with hyperelas- ticity) is introduced. Its most distinctive feature is the use of different parameterizations of equilibrium and reference configurations. Rotation terms (nonlinear trigonometric functions) are integrated explicitly and correspond to a change in the reference configuration. In contrast, relative Green–Lagrange strains (which are quadratic in terms of displacements) represent the equilibrium configuration implicitly. In addition, the adequacy of several objective stress rates in the semi-implicit context is studied. We para- metrize both reference and equilibrium configurations, in contrast with the so-called objective stress integration algorithms which use coinciding configurations. A single constitutive framework provides quantities needed by common discretization schemes. This is computationally convenient and robust, as all elements only need to provide pre-established quantities irrespectively of the constitutive model. In this work, mixed strain/stress control is used, as well as our smoothing algorithm for the complemen- tarity condition. Exceptional time-step robustness is achieved in elasto-plastic problems: often fewer than one-tenth of the typical number of time increments can be used with a quantifiable effect in accuracy. The proposed algorithm is general: all hyperelastic models and all classical elasto-plastic models can be employed. Plane-stress, Shell and 3D examples are used to illustrate the new algorithm. Both isotropic and anisotropic behavior is presented in elasto-plastic and hyperelastic examples.

Real-Time Engine Diagnostic and Control Based on Acoustic Emissions Analysis

Engine developers are putting more and more emphasis on the research of maximum thermal and mechanical efficiency in the recent years. Research advances have proven the effectiveness of downsized, turbocharged and direct injection concepts, applied to gasoline combustion systems, to reduce the overall fuel consumption while respecting exhaust emissions limits. These new technologies require more complex engine control units. The sound emitted from a mechanical system encloses many information related to its operating condition and it can be used for control and diagnostic purposes. The thesis shows how the functions carried out from different and specific sensors usually present on-board, can be executed, at the same time, using only one multifunction sensor based on low-cost microphone technology. A theoretical background about sound and signal processing is provided in chapter 1. In modern turbocharged downsized GDI engines, the achievement of maximum thermal efficiency is precluded by the occurrence of knock. Knock emits an unmistakable sound perceived by the human ear like a clink. In chapter 2, the possibility of using this characteristic sound for knock control propose, starting from first experimental assessment tests, to the implementation in a real, production-type engine control unit will be shown. Chapter 3 focus is on misfire detection. Putting emphasis on the low frequency domain of the engine sound spectrum, features related to each combustion cycle of each cylinder can be identified and isolated. An innovative approach to misfire detection, which presents the advantage of not being affected by the road and driveline conditions is introduced. A preliminary study of air path leak detection techniques based on acoustic emissions analysis has been developed, and the first experimental results are shown in chapter 4. Finally, in chapter 5, an innovative detection methodology, based on engine vibration analysis, that can provide useful information about combustion phase is reported.

Exploring novel targeted therapeutic strategies against Acute Myeloid Leukemia cells based on inhibition of bromodomain proteins and CDC20 activity

Acute myeloid leukemia (AML) is a haematological malignancies arising from the accumulation of undifferentiated myeloid progenitors with an uncontrolled proliferation. The genomic landscape of AML revealed that the disease is characterized by high level of heterogeneity and is subjected to clonal evolution driven by selective pressure of chemotherapy. In this study, we investigated the therapeutic effects of the inhibition of BRD4 and CDC20 in vitro and ex vivo. We demonstrated that inhibition of BRD4 with GSK1215101A in AML cell lines was effective under hypoxia. It induced the activation of antioxidant response both, at transcriptomic and metabolomic levels, driven by enrichment of NRF2 pathway under normoxic and hypoxic condition. Moreover, the combined treatment with Omaveloxolone, a drug inducing NRF2 activation and NF-κB inhibition, potentiated the effects on apoptosis and colony forming capacity of stem progenitor cells. Lastly, gene expression profiling data revealed that combination treatment induced major changes in genes related to cell cycle, together with enrichment of cell differentiation pathways and negative regulation of WNT, in normoxia and hypoxia. Regarding CDC20, we observed its up-regulation in AML patients. Treatment with two different inhibitors, Apcin and proTAME, was effective in primary AML cells and in AML cell lines, through induction of apoptosis and mitotic arrest. The lack of correlation between proliferation markers and CDC20 levels in AML cell subpopulations supports the idea of alternative CDC20 functions, independent from its essential role during mitosis. CDC20-KD experiments conducted in AML cell lines revealed a mild effect on apoptosis induction, but no significant change in cell cycle progression. In summary, these results allowed the identification of a new strategy combination to improve the effects of BRD4 inhibition on LSC residing in the BM hypoxic niche, and provide some new evidence regarding the potential role of CDC20 as a new target for AML treatment.