Extracting non-strict independent and-parallelism using sharing and freeness information

Logic programming systems which exploit and-parallelism among non-deterministic goals rely on notions of independence among those goals in order to ensure certain efficiency properties. "Non-strict" independence (NSI) is a more relaxed notion than the traditional notion of "strict" independence (SI) which still ensures the relevant efficiency properties and can allow considerable more parallelism than SI. However, all compilation technology developed to date has been based on SI, because of the intrinsic complexity of exploiting NSI. This is related to the fact that NSI cannot be determined "a priori" as SI. This paper filis this gap by developing a technique for compile-time detection and annotation of NSI. It also proposes algorithms for combined compiletime/ run-time detection, presenting novel run-time checks for this type of parallelism. Also, a transformation procedure to eliminate shared variables among parallel goals is presented, aimed at performing as much work as possible at compile-time. The approach is based on the knowledge of certain properties regarding the run-time instantiations of program variables —sharing and freeness— for which compile-time technology is available, with new approaches being currently proposed. Thus, the paper does not deal with the analysis itself, but rather with how the analysis results can be used to parallelize programs.

Towards extracting non-strict independent and-parallelism using sharing and freeness information

Logic programming systems which exploit and-parallelism among non-deterministic goals rely on notions of independence among those goals in order to ensure certain efficiency properties. "Non-strict" independence (NSI) is a more relaxed notion than the traditional notion of "strict" independence (SI) which still ensures the relevant efficiency properties and can allow considerable more parallelism than SI. However, all compilation technology developed to date has been based on SI, presumably because of the intrinsic complexity of exploiting NSI. This is related to the fact that NSI cannot be determined "a priori" as SI. This paper fills this gap by developing a technique for compile-time detection and annotation of NSI. It also proposes algorithms for combined compile- time/run-time detection, presenting novel run-time checks for this type of parallelism. Also, a transformation procedure to eliminate shared variables among parallel goals is presented, attempting to perform as much work as possible at compiletime. The approach is based on the knowledge of certain properties about run-time instantiations of program variables —sharing and freeness— for which compile-time technology is available, with new approaches being currently proposed.

Influence of origin of the beans on protein quality and nutritive value of commercial soybean meals.

Chemical composition and correlations between chemical analyses and protein quality of 454 batches of SBM of 3 different origins (USA, n=168; Brazil (BRA), n=139, and Argentine (ARG), n=147) were studied. Samples were collected during a 6-yr period. SBM from USA had more CP, sucrose and stachyose and less NDF (P<0.001) than SBM from ARG and BRA. CP content was negatively related (P<0.001) with sucrose for USA meals and with NDF for ARG and BRA meals. Also, P content was positively related (P<0.01) with CP content of the meals. PDI and KOH solubility were higher (P<0.001) for USA than for ARG or BRA SBM, values that were positively related (P<0.001) with trypsin inhibitor activity of the meals. In addition, USA meals had more lys, met+cys, thr, and trp than BRA and ARG meals (P < 0.001). Per unit of CP, lys content was negatively related (P<0.001) with CP content for USA, positively for BRA, and no relations was found for ARG meals. It is concluded that nutritive values and protein quality of the meals varied widely among soybean origins. Consequently, the origin of the beans should be considered in the evaluation of the nutritive value of commercial SBM for non-ruminant animals.

Influence of origin of the beans on protein quality and nutritive value of commercial soybean meals

Estudio sobre la influencia del origen de los granos en la calidad de proteínas y el valor nutritivo de las harinas de soja comerciales

Advanced characterization of a coffee fermenting tank by multi-distributed wireless sensors: spatial interpolation and phase diagrams.

In coffee processing the fermentation stage is considered one of the critical operations by its impact on the final quality of the product. However, the level of control of the fermentation process on each farm is often not adequate; the use of sensorics for controlling coffee fermentation is not common. The objective of this work is to characterize the fermentation temperature in a fermentation tank by applying spatial interpolation and a new methodology of data analysis based on phase space diagrams of temperature data, collected by means of multi-distributed, low cost and autonomous wireless sensors. A real coffee fermentation was supervised in the Cauca region (Colombia) with a network of 24 semi-passive TurboTag RFID temperature loggers with vacuum plastic cover, submerged directly in the fermenting mass. Temporal evolution and spatial distribution of temperature is described in terms of the phase diagram areas which characterizes the cyclic behaviour of temperature and highlights the significant heterogeneity of thermal conditions at different locations in the tank where the average temperature of the fermentation was 21.2 °C, although there were temperature ranges of 4.6°C, and average spatial standard deviation of ±1.21ºC. In the upper part of the tank we found high heterogeneity of temperatures, the higher temperatures and therefore the higher fermentation rates. While at the bottom, it has been computed an area in the phase diagram practically half of the area occupied by the sensors of the upper tank, therefore this location showed higher temperature homogeneity

Extracting energy from Vortex-Induced Vibrations: A parametric study

Here, Vortex-Induced Vibrations (VIVs) of a circular cylinder are analyzed as a potential source for energy harvesting. To this end, VIV is described by a one-degree-of-freedom model where fluid forces are introduced from experimental data from forced vibration tests. The influence of some influencing parameters, like the mass ratio m∗ or the mechanical damping ζ in the energy conversion factor is investigated. The analysis reveals that: (i) the maximum efficiency ηM is principally influenced by the mass-damping parameter m∗ζ and there is an optimum value of m∗ζ where ηM presents a maximum; (ii) the range of reduced velocities with significant efficiency is mainly governed by m∗, and (iii) it seems that encouraging high efficiency values can be achieved for high Reynolds numbers.

Advanced Characterisation of a Coffee Fermenting Tank by Multi-distributed Wireless Sensors: Spatial Interpolation and Phase Space Graphs

The fermentation stage is considered to be one of the critical steps in coffee processing due to its impact on the final quality of the product. The objective of this work is to characterise the temperature gradients in a fermentation tank by multi-distributed, low-cost and autonomous wireless sensors (23 semi-passive TurboTag® radio-frequency identifier (RFID) temperature loggers). Spatial interpolation in polar coordinates and an innovative methodology based on phase space diagrams are used. A real coffee fermentation process was supervised in the Cauca region (Colombia) with sensors submerged directly in the fermenting mass, leading to a 4.6 °C temperature range within the fermentation process. Spatial interpolation shows a maximum instant radial temperature gradient of 0.1 °C/cm from the centre to the perimeter of the tank and a vertical temperature gradient of 0.25 °C/cm for sensors with equal polar coordinates. The combination of spatial interpolation and phase space graphs consistently enables the identification of five local behaviours during fermentation (hot and cold spots).

Extracting knowledge through friendsourcing: application to new financial services

Personalization has become a key factor for the success of new ICT services. However, the personal information required is not always available in a single site, but scattered in heterogeneous sources, and extracting knowledge from raw information is not an easy job. As a result, many organizations struggle to obtain knowledge on their users useful enough for their business purposes. This paper introduces a comprehensive personal data framework that opens the knowledge extraction process up to collaboration by the involvement of new actors, while enabling users to monitor and control it. The contributions have been validated in a financial services scenario where socioeconomic knowledge on some users is generated by tapping into their social network and used to assists them in raising money from their friends.