Supervised Aggregative Feature Extraction for Big Data Time Series Regression

In many applications, and especially those where batch processes are involved, a target scalar output of interest is often dependent on one or more time series of data. With the exponential growth in data logging in modern industries such time series are increasingly available for statistical modeling in soft sensing applications. In order to exploit time series data for predictive modelling, it is necessary to summarise the information they contain as a set of features to use as model regressors. Typically this is done in an unsupervised fashion using simple techniques such as computing statistical moments, principal components or wavelet decompositions, often leading to significant information loss and hence suboptimal predictive models. In this paper, a functional learning paradigm is exploited in a supervised fashion to derive continuous, smooth estimates of time series data (yielding aggregated local information), while simultaneously estimating a continuous shape function yielding optimal predictions. The proposed Supervised Aggregative Feature Extraction (SAFE) methodology can be extended to support nonlinear predictive models by embedding the functional learning framework in a Reproducing Kernel Hilbert Spaces setting. SAFE has a number of attractive features including closed form solution and the ability to explicitly incorporate first and second order derivative information. Using simulation studies and a practical semiconductor manufacturing case study we highlight the strengths of the new methodology with respect to standard unsupervised feature extraction approaches.

Using Graph Components Derived from an Associative Concept Dictionary to Predict fMRI Neural Activation Patterns that Represent the Meaning of Nouns

In this study, we introduce an original distance definition for graphs, called the Markov-inverse-F measure (MiF). This measure enables the integration of classical graph theory indices with new knowledge pertaining to structural feature extraction from semantic networks. MiF improves the conventional Jaccard and/or Simpson indices, and reconciles both the geodesic information (random walk) and co-occurrence adjustment (degree balance and distribution). We measure the effectiveness of graph-based coefficients through the application of linguistic graph information for a neural activity recorded during conceptual processing in the human brain. Specifically, the MiF distance is computed between each of the nouns used in a previous neural experiment and each of the in-between words in a subgraph derived from the Edinburgh Word Association Thesaurus of English. From the MiF-based information matrix, a machine learning model can accurately obtain a scalar parameter that specifies the degree to which each voxel in (the MRI image of) the brain is activated by each word or each principal component of the intermediate semantic features. Furthermore, correlating the voxel information with the MiF-based principal components, a new computational neurolinguistics model with a network connectivity paradigm is created. This allows two dimensions of context space to be incorporated with both semantic and neural distributional representations.

Regularization and Bang-bang conjugate times in optimal control

Consideramos o problema de controlo óptimo de tempo mínimo para sistemas de controlo mono-entrada e controlo afim num espaço de dimensão finita com condições inicial e final fixas, onde o controlo escalar toma valores num intervalo fechado. Quando aplicamos o método de tiro a este problema, vários obstáculos podem surgir uma vez que a função de tiro não é diferenciável quando o controlo é bang-bang. No caso bang-bang os tempos conjugados são teoricamente bem definidos para este tipo de sistemas de controlo, contudo os algoritmos computacionais directos disponíveis são de difícil aplicação. Por outro lado, no caso suave o conceito teórico e prático de tempos conjugados é bem conhecido, e ferramentas computacionais eficazes estão disponíveis. Propomos um procedimento de regularização para o qual as soluções do problema de tempo mínimo correspondente dependem de um parâmetro real positivo suficientemente pequeno e são definidas por funções suaves em relação à variável tempo, facilitando a aplicação do método de tiro simples. Provamos, sob hipóteses convenientes, a convergência forte das soluções do problema regularizado para a solução do problema inicial, quando o parâmetro real tende para zero. A determinação de tempos conjugados das trajectórias localmente óptimas do problema regularizado enquadra-se na teoria suave conhecida. Provamos, sob hipóteses adequadas, a convergência do primeiro tempo conjugado do problema regularizado para o primeiro tempo conjugado do problema inicial bang-bang, quando o parâmetro real tende para zero. Consequentemente, obtemos um algoritmo eficiente para a computação de tempos conjugados no caso bang-bang.

Regularity of Wiener-Hopf plus Hankel operators

