Stocking of captive-bred fish can cause long-term population decline and gene pool replacement: predictions from a population dynamics model incorporating density-dependent mortality

Releasing captive-bred fish into natural environments (stocking) is common in fisheries worldwide. Although stocking is believed to have a positive effect on fish abundance over the short term, little is known about the long-term consequences of recurrent stocking and its influence on natural populations. In fact, there are growing concerns that genetically maladapted captive-bred fish can eventually reduce the abundance of natural population. In this study, we develop a simple model to quantitatively investigate the condition under which recurrent stocking has long-term effects on the natural population. Using a population dynamics model that takes into account a density-dependent recruitment, a gene responsible for the fitness difference between wild and captive-bred fish, and hybridization between them, we show that there is little or no contribution of recurrent stocking to the stock enhancement without a replacement of the wild gene pool by the captive-bred gene pool. The model further predicted that stocking of an intermediate level causes a reduction, rather than enhancement, of population size over the long term. The population decline due to stocking was attributed to the fitness disadvantage of captive-bred fish and strong overcompensation at recruitment stage. These results suggest that it would be difficult to simultaneously attain population size recovery and conservation of the local gene pool when captive-bred fish have fitness disadvantage in the wild, although caution is needed when applying the predictions from the simplified model to a specific species or population.

The Dual Ownership Structure: a Model to Connect the Cooperative Model With Financial Markets

In business literature, the conflicts among workers, shareholders and the management have been studied mostly in the frame of stakeholder theory. The stakeholder theory recognizes this issue as an agency problem, and tries to solve the problem by establishing a contractual relationship between the agent and principals. However, as Marcoux pointed out, the appropriateness of the contract as a medium to reduce the agency problem should be questioned. As an alternative, the cooperative model minimizes the agency costs by integrating the concept of workers, owners and management. Mondragon Corporation is a successful example of the cooperative model which grew into the sixth largest corporation in Spain. However, the cooperative model has long been ignored in discussions of corporate governance, mainly because the success of the cooperative model is extremely difficult to duplicate in reality. This thesis hopes to revitalize the scholarly examination of cooperatives by developing a new model that overcomes the fundamental problem in the cooperative model: the limited access to capital markets. By dividing the ownership interest into financial and control interest, the dual ownership structure allows cooperatives to issue stock in the capital market by making a financial product out of financial interest.

Advantages and Applications of Transforming Empirical Model Input Space with Dimensional Models

Model-based calibration of steady-state engine operation is commonly performed with highly parameterized empirical models that are accurate but not very robust, particularly when predicting highly nonlinear responses such as diesel smoke emissions. To address this problem, and to boost the accuracy of more robust non-parametric methods to the same level, GT-Power was used to transform the empirical model input space into multiple input spaces that simplified the input-output relationship and improved the accuracy and robustness of smoke predictions made by three commonly used empirical modeling methods: Multivariate Regression, Neural Networks and the k-Nearest Neighbor method. The availability of multiple input spaces allowed the development of two committee techniques: a 'Simple Committee' technique that used averaged predictions from a set of 10 pre-selected input spaces chosen by the training data and the "Minimum Variance Committee" technique where the input spaces for each prediction were chosen on the basis of disagreement between the three modeling methods. This latter technique equalized the performance of the three modeling methods. The successively increasing improvements resulting from the use of a single best transformed input space (Best Combination Technique), Simple Committee Technique and Minimum Variance Committee Technique were verified with hypothesis testing. The transformed input spaces were also shown to improve outlier detection and to improve k-Nearest Neighbor performance when predicting dynamic emissions with steady-state training data. An unexpected finding was that the benefits of input space transformation were unaffected by changes in the hardware or the calibration of the underlying GT-Power model.

Filtration and oxidation characteristics of a diesel oxidation catalyst and a catalyzed particulate filter : development of a 1-D 2-layer model

