On differentiability and analyticity of positive definite functions

We derive a set of differential inequalities for positive definite functions based on previous results derived for positive definite kernels by purely algebraic methods. Our main results show that the global behavior of a smooth positive definite function is, to a large extent, determined solely by the sequence of even-order derivatives at the origin: if a single one of these vanishes then the function is constant; if they are all non-zero and satisfy a natural growth condition, the function is real-analytic and consequently extends holomorphically to a maximal horizontal strip of the complex plane.

Low Complexity Intra Mode Selection for Efficient Distributed Video Coding

Motion compensated frame interpolation (MCFI) is one of the most efficient solutions to generate side information (SI) in the context of distributed video coding. However, it creates SI with rather significant motion compensated errors for some frame regions while rather small for some other regions depending on the video content. In this paper, a low complexity Infra mode selection algorithm is proposed to select the most 'critical' blocks in the WZ frame and help the decoder with some reliable data for those blocks. For each block, the novel coding mode selection algorithm estimates the encoding rate for the Intra based and WZ coding modes and determines the best coding mode while maintaining a low encoder complexity. The proposed solution is evaluated in terms of rate-distortion performance with improvements up to 1.2 dB regarding a WZ coding mode only solution.

Application of GIS-based multi-criteria analysis for site selection of aquifer recharge with reclaimed water

Reclaimed water from small wastewater treatment facilities in the rural areas of the Beira Interior region (Portugal) may constitute an alternative water source for aquifer recharge. A 21-month monitoring period in a constructed wetland treatment system has shown that 21,500 m(3) year(-1) of treated wastewater (reclaimed water) could be used for aquifer recharge. A GIS-based multi-criteria analysis was performed, combining ten thematic maps and economic, environmental and technical criteria, in order to produce a suitability map for the location of sites for reclaimed water infiltration. The areas chosen for aquifer recharge with infiltration basins are mainly composed of anthrosol with more than 1 m deep and fine sand texture, which allows an average infiltration velocity of up to 1 m d(-1). These characteristics will provide a final polishing treatment of the reclaimed water after infiltration (soil aquifer treatment (SAT)), suitable for the removal of the residual load (trace organics, nutrients, heavy metals and pathogens). The risk of groundwater contamination is low since the water table in the anthrosol areas ranges from 10 m to 50 m. Oil the other hand, these depths allow a guaranteed unsaturated area suitable for SAT. An area of 13,944 ha was selected for study, but only 1607 ha are suitable for reclaimed water infiltration. Approximately 1280 m(2) were considered enough to set up 4 infiltration basins to work in flooding and drying cycles.

Paleomagnetic study of the Great Foum Zguid dyke (southern Morocco): A positive contact test related to metasomatic processes

When a paleomagnetic pole is sought for in an igneous body, the host rocks should be subjected to a contact test to assure that the determined paleopole has the age of the intrusion. If the contact test is positive, it precludes the possibility that the measured magnetization is a later effect. Therefore, we investigated the variations of the remanent magnetization along cross-sections of rocks hosting the Foum Zguid dyke (southern Morocco) and the dyke itself. A positive contact test was obtained, but it is mainly related with Chemical/Crystalline Remanent Magnetization due to metasomatic processes in the host-rocks during magma intrusion and cooling, and not only with Thermo-Remanent Magnetization as ordinarily assumed in standard studies. Paleomagnetic data obtained within the dyke then reflect the Earth magnetic field during emplacement of this well-dated (196.9 +/- 1.8 Ma) intrusion.

Positive Solutions of the Dirichlet Problem for the One-dimensional Minkowski-Curvature Equation

We discuss existence and multiplicity of positive solutions of the Dirichlet problem for the quasilinear ordinary differential equation-(u' / root 1 - u'(2))' = f(t, u). Depending on the behaviour of f = f(t, s) near s = 0, we prove the existence of either one, or two, or three, or infinitely many positive solutions. In general, the positivity of f is not required. All results are obtained by reduction to an equivalent non-singular problem to which variational or topological methods apply in a classical fashion.

O papel da supervisão na avaliação de desempenho docente

