Efficient implementation of general negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, after proposing some extensions to the method, we provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques (in particular those included in the Ciao Prolog system preprocessor) have had a significant role in the success of the technique.

A General Purpose Configurable Navigation Controller for Micro Aerial Multirotor Vehicles

In this paper, we consider the problem of autonomous navigation of multirotor platforms in GPS-denied environments. The focus of this work is on safe navigation based on unperfect odometry measurements, such as on-board optical flow measurements. The multirotor platform is modeled as a flying object with specific kinematic constraints that must be taken into account in order to obtain successful results. A navigation controller is proposed featuring a set of configurable parameters that allow, for instance, to have a configuration setup for fast trajectory following, and another to soften the control laws and make the vehicle navigation more precise and slow whenever necessary. The proposed controller has been successfully implemented in two different multirotor platforms with similar sensoring capabilities showing the openness and tolerance of the approach. This research is focused around the Computer Vision Group's objective of applying multirotor vehicles to civilian service applications. The presented work was implemented to compete in the International Micro Air Vehicle Conference and Flight Competition IMAV 2012, gaining two awards: the Special Award on "Best Automatic Performance - IMAV 2012" and the second overall prize in the participating category "Indoor Flight Dynamics - Rotary Wing MAV". Most of the code related to the present work is available as two open-source projects hosted in GitHub.

Enhancing QA systems with complex temporal question processing capabilities

This paper presents a multilayered architecture that enhances the capabilities of current QA systems and allows different types of complex questions or queries to be processed. The answers to these questions need to be gathered from factual information scattered throughout different documents. Specifically, we designed a specialized layer to process the different types of temporal questions. Complex temporal questions are first decomposed into simple questions, according to the temporal relations expressed in the original question. In the same way, the answers to the resulting simple questions are recomposed, fulfilling the temporal restrictions of the original complex question. A novel aspect of this approach resides in the decomposition which uses a minimal quantity of resources, with the final aim of obtaining a portable platform that is easily extensible to other languages. In this paper we also present a methodology for evaluation of the decomposition of the questions as well as the ability of the implemented temporal layer to perform at a multilingual level. The temporal layer was first performed for English, then evaluated and compared with: a) a general purpose QA system (F-measure 65.47% for QA plus English temporal layer vs. 38.01% for the general QA system), and b) a well-known QA system. Much better results were obtained for temporal questions with the multilayered system. This system was therefore extended to Spanish and very good results were again obtained in the evaluation (F-measure 40.36% for QA plus Spanish temporal layer vs. 22.94% for the general QA system).

Innovative Capabilities and Market Performance: The European Union in International Comparison. Jean Monnet/Robert Schuman Paper Series Vol. 12, No. 7, September 2012

This paper investigates the EU’s international positioning in terms of innovative capabilities and global market performance by using most recent quantitative data on a wide branch of indicators. The EU’s performance is compared to the standings of its most important economic competitors and emerging economic powerhouses: the USA, Japan, China, Brazil, India, Russia and South Africa. By doing so, this paper offer insightful and deep information about the EU’s power to compete and rank in international economic affairs. It will be proofed that the European Union ranks in many of the indicators related to innovative capabilities in good position and the EU’s overall global market performance is excellent, whereas the BRICS are underachieving.

The relative advantage of marketing over technological capabilities in influencing new product performance:the moderating role of country institutions

Marketing and technological capabilities are major drivers of new product performance. Prior research has suggested that marketing capabilities outperform technological capabilities. This study shows that the relative advantage of marketing over technological capabilities for new product performance depends on the institutional context in a country. Meta-analytic data of 341 effect sizes of the relationship between capabilities and new product performance taken from 50 articles with 57 independent samples and collected in 17 different countries reveal new contingencies to the capabilities framework. Although in general, marketing capabilities have a stronger influence than technological capabilities on new product performance, this effect is moderated by institutional context factors. The relative advantage decreases and even reverses with increasing growth rates; it further decreases with increasingly stronger rules of law in a country; and it increases in societies that put emphasis on self-expression values over survival values. These findings contribute to research on the utility of different capabilities, inform the institution-based view of firms in international marketing, and provide implications for international marketing managers.

