The economic crisis in Portugal and children’s rights to non-discrimination

The consequences that arose from the ‘global economy’ have been significant in Portuguese children’s lives and we believe it is fundamental to reflect on the ongoing structuring of childhood through this global culture/ideology and the concrete implications that they have. It is also important to understand how childhood is constructed and experienced, as well as to consider the impacts of political economic conditions on children’s lives and in childhood in general, taking into account the effects brought on by public policies. The aim of this paper is to reflect on the ways through which the economic crisis affecting the general Portuguese population has impacted children in particular and promoted discrimination and a lack of opportunities in childhood. We will focus on two dimensions: first, on general data about the ongoing policies that have been reducing social rights, increasing poverty rates and threatening basic rights such as educational and health rights, to show their impact on children´s lives. Second, we will discuss some data collected with children throughout different research projects in order to characterize the meanings and impacts of the crisis in their lives from their points of view

On mappings preserving the sharp and star orders

The present paper is devoted to the study of linear maps preserving certain relations, such as the sharp partial order and the star partial order in semisimple Banach algebras and C*-algebras.

The group inverse of a product

In this paper, we characterize the existence and give an expression of the group inverse of a product of two regular elements by means of a ring unit.

Further results on the inverse along an element in semigroups and rings

In this paper, we introduce a new notion in a semigroup $S$ as an extension of Mary's inverse. Let $a,d\in S$. An element $a$ is called left (resp. right) invertible along $d$ if there exists $b\in S$ such that $bad=d$ (resp. $dab=b$) and $b\leq_\mathcal{L}d$ (resp. $b\leq_\mathcal{R}d$). An existence criterion of this type inverse is derived. Moreover, several characterizations of left (right) regularity, left (right) $\pi$-regularity and left (right) $*$-regularity are given in a semigroup. Further, another existence criterion of this type inverse is given by means of a left (right) invertibility of certain elements in a ring. Finally we study the (left, right) inverse along a product in a ring, and, as an application, Mary's inverse along a matrix is expressed.

The inverse along a product and its applications

In this paper, we study the recently defined notion of the inverse along an element. An existence criterion for the inverse along a product is given in a ring. As applications, we present the equivalent conditions for the existence and expressions of the inverse along a matrix.

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.