Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Thermochemical equilibrium modeling of biomass downdraft gasifier: Stoichiometric models

The aim of this work is to develop stoichiometric equilibrium models that permit the study of parameters effect in the gasification process of a particular feedstock. In total four models were tested in order to determine the syngas composition. One of these four models, called M2, was based on the theoretical equilibrium constants modified by two correction factors determined using published experimental data. The other two models, M3 and M4 were based in correlations, while model M4 was based in correlations to determine the equilibrium constants, model M3 was based in correlations that relate the H-2, CO and CO2 content on the synthesis gas. Model M2 proved to be the more accurate and versatile among these four models, and also showed better results than some previously published models. Also a case study for the gasification of a blend of hardwood chips and glycerol at 80% and 20% respectively, was performed considering equivalence ratios form 0.3 to 0.5, moisture contents from 0%-20% and oxygen percentages in the gasification agent of 100%, 60% and 21%. (C) 2013 Elsevier Ltd. All rights reserved.

Replications of fundamental research models in ultra high dilutions 1994 and 2015 - update on a bibliometric study

INTRODUCTION This paper focuses exclusively on experimental models with ultra high dilutions (i.e. beyond 10(-23)) that have been submitted to replication scrutiny. It updates previous surveys, considers suggestions made by the research community and compares the state of replication in 1994 with that in 2015. METHODS Following literature research, biochemical, immunological, botanical, cell biological and zoological studies on ultra high dilutions (potencies) were included. Reports were grouped into initial studies, laboratory-internal, multicentre and external replications. Repetition could yield either comparable, or zero, or opposite results. The null-hypothesis was that test and control groups would not be distinguishable (zero effect). RESULTS A total of 126 studies were found. From these, 28 were initial studies. When all 98 replicative studies were considered, 70.4% (i.e. 69) reported a result comparable to that of the initial study, 20.4% (20) zero effect and 9.2% (9) an opposite result. Both for the studies until 1994 and the studies 1995-2015 the null-hypothesis (dominance of zero results) should be rejected. Furthermore, the odds of finding a comparable result are generally higher than of finding an opposite result. Although this is true for all three types of replication studies, the fraction of comparable studies diminishes from laboratory-internal (total 82.9%) to multicentre (total 75%) to external (total 48.3%), while the fraction of opposite results was 4.9%, 10.7% and 13.8%. Furthermore, it became obvious that the probability of an external replication producing comparable results is bigger for models that had already been further scrutinized by the initial researchers. CONCLUSIONS We found 28 experimental models which underwent replication. In total, 24 models were replicated with comparable results, 12 models with zero effect, and 6 models with opposite results. Five models were externally reproduced with comparable results. We encourage further replications of studies in order to learn more about the model systems used.

Vertical structure and physical processes of the Madden-Julian oscillation: exploring key model physics in climate simulations

Aimed at reducing deficiencies in representing the Madden-Julian oscillation (MJO) in general circulation models (GCMs), a global model evaluation project on vertical structure and physical processes of the MJO was coordinated. In this paper, results from the climate simulation component of this project are reported. It is shown that the MJO remains a great challenge in these latest generation GCMs. The systematic eastward propagation of the MJO is only well simulated in about one-fourth of the total participating models. The observed vertical westward tilt with altitude of the MJO is well simulated in good MJO models, but not in the poor ones. Damped Kelvin wave responses to the east of convection in the lower troposphere could be responsible for the missing MJO preconditioning process in these poor MJO models. Several process-oriented diagnostics were conducted to discriminate key processes for realistic MJO simulations. While large-scale rainfall partition and low-level mean zonal winds over the Indo-Pacific in a model are not found to be closely associated with its MJO skill, two metrics, including the low-level relative humidity difference between high and low rain events and seasonal mean gross moist stability, exhibit statistically significant correlations with the MJO performance. It is further indicated that increased cloud-radiative feedback tends to be associated with reduced amplitude of intraseasonal variability, which is incompatible with the radiative instability theory previously proposed for the MJO. Results in this study confirm that inclusion of air-sea interaction can lead to significant improvement in simulating the MJO.

Comparison among three approaches for evaluation of sexual precocity in Nellore cattle

Restricted breeding seasons used in beef cattle produce censored data for reproduction traits measured in regard to these seasons. To analyze these data, adequate methods must be used. The objective of this paper was to compare three approaches aiming to evaluate sexual precocity in Nellore cattle. The final data set contained 6699 records of age at first conception (AFC14) (in days) and of heifer pregnancy (HP14) (binary) obtained from females exposed to the bulls for the first time at about 14 months of age. Records of females that did not calve in the following year after being exposed to a sire were considered censored (77.5% of total). The models used to obtain genetic parameters and expected progeny differences (EPDs) were a Weibull mixed and a censored linear model for AFC14 and threshold model for HP14. The mean heritabilities obtained were 0.76 and 0.44, respectively, for survival and censored linear models (for AFC14), and 0.58 for HP14. Ranking and Pearson correlations varied (in absolute values) from 0.54 to 0.99 (considering different percentages of sires selected), indicating moderate changes in the classification. Considering survival analysis as the best selection criterion (that would result in the best response to selection), it was observed that selection for HP14 would lead to a more significant decrease in selection response if compared with selection for AFC14 analysed by censored linear model, from which results were very similar to the survival analysis.