Autoconceito e capacidades fisicas de idosos depessivos e não depressivos participantes de um programa de atividade fisica de longa duração

Universidade Estadual de Campinas . Faculdade de Educação Física

The Southern Brazilian shelf: general characteristics, quaternary evolution and sediment distribution

Extending from latitude 34ºS to 22ºS the Southern Brazilian shelf constitutes the only part of the Brazilian shelf with a subtropical to temperate environment. The studies on the different geological aspects of the area began in the 1960's and have recently been reassessed after studies related to the determination of the Economic Exclusive Zone. In terms of morphology, the Southern Brazilian shelf may be divided into three sectors, the São Paulo Bight, the Florianópolis-Mostardas Sector and the Rio Grande Cone, characterized by conspicuous differences in terms of geological determining factors, bathymetry, declivities and the presence of canyons and channels. Despite the existence of hundreds of radiocarbon datings the sea level changes curve of southern Brazil during the Last Glacial Cycle is still a matter of debate. A recent controversy on the Middle and late Holocene sea level changes curve raised the question of the amplitude of the oscillations which occurred in the period. Also, a few but relatively consistent radiocarbon datings suggest the occurrence of a high sea level during Isotope Stage 3. In terms of sedimentary cover the Southern Brazilian shelf exhibits a very strong hydrodynamic control, both latitudinal and bathymetrical. The sector southward from 25ºS is characterized by the influence of the plume of water carrying sediments originating from the Río de La Plata. Actually its presence is conspicuous up to 28ºS, with the area between this latitude and 25ºS constituting a transitional zone. In terms of bathymetry the outer shelf is marked by the "floor-polisher" effect of the Brazil Current, which is responsible for the maintenance of a relict facies in areas deeper than 100 meters.

Electrocardiographic study on geriatric dogs undergoing general anesthesia with isoflurane

The purpose of this study was to clarify the degree of influence of anesthetic agents commonly used during anesthesia on the heart conduction systems of geriatric dogs, with or without the presence of electrocardiographic changes in the pre-anesthetic electrocardiogram and also to determine the possible causes of ST-segment and T-wave changes during anesthesia, by monitoring ventilation and oxygenation. 36 geriatric dogs were evaluated. In addition to electrocardiographic evaluation, the pre-anesthetic study included serum levels of urea, creatinine, total protein, albumin and electrolytes. The pre-anesthetic medication consisted of acepromazine (0.05mg kg-1) in association with meperidine (3.0mg kg-1) by IM injection. Anesthesia was induced with propofol (3.0 to 5.0mg kg-1) by IV injection and maintained with isoflurane in 100% oxygen. During the anesthesia, the animals were monitored by continued computerized electrocardiogram. Systemic blood pressure, heart rate, respiratory rate, end-tidal carbon dioxide, partial pressure of carbon dioxide in arterial blood, arterial oxygen saturation, partial pressure of arterial oxygen and oxygen saturation of hemoglobin were closely monitored. During maintenance anesthesia, normal sinus rhythm was more common (78%). ST-segment and T-wave changes during the anesthetic procedure were quite common and were related to hypoventilation. The use of isoflurane did not result in arrhythmia, being therefore a good choice for this type of animal; Electrocardiographic findings of ST-segment and T-wave changes during the maintenance anesthesia were evident in animals with hypercapnia, a disorder that should be promptly corrected with assisted or controlled ventilation to prevent complicated arrhythmias.

TCF7L2 variant genotypes and type 2 diabetes risk in Brazil: significant association, but not a significant tool for risk stratification in the general population