The emissions, filtration and oxidation characteristics of a diesel oxidation catalyst (DOC) and a catalyzed particulate filter (CPF) in a Johnson Matthey catalyzed continuously regenerating trap (CCRT ®) were studied by using computational models. Experimental data needed to calibrate the models were obtained by characterization experiments with raw exhaust sampling from a Cummins ISM 2002 engine with variable geometry turbocharging (VGT) and programmed exhaust gas recirculation (EGR). The experiments were performed at 20, 40, 60 and 75% of full load (1120 Nm) at rated speed (2100 rpm), with and without the DOC upstream of the CPF. This was done to study the effect of temperature and CPF-inlet NO2 concentrations on particulate matter oxidation in the CCRT ®. A previously developed computational model was used to determine the kinetic parameters describing the oxidation characteristics of HCs, CO and NO in the DOC and the pressure drop across it. The model was calibrated at five temperatures in the range of 280 – 465° C, and exhaust volumetric flow rates of 0.447 – 0.843 act-m3/sec. The downstream HCs, CO and NO concentrations were predicted by the DOC model to within ±3 ppm. The HCs and CO oxidation kinetics in the temperature range of 280 - 465°C and an exhaust volumetric flow rate of 0.447 - 0.843 act-m3/sec can be represented by one ’apparent’ activation energy and pre-exponential factor. The NO oxidation kinetics in the same temperature and exhaust flow rate range can be represented by ’apparent’ activation energies and pre-exponential factors in two regimes. The DOC pressure drop was always predicted within 0.5 kPa by the model. The MTU 1-D 2-layer CPF model was enhanced in several ways to better model the performance of the CCRT ®. A model to simulate the oxidation of particulate inside the filter wall was developed. A particulate cake layer filtration model which describes particle filtration in terms of more fundamental parameters was developed and coupled to the wall oxidation model. To better model the particulate oxidation kinetics, a model to take into account the NO2 produced in the washcoat of the CPF was developed. The overall 1-D 2-layer model can be used to predict the pressure drop of the exhaust gas across the filter, the evolution of particulate mass inside the filter, the particulate mass oxidized, the filtration efficiency and the particle number distribution downstream of the CPF. The model was used to better understand the internal performance of the CCRT®, by determining the components of the total pressure drop across the filter, by classifying the total particulate matter in layer I, layer II, the filter wall, and by the means of oxidation i.e. by O2, NO2 entering the filter and by NO2 being produced in the filter. The CPF model was calibrated at four temperatures in the range of 280 – 465 °C, and exhaust volumetric flow rates of 0.447 – 0.843 act-m3/sec, in CPF-only and CCRT ® (DOC+CPF) configurations. The clean filter wall permeability was determined to be 2.00E-13 m2, which is in agreement with values in the literature for cordierite filters. The particulate packing density in the filter wall had values between 2.92 kg/m3 - 3.95 kg/m3 for all the loads. The mean pore size of the catalyst loaded filter wall was found to be 11.0 µm. The particulate cake packing densities and permeabilities, ranged from 131 kg/m3 - 134 kg/m3, and 0.42E-14 m2 and 2.00E-14 m2 respectively, and are in agreement with the Peclet number correlations in the literature. Particulate cake layer porosities determined from the particulate cake layer filtration model ranged between 0.841 and 0.814 and decreased with load, which is about 0.1 lower than experimental and more complex discrete particle simulations in the literature. The thickness of layer I was kept constant at 20 µm. The model kinetics in the CPF-only and CCRT ® configurations, showed that no ’catalyst effect’ with O2 was present. The kinetic parameters for the NO2-assisted oxidation of particulate in the CPF were determined from the simulation of transient temperature programmed oxidation data in the literature. It was determined that the thermal and NO2 kinetic parameters do not change with temperature, exhaust flow rate or NO2 concentrations. However, different kinetic parameters are used for particulate oxidation in the wall and on the wall. Model results showed that oxidation of particulate in the pores of the filter wall can cause disproportionate decreases in the filter pressure drop with respect to particulate mass. The wall oxidation model along with the particulate cake filtration model were developed to model the sudden and rapid decreases in pressure drop across the CPF. The particulate cake and wall filtration models result in higher particulate filtration efficiencies than with just the wall filtration model, with overall filtration efficiencies of 98-99% being predicted by the model. The pre-exponential factors for oxidation by NO2 did not change with temperature or NO2 concentrations because of the NO2 wall production model. In both CPF-only and CCRT ® configurations, the model showed NO2 and layer I to be the dominant means and dominant physical location of particulate oxidation respectively. However, at temperatures of 280 °C, NO2 is not a significant oxidizer of particulate matter, which is in agreement with studies in the literature. The model showed that 8.6 and 81.6% of the CPF-inlet particulate matter was oxidized after 5 hours at 20 and 75% load in CCRT® configuration. In CPF-only configuration at the same loads, the model showed that after 5 hours, 4.4 and 64.8% of the inlet particulate matter was oxidized. The increase in NO2 concentrations across the DOC contributes significantly to the oxidation of particulate in the CPF and is supplemented by the oxidation of NO to NO2 by the catalyst in the CPF, which increases the particulate oxidation rates. From the model, it was determined that the catalyst in the CPF modeslty increases the particulate oxidation rates in the range of 4.5 – 8.3% in the CCRT® configuration. Hence, the catalyst loading in the CPF of the CCRT® could possibly be reduced without significantly decreasing particulate oxidation rates leading to catalyst cost savings and better engine performance due to lower exhaust backpressures.

