Os cursos de Educação e Formação de Adultos prevêem uma avaliação que se afasta do tradicionalmente implementado nas escolas, propiciando o emergir de processos de mudança. Neste estudo analisa-se a forma como um formador concretiza a avaliação, ponderando continuidades e descontinuidades relativamente a práticas anteriores, com a intenção de caracterizar o inerente processo de mudança e os factores que o influenciam.
As conclusões obtidas sugerem um processo de mudança complexo, cuja necessidade não é verdadeiramente reconhecida, e onde parece ser determinante a reflexão do formador sobre os formandos, o contexto existente e algumas opções ao nível local da escola.

n/a

n/a

An edge-coloured path is rainbow if its edges have distinct colours. The rainbow connection number of a connected graph G, denoted by rc(G), is the minimum number of colours required to colour the edges of G so that any two vertices of G are connected by a rainbow path. The function rc(G) was first introduced by Chartrand et al.~[Math.~Bohem., 133(1) (2008), pp.85-98], and has since attracted considerable interest. In this paper, we introduce two extensions of the rainbow connection number to hypergraphs. We study these two extensions of the rainbow connection number in minimally connected hypergraphs, hypergraph cycles and complete multipartite hypergraphs.

Some asymptotic expansions not necessarily related to the central limit theorem are studied. We first observe that the smoothing inequality of Esseen implies the proximity, in the Kolmogorov distance sense, of the distributions of the random variables of two random sequences satisfying a sort of general asymptotic relation. We then present several instances of this observation. A first example, partially motivated by the the statistical theory of high precision measurements, is given by a uniform asymptotic approximation to gX + nn∈, where g is some smooth function, X is a random variable and nn∈ is a sequence going to infinity; a multivariate version is also stated and proved. We finally present a second class of examples given by a randomization of the interesting parameter in some classical asymptotic formulas; namely, a generic Laplace’s type integral, randomized by the sequence nXn∈, X being a Gamma distributed random variable.

n/a

Software refactoring is a well-known technique that provides transformations on software artifacts with the aim of improving their overall quality. In this paper we present a set of refactorings for ClassSheets, a modeling language that allows to specify the business logic of a spreadsheet in an object-oriented fashion. The set of refactorings that we propose allows us to improve the quality of these spreadsheet models. Moreover, it is implemented in a setting that guarantees that all model refactorings are automatically carried to all the corresponding (spreadsheet) instances, thus providing an automatic evolution of the data so it is always synchronized with the model.

n/a

The use of randomly distributed steel fibres in the concrete mix improves its mechanical properties. In the particular case of a flat slab-column connection, this solution can provide slabs with an increased load capacity and deformation capacity, allowing a potential reduction of reinforcement. This work presents the experimental study of the behaviour of SFRC flat slabs up to failure under a concentrated loading, accompanied by the study of the mechanical properties of the SFRC, which consisted in three-point loading notched beams, compression and splitting tests. In this study, the hooked end steel fibre dosages varied between 0{%} and 1.25{%} by volume. Test results showed that the inclusion of steel fibres influences both slab stiffness and its load capacity. Increments of load capacity up to 64{%} were obtained in slabs with SFRC compared with the reference slab without fibres. The experimental results were compared with the predictions provided by several existing models. © 2014 Elsevier Ltd. All rights reserved.

Despite being staggeringly error prone, spreadsheets are a highly flexible programming environment that is widely used in industry. In fact, spreadsheets are widely adopted for decision making, and decisions taken upon wrong (spreadsheet-based) assumptions may have serious economical impacts on businesses, among other consequences. This paper proposes a technique to automatically pinpoint potential faults in spreadsheets. It combines a catalog of spreadsheet smells that provide a first indication of a potential fault, with a generic spectrum-based fault localization strategy in order to improve (in terms of accuracy and false positive rate) on these initial results. Our technique has been implemented in a tool which helps users detecting faults. To validate the proposed technique, we consider a well-known and well-documented catalog of faulty spreadsheets. Our experiments yield two main results: we were able to distinguish between smells that can point to faulty cells from smells and those that are not capable of doing so; and we provide a technique capable of detecting a significant number of errors: two thirds of the cells labeled as faulty are in fact (documented) errors.