Combining static analysis and profiling for estimating execution times in logic programs

Effective static analyses have been proposed which allow inferring functions which bound the number of resolutions or reductions. These have the advantage of being independent from the platform on which the programs are executed and such bounds have been shown useful in a number of applications, such as granularity control in parallel execution. On the other hand, in certain distributed computation scenarios where different platforms come into play, with each platform having different capabilities, it is more interesting to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution time. With this objective in mind, we propose a method which allows inferring upper and lower bounds on the execution times of procedures of a program in a given execution platform. The approach combines compile-time cost bounds analysis with a one-time profiling of the platform in order to determine the values of certain constants for that platform. These constants calibrate a cost model which from then on is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in the given platform. The approach has been implemented and integrated in the CiaoPP system.

A Decomposition and Noise Removal Method Combining Diffusion Equation and Wave Atoms for Textured Images

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Combining static analysis and profiling for estimating execution times

Effective static analyses have been proposed which infer bounds on the number of resolutions. These have the advantage of being independent from the platform on which the programs are executed and have been shown to be useful in a number of applications, such as granularity control in parallel execution. On the other hand, in distributed computation scenarios where platforms with different capabilities come into play, it is necessary to express costs in metrics that include the characteristics of the platform. In particular, it is specially interesting to be able to infer upper and lower bounds on actual execution times. With this objective in mind, we propose an approach which combines compile-time analysis for cost bounds with a one-time profiling of a given platform in order to determine the valúes of certain parameters for that platform. These parameters calibrate a cost model which, from then on, is able to compute statically time bound functions for procedures and to predict with a significant degree of accuracy the execution times of such procedures in that concrete platform. The approach has been implemented and integrated in the CiaoPP system.

Recognition of static and dynamic facial expressions: Influences of sex, type and intensity of emotion

Ecological validity of static and intense facial expressions in emotional recognition has been questioned. Recent studies have recommended the use of facial stimuli more compatible to the natural conditions of social interaction, which involves motion and variations in emotional intensity. In this study, we compared the recognition of static and dynamic facial expressions of happiness, fear, anger and sadness, presented in four emotional intensities (25 %, 50 %, 75 % and 100 %). Twenty volunteers (9 women and 11 men), aged between 19 and 31 years, took part in the study. The experiment consisted of two sessions in which participants had to identify the emotion of static (photographs) and dynamic (videos) displays of facial expressions on the computer screen. The mean accuracy was submitted to an Anova for repeated measures of model: 2 sexes x [2 conditions x 4 expressions x 4 intensities]. We observed an advantage for the recognition of dynamic expressions of happiness and fear compared to the static stimuli (p < .05). Analysis of interactions showed that expressions with intensity of 25 % were better recognized in the dynamic condition (p < .05). The addition of motion contributes to improve recognition especially in male participants (p < .05). We concluded that the effect of the motion varies as a function of the type of emotion, intensity of the expression and sex of the participant. These results support the hypothesis that dynamic stimuli have more ecological validity and are more appropriate to the research with emotions.

Microstructural and optical characterization of CaWO4 and SrWO4 thin films prepared by a chemical solution method

Stoichiometric CaWO4 and SrWO4 thin films were synthesized using a chemical solution processing, the so-called polymeric precursor method. In this soft chemical method, soluble precursors such as strontium carbonate, calcium carbonate and tungstic acid, as starting materials, were mixed in an aqueous solution. The thin films were deposited on glass substrates by means of the spinning technique. The surface morphology and crystal structure of the thin films were investigated using X-ray diffraction (XRD), scanning electron microscopy (SEM), and atomic force microscopy (AFM). Nucleation stages and surface morphology evolution of the thin films on glass substrates were studied by atomic force microscopy. The films nucleate at 300 degreesC, after the coalescence of small nuclei into larger grains yielding a homogeneous dense surface. XRD characterization of these films showed that the CaWO4 and SrWO4 phases crystallize at 400 degreesC from an inorganic amorphous phase. No intermediate crystalline phase was identified. The optical properties were also studied. It was found that CaWO4 and SrWO4 thin films have an optical band gap, E-gap=5.27 and 5.78 eV, respectively, of a direct transition nature. The excellent microstructural quality and chemical homogeneity confirmed that this soft solution processing provides an inexpensive and environmentally friendly route for the preparation of CaWO4 and SrWO4 thin films. (C) 2003 Elsevier B.V. All rights reserved.

Do men and women use similar adaptive locomotion to clear static and dynamic obstacles?

Purpose. The purpose of this study was to analyze the influence of gender on the adaptive locomotion in the clearance of obstacles. Specifically, it was evaluated if there are differences in the space-temporal parameters between male and female in the clearance of and dynamic obstacles moving at both slow and fast speeds. Basic procedures. Five young male adults and five young female adults took part in this study. The task was performed in three conditions: static obstacle and dynamic obstacle - clearance perpendicular to the participant's trajectory at slow speed (1.07 m/s) and at fast speed (1.71 m/s). The trials were recorded by two digital cameras and spatial-temporal information was obtained. Main findings. The dynamic obstacle conditions required more visual inspection. The results showed different adaptive locomotion between the sexes. The distinct gait patterns were evidenced for the spatial and temporal variables and cadence in the three conditions. Conclusions. The women presented a more conservative behavior, which was evidenced by the increase of the length in the penultimate step and in the toe clearance.