A Stratified Model for Psychosis Prediction in Clinical Practice

Objective: Impaired cognition is an important dimension in psychosis and its at-risk states. Research on the value of impaired cognition for psychosis prediction in at-risk samples, however, mainly relies on study-specific sample means of neurocognitive tests, which unlike widely available general test norms are difficult to translate into clinical practice. The aim of this study was to explore the combined predictive value of at-risk criteria and neurocognitive deficits according to test norms with a risk stratification approach. Method: Potential predictors of psychosis (neurocognitive deficits and at-risk criteria) over 24 months were investigated in 97 at-risk patients. Results: The final prediction model included (1) at-risk criteria (attenuated psychotic symptoms plus subjective cognitive disturbances) and (2) a processing speed deficit (digit symbol test). The model was stratified into 4 risk classes with hazard rates between 0.0 (both predictors absent) and 1.29 (both predictors present). Conclusions: The combination of a processing speed deficit and at-risk criteria provides an optimized stratified risk assessment. Based on neurocognitive test norms, the validity of our proposed 3 risk classes could easily be examined in independent at-risk samples and, pending positive validation results, our approach could easily be applied in clinical practice in the future.

Regulation of Phytoplankton Carbon to Chlorophyll Ratio By Light, Nutrients and Temperature in the Equatorial Pacific Ocean: A Basin-Scale Model

The complex effects of light, nutrients and temperature lead to a variable carbon to chlorophyll (C:Chl) ratio in phytoplankton cells. Using field data collected in the Equatorial Pacific, we derived a new dynamic model with a non-steady C:Chl ratio as a function of irradiance, nitrate, iron, and temperature. The dynamic model is implemented into a basin-scale ocean circulation-biogeochemistry model and tested in the Equatorial Pacific Ocean. The model reproduces well the general features of phytoplankton dynamics in this region. For instance, the simulated deep chlorophyll maximum (DCM) is much deeper in the western warm pool (similar to 100 m) than in the Eastern Equatorial Pacific (similar to 50 m). The model also shows the ability to reproduce chlorophyll, including not only the zonal, meridional and vertical variations, but also the interannual variability. This modeling study demonstrates that combination of nitrate and iron regulates the spatial and temporal variations in the phytoplankton C:Chl ratio in the Equatorial Pacific. Sensitivity simulations suggest that nitrate is mainly responsible for the high C:Chl ratio in the western warm pool while iron is responsible for the frontal features in the C:Chl ratio between the warm pool and the upwelling region. In addition, iron plays a dominant role in regulating the spatial and temporal variations of the C:Chl ratio in the Central and Eastern Equatorial Pacific. While temperature has a relatively small effect on the C:Chl ratio, light is primarily responsible for the vertical decrease of phytoplankton C:Chl ratio in the euphotic zone.

Monte Carlo based beam model using a photon MLC for modulated electron radiotherapy