In this thesis we consider Wiener-Hopf-Hankel operators with Fourier symbols in the class of almost periodic, semi-almost periodic and piecewise almost periodic functions. In the first place, we consider Wiener-Hopf-Hankel operators acting between L2 Lebesgue spaces with possibly different Fourier matrix symbols in the Wiener-Hopf and in the Hankel operators. In the second place, we consider these operators with equal Fourier symbols and acting between weighted Lebesgue spaces Lp(R;w), where 1 < p < 1 and w belongs to a subclass of Muckenhoupt weights. In addition, singular integral operators with Carleman shift and almost periodic coefficients are also object of study. The main purpose of this thesis is to obtain regularity properties characterizations of those classes of operators. By regularity properties we mean those that depend on the kernel and cokernel of the operator. The main techniques used are the equivalence relations between operators and the factorization theory. An invertibility characterization for the Wiener-Hopf-Hankel operators with symbols belonging to the Wiener subclass of almost periodic functions APW is obtained, assuming that a particular matrix function admits a numerical range bounded away from zero and based on the values of a certain mean motion. For Wiener-Hopf-Hankel operators acting between L2-spaces and with possibly different AP symbols, criteria for the semi-Fredholm property and for one-sided and both-sided invertibility are obtained and the inverses for all possible cases are exhibited. For such results, a new type of AP factorization is introduced. Singular integral operators with Carleman shift and scalar almost periodic coefficients are also studied. Considering an auxiliar and simpler operator, and using appropriate factorizations, the dimensions of the kernels and cokernels of those operators are obtained. For Wiener-Hopf-Hankel operators with (possibly different) SAP and PAP matrix symbols and acting between L2-spaces, criteria for the Fredholm property are presented as well as the sum of the Fredholm indices of the Wiener-Hopf plus Hankel and Wiener-Hopf minus Hankel operators. By studying dependencies between different matrix Fourier symbols of Wiener-Hopf plus Hankel operators acting between L2-spaces, results about the kernel and cokernel of those operators are derived. For Wiener-Hopf-Hankel operators acting between weighted Lebesgue spaces, Lp(R;w), a study is made considering equal scalar Fourier symbols in the Wiener-Hopf and in the Hankel operators and belonging to the classes of APp;w, SAPp;w and PAPp;w. It is obtained an invertibility characterization for Wiener-Hopf plus Hankel operators with APp;w symbols. In the cases for which the Fourier symbols of the operators belong to SAPp;w and PAPp;w, it is obtained semi-Fredholm criteria for Wiener-Hopf-Hankel operators as well as formulas for the Fredholm indices of those operators.

Calculus of variations on time scales and applications to economics

We consider some problems of the calculus of variations on time scales. On the beginning our attention is paid on two inverse extremal problems on arbitrary time scales. Firstly, using the Euler-Lagrange equation and the strengthened Legendre condition, we derive a general form for a variation functional that attains a local minimum at a given point of the vector space. Furthermore, we prove a necessary condition for a dynamic integro-differential equation to be an Euler-Lagrange equation. New and interesting results for the discrete and quantum calculus are obtained as particular cases. Afterwards, we prove Euler-Lagrange type equations and transversality conditions for generalized infinite horizon problems. Next we investigate the composition of a certain scalar function with delta and nabla integrals of a vector valued field. Euler-Lagrange equations in integral form, transversality conditions, and necessary optimality conditions for isoperimetric problems, on an arbitrary time scale, are proved. In the end, two main issues of application of time scales in economic, with interesting results, are presented. In the former case we consider a firm that wants to program its production and investment policies to reach a given production rate and to maximize its future market competitiveness. The model which describes firm activities is studied in two different ways: using classical discretizations; and applying discrete versions of our result on time scales. In the end we compare the cost functional values obtained from those two approaches. The latter problem is more complex and relates to rate of inflation, p, and rate of unemployment, u, which inflict a social loss. Using known relations between p, u, and the expected rate of inflation π, we rewrite the social loss function as a function of π. We present this model in the time scale framework and find an optimal path π that minimizes the total social loss over a given time interval.

Source localization with vector sensor array during the makai experiment

Vector sensors measure both the acoustic pressure and the three components of particle velocity. Because of this, a vector sensor array (VSA) has the advantage of being able to provide substantially higher directivity with a much smaller aperture than an array of traditional scalar (pressure only) hydrophones. Although several, most of them theoretic, works were published from early nineties, only in the last years due to improvements and availability of vector sensor technology, the interest on field experiments with VSA increased in the scientific community. During the Makai Experiment, that took place off the coast of Kauai I., Hawaii, in September 2005, real data were collected with a 4 element vertical VSA. These data will be discussed in the present paper. The acoustic signals were emitted from a near source (low frequency ship noise) and two high frequency controlled acoustic sources located within a range of 2km from the VSA. The advantages of the VSA over traditional scalar hydrophone arrays in source localization will be addressed using conventional beamforming.

