An alternative educational indicator for classifying secondary schools in Portugal

The purpose of this paper aims at carrying out a study in the area of Statistics for classifying Portuguese Secondary Schools (both mainland and islands: “Azores” and “Madeira”), taking into account the results achieved by their students in both national examinations and internal assessment. The main according consists of identifying groups of schools with different performance levels by considering the sub-national public and private education systems’ as well as their respective geographic location. For this, we developed an alternative educational indicator for the so-called Secondary Education indicator rankings released since 2001 by the Portuguese media.

Recurrence relations for Clifford algebra-valued orthogonal polynomials

The theory of orthogonal polynomials of one real or complex variable is well established as well as its generalization for the multidimensional case. Hypercomplex function theory (or Clifford analysis) provides an alternative approach to deal with higher dimensions. In this context, we study systems of orthogonal polynomials of a hypercomplex variable with values in a Clifford algebra and prove some of their properties.

Pointlike reducibility of pseudovarieties of the form V*D

In this paper, we investigate the reducibility property of semidirect products of the form V *D relatively to (pointlike) systems of equations of the form x1 =...= xn, where D denotes the pseudovariety of definite semigroups. We establish a connection between pointlike reducibility of V*D and the pointlike reducibility of the pseudovariety V. In particular, for the canonical signature consisting of the multiplication and the (omega-1)-power, we show that V*D is pointlike-reducible when V is pointlike-reducible.

A new perspective of students allocation satisfaction in engineering courses in Portugal

Publicado em "AIP Conference Proceedings" Vol. 1648

Forecasting time series combining Holt-Winters and bootstrap approaches

Publicado em "AIP Conference Proceedings", Vol. 1648

A metodologia Bootstrap associada ao método de Holt-Winters na previsão de séries temporais

Os métodos de alisamento exponencial são muito utilizados na modelação e previsão de séries temporais, devido à sua versatilidade e opção de modelos que integram. Na estatística computacional, a metodologia Bootstrap é muito aplicada em inferência estatística no âmbito de séries temporais. Este estudo teve como principal objectivo analisar o desempenho do método de Holt-Winters associado à metodologia Bootstrap, como um processo alternativo na modelação e previsão de séries temporais.

Estudo do papel mediador de variáveis psicológicas na relação entre a intenção e a prática de exercício físico

Aplicando Modelos de Equações Estruturais pretendeu-se avaliar os efeitos da teoria do comportamento planeado (TPB) na explicação do comportamento de exercício físico, mediada por um conjunto de variáveis psicológicas relacionadas com o modelo transteórico (TTM), o modelo de ação na saúde (HAPA) e as experiências subjetivas de exercício (SEE). O modelo teórico proposto foi avaliado numa amostra de 454 participantes que praticavam exercício num centro de fitness.

The role of automatic shape and position recognitionin streamlining manufacturing

The main features of most components consist of simple basic functional geometries: planes, cylinders, spheres and cones. Shape and position recognition of these geometries is essential for dimensional characterization of components, and represent an important contribution in the life cycle of the product, concerning in particular the manufacturing and inspection processes of the final product. This work aims to establish an algorithm to automatically recognize such geometries, without operator intervention. Using differential geometry large volumes of data can be treated and the basic functional geometries to be dealt recognized. The original data can be obtained by rapid acquisition methods, such as 3D survey or photography, and then converted into Cartesian coordinates. The satisfaction of intrinsic decision conditions allows different geometries to be fast identified, without operator intervention. Since inspection is generally a time consuming task, this method reduces operator intervention in the process. The algorithm was first tested using geometric data generated in MATLAB and then through a set of data points acquired by measuring with a coordinate measuring machine and a 3D scan on real physical surfaces. Comparison time spent in measuring is presented to show the advantage of the method. The results validated the suitability and potential of the algorithm hereby proposed

Rational approximations of sectional category and Poincaré duality

Félix, Halperin, and Lemaire have shown that the rational module category Mcat and the rational Toomer invariant coincide for simply connected Poincaré duality complexes. We establish an analogue of this result for the sectional category of a fibration.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

On simple bounds for eigenvalues of symmetric tridiagonal matrices

How much can be said about the location of the eigenvalues of a symmetric tridiagonal matrix just by looking at its diagonal entries? We use classical results on the eigenvalues of symmetric matrices to show that the diagonal entries are bounds for some of the eigenvalues regardless of the size of the off-diagonal entries. Numerical examples are given to illustrate that our arithmetic-free technique delivers useful information on the location of the eigenvalues.

TP perturbation of TN matrices and totally positive directions

Here, we define and consider (linear) TP-directions and TP-paths for a totally nonnegative matrix, in an effort to more deeply understand perturbation of a TN matrix to a TP matrix. We give circumstances in which a TP-direction exists and an example to show that they do not always exist. A strategy to give (nonlinear) TP-paths is given (and applied to this example). A long term goal is to understand the sparsest TP-perturbation for application to completion problems.

Cylindrically symmetric models of gravitational collapse to black holes: a short review

We survey results about exact cylindrically symmetric models of gravitational collapse in General Relativity. We focus on models which result from the matching of two spacetimes having collapsing interiors which develop trapped surfaces and vacuum exteriors containing gravitational waves. We collect some theorems from the literature which help to decide a priori about eventual spacetime matchings. We revise, in more detail, some toy models which include some of the main mathematical and physical issues that arise in this context, and compute the gravitational energy flux through the matching boundary of a particular collapsing region. Along the way, we point out several interesting open problems.

Seroprevalence for brucellosis and leptospirosis in dogs from Belém and Castanhal, State of Pará, Brazil

Brucellosis and leptospirosis are widely spread bacterial infections and dogs are the most important source of infection and reservoir for diseases. Dogs can disseminate the agents in the environment and transmit them to humans and/or other animals. The objective of this study was assess the occurrence of reactive to antibodies anti-Leptospira spp., Brucella canis and B. abortus in Belém and Castanhal, State of Pará, Amazon, Brazil. A total of 156 samples were randomly collected in the city of Belém and 158 samples in Castanhal. The anti-B. canis antibodies research was performed by Agar Gel Immunodiffusion (AGID) with and without 2-mercaptoethanol serum treatment (AGID-2ME). To assess the anti-B. abortus antibodies, the technique of Fast Seroagglutination with buffered acidified plate antigen (BAPAT) was used. For anti-Leptospira spp. antibodies research, the Microscopic Agglutination Technique (MAT) was used. No animal reacted to Brucella abortus and one animal was reactive to B. canis at the AGID, but it was negative to the AGID-2ME test. Seventeen percent of dogs (47/274) presented anti-Leptospira spp. antibodies, with prevalence of serovar Canicola. The dogs from Belém and Castanhal are not source of infection for B. abortus and B. canis, however, they are reservoirs for different serovars of Leptospira spp.

An interactive web-based tool for breast reduction surgery simulation

In this work, we present a 3D web-based interactive tool for numerical modeling and simulation approach to breast reduction surgery simulation, to assist surgeons in planning all aspects related to breast reduction surgery before the actual procedure takes place, thereby avoiding unnecessary risks. In particular, it allows the modeling of the initial breast geometry, the definition of all aspects related to the surgery and the visualization of the post-surgery breast shape in a realistic environment.