Activation of Pozzolanic Reaction of Hydrated Portland Cement Fly Ash Pastes in Sulfate Solution

The activation of the pozzolanic reaction of fly ash in portland cement paste immersed in sulfate solution has been studied. Mixtures of two Spanish fly ashes (ASTM class F) with 0%, 15%, and 35% replacement of portland cement by fly ash were immersed in Na₂SO₄ solution, of 2880 ppm SO₄²⁻ concentration, for a period of 90 days. The resistance of the different mixtures to the sulfate attack was evaluated using the Koch-Steinegger test. The results showed that all of the mixtures were sulfate resistant, despite the high Al₂O₃ content of the fly ash. The diffusion of SO₄²⁻ and Na⁺ ions through the pore solution activated the pozzolanic reactivity of the fly ashes, causing microstructural changes, which were characterized by X-ray diffraction (XRD), mercury intrusion porosimetry (MIP), and scanning electron microscopy (SEM). As a result, the flexural strength of the mixtures increased, principally for the fly ash of a lower particle size and 35% of addition.     

Effect of the marine environment on reinforced concrete durability in Iberoamerican countries: DURACON project/CYTED

This work presents some of the results from the project: “Effect of the environment on reinforcement durability” (DURACON) in its first two-years period, which investigates the influence of urban and marine meteorochemical parameters on the performance of reinforced concrete structures. The results presented in this investigation are from 21 marine test sites only (no urban environments are included), distributed among 11 countries (Argentina, Bolivia, Brazil, Chile, Colombia, Costa Rica, Mexico, Spain, Uruguay, Portugal and Venezuela). The environment was evaluated using ISO Standard 9223 and the concrete was characterized by measuring compressive strength, elastic modulus, total and effective porosity, chloride permeability according to ASTM standards, as well as the effective porosity and resistance to water absorption using the Fagerlund method. To that effect, concrete specimens (with and without reinforcement) were prepared for electrochemical and physical/mechanical/chemical tests using the existing materials in each participating country, following strict procedures which enabled the preparation of similar concrete samples. Two water/cement (w/c) ratios (0.45 and 0.65) were selected, where the concrete with 0.45 w/c ratio had to have a minimum cement content of 400 kg/m³ and the one with 0.65 w/c ratio a compressive strength of 210 kg/cm². Type I Portland cement, siliceous sand, and crushed rock as coarse aggregates (13-mm maximum nominal size) were used. After a one-year exposure, the results of the corrosion potentiality and probability analysis of the reinforcement in the different test stations showed that, for marine atmospheres, the most aggressive environment to induce steel corrosion was at Portugal’s Cabo Raso station, and the least aggressive one was at Chile’s Valparaíso station. These results are comparable with the ones found using electrochemical measurements, after a two-year exposure.     

Advance human–machine interface automatic evaluation

The need for accessibility evaluation tools is motivated by several endogenous and exogenous reasons coming from the end user (the designer and the developer) and companies releasing information systems. Existing evaluation tools mainly concentrate on examining the code of Web pages: Web pages more and more frequently contain non-HTML parts that entirely escape from being treated by existing techniques. This is the case of the advanced human–machine interface (AHMI), a piece of software programmed in C/C++, used for controlling the advanced flight management system in the aircraft cockpit. Studying this new user interface (UI) requires a structured approach to evaluate and validate AHMI designs. The goal in this work is to develop an evaluation tool to automate the process of evaluating the AHMI. The method addresses: support of multiple bases of guidelines (accessibility or usability or both) on-demand (partial or total evaluation), with different levels of details (a presentation for developers and for those responsible for certifying accessibility). The method goes a step toward the automatic evaluation of UI containing non-HTML parts.     

A model of checkpoint behavior for applications that have I/O

Due to the increase and complexity of computer systems, reducing the overhead of fault tolerance techniques has become important in recent years. One technique in fault tolerance is checkpointing, which saves a snapshot with the information that has been computed up to a specific moment, suspending the execution of the application, consuming I/O resources and network bandwidth. Characterizing the files that are generated when performing the checkpoint of a parallel application is useful to determine the resources consumed and their impact on the I/O system. It is also important to characterize the application that performs checkpoints, and one of these characteristics is whether the application does I/O. In this paper, we present a model of checkpoint behavior for parallel applications that performs I/O; this depends on the application and on other factors such as the number of processes, the mapping of processes and the type of I/O used. These characteristics will also influence scalability, the resources consumed and their impact on the IO system. Our model describes the behavior of the checkpoint size based on the characteristics of the system and the type (or model) of I/O used, such as the number I/O aggregator processes, the buffering size utilized by the two-phase I/O optimization technique and components of collective file I/O operations. The BT benchmark and FLASH I/O are analyzed under different configurations of aggregator processes and buffer size to explain our approach. The model can be useful when selecting what type of checkpoint configuration is more appropriate according to the applications’ characteristics and resources available. Thus, the user will be able to know how much storage space the checkpoint consumes and how much the application consumes, in order to establish policies that help improve the distribution of resources.

     

Projective active shape models for pose-variant image analysis of quasi-planar objects: Application to facial analysis

