On the correctness and efficiency of independent and-parallelism in logic programs

This paper presents and proves some fundamental results for independent and-parallelism (IAP). First, the paper treats the issues of correctness and efficiency: after defining strict and non-strict goal independence, it is proved that if strictly independent goals are executed in parallel the solutions obtained are the same as those produced by standard sequential execution. It is also shown that, in the absence of failure, the parallel proof procedure doesn't genérate any additional work (with respect to standard SLDresolution) while the actual execution time is reduced. The same results hold even if non-strictly independent goals are executed in parallel, provided a trivial rewriting of such goals is performed. In addition, and most importantly, treats the issue of compile-time generation of IAP by proposing conditions, to be written at compile-time, to efficiently check strict and non-strict goal independence at run-time and proving the sufficiency of such conditions. It is also shown how simpler conditions can be constructed if some information regarding the binding context of the goals to be executed in parallel is available to the compiler trough either local or program-level analysis. These results therefore provide a formal basis for the automatic compile-time generation of IAP. As a corollary of such results, the paper also proves that negative goals are always non-strictly independent, and that goals which share a first occurrence of an existential variable are never independent.

An air-standard cycle and a thermodynamic perspective on operational limits of Ranque-Hilsh or vortex tubes

A Thermodynamic air-standard cycle was envisaged for Ranque-Hilsh (R-H) or Vortex Tubes to provide relevant Thermodynamic analysis and tools for setting operating limits according to the conservation laws of mass and energy, as well as the constraint of the Second Law of Thermodynamics. The study used an integral or control volume approach and resulted in establishing working equations for evaluating the performance of an R-H tube. The work proved that the coefficient of performance does not depend on the R-H tube operating mode, i.e., the same value is obtained independently if the R-H tube operates either as a heat pump or as a refrigeration device. It was also shown that the isentropic coefficient of performance displays optima values of cold and hot mass fractions for a given operating pressure ratio. Finally, the study was concluded by comparing the present analysis with some experimental data available in the literature for operating pressures ranging 2-11 atm. (C) 2010 Elsevier Ltd and IIR. All rights reserved.

A twin study of psychometric intelligence and efficiency of information processing

Intelligence (IQ) can be seen as the efficiency of mental processes or cognition, as can basic information processing (IP) tasks like those used in our ongoing Memory, Attention and Problem Solving (MAPS) study. Measures of IQ and IP are correlated and both have a genetic component, so we are studying how the genetic variance in IQ is related to the genetic variance in IP. We measured intelligence with five subscales of the Multidimensional Aptitude Battery (MAB). The IP tasks included four variants of choice reaction time (CRT) and a visual inspection time (IT). The influence of genetic factors on the variances in each of the IQ, IP, and IT tasks was investigated in 250 identical and nonidentical twin pairs aged 16 years. For a subset of 50 pairs we have test–retest data that allow us to estimate the stability of the measures. MX was used for a multivariate genetic analysis that addresses whether the variance in IQ and IP measures is possibly mediated by common genetic factors. Analyses that show the modeled genetic and environmental influences on these measures of cognitive efficiency will be presented and their relevance to ideas on intelligence will be discussed.

Neighborhood and Efficiency in Manufacturing in Brazilian Regions: A Spatial Markov Chain Analysis

This paper analyzes the geography of regional competitiveness in manufacturing in Brazil. The authors estimate stochastic frontiers to calculate regional efficiency of representative firms in 137 regions in the period 2000-2006, in four sectors defined by technological intensity. The efficiency results are analyzed using Markov Spatial Transition Matrices to provide insights into the transition of regions between efficiency levels, considering their local spatial context. The results indicate that geography plays an important role in manufacturing competitiveness. In particular, regions with more competitive neighbors are more likely to improve their relative efficiency (pull effect) over time, and regions with less competitive neighbors are more likely to lose relative efficiency (drag effect). The authors find that the pull effect is stronger than the drag effect.

Occlusal outcomes and efficiency of 1-and 2-phase protocols in the treatment of Class II Division 1 malocclusion

Introduction: The purpose of this study was to compare the occlusal outcomes and the efficiency of 1-phase and 2-phase treatment protocols in Class II Division 1 malocclusions. Treatment efficiency was defined as a change in the occlusal characteristics in a shorter treatment time. Methods: Class II Division 1 subjects ( n = 139) were divided into 2 groups according to the treatment protocol for Class II correction. Group 1 comprised 78 patients treated with a 1-phase treatment protocol at initial and final mean ages of 12.51 and 14.68 years. Group 2 comprised 61 patients treated with a 2-phase treatment protocol at initial and final mean ages of 11.21 and 14.70 years. Lateral cephalometric radiographs were taken at the pretreatment stage to evaluate morphological differences in the groups. The initial and final study models of the patients were evaluated by using the peer assessment rating index. Chi-square tests were used to test for differences between the 2 groups for categorical variables. Variables regarding occlusal results were compared by using independent t tests. A linear regression analysis was completed, with total treatment time as the dependent variable, to identify clinical factors that predict treatment length for patients with Class II malocclusions. Results: Similar occlusal outcomes were obtained between the 1-phase and the 2-phase treatment protocols, but the duration of treatment was significantly shorter in the 1-phase treatment protocol group. Conclusions: Treatment of Class II Division 1 malocclusions is more efficient with the 1-phase than the 2-phase treatment protocol.

Biogeographical concordance and efficiency of taxon indicators for establishing conservation priority in a tropical rainforest biota