Comportamento estrutural de lajes pré-moldadas treliçadas com adição de resíduos de borracha de pneu

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Estimates of genetic parameters for total milk yield over multiple ages in Brazilian Murrah buffaloes using different models

The objective of this study was to estimate variance components and genetic parameters for accumulated 305-day milk yield (MY305) over multiple ages, from 24 to 120 months of age, applying random regression (RRM), repeatability (REP) and multi-trait (MT) models. A total of 4472 lactation records from 1882 buffaloes of the Murrah breed were utilized. The contemporary group (herd-year-calving season) and number of milkings (two levels) were considered as fixed effects in all models. For REP and RRM, additive genetic, permanent environmental and residual effects were included as random effects. MT considered the same random effects as did REP and RRM with the exception of permanent environmental effect. Residual variances were modeled by a step function with 1, 4, and 6 classes. The heritabilities estimated with RRM increased with age, ranging from 0.19 to 0.34, and were slightly higher than that obtained with the REP model. For the MT model, heritability estimates ranged from 0.20 (37 months of age) to 0.32 (94 months of age). The genetic correlation estimates for MY305 obtained by RRM (L23.res4) and MT models were very similar, and varied from 0.77 to 0.99 and from 0.77 to 0.99, respectively. The rank correlation between breeding values for MY305 at different ages predicted by REP, MT, and RRM were high. It seems that a linear and quadratic Legendre polynomial to model the additive genetic and animal permanent environmental effects, respectively, may be sufficient to explain more parsimoniously the changes in MY305 genetic variation with age.

Soft edge of hadron scattering and minijet models for the total and inelastic pp cross sections at LHC and beyond

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

Determinação de açúcar total em café cru por espectroscopia no infravermelho próximo e regressão por mínimos quadrados parciais

In this work a fast method for the determination of the total sugar levels in samples of raw coffee was developed using the near infrared spectroscopy technique and multivariate regression. The sugar levels were initially obtained using gravimety as the reference method. Later on, the regression models were built from the near infrared spectra of the coffee samples. The original spectra were pre-treated according to the Kubelka-Munk transformation and multiplicative signal correction. The proposed analytical method made possible the direct determination of the total sugar levels in the samples with an error lower by 8% with respect to the conventional methodology.

Allometric models for estimating the phytomass of a secondary Atlantic Forest area of southeastern Brazil

The purpose of this study was to develop and validate equations to estimate the aboveground phytomass of a 30 years old plot of Atlantic Forest. In two plots of 100 m², a total of 82 trees were cut down at ground level. For each tree, height and diameter were measured. Leaves and woody material were separated in order to determine their fresh weights in field conditions. Samples of each fraction were oven dried at 80 °C to constant weight to determine their dry weight. Tree data were divided into two random samples. One sample was used for the development of the regression equations, and the other for validation. The models were developed using single linear regression analysis, where the dependent variable was the dry mass, and the independent variables were height (h), diameter (d) and d²h. The validation was carried out using Pearson correlation coefficient, paired t-Student test and standard error of estimation. The best equations to estimate aboveground phytomass were: lnDW = -3.068+2.522lnd (r² = 0.91; s y/x = 0.67) and lnDW = -3.676+0.951ln d²h (r² = 0.94; s y/x = 0.56).

Padronização do eletrorretinograma de campo total em cães

Eletrorretinograma (ERG) é o meio diagnóstico objetivo e não-invasivo para avaliar a função retiniana e detectar precocemente, em várias espécies, lesões nas suas camadas mais externas. As indicações mais comuns para ERG em cães são: avaliação pré-cirúrgica de pacientes com catarata, caracterização de distúrbios que causam cegueira, além de servir como importante modelo para o estudo da distrofia retiniana que acomete o homem. Vários são os fatores que podem alterar o ERG tais como: eletrorretinógrafo, fonte de estimulação luminosa, tipo do eletrodo, tempo de adaptação ao escuro, tamanho pupilar, opacidade de meios e protocolo de sedação ou anestesia; além da espécie, raça e idade. Objetivou-se com este estudo padronizar o ERG para cães submetidos à sedação, seguindo o protocolo da International Society for Clinical Electrophysiology of Vision (ISCEV), utilizando Ganzfeld e eletrodos Burian Allen. Foram realizados 233 eletrorretinogramas em cães, 147 fêmeas e 86 machos, com idades entre um e 14 anos. Dos 233 cães examinados, 100 apresentavam catarata em diferentes estágios de maturação, 72 eram diabéticos e apresentavam catarata madura ou hipermadura, 26 apresentaram eletrorretinograma compatível com degeneração retiniana progressiva, três apresentaram eletrorretinograma compatível com síndrome da degeneração retiniana adquirida subitamente e 32 não apresentaram lesão retiniana capaz de atenuar as respostas do ERG, sendo considerados normais quanto à função retiniana. A sedação foi capaz de produzir boa imobilização do paciente sem rotacionar o bulbo ocular, permitindo adequada estimulação retiniana bilateralmente, com auxílio do Ganzfeld. O sistema eletrodiagnóstico Veris registrou com sucesso e simultaneamente de ambos os olhos, as cinco respostas preconizadas pela ISCEV. Como o ERG de campo total tornou-se exame fundamental na rotina oftalmológica, sua padronização é indispensável quando se objetiva comparar resultados de laboratórios distintos. A confiabilidade e reprodutibilidade deste protocolo foi demonstrada com a obtenção de registros de ótima qualidade utilizando protocolo padrão da ISCEV, eletrorretinógrafo Veris, Ganzfeld e eletrodos Burian Allen nos cães submetidos à sedação.