PURPOSE Modulated electron radiotherapy (MERT) promises sparing of organs at risk for certain tumor sites. Any implementation of MERT treatment planning requires an accurate beam model. The aim of this work is the development of a beam model which reconstructs electron fields shaped using the Millennium photon multileaf collimator (MLC) (Varian Medical Systems, Inc., Palo Alto, CA) for a Varian linear accelerator (linac). METHODS This beam model is divided into an analytical part (two photon and two electron sources) and a Monte Carlo (MC) transport through the MLC. For dose calculation purposes the beam model has been coupled with a macro MC dose calculation algorithm. The commissioning process requires a set of measurements and precalculated MC input. The beam model has been commissioned at a source to surface distance of 70 cm for a Clinac 23EX (Varian Medical Systems, Inc., Palo Alto, CA) and a TrueBeam linac (Varian Medical Systems, Inc., Palo Alto, CA). For validation purposes, measured and calculated depth dose curves and dose profiles are compared for four different MLC shaped electron fields and all available energies. Furthermore, a measured two-dimensional dose distribution for patched segments consisting of three 18 MeV segments, three 12 MeV segments, and a 9 MeV segment is compared with corresponding dose calculations. Finally, measured and calculated two-dimensional dose distributions are compared for a circular segment encompassed with a C-shaped segment. RESULTS For 15 × 34, 5 × 5, and 2 × 2 cm(2) fields differences between water phantom measurements and calculations using the beam model coupled with the macro MC dose calculation algorithm are generally within 2% of the maximal dose value or 2 mm distance to agreement (DTA) for all electron beam energies. For a more complex MLC pattern, differences between measurements and calculations are generally within 3% of the maximal dose value or 3 mm DTA for all electron beam energies. For the two-dimensional dose comparisons, the differences between calculations and measurements are generally within 2% of the maximal dose value or 2 mm DTA. CONCLUSIONS The results of the dose comparisons suggest that the developed beam model is suitable to accurately reconstruct photon MLC shaped electron beams for a Clinac 23EX and a TrueBeam linac. Hence, in future work the beam model will be utilized to investigate the possibilities of MERT using the photon MLC to shape electron beams.

Risk and protective factors associated with depression among racial and ethnic mothers of adolescents

The central paradigm linking disadvantaged social status and mental health has been the social stress model (Horwitz, 1999), the assumption being that individuals residing in lower social status groups are subjected to greater levels of stress not experienced by individuals from higher status groups. A further assumption is that such individuals have fewer resources to cope with stress, in turn leading to higher levels of psychological disorder, including depression (Pearlin, 1989). Despite these key assumptions, there is a dearth of literature comparing the social patterning of stress exposure (Hatch & Dohrenwend, 2007; Meyer, Schwartz, & Frost, 2008; Kessler, Mickelson, & Williams, 1999; Turner & Avison, 2003; Turner & Lloyd, 1999; Turner, Wheaton, & Lloyd, 1995), and the distribution and contribution of protective factors, posited to play a role in the low rates of depression found among African- and Latino-Americans (Alegria et al., 2007; Breslau, Aguilar-Gaxiola, Kendler, Su, Williams, & Kessler, 2006; Breslau, Borges, Hagar, Tancredi, Gilman, 2009; Gavin, Walton, Chae, Alegria, Jackson, & Takeuchi, 2010; Williams, & Neighbors, 2006). Thus, this study sought to describe both the distribution and contribution of risk and protective factors in relation to depression among a sample of African-, European-, and Latina-American mothers of adolescents, including testing a hypothesized mechanism through which social support, an important protective factor specific to women and depression, operates. ^ Despite the finding that the levels of depression were not statistically different across all three groups of women, surprising results were found in describing the distribution of both risk and protective factors, in that results reported among all women who were mothers when analyzed masked differences within each ethnic group when SES was assessed, a point made explicit by Williams (2002) regarding racial and ethnic variations in women's health. In the final analysis, while perceived social support was found to partially mediate the effect of social isolation on depression, among African-Americans, the direct effect of social isolation and depression was lower among this group of women, as was the indirect effect of social isolation and perceived social support when compared to European- and Latina-American mothers. Or, put differently, higher levels of social isolation were not found to be as associated with more depression or lower social support among African-American mothers when compared to their European- and Latina-American counterparts. ^ Women in American society occupy a number of roles, i.e., that of being female, married or single, mother, homemaker or employee. In addition, to these roles, ethnicity and SES also come into play, such that the intersection of all these roles and the social contexts that they occupy are equally important and must be taken into consideration when making predictions drawn from the social stress model. Based on these findings, it appears that the assumptions of the social stress model need to be revisited to include the variety of roles that intersect among individuals from differing social groups. More specifically, among women who are mothers and occupy a myriad of other roles, i.e., that of being female, married or single, African- or Latina-American, mother, homemaker or employee, the intersection of all the roles and the social contexts that women occupy are equally important and must be taken into consideration when looking at both the types and distribution of stressors across women. Predictions based on simple, mutually exclusive categories of social groups may lead to erroneous assumptions and misleading results.^