Quantitative evaluation of three reconfiguration strategies on FPGAs: a case study

Reconfigurable computing is becoming an important new alternative for implementing computations. Field programmable gate arrays (FPGAs) are the ideal integrated circuit technology to experiment with the potential benefits of using different strategies of circuit specialization by reconfiguration. The final form of the reconfiguration strategy is often non-trivial to determine. Consequently, in this paper, we examine strategies for reconfiguration and, based on our experience, propose general guidelines for the tradeoffs using an area-time metric called functional density. Three experiments are set up to explore different reconfiguration strategies for FPGAs applied to a systolic implementation of a scalar quantizer used as a case study. Quantitative results for each experiment are given. The regular nature of the example means that the results can be generalized to a wide class of industry-relevant problems based on arrays.

Territories of scarcity and creativity: a critical view of informal settlements and emerging tactics under conditions of scarcity in Nairobi, Kenya and Quito, Ecuador

This thesis explores the processes through which scarcity is constructed in informal settlements and how conditions emerging within its limits gives way to particular socio-spatial phenomena and influence the emergence of self-organisation and creative strategies from a non-expert perspective. At the same time, this thesis deconstructs these emerging tactics (reactive and transformative) in a diagrammatic way to generate a critical study of their potential for socio-spatial change that goes beyond the everyday survival. Most people associate scarcity with “not having enough” of something, most usually of a material nature. In contrast, this paper is based on the premise that scarcity is a constructed condition, therefore exploring it beyond its immediate manifestation and illustrating its discursive, distributive and socio-material components. In this line, the research uses Assemblage Theory as both an approach and a tool for analysis. This approach allows the research to depart from everyday narratives of the residents, and gradually evolve into a multi-scalar, non-linear reading of scarcity, by following leads into different realms and unpacking a series of routine events to uncover their connections to wider processes and particular elements affecting the settlement and the city as a whole. For this purpose, the research is based on a qualitative, flexible and multi-sited methodology, using different case studies as testing grounds. Collected data stems from a 11-months ethnographic fieldwork in informal settlements in Ecuador and Kenya, analysing the socio-spatial practices and strategies deployed by the different actors producing the built environment and arising from everyday and latent experiences of scarcity. The thesis examines the multi-scalar nature of these strategies, including self-building and management tactics, the mobilisation of grassroots organisations, the innovative ways of collaborating deployed by different coalitions and the reformulation of urban development policies. As outcomes of the research, the thesis will show illustrative diagrams that allow a better understanding of, firstly, the construction of scarcity in the built environment beyond its immediate manifestation and secondly, the way that emerging tactics a) improve existing conditions of scarcity, b) reinforce the status quo or c) contribute to the worsening of the original condition. Therefore, this thesis aims to offer lessons with both practical and theoretical considerations, by firstly, giving an insight into the complexity and transcalar nature of the construction of scarcity in informal settlements; secondly, by illustrating how acute conditions related to scarcity gives birth to a plethora of particular phenomena shaping the territory, social relationships and processes; and thirdly, by identifying specific characteristics within the informal that might allow for new readings of the city and possibilities for socio-spatial change under conditions of scarcity.

Desenvolvendo o pensamento algébrico no 2.º ciclo do ensino básico: o sentido dos símbolos e da generalização

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção do grau de mestre em Educação Matemática na Educação Pré-escolar e nos 1.º e 2.º Ciclos do Ensino Básico

Simulation of the magnetic induction vector of a magnetic core to be used in FFC NMR relaxometry

This paper is a contribution for the assessment and comparison of magnet properties based on magnetic field characteristics particularly concerning the magnetic induction uniformity in the air gaps. For this aim, a solver was developed and implemented to determine the magnetic field of a magnetic core to be used in Fast Field Cycling (FFC) Nuclear Magnetic Resonance (NMR) relaxometry. The electromagnetic field computation is based on a 2D finite-element method (FEM) using both the scalar and the vector potential formulation. Results for the magnetic field lines and the magnetic induction vector in the air gap are presented. The target magnetic induction is 0.2 T, which is a typical requirement of the FFC NMR technique, which can be achieved with a magnetic core based on permanent magnets or coils. In addition, this application requires high magnetic induction uniformity. To achieve this goal, a solution including superconducting pieces is analyzed. Results are compared with a different FEM program.