Com as várias reformulações do processo de avaliação de desempenho docente (ADD), passou-se de um processo de avaliação dos professores assente na autoavaliação do docente, para um sistema de heteroavaliação que visa a prestação de contas e a seleção, mas também a melhoria de práticas e o desenvolvimento profissional, através do acompanhamento supervisivo. No entanto, a conciliação entre estas duas perspetivas não é fácil e tem gerado perplexidades e inquietações entre os avaliadores e entre os avaliados. Com este estudo, pretendemos conhecer a perspetiva de avaliadores e avaliados sobre o papel que a Supervisão detém no processo de avaliação de desempenho do professor e o seu contributo para o desenvolvimento profissional do professor e melhoria das práticas. Assim desenhou-se um plano de estudo qualitativo, exploratório e descritivo procurando captar o ponto de vista dos principais intervenientes no processo. O principal meio de recolha de dados foi a entrevista semiestruturada a 4 professores avaliadores e 4 professores avaliados do Departamento de Matemática e Ciências Experimentais de um Agrupamento de Escolas. Os resultados mostram que os docentes discordam do modelo de ADD, mas que o processo vivenciado teve caraterísticas positivas, dando os avaliadores especial relevância à oportunidade de conhecer outros processos de trabalho, a partir da observação de aulas. Avaliadores e avaliados referem ainda o bom relacionamento estabelecido entre ambos, contradizendo as preocupações expressas quando se pronunciaram sobre os problemas do modelo de avaliação. No entanto, ambos os subgrupos focam a falta de formação e qualificação profissional dos avaliadores. Em termos gerais, é possível concluir que a maior parte das dificuldades atribuídas pelos docentes ao modelo de ADD não foi depois sentida na implementação prática. Por outro lado, na opinião dos docentes, o processo experienciado não teve verdadeiro impacto na melhoria das práticas ou no desenvolvimento profissional dos docentes envolvidos. - Abstract The several reformulations of the process of the teacher performance evaluation made the process of evaluating teachers, which was first based on a self-evaluation change into a straight assessment system, which aims not only accountability and selection, but also the improvement of the practice and professional development through the supervision of the teaching practice. However, the conciliation between these perspectives has not been easy and has generated anxieties and perplexities among evaluators and evaluated. With this study we intend to know the perspective of the evaluators and of the evaluated concerning the role supervision has hold in the process of evaluating a teacher’s performance and its contribution to the professional development of the teacher and to the improvement of his practices. Thus, a qualitative, exploratory and descriptive study plan was drawn to get to know the viewpoint of the intervening ones in the process. The main means for data collection was based on a semi structured interview, targeting 4 teacher evaluators and 4 evaluated teachers of the Experimental Sciences and Mathematics Department of a group of Schools. The results show that teachers disagree with the teacher’s evaluation model, but the experienced process had positive characteristics. Besides, evaluators have given special relevance to the opportunity of getting to know other working methods thanks to the lessons’ observations. Evaluators and evaluated also refer the good relationship between both parts contradicting the fears they had when they first pronounced themselves about this evaluation model. However, both subgroups focus the lack of training and professional qualifications of the evaluators. So it’s possible to conclude that most worries mentioned by the teachers when referring to this model of teacher performance evaluation were not verified during its practical implementation. On the other hand, in the opinion of the involved teachers, the experienced process had no real impact on their practice improvement or on their professional development.

Positive solutions of fourth order problems with clamped beam boundary conditions

n this paper we make an exhaustive study of the fourth order linear operator u((4)) + M u coupled with the clamped beam conditions u(0) = u(1) = u'(0) = u'(1) = 0. We obtain the exact values on the real parameter M for which this operator satisfies an anti-maximum principle. Such a property is equivalent to the fact that the related Green's function is nonnegative in [0, 1] x [0, 1]. When M < 0 we obtain the best estimate by means of the spectral theory and for M > 0 we attain the optimal value by studying the oscillation properties of the solutions of the homogeneous equation u((4)) + M u = 0. By using the method of lower and upper solutions we deduce the existence of solutions for nonlinear problems coupled with this boundary conditions. (C) 2011 Elsevier Ltd. All rights reserved.

Programa de manutenção de aeronaves das companhias de aviação de baixo custo

