Lightweight adjustable partition system: evaluation of resistance to horizontal loads and functional failure from impacts

This paper presents and discusses the results of the serviciability and use condition tests carried on an innovative solution for partitions, designated AdjustMembrane developed within a research project. The proposed system is a modular non-loadbearing wall, tensioned between the pavements and ceiling slabs, which are used as anchoring elements. It allows several advantages, related with the weight reduction to achieve a good sustainable performance, such as the reduction of construction costs, energy, and materials, and it is easy to recycle and to reuse, allowing self-construction. Apart from a general presentation of the partition technology, this paper presents and discusses the results of experimental tests carried out. From the results obtained, it is possible to conclude that the solution fulfils the requirements for this typology of wall in terms of resistance to horizontal loads induced by soft and hard body impacts.

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Educação e ambiguidades da autonomização: para uma pedagogia crítica da promoção do indivíduo autónomo

O presente artigo, confrontando a educação com o desiderato da autonomização, pretende analisar as ambiguidades a que esse confronto dá hoje origem e estabelecer, mediante a explicitação de uma conceção contra-hegemónica de autonomização, as bases e as coordenadas de uma pedagogia crítica da promoção do indivíduo autónomo, que seja simultaneamente humanista, emancipadora e transformadora tanto da realidade do sujeito quanto da realidade do contexto. A estrutura narrativa, em consonância com esse amplo propósito, articula as seguintes dimensões: a educação e a normatividade da autonomização; as ambiguidades da autonomização: sentidos divergentes de fazer educação para a autonomia; e, por fim, o empowerment emancipatório e transformador: vetor da educação enquanto autonomização contra-hegemónica. A conclusão aponta as linhas diretoras da construção de uma pedagogia crítica do indivíduo autónomo, assumida nas vertentes de emancipação individual e transformação social.

Alfabetização de jovens e adultos no estado do Rio de Janeiro, Brasil: o significado de um desafio para a inclusão social

Tese de Doutoramento em Ciências da Educação