One of the important obstacles in the image-based analysis of the human face is the 3D nature of the problem and the 2D nature of most imaging systems used for biometric applications. Due to this, accuracy is strongly influenced by the viewpoint of the images, being frontal views the most thoroughly studied. However, when fully automatic face analysis systems are designed, capturing frontal-view images cannot be guaranteed. Examples of this situation can be found in surveillance systems, car driver images or whenever there are architectural constraints that prevent from placing a camera frontal to the subject. Taking advantage of the fact that most facial features lie approximately on the same plane, we propose the use of projective geometry across different views. An active shape model constructed with frontal-view images can then be directly applied to the segmentation of pictures taken from other viewpoints. The proposed extension demonstrates being significantly more invariant than the standard approach. Validation of the method is presented in 360 images from the AV@CAR database, systematically divided into three different rotations (to both sides), as well as upper and lower views due to nodding. The presented tests are among the largest quantitative results reported to date in face segmentation under varying poses.     

Differential evolution solution to the SLAM problem

A new solution to the Simultaneous Localization and Modelling problem is presented in this paper. The algorithm is based on the stochastic search for solutions in the state space to the global localization problem by means of a differential evolution algorithm. This non linear evolutive filter, called Evolutive Localization Filter (ELF), searches stochastically along the state space for the best robot pose estimate. The set of pose solutions (the population) focuses on the most likely areas according to the perception and up to date motion information. The population evolves using the log-likelihood of each candidate pose according to the observation and the motion errors derived from the comparison between observed and predicted data obtained from the probabilistic perception and motion model.The proposed SLAM algorithm operates in two steps: in the first step the ELF filter is used at local level to re-localize the robot based on the robot odometry, the laser scan at a given position and a local map where only a low number of the last scans have been integrated. In the second step, the aligned laser measures and the corrected robot poses are used to detect whether the robot is revisiting a previously crossed area (i.e., a cycle in the robot trajectory exists). Once a cycle is detected, the Evolutive Localization Filter is used again to estimate the accumulated residual drift in the detected loop and then to re-estimate the robot poses in order to integrate the sensor measures in the global map of the environment.The algorithm has been tested in different environments to demonstrate the effectiveness, robustness and computational efficiency of the proposed approach.     

Beyond social graphs: mining patterns underlying social interactions

This work aims at discovering and extracting relevant patterns underlying social interactions. To do so, some knowledge extracted from Facebook, a social networking site, is formalised by means of an Extended Social Graph, a data structure which goes beyond the original concept of a social graph by also incorporating information on interests. When the Extended Social Graph is built, state-of-the-art techniques are applied over it in order to discover communities. Once these social communities are found, statistical techniques will look for relevant patterns common to each of those, in such a way that each cluster of users is characterised by a set of common features. The resulting knowledge will be used to develop and evaluate a social recommender system, which aims at suggesting users in a social network with possible friends or interests.     

Decentralized robust control of mechanical systems

For mechanical systems described by Euler-Lagrange equations and involving high-order interconnections, this paper proposes a decentralized control, which guarantees the uniform ultimate stability when the control objective is tracking a smooth desired trajectory. The controller design is based on some physical properties of such systems and Lyapunov design methodology. The application of the proposed controller to robot manipulators is presented, and experiment results are included to illustrate the performance of the proposed control algorithm     

Analysis of the HLA class I associated peptide repertoire in a hepatocellular carcinoma cell line reveals tumor-specific peptides as putative targets for immunotherapy

HLA class I molecules present peptides on the cell surface to CD8(+) T cells. The repertoire of peptides that associate to class I molecules represents the cellular proteome. Therefore, cells expressing different proteomes could generate different class I-associated peptide repertoires. A large number of peptides have been sequenced from HLA class I alleles, mostly from lymphoid cells. On the other hand, T cell immunotherapy is a goal in the fight against cancer, but the identification of T cell epitopes is a laborious task. Proteomic techniques allow the definition of putative T cell epitopes by the identification of HLA natural ligands in tumor cells. In this study, we have compared the HLA class I-associated peptide repertoire from the hepatocellular carcinoma (HCC) cell line SK-Hep-1 with that previously described from lymphoid cells. The analysis of the peptide pool confirmed that, as expected, the peptides from SK-Hep-1 derive from proteins localized in the same compartments as in lymphoid cells. Within this pool, we have identified 12 HLA class I peptides derived from HCC-related proteins. This confirms that tumor cell lines could be a good source of tumor associated antigens to be used, together with MS, to define putative epitopes for cytotoxic T cells from cancer patients.     

Semi-automated CT segmentation using optic flow and Fourier interpolation techniques

In radiotherapy treatment planning, tumor volumes and anatomical structures are manually contoured for dose calculation, which takes time for clinicians. This study examines the use of semi-automated segmentation of CT images. A few high curvature points are manually drawn on a CT slice. Then Fourier interpolation is used to complete the contour. Consequently, optical flow, a deformable image registration method, is used to map the original contour to other slices. This technique has been applied successfully to contour anatomical structures and tumors. The maximum difference between the mapped contours and manually drawn contours was 6 pixels, which is similar in magnitude to difference one would see in manually drawn contours by different clinicians. The technique fails when the region to contour is topologically different between two slices. A solution is recommended to manually delineate contours on a sparse subset of slices and then map in both directions to fill the remaining slices.