Este trabalho aborda o Programa de Manutenção de Aeronaves das companhias de aviação de baixo custo, tendo como foco a análise e identificação dos requisitos legais e das metodologias de desenvolvimento de um Programa de Manutenção de uma aeronave e a comparação dos custos de manutenção de companhias de baixo custo com as companhias regulares. A aplicação eficaz de um programa de manutenção, para além de reduzir os seus custos, tem um impacto positivo na segurança, economia da manutenção e na fiabilidade de despacho. A metodologia utilizada foi a análise de informação de publicações e artigos. Com base na revisão de literaturas especializadas, fez-se uma selecção dos diversos aspectos necessários para se obter um Programa de Manutenção, o que permitiu construir o caso de estudo e efectuar a análise dos custos inerentes de manutenção de um operador aéreo de baixo custo e de um operador aéreo regular. Os resultados da análise permitiram chegar a veracidade da hipótese de que do ponto de vista de manutenção é igualmente seguro ou não seguro voar numa companhia de baixo custo e numa companhia regular, assim independentemente do tipo de companhia, ambas devem cumprir os requisitos para aprovação do PMA imposto pela autoridade aeronáutica, para garantir a aeronavegabilidade das aeronaves, ou seja, a sua segurança para a condição de voo, sem pôr em causa o carimbo baixo custo ou regular da companhia.

A comparação da qualidade dos momentos de interação em jogo livre entre mãe/ filho - pai /filho e mãe/criança – técnica/criança entre os 13 e 15 meses de idade

Dissertação apresentada para obtenção do grau de Mestre em Ciências da Educação Área de especialização em Intervenção Precoce

Modelo de data mining para deteção de embolias pulmonares

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Prática de ensino supervisionado no 1.º e 2.º ciclo do ensino básico: esquemas organizadores facilitadores da aprendizagem em História e Geografia

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino de 1.º e 2.º Ciclos do Ensino Básico

Feature selection for clustering categorical data with an embedded modelling approach

Research on the problem of feature selection for clustering continues to develop. This is a challenging task, mainly due to the absence of class labels to guide the search for relevant features. Categorical feature selection for clustering has rarely been addressed in the literature, with most of the proposed approaches having focused on numerical data. In this work, we propose an approach to simultaneously cluster categorical data and select a subset of relevant features. Our approach is based on a modification of a finite mixture model (of multinomial distributions), where a set of latent variables indicate the relevance of each feature. To estimate the model parameters, we implement a variant of the expectation-maximization algorithm that simultaneously selects the subset of relevant features, using a minimum message length criterion. The proposed approach compares favourably with two baseline methods: a filter based on an entropy measure and a wrapper based on mutual information. The results obtained on synthetic data illustrate the ability of the proposed expectation-maximization method to recover ground truth. An application to real data, referred to official statistics, shows its usefulness.

Práticas de avaliação formativa na aula de matemática: um estudo no 2º ciclo

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

ECG Biometrics: A Template Selection Approach

Electrocardiography (ECG) biometrics is emerging as a viable biometric trait. Recent developments at the sensor level have shown the feasibility of performing signal acquisition at the fingers and hand palms, using one-lead sensor technology and dry electrodes. These new locations lead to ECG signals with lower signal to noise ratio and more prone to noise artifacts; the heart rate variability is another of the major challenges of this biometric trait. In this paper we propose a novel approach to ECG biometrics, with the purpose of reducing the computational complexity and increasing the robustness of the recognition process enabling the fusion of information across sessions. Our approach is based on clustering, grouping individual heartbeats based on their morphology. We study several methods to perform automatic template selection and account for variations observed in a person's biometric data. This approach allows the identification of different template groupings, taking into account the heart rate variability, and the removal of outliers due to noise artifacts. Experimental evaluation on real world data demonstrates the advantages of our approach.

Enhancing Multimodal Silent Speech Interfaces With Feature Selection

In research on Silent Speech Interfaces (SSI), different sources of information (modalities) have been combined, aiming at obtaining better performance than the individual modalities. However, when combining these modalities, the dimensionality of the feature space rapidly increases, yielding the well-known "curse of dimensionality". As a consequence, in order to extract useful information from this data, one has to resort to feature selection (FS) techniques to lower the dimensionality of the learning space. In this paper, we assess the impact of FS techniques for silent speech data, in a dataset with 4 non-invasive and promising modalities, namely: video, depth, ultrasonic Doppler sensing, and surface electromyography. We consider two supervised (mutual information and Fisher's ratio) and two unsupervised (meanmedian and arithmetic mean geometric mean) FS filters. The evaluation was made by assessing the classification accuracy (word recognition error) of three well-known classifiers (knearest neighbors, support vector machines, and dynamic time warping). The key results of this study show that both unsupervised and supervised FS techniques improve on the classification accuracy on both individual and combined modalities. For instance, on the video component, we attain relative performance gains of 36.2% in error rates. FS is also useful as pre-processing for feature fusion. Copyright © 2014 ISCA.