¿Porque funciona o por qué funciona? Los argumentos de fiscales y abogados defensores en causas por delitos sexuales [Buenos Aires, 1863-1921]

Las agresiones sexuales producen, habitualmente, una enorme cantidad de discursos no sólo jurídicos, médicos y académicos sino también periodísticos e incluso de simple divulgación o informales. En ellos se cuelan cotidiana y casi desapercibidamente ideas respecto de las conductas sexuales esperables -o inaceptables- tanto en hombres como mujeres antes, durante y después del ataque. En el presente trabajo propongo estudiar un conjunto de discursos particular donde pueden verse estas mismas cuestiones: los argumentos que fiscales y abogados defensores produjeron en el contexto de su participación en casos por delitos sexuales durante la segunda mitad del siglo XIX y principios del XX llevados adelante en Buenos Aires. La contienda judicial obliga, si se quiere, a que los juristas involucrados en el proceso deban siempre armar historias "creíbles" en tanto "factibles" de acuerdo a los hechos que la investigación del ilícito denunciado va revelando, y aunque cada caso tenga características particulares, siempre existirán similitudes que permitan el desarrollo de estrategias legales comunes para aplicar en ocasiones análogas. Aquí entonces, se busca mostrar cuáles fueron algunas de las estrategias discursivas en los juicios por los delitos particulares que trabajo, independientemente del éxito final de la estrategia en el expediente concreto. En este sentido, si bien debe tenerse en cuenta que los alegatos siempre son un relato armado que responde a una meta particular -ganar el caso-, y por tanto, su estudio requiere de especiales cuidados es factible utilizarlos para rastrear ideas socio-sexuales que se cuelan en ellos así como pensar las distintas formas en que se construye o discute a la víctima. Al analizar casos que tuvieron por víctimas a mujeres y a hombres se busca poner en juego las diferentes construcciones discursivas que se dieron para cada uno de ellos mostrando los diferentes argumentos que se produjeron de acuerdo al sexo biológico de la persona agredida y tensionando entonces las ideas de lo esperable y aceptable para cada uno de ellos no sólo en el terreno de la sexualidad sino de los lugares asignados en la sociedad

¿Porque funciona o por qué funciona? Los argumentos de fiscales y abogados defensores en causas por delitos sexuales [Buenos Aires, 1863-1921]

Las agresiones sexuales producen, habitualmente, una enorme cantidad de discursos no sólo jurídicos, médicos y académicos sino también periodísticos e incluso de simple divulgación o informales. En ellos se cuelan cotidiana y casi desapercibidamente ideas respecto de las conductas sexuales esperables -o inaceptables- tanto en hombres como mujeres antes, durante y después del ataque. En el presente trabajo propongo estudiar un conjunto de discursos particular donde pueden verse estas mismas cuestiones: los argumentos que fiscales y abogados defensores produjeron en el contexto de su participación en casos por delitos sexuales durante la segunda mitad del siglo XIX y principios del XX llevados adelante en Buenos Aires. La contienda judicial obliga, si se quiere, a que los juristas involucrados en el proceso deban siempre armar historias "creíbles" en tanto "factibles" de acuerdo a los hechos que la investigación del ilícito denunciado va revelando, y aunque cada caso tenga características particulares, siempre existirán similitudes que permitan el desarrollo de estrategias legales comunes para aplicar en ocasiones análogas. Aquí entonces, se busca mostrar cuáles fueron algunas de las estrategias discursivas en los juicios por los delitos particulares que trabajo, independientemente del éxito final de la estrategia en el expediente concreto. En este sentido, si bien debe tenerse en cuenta que los alegatos siempre son un relato armado que responde a una meta particular -ganar el caso-, y por tanto, su estudio requiere de especiales cuidados es factible utilizarlos para rastrear ideas socio-sexuales que se cuelan en ellos así como pensar las distintas formas en que se construye o discute a la víctima. Al analizar casos que tuvieron por víctimas a mujeres y a hombres se busca poner en juego las diferentes construcciones discursivas que se dieron para cada uno de ellos mostrando los diferentes argumentos que se produjeron de acuerdo al sexo biológico de la persona agredida y tensionando entonces las ideas de lo esperable y aceptable para cada uno de ellos no sólo en el terreno de la sexualidad sino de los lugares asignados en la sociedad