Background: Genetic polymorphisms of the TCF7L2 gene are strongly associated with large increments in type 2 diabetes risk in different populations worldwide. In this study, we aimed to confirm the effect of the TCF7L2 polymorphism rs7903146 on diabetes risk in a Brazilian population and to assess the use of this genetic marker in improving diabetes risk prediction in the general population. Methods: We genotyped the single nucleotide polymorphisms (SNP) rs7903146 of the TCF7L2 gene in 560 patients with known coronary disease enrolled in the MASS II (Medicine, Angioplasty, or Surgery Study) Trial and in 1,449 residents of Vitoria, in Southeast Brazil. The associations of this gene variant to diabetes risk and metabolic characteristics in these two different populations were analyzed. To access the potential benefit of using this marker for diabetes risk prediction in the general population we analyzed the impact of this genetic variant on a validated diabetes risk prediction tool based on clinical characteristics developed for the Brazilian general population. Results: SNP rs7903146 of the TCF7L2 gene was significantly associated with type 2 diabetes in the MASS-II population (OR = 1.57 per T allele, p = 0.0032), confirming, in the Brazilian population, previous reports of the literature. Addition of this polymorphism to an established clinical risk prediction score did not increased model accuracy (both area under ROC curve equal to 0.776). Conclusion: TCF7L2 rs7903146 T allele is associated with a 1.57 increased risk for type 2 diabetes in a Brazilian cohort of patients with known coronary heart disease. However, the inclusion of this polymorphism in a risk prediction tool developed for the general population resulted in no improvement of performance. This is the first study, to our knowledge, that has confirmed this recent association in a South American population and adds to the great consistency of this finding in studies around the world. Finally, confirming the biological association of a genetic marker does not guarantee improvement on already established screening tools based solely on demographic variables.

CYP2C19 and ABCB1 gene polymorphisms are differently distributed according to ethnicity in the Brazilian general population

Background: Recent studies have reported the clinical importance of CYP2C19 and ABCB1 polymorphisms in an individualized approach to clopidogrel treatment. The aims of this study were to evaluate the frequencies of CYP2C19 and ABCB1 polymorphisms and to identify the clopidogrel-predicted metabolic phenotypes according to ethnic groups in a sample of individuals representative of a highly admixtured population. Methods: One hundred and eighty-three Amerindians and 1,029 subjects of the general population of 4 regions of the country were included. Genotypes for the ABCB1c.C3435T (rs1045642), CYP2C19*2 (rs4244285), CYP2C19*3 (rs4986893), CYP2C19*4 (rs28399504), CYP2C19*5 (rs56337013), and CYP2C19*17 (rs12248560) polymorphisms were detected by polymerase chain reaction followed by high resolution melting analysis. The CYP2C19*3, CYP2C19*4 and CYP2C19*5 variants were genotyped in a subsample of subjects (300 samples randomly selected). Results: The CYP2C19*3 and CYP2C19*5 variant alleles were not detected and the CYP2C19*4 variant allele presented a frequency of 0.3%. The allelic frequencies for the ABCB1c.C3435T, CYP2C19*2 and CYP2C19*17 polymorphisms were differently distributed according to ethnicity: Amerindian (51.4%, 10.4%, 15.8%); Caucasian descent (43.2%, 16.9%, 18.0%); Mulatto (35.9%, 16.5%, 21.3%); and African descent (32.8%, 20.2%, 26.3%) individuals, respectively. As a result, self-referred ethnicity was able to predict significantly different clopidogrel-predicted metabolic phenotypes prevalence even for a highly admixtured population. Conclusion: Our findings indicate the existence of inter-ethnic differences in the ABCB1 and CYP2C19 variant allele frequencies in the Brazilian general population plus Amerindians. This information could help in stratifying individuals from this population regarding clopidogrel-predicted metabolic phenotypes and design more cost-effective programs towards individualization of clopidogrel therapy.

POLLING SYSTEMS WITH PARAMETER REGENERATION, THE GENERAL CASE