Prioritizing areas for conservation requires the use of surrogates for assessing overall patterns of biodiversity. Effective surrogates will reflect general biogeographical patterns and the evolutionary processes that have given rise to these and their efficiency is likely to lie influenced by several factors, including the spatial scale of species turnover and the overall congruence of the biogeographical history. We examine patterns of surrogacy for insects, snails, one family of plants and vertebrates from rainforests of northeast Queensland, an area characterized by high endemicity and an underlying history of climate-induced vicariance. Nearly all taxa provided some level of prediction of the conservation values For others. However, despite an overall correlation of the patterns of species richness and complementarity, the efficiency of surrogacy was highly asymmetric.. snails and insects were strong predictors of conservation priorities for vertebrates, but not vice versa. These results confirm predictions that taxon surrogates can be effective in highly diverse tropical systems where there is a strong history of vicariant biogeography, but also indicate that correlated patterns for species richness and/or complementarity do not guarantee that one taxon will be efficient as a surrogate for another. In our case, the highly diverse and narrowly distributed invertebrates were more efficient as predictors than the less diverse and more broadly distributed vertebrates.

Urease inhibitor (NBPT) and efficiency of single or split application of urea in wheat crop

NBPT (N-(n-butyl) thiophosphoric triamide), a urease inhibitor, has been reported as one of the most promising compounds to maximize urea nitrogen use in agricultural systems. The objective of this study was to evaluate the performance of irrigated wheat fertilized with urea or urea + NBPT as single or split application. The experiment was conducted from June to October 2006 in Viçosa, MG, Brazil. The experimental design followed a 2×2 factorial scheme, in which urea or urea + NBPT were combined with two modes of application: full dose at sowing (60kg ha-1) or split (20kg ha-1 at sowing + 40kg ha-1 as topdressing at tillering), in randomized blocks with ten replications. The split application of nitrogen fertilization does not improve the yield wheat under used conditions. The use of urease inhibitor improves the grain yield of wheat crop when urea is applied in topdressing at tillering, but its use does not promote difference when urea is applied in the furrow at planting.

Diffusion and efficiency of ISO 9001 in Portugal: a qualitative and quantitative study from a holistic theoretical perspective

Purpose – the aim of this paper is to analyse the diffusion and efficiency of ISO 9001 on different sectors of activity Design/methodology/approach – for that purpose, a holistic an integrative theoretical approach was based on the scope of the Contingency theory, the Institutional theory and the Resources-Based View (RBV). This theorethical perspective was used in a broad empirical study, using a qualitative and quantitative methodology, concerning Portuguese companies from different sectors of activity. Findings – according to the findings from both perspectives, a ranked combination of the named theoretical frame was constructed. Research limitations/implications – as to the analysis of the efficiency of ISO 9000, one of the limitations of this study lays in the consideration of just two sectors of activity, and another relates to its domestic geographical placement. Practical implications – this study used the ISO 9001 structure for the interviews and this has revealed very useful for the organizations to grasp the matters inquired. Originality/value – a relevant contribution to the state of art is achieved through the considered theoretical scope of analysis

The sensitivity, specificity and efficiency values of some serological tests used in the diagnosis of paracoccidioidomycosis

This work reports on the results of double immunodiffusion (ID), counterimmunoelectrophoresis (CIE), complement fixation (CF) and indirect immunofluorescence (IIF) techniques in the serodiagnosis of paracoccidioidomycosis. The study was undertaken on four groups of individuals: 46 patients with untreated paracoccidioidomycosis, 22 patients with other deep mycoses, 30 with other infectious diseases (tuberculosis and cutaneous leishmaniasis) and 47 blood donors as negative controls. Data were obtained using Paracoccidioides brasiliensis antigens, i.e.,a yeast culture filtrate for ID, CIE and CF, and a yeast cell suspension for IIF. The sensitivity, specificity and efficiency values were measured according to GALEN & GAMBINO8.The gel precipitation tests (ID and CIE) showed the greatest sensitivity (91.3 and 95.6%, respectively), maximum specificity (100%) and the highest efficiency values when compared to the CF and IIF tests.

Multiple Linear Regression and Artificial Neural Networks to Predict Time and Efficiency of Soil Vapor Extraction

The prediction of the time and the efficiency of the remediation of contaminated soils using soil vapor extraction remain a difficult challenge to the scientific community and consultants. This work reports the development of multiple linear regression and artificial neural network models to predict the remediation time and efficiency of soil vapor extractions performed in soils contaminated separately with benzene, toluene, ethylbenzene, xylene, trichloroethylene, and perchloroethylene. The results demonstrated that the artificial neural network approach presents better performances when compared with multiple linear regression models. The artificial neural network model allowed an accurate prediction of remediation time and efficiency based on only soil and pollutants characteristics, and consequently allowing a simple and quick previous evaluation of the process viability.

The impact of banks dimension on profitability, sustainability and efficiency: An analysis for the Iberian financial system

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Development and efficiency optimizing of the human body energy converters

Nowadays it is known that the human body is continuous source of many types of energy and the devices used for collecting energy taken from the environment also have the required capabilities for the collection of the energy produced by the Human body (HB), but very limited and with very low efficiency. Low power and high yield converters are particularly needed in these cases of collecting energy from human activity and its movements due to the small amount of energy generated this way. But this situation can be improved. Enhancing or focusing the human movements by using mechanical amplifiers applied to the piezoelectric element. By doing so the input of energy in the element increases. As such increasing its output, therefore producing more energy.