Reverse engineering of web applications

The MAP-i Doctoral Program of the Universities of Minho, Aveiro and Porto

Simple finite field method for calculation of static and dynamic vibrational hyperpolarizabilities: curvature contributions

In the static field limit, the vibrational hyperpolarizability consists of two contributions due to: (1) the shift in the equilibrium geometry (known as nuclear relaxation), and (2) the change in the shape of the potential energy surface (known as curvature). Simple finite field methods have previously been developed for evaluating these static field contributions and also for determining the effect of nuclear relaxation on dynamic vibrational hyperpolarizabilities in the infinite frequency approximation. In this paper the finite field approach is extended to include, within the infinite frequency approximation, the effect of curvature on the major dynamic nonlinear optical processes

Determination of DNA persistence length by cryo-electron microscopy. Separation of the static and dynamic contributions to the apparent persistence length of DNA.

Axial deflection of DNA molecules in solution results from thermal motion and intrinsic curvature related to the DNA sequence. In order to measure directly the contribution of thermal motion we constructed intrinsically straight DNA molecules and measured their persistence length by cryo-electron microscopy. The persistence length of such intrinsically straight DNA molecules suspended in thin layers of cryo-vitrified solutions is about 80 nm. In order to test our experimental approach, we measured the apparent persistence length of DNA molecules with natural "random" sequences. The result of about 45 nm is consistent with the generally accepted value of the apparent persistence length of natural DNA sequences. By comparing the apparent persistence length to intrinsically straight DNA with that of natural DNA, it is possible to determine both the dynamic and the static contributions to the apparent persistence length.

Simple finite field method for calculation of static and dynamic vibrational hyperpolarizabilities: curvature contributions

In the static field limit, the vibrational hyperpolarizability consists of two contributions due to: (1) the shift in the equilibrium geometry (known as nuclear relaxation), and (2) the change in the shape of the potential energy surface (known as curvature). Simple finite field methods have previously been developed for evaluating these static field contributions and also for determining the effect of nuclear relaxation on dynamic vibrational hyperpolarizabilities in the infinite frequency approximation. In this paper the finite field approach is extended to include, within the infinite frequency approximation, the effect of curvature on the major dynamic nonlinear optical processes

Variational calculation of static and dynamic vibrational nonlinear optical properties

The vibrational configuration interaction method used to obtain static vibrational (hyper)polarizabilities is extended to dynamic nonlinear optical properties in the infinite optical frequency approximation. Illustrative calculations are carried out on H2 O and N H3. The former molecule is weakly anharmonic while the latter contains a strongly anharmonic umbrella mode. The effect on vibrational (hyper)polarizabilities due to various truncations of the potential energy and property surfaces involved in the calculation are examined

Microchanneled chirped fiber Bragg grating formed by femto-second laser aided chemical etching for refractive index and temperature measurements

In this work, a microchanneled chirped fiber Bragg grating (MCFBG) is proposed and fabricated through the femtosecond laser-assisted chemical etching. The microchannel (~550 µm) gives access to the external index liquid, thus inducing refractive index (RI) sensitivity to the structure. In the experiment, the transmission bands induced by the reduced effective index in the microchannel region were used to sense the surrounding RI and temperature changes. The experimental results show good agreement with the theoretical analysis. The proposed MCFBG offers enhanced RI sensitivity without degrading the robustness of the device showing good application potential as bio-chemical sensors.

Fabrication of micro-channels in optical fibers using femtosecond laser pulses and selective chemical etching

The fabrication of micro-channels in single-mode optical fibers is demonstrated using focused femtosecond laser processing and chemical etching. Straight line micro-channels are achieved based on a simple technique which overcomes limitations imposed by the fiber curved surface.

Microchanneled chirped fiber Bragg grating formed by femto-second laser aided chemical etching for refractive index and temperature measurements

In this work, a microchanneled chirped fiber Bragg grating (MCFBG) is proposed and fabricated through the femtosecond laser-assisted chemical etching. The microchannel (~550 µm) gives access to the external index liquid, thus inducing refractive index (RI) sensitivity to the structure. In the experiment, the transmission bands induced by the reduced effective index in the microchannel region were used to sense the surrounding RI and temperature changes. The experimental results show good agreement with the theoretical analysis. The proposed MCFBG offers enhanced RI sensitivity without degrading the robustness of the device showing good application potential as bio-chemical sensors.

Fabrication of micro-channels in optical fibers using femtosecond laser pulses and selective chemical etching

The fabrication of micro-channels in single-mode optical fibers is demonstrated using focused femtosecond laser processing and chemical etching. Straight line micro-channels are achieved based on a simple technique which overcomes limitations imposed by the fiber curved surface. © 2005 Optical Society of America.