We consider a polling model with multiple stations, each with Poisson arrivals and a queue of infinite capacity. The service regime is exhaustive and there is Jacksonian feedback of served customers. What is new here is that when the server comes to a station it chooses the service rate and the feedback parameters at random; these remain valid during the whole stay of the server at that station. We give criteria for recurrence, transience and existence of the sth moment of the return time to the empty state for this model. This paper generalizes the model, when only two stations accept arriving jobs, which was considered in [Ann. Appl. Probab. 17 (2007) 1447-1473]. Our results are stated in terms of Lyapunov exponents for random matrices. From the recurrence criteria it can be seen that the polling model with parameter regeneration can exhibit the unusual phenomenon of null recurrence over a thick region of parameter space.

LIMIT THEOREMS FOR A GENERAL STOCHASTIC RUMOUR MODEL

We study a general stochastic rumour model in which an ignorant individual has a certain probability of becoming a stifler immediately upon hearing the rumour. We refer to this special kind of stifler as an uninterested individual. Our model also includes distinct rates for meetings between two spreaders in which both become stiflers or only one does, so that particular cases are the classical Daley-Kendall and Maki-Thompson models. We prove a Law of Large Numbers and a Central Limit Theorem for the proportions of those who ultimately remain ignorant and those who have heard the rumour but become uninterested in it.

Recursive linear estimation for general discrete-time descriptor systems

This paper considers the optimal linear estimates recursion problem for discrete-time linear systems in its more general formulation. The system is allowed to be in descriptor form, rectangular, time-variant, and with the dynamical and measurement noises correlated. We propose a new expression for the filter recursive equations which presents an interesting simple and symmetric structure. Convergence of the associated Riccati recursion and stability properties of the steady-state filter are provided. (C) 2010 Elsevier Ltd. All rights reserved.

New prediction methods for CO2 evaporation inside tubes: Part II - An updated general flow boiling heat transfer model based on flow patterns

Corresponding to the updated flow pattern map presented in Part I of this study, an updated general flow pattern based flow boiling heat transfer model was developed for CO2 using the Cheng-Ribatski-Wojtan-Thome [L. Cheng, G. Ribatski, L. Wojtan, J.R. Thome, New flow boiling heat transfer model and flow pattern map for carbon dioxide evaporating inside horizontal tubes, Int. J. Heat Mass Transfer 49 (2006) 4082-4094; L. Cheng, G. Ribatski, L. Wojtan, J.R. Thome, Erratum to: ""New flow boiling heat transfer model and flow pattern map for carbon dioxide evaporating inside tubes"" [Heat Mass Transfer 49 (21-22) (2006) 4082-4094], Int. J. Heat Mass Transfer 50 (2007) 391] flow boiling heat transfer model as the starting basis. The flow boiling heat transfer correlation in the dryout region was updated. In addition, a new mist flow heat transfer correlation for CO2 was developed based on the CO2 data and a heat transfer method for bubbly flow was proposed for completeness sake. The updated general flow boiling heat transfer model for CO2 covers all flow regimes and is applicable to a wider range of conditions for horizontal tubes: tube diameters from 0.6 to 10 mm, mass velocities from 50 to 1500 kg/m(2) s, heat fluxes from 1.8 to 46 kW/m(2) and saturation temperatures from -28 to 25 degrees C (reduced pressures from 0.21 to 0.87). The updated general flow boiling heat transfer model was compared to a new experimental database which contains 1124 data points (790 more than that in the previous model [Cheng et al., 2006, 2007]) in this study. Good agreement between the predicted and experimental data was found in general with 71.4% of the entire database and 83.2% of the database without the dryout and mist flow data predicted within +/-30%. However, the predictions for the dryout and mist flow regions were less satisfactory due to the limited number of data points, the higher inaccuracy in such data, scatter in some data sets ranging up to 40%, significant discrepancies from one experimental study to another and the difficulties associated with predicting the inception and completion of dryout around the perimeter of the horizontal tubes. (C) 2007 Elsevier Ltd. All rights reserved.