Sugar and total energy content of household food purchases in Brazil

Objective To study the role of energy derived from sugar (both table sugar and sugar added to processed foods) in the total energy content of food purchases in Brazil.Design Food purchase data were collected during a national household budget survey carried out between June 2002 and July 2003 on a probabilistic sample representative of all households in the country. The amount of food purchased in this 12-month period was transformed into energy and energy from sugar using food composition tables. Multiple linear regression models were used to study the association between amount of energy from sugar and total energy content of food purchases, controlling for sociodemographic variables and potential interactions between these variables and sugar purchases.Results There was a positive and significant association between energy from sugar and total household energy purchases. A 1 kJ increase in sugar purchase corresponded to a 3·637 kJ increase in total energy. In the absence of expenditure on meals outside the home, i.e. when household food purchases tend to approximate actual food consumption by household members, sugar purchase of 1926·35 kJ/d (the 90th percentile of the distribution of sugar purchases in Brazil) was associated, depending on income strata, with total energy purchase over 40\201360 per cent of the recommended daily value for energy intake in Brazil.Conclusions The present results corroborate the recommendations of the WHO and the Brazilian Ministry of Health regarding limiting the consumption of sugar

Evaluation of Antihyperglycemia and Antihypertension Potential of Native Peruvian Fruits Using In Vitro Models

Local food diversity and traditional crops are essential for cost-effective management of the global epidemic of type 2 diabetes and associated complications of hypertension. Water and 12% ethanol extracts of native Peruvian fruits such as Lucuma (Pouteria lucuma), Pacae (Inga feuille), Papayita arequipena (Carica pubescens), Capuli (Prunus capuli), Aguaymanto (Physalis peruviana), and Algarrobo (Prosopis pallida) were evaluated for total phenolics, antioxidant activity based on 2, 2-diphenyl-1-picrylhydrazyl radical scavenging assay, and functionality such as in vitro inhibition of alpha-amylase, alpha-glucosidase, and angiotensin I-converting enzyme (ACE) relevant for potential management of hyperglycemia and hypertension linked to type 2 diabetes. The total phenolic content ranged from 3.2 (Aguaymanto) to 11.4 (Lucuma fruit) mg/g of sample dry weight. A significant positive correlation was found between total phenolic content and antioxidant activity for the ethanolic extracts. No phenolic compound was detected in Lucuma (fruit and powder) and Pacae. Aqueous extracts from Lucuma and Algarrobo had the highest alpha-glucosidase inhibitory activities. Papayita arequipena and Algarrobo had significant ACE inhibitory activities reflecting antihypertensive potential. These in vitro results point to the excellent potential of Peruvian fruits for food-based strategies for complementing effective antidiabetes and antihypertension solutions based on further animal and clinical studies.

Antidiabetes and antihypertension potential of commonly consumed carbohydrate sweeteners using in vitro models

Commonly consumed carbohydrate sweeteners derived from sugar cane, palm, and corn (syrups) were investigated to determine their potential to inhibit key enzymes relevant to Type 2 diabetes and hypertension based on the total phenolic content and antioxidant activity using in vitro models. Among sugar cane derivatives, brown sugars showed higher antidiabetes potential than white sugars; nevertheless, no angiotensin I-converting enzyme (ACE) inhibition was detected in both sugar classes. Brown sugar from Peru and Mauritius (dark muscovado) had the highest total phenolic content and 1,1-diphenyl-2-picrylhydrazyl radical scavenging activity, which correlated with a moderate inhibition of yeast alpha-glucosidase without showing a significant effect on porcine pancreatic alpha-amylase activity. In addition, chlorogenic acid quantified by high-performance liquid chromatography was detected in these sugars (128 +/- 6 and 144 +/- 2 mu g/g of sample weight, respectively). Date sugar exhibited high alpha-glucosidase, alpha-amylase, and ACE inhibitory activities that correlated with high total phenolic content and antioxidant activity. Neither phenolic compounds or antioxidant activity was detected in corn syrups, indicating that nonphenolic factors may be involved in their significant ability to inhibit alpha-glucosidase, alpha-amylase, and ACE. This study provides a strong biochemical rationale for further in vivo studies and useful information to make better dietary sweetener choices for Type 2 diabetes and hypertension management.