Proof in classroom social practice

How does the construction of proof relate to the social practice developed in the mathematics classroom? This report addresses the role of diagrams in order to focus the complementarity of participation and reification in the process of constructing a proof and negotiating its meaning. The discussion is based on the analysis of the mathematical practice developed by a group of four 9th grade students and is inspired by the social theory of learning

Sensing Cloud Optimization to Solve ED of Units with Valve-Point Effects and Multi-fuels

In this paper a solution to an highly constrained and non-convex economical dispatch (ED) problem with a meta-heuristic technique named Sensing Cloud Optimization (SCO) is presented. The proposed meta-heuristic is based on a cloud of particles whose central point represents the objective function value and the remaining particles act as sensors "to fill" the search space and "guide" the central particle so it moves into the best direction. To demonstrate its performance, a case study with multi-fuel units and valve- point effects is presented.

Complementarity of conventional and molecular methods in the assessment of fungal contamination caused by Aspergillus fumigatus complex in one Portuguese composting plant

The handling of waste and compost that occurs frequently in composting plants (compost turning, shredding, and screening) has been shown to be responsible for the release of dust and air borne microorganisms and their compounds in the air. Thermophilic fungi, such as A. fumigatus, have been reported and this kind of contamination in composting facilities has been associated with increased respiratory symptoms among compost workers. This study intended to characterize fungal contamination in a totally indoor composting plant located in Portugal. Besides conventional methods, molecular biology was also applied to overcome eventual limitations.