¿Porque funciona o por qué funciona? Los argumentos de fiscales y abogados defensores en causas por delitos sexuales [Buenos Aires, 1863-1921]

Las agresiones sexuales producen, habitualmente, una enorme cantidad de discursos no sólo jurídicos, médicos y académicos sino también periodísticos e incluso de simple divulgación o informales. En ellos se cuelan cotidiana y casi desapercibidamente ideas respecto de las conductas sexuales esperables -o inaceptables- tanto en hombres como mujeres antes, durante y después del ataque. En el presente trabajo propongo estudiar un conjunto de discursos particular donde pueden verse estas mismas cuestiones: los argumentos que fiscales y abogados defensores produjeron en el contexto de su participación en casos por delitos sexuales durante la segunda mitad del siglo XIX y principios del XX llevados adelante en Buenos Aires. La contienda judicial obliga, si se quiere, a que los juristas involucrados en el proceso deban siempre armar historias "creíbles" en tanto "factibles" de acuerdo a los hechos que la investigación del ilícito denunciado va revelando, y aunque cada caso tenga características particulares, siempre existirán similitudes que permitan el desarrollo de estrategias legales comunes para aplicar en ocasiones análogas. Aquí entonces, se busca mostrar cuáles fueron algunas de las estrategias discursivas en los juicios por los delitos particulares que trabajo, independientemente del éxito final de la estrategia en el expediente concreto. En este sentido, si bien debe tenerse en cuenta que los alegatos siempre son un relato armado que responde a una meta particular -ganar el caso-, y por tanto, su estudio requiere de especiales cuidados es factible utilizarlos para rastrear ideas socio-sexuales que se cuelan en ellos así como pensar las distintas formas en que se construye o discute a la víctima. Al analizar casos que tuvieron por víctimas a mujeres y a hombres se busca poner en juego las diferentes construcciones discursivas que se dieron para cada uno de ellos mostrando los diferentes argumentos que se produjeron de acuerdo al sexo biológico de la persona agredida y tensionando entonces las ideas de lo esperable y aceptable para cada uno de ellos no sólo en el terreno de la sexualidad sino de los lugares asignados en la sociedad

Myanmar's non-resource export potential after the lifting of economic sanctions : a gravity model analysis

Easing of economic sanctions by Western countries in 2012 augmented the prospect that Myanmar will expand its exports. On the other hand, a sharp rise in natural resource exports during the sanctions brings in a concern about the "Dutch disease". This study projects Myanmar's export potential by calculating counterfactual export values with an augmented gravity model that takes into account the effects of natural resource exports on non-resource exports. Without taking into account the effects of natural resource exports, the counterfactual predicted values of non-resource exports during 2004–2011 are more than five times larger than the actual exports. If we take into account the effects, however, the predicted values are smaller than the actual exports. The empirical results imply that the "Dutch disease" is at stake in Myanmar than any other Southeast Asian countries.

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.

Towards execution time estimation for logic programs via static analysis and profiling

Effective static analyses have been proposed which infer bounds on the number of resolutions or reductions. 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 the platform in order to determine the valúes of certain parameters for a given platform. These parameters calíbrate 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.

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.