Abstract

Abstract
This paper presents an equational calculus to reason about bidirectional transformations specified in the point-free style. In particular, it focuses on the so-called lenses as a bidirectional idiom, and shows that many standard laws characterising point-free combinators and recursion patterns are also valid in that setting. A key result is that uniqueness also holds for bidirectional folds and unfolds, thus unleashing the power of fusion as a program optimisation technique. A rewriting system for automatic lens optimisation is also presented, to prove the usefulness of the proposed calculus. © 2011 ACM.

Abstract
We propose a general-purpose heuristic approach combining metaheuristics and mixed integer programming to find high quality solutions to the challenging single- and parallel-machine capacitated lotsizing and scheduling problem with sequence-dependent setup times and costs. Commercial solvers fail to solve even medium-sized instances of this NP-hard problem; therefore, heuristics are required to find competitive solutions. We develop construction, improvement and search heuristics all based on MIP formulations. We then compare the performance of these heuristics with those of two metaheuristics and other MIP-based heuristics that have been proposed in the literature, and to a state-of-the-art commercial solver. A comprehensive set of computational experiments shows the effectiveness and efficiency of the main approach, a stochastic MIP-based local search heuristic, in solving medium to large size problems. Our solution procedures are quite flexible and may easily be adapted to cope with model extensions or to address different optimization problems that arise in practice.

Abstract
Saccharomyces cerevisiae morphology is known to be dependent on the cell physiological state and environmental conditions. On their environment, wild yeasts tend to form complex colonies architectures, such as stress response and pseudohyphal filaments morphologies, far away from the ones found inside bioreactors, where the regular cell cycle is observed under controlled conditions (e.g. budding and flocculating colonies). In this work we explore the feasibility of using micro-fiber optics spectroscopy to classify Saccharomyces cerevisiae S288C colony structures in YPD media, under different growth conditions, such as: i) no alcohol; ii) 1 % (v/v) Ethanol; iii) 1 % (v/v) 1-butanol; iv) 1 % (v/v) Isopropanol; v) 1 % (v/v) Tert-Amyl alcohol (2 Methyl-2-butanol); vi) 0,2 % (v/v) 2-Furadehyde; vii) 5 % (w/v) 5 (Hydroxymethyl)-furfural; and viii) 1 % (w/v) (-)-Adenosine3', 5'cyclic monophosphate. The microscopy system includes a hyperspectral camera apparatus and a micro fiber (sustained by micro manipulator) optics system for spectroscopy. Results show that micro fiber optics system spectroscopy has the potential for yeasts metabolic state identification once the spectral signatures of colonies differs from each others. This technique associated with other physico-chemical information can benefit the creation of an information system capable of providing extremely detailed information about yeast metabolic state that will aid both scientists and engineers to study and develop new biotechnological products.

Abstract
This paper evaluates various strategies proposed for single cell refractometry and spectroscopy using fiber optic sensors and microfluidic chips. Details concerning design, fabrication and characterization of the chips will be addressed. Preliminary results obtained with alternative on-chip configurations using combination of fiber Bragg gratings with mirrored single mode and multimode fibers will be presented indicating the possibility of performing simultaneous assessment of cellular refractive index and absorption properties.

Abstract
The assessment of contaminants dispersion in Controlled Dumps (CD) of Municipal Solid Waste (MSW) is possible through the combination of geophysical, geochemical and geostatistical methods as described in this paper. The methodology applied in this study will contribute to evaluate the environmental consequences of the Matosinhos CD (N Portugal), which is set in a granitic crystalline geological context with a permeability controlled by differential weathering associated with fracturing. The statistical methods here described (Lepeltier, 1969; Matschullat et al. 2000) are adapted to use in geophysical data obtained from the resistivity profiles performed in the CD surroundings by the electrical resistivity method. Groundwater samples were collected in piezometers; upstream and downstream of the CD, with the aim of directly confirming the presence of contaminants indirectly detected by the geophysical and geostatistical methods. The combination of these different approaches allows an approach to the detection and delineation of contaminant plumes from these deposits.