Que faire du couple local/global ? Pour une anthropologie pleinement processuelle

This article examines the uses of the local/global dichotomy in anthropology. It is argued that the use of these terms as analytical tools tends to lead to a reification of "global forces" seen as external to the local site where the ethnographic study takes place. To avoid endless debates on whether or not the "global" can be the object of ethnographic scrutiny, anthropologists should treat the local and the global as scalar properties of social systems that are generated in the course of historical processes.

The career indecision profile : measurement equivalence in two international samples

This study tested for the measurement equivalence of a four-factor measure of career indecision (Career Indecision Profile-65 [CIP-65]) between a U.S. sample and two international samples; one composed of French-speaking young adults from France and Switzerland and the other of Italian ado- lescents. Previous research had supported the four-factor structure of the CIP-65 in both the United States and Iceland but also showed that items on two of the four scales may be interpreted differently by young adults growing up in these two countries. This study extends previous research by testing whether the four CIP-65 factors are measured equivalently in two additional international samples. Results largely supported the configural and metric invariance of the CIP-65 in the United States and international samples, but several scales showed a lack of scalar invariance. Some explanations are offered for these findings along with suggestions for future research and implications for practice.

Psychometric properties of the Marlowe-Crowne Social Desirability Scale in eight African countries and Switzerland

The purpose of this study was to assess the cross-cultural validity of the Marlowe-Crowne Social Desirability scale short form C, in a large sample of French-speaking participants from eight African countries and Switzerland. Exploratory and confirmatory analyses suggested retaining a two-factor structure. Item bias detection according to country was conducted for all 13 items and effect was calculated with R2. For the two-factor solution, 9 items were associated with a negligible effect size, 3 items with a moderate one, and 1 item with a large one. A series of analyses of covariance considering the acquiescence variable as a covariate showed that the acquiescence tendency does not contribute to the bias at item level. This research indicates that the psychometric properties of this instrument do not reach a scalar equivalence but that a culturally reliable measurement of social desirability could be developed.

Validation of an Adapted French Form of the Career Adapt-Abilities Scale in four Francophone Countries

This study presents the validation of a French version of the Career Adapt-Abilities Scale in four Francophone countries. The aim was to re-analyze the item selection and then compare this newly developed French-language form with the international form 2.0. Exploratory factor analysis was used as a tool for item selection, and confirmatory factor analysis (CFA) verified the structure of the CAAS French-language form. Measurement equivalence across the four countries was tested using multi-group CFA. Adults and adolescents (N=1,707) participated from Switzerland, Belgium, Luxembourg, and France. Items chosen for the final version of the CAAS French-language form are different to those in the CAAS international form 2.0 and provide an improvement in terms of reliability. The factor structure is replicable across country, age, and gender. Strong evidence for metric invariance and partial evidence for scalar invariance of the CAAS French-language form across countries is given. The CAAS French-language and CAAS international form 2.0 can be used in a combined form of 31 items. The CAAS French-language form will certainly be interesting for practitioners using interventions based on the life design paradigm or aiming at increasing career adapt-ability.

Scales, networks and uncertainty : an examination of environmental policy-making in Ontario

Through a case-study analysis of Ontario's ethanol policy, this thesis addresses a number of themes that are consequential to policy and policy-making: spatiality, democracy and uncertainty. First, I address the 'spatial debate' in Geography pertaining to the relevance and affordances of a 'scalar' versus a 'flat' ontoepistemology. I argue that policy is guided by prior arrangements, but is by no means inevitable or predetermined. As such, scale and network are pragmatic geographical concepts that can effectively address the issue of the spatiality of policy and policy-making. Second, I discuss the democratic nature of policy-making in Ontario through an examination of the spaces of engagement that facilitate deliberative democracy. I analyze to what extent these spaces fit into Ontario's environmental policy-making process, and to what extent they were used by various stakeholders. Last, I take seriously the fact that uncertainty and unavoidable injustice are central to policy, and examine the ways in which this uncertainty shaped the specifics of Ontario's ethanol policy. Ultimately, this thesis is an exercise in understanding sub-national environmental policy-making in Canada, with an emphasis on how policy-makers tackle the issues they are faced with in the context of environmental change, political-economic integration, local priorities, individual goals, and irreducible uncertainty.