Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Makespan computation for GPU threads running on a single streaming multiprocessor

Graphics processors were originally developed for rendering graphics but have recently evolved towards being an architecture for general-purpose computations. They are also expected to become important parts of embedded systems hardware -- not just for graphics. However, this necessitates the development of appropriate timing analysis techniques which would be required because techniques developed for CPU scheduling are not applicable. The reason is that we are not interested in how long it takes for any given GPU thread to complete, but rather how long it takes for all of them to complete. We therefore develop a simple method for finding an upper bound on the makespan of a group of GPU threads executing the same program and competing for the resources of a single streaming multiprocessor (whose architecture is based on NVIDIA Fermi, with some simplifying assunptions). We then build upon this method to formulate the derivation of the exact worst-case makespan (and corresponding schedule) as an optimization problem. Addressing the issue of tractability, we also present a technique for efficiently computing a safe estimate of the worstcase makespan with minimal pessimism, which may be used when finding an exact value would take too long.

Synechocystis ferredoxin/ferredoxin-NADP+-reductase/NADP+ complex: Structural model obtained by NMR-restrained docking

FEBS Letters 579 (2005) 4585–4590

Iterative refinement approach for QOS-Aware service configuration

In heterogeneous environments, diversity of resources among the devices may affect their ability to perform services with specific QoS constraints, and drive peers to group themselves in a coalition for cooperative service execution. The dynamic selection of peers should be influenced by user’s QoS requirements as well as local computation availability, tailoring provided service to user’s specific needs. However, complex dynamic real-time scenarios may prevent the possibility of computing optimal service configurations before execution. An iterative refinement approach with the ability to trade off deliberation time for the quality of the solution is proposed. We state the importance of quickly finding a good initial solution and propose heuristic evaluation functions that optimise the rate at which the quality of the current solution improves as the algorithms have more time to run.

Enabling Global Experiments With Interactive Reconfiguration And Steering By Multiple Users

In global scientific experiments with collaborative scenarios involving multinational teams there are big challenges related to data access, namely data movements are precluded to other regions or Clouds due to the constraints on latency costs, data privacy and data ownership. Furthermore, each site is processing local data sets using specialized algorithms and producing intermediate results that are helpful as inputs to applications running on remote sites. This paper shows how to model such collaborative scenarios as a scientific workflow implemented with AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic), a decentralized framework offering a feasible solution to run the workflow activities on distributed data centers in different regions without the need of large data movements. The AWARD workflow activities are independently monitored and dynamically reconfigured and steering by different users, namely by hot-swapping the algorithms to enhance the computation results or by changing the workflow structure to support feedback dependencies where an activity receives feedback output from a successor activity. A real implementation of one practical scenario and its execution on multiple data centers of the Amazon Cloud is presented including experimental results with steering by multiple users.

Logic functions based on optical bias controlled SIC Tandem devices

The purpose of this paper is the design of an optoelectronic circuit based on a-SiC technology, able to act simultaneously as a 4-bit binary encoder or a binary decoder in a 4-to-16 line configurations and show multiplexer-based logical functions. The device consists of a p-i'(a-SiC:H)-n/p-i(a-Si:H)-n multilayered structure produced by PECVD. To analyze it under information-modulated wave (color channels) and uniform irradiation (background) four monochromatic pulsed lights (input channels): red, green, blue and violet shine on the device. Steady state optical bias was superimposed separately from the front and the back sides, and the generated photocurrent was measured. Results show that the devices, under appropriate optical bias, act as reconfigurable active filters that allow optical switching and optoelectronic logic functions development providing the possibility for selective removal of useless wavelengths. The logic functions needed to construct any other complex logic functions are the NOT, and both or either an AND or an OR. Any other complex logic function that might be found can also be used as building blocks to achieve the functions needed for the retrieval of channels within the WDM communication link. (C) 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Tunnig optical A-Sic/A-Si active filters by UV bias light in the visible and infrared spectral ranges

Visible range to telecom band spectral translation is accomplished using an amorphous SiC pi'n/pin wavelength selector under appropriate front and back optical light bias. Results show that background intensity works as selectors in the infrared region, shifting the sensor sensitivity. Low intensities select the near-infrared range while high intensities select the visible part according to its wavelength. Here, the optical gain is very high in the infrared/red range, decreases in the green range, stays close to one in the blue region and strongly decreases in the near-UV range. The transfer characteristics effects due to changes in steady state light intensity and wavelength backgrounds are presented. The relationship between the optical inputs and the output signal is established. A capacitive optoelectronic model is presented and tested using the experimental results. © 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Gender and other factors associated with the use of hearing protection devices at work

OBJECTIVE To analyze whether sociodemographic, occupational, and health-related data are associated with the use of hearing protection devices at work, according to gender. METHODS A cross-sectional study was conducted in 2006, using a random sample of 2,429 workers, aged between 18 and 65 years old, from residential sub-areas in Salvador, BA, Northeastern Brazil. Questionnaires were used to obtain sociodemographic, occupational, and health-related data. Workers who reported that they worked in places where they needed to shout in order to be heard were considered to be exposed to noise. Exposed workers were asked whether they used hearing protection devices, and if so, how frequently. Analyses were conducted according to gender, with estimates made about prevalence of the use of hearing protection devices, prevalence ratios, and their respective 95% confidence intervals. RESULTS Twelve percent (12.3%) of study subjects reported that they were exposed to noise while working. Prevalence of the use of hearing protection devices was 59.3% for men and 21.4% for women. Men from higher socioeconomic levels (PR = 1.47; 95%CI 1.14;1.90) and who had previous audiometric tests (PR = 1.47; 95%CI 1.15;1.88) were more likely to use hearing protection devices. For women, greater perceived safety was associated with the use of protection devices (PR = 2.92; 95%CI 1.34;6.34). This perception was specifically related to the presence of supervisors committed to safety (PR = 2.09; 95%CI 1.04;4.21), the existence of clear rules to prevent workplace injuries (PR = 2.81; 95%CI 1.41;5.59), and whether they were informed about workplace safety (PR = 2.42; 95%CI 1.23;4.76). CONCLUSIONS There is a gender bias regarding the use of hearing protection devices that is less favorable to women. The use of such devices among women is positively influenced by their perception of a safe workplace, suggesting that gender should be considered as a factor in hearing conservation programs.

Utilization of remote experimentation in mobile devices for education

In this paper the authors intend to demonstrate the utilization of remote experimentation (RE) using mobile computational devices in the Science areas of the elementary school, with the purpose to develop practices that will help in the assimilation process of the subjects taught in classroom seeking to interlink them with the daily students? activities. Allying mobility with RE we intend to minimize the space-temporal barrier giving more availability and speed in the information access. The implemented architecture utilizes technologies and freely distributed softwares with open code resources besides remote experiments developed in the Laboratory of Remote Experimentation (RExLab) of Federal University of Santa Catarina (UFSC), in Brazil, through the physical computation platform of the ?open hardware of construction of our own. The utilization of open code computational tools and the integration of hardware to the 3D virtual worlds, accessible through mobile devices, give to the project an innovative face with a high potential for reproducibility and reusability.

UV-Vis spectroscopic study preferential solvation and intermolecular interactions in methanol/1-propanol/acetonitrile by means of solvatochromic probes

Solvatochromic UV-Vis shifts of four indicators (4-nitroaniline, 4-nitroanisole, 4-nitrophenol and N,N-dimethy-1-4-nitro aniline) have been measured at 298.15 K in the ternary mixture methano1/1-propanol/acetonitrile (MeOH/1-PrOH/MeCN) in a total of 22 mole fractions, along with 18 additional mole fractions for each of the corresponding binary mixtures, MeOH/1-PrOH, 1-PrOH/MeCN and MeOH/MeCN. These values, combined with our previous experimental results for 2,6-dipheny1-4-(2,4,6-triphenylpyridinium-1-yl)phenolate (Reichardt's betaine dye) in the same mixtures, permitted the computation of the Kamlet-Taft solvent parameters, alpha, beta, and pi*. The rationalization of the spectroscopic behavior of each probe within each mixture's whole mole fraction range was achieved through the use of the Bosch and Roses preferential solvation model. The applied model allowed the identification of synergistic behaviors in MeCN/alcohol mixtures and thus to infer the existence of solvent complexes in solution. Also, the addition of small amounts of MeCN to the binary mixtures was seen to cause a significant variation in pi*, whereas the addition of alcohol to MeCN mixtures always lead to a sudden change in a and The behavior of these parameters in the ternary mixture was shown to be mainly determined by the contributions of the underlying binary mixtures. (C) 2014 Elsevier B.V. All rights reserved.

Influence of the support offered to breastfeeding by maternity hospitals

ABSTRACT OBJECTIVE To evaluate whether the support offered by maternity hospitals is associated with higher prevalences of exclusive and predominant breastfeeding. METHODS This is a cross-sectional study including a representative sample of 916 infants less than six months who were born in maternity hospitals, in Ribeirao Preto, Sao Paulo, Southeastern Brazil, 2011. The maternity hospitals were evaluated in relation to their fulfillment of the Ten Steps to Successful Breastfeeding. Data were collected regarding breastfeeding patterns, the birth hospital and other characteristics. The individualized effect of the study factor on exclusive and predominant breastfeeding was analyzed using Poisson multiple regression with robust variance. RESULTS Predominant breastfeeding tended to be more prevalent when the number of fulfilled steps was higher (p of linear trend = 0.057). The step related to not offering artificial teats or pacifiers to breastfed infants and that related to encouraging the establishment of breastfeeding support groups were associated, respectively, to a higher prevalence of exclusive (PR = 1.26; 95%CI 1.04;1.54) and predominant breastfeeding (PR = 1.55; 95%CI 1.01;2.39), after an adjustment was performed for confounding variables. CONCLUSIONS We observed a positive association between support offered by maternity hospitals and prevalences of exclusive and predominant breastfeeding. These results can be useful to other locations with similar characteristics (cities with hospitals that fulfill the Ten Steps to Successful Breastfeeding) to provide incentive to breastfeeding, by means of promoting, protecting and supporting breastfeeding in maternity hospitals.

Health self-assessment by hemodialysis patients in the Brazilian Unified Health System

ABSTRACT OBJECTIVE To examine whether the level of complexity of the services structure and sociodemographic and clinical characteristics of patients in hemodialysis are associated with the prevalence of poor health self-assessment. METHODS In this cross-sectional study, we evaluated 1,621 patients with chronic terminal kidney disease on hemodialysis accompanied in 81 dialysis services in the Brazilian Unified Health System in 2007. Sampling was performed by conglomerate in two stages and a structured questionnaire was applied to participants. Multilevel multiple logistic regression was used for data analysis. RESULTS The prevalence of poor health self-assessment was of 54.5%, and in multivariable analysis it was associated with the following variables: increasing age (OR = 1.02; 95%CI 1.01–1.02), separated or divorced marital status (OR = 0.62; 95%CI 0.34–0.88), having 12 years or more of study (OR = 0.51; 95%CI 0.37–0.71), spending more than 60 minutes in commuting between home and the dialysis service (OR = 1.80; 95%CI 1.29–2.51), having three or more self-referred diseases (OR = 2.20; 95%CI 1.33–3.62), and reporting some (OR = 2.17; 95%CI 1.66–2.84) or a lot of (OR = 2.74; 95%CI 2.04–3.68) trouble falling asleep. Individuals in treatment in dialysis services with the highest level of complexity in the structure presented less chance of performing a self-assessment of their health as bad (OR = 0.59; 95%CI 0.42–0.84). CONCLUSIONS We showed poor health self-assessment is associated with age, years of formal education, marital status, home commuting time to the dialysis service, number of self-referred diseases, report of trouble sleeping, and also with the level of complexity of the structure of health services. Acknowledging these factors can contribute to the development of strategies to improve the health of patients in hemodialysis in the Brazilian Unified Health System.

Use of the Brazilian People’s Pharmacy Program by older adults

ABSTRACT OBJECTIVE To assess the prevalence and factors associated with the use of the expanded Brazilian People’s Pharmacy Program among older adults and the reasons for not using it. METHODS In this population-based cross-sectional study conducted in the urban area of Pelotas, RS, Southern Brazil, we evaluated 1,305 older adults (aged 60 years or over) who had used medication in the last 15 days. Independent variables were socioeconomic factors, economic status, household income in minimum wages, educational attainment in years of schooling and occupational status. Demographic variables were sex, age, marital status, and self-reported skin color/race. Poisson regression was employed to analyze the factors associated with the use of the program. RESULTS The prevalence of use was 57.0% whilst the prevalence of knowledge of the program was 87.0%. In individuals aged 80 years or over, use of the program was 41.0%. As to the origin of the prescriptions used by older adults, 46.0% were from the Brazilian Unified Health System. The main reasons for not using the program were: difficulty in getting prescriptions, medication shortage, and ignorance about the medications offered and about the program. Higher age, lower income, presence of chronic diseases, and use of four or more medications were associated with use of the program. CONCLUSIONS It is necessary to expand the knowledge and use of the Brazilian People’s Pharmacy Program, especially among older adults, and to improve the dissemination of its list of medications to users and physicians. Thus it will be possible to reduce spending on long-term medications, which are especially important for this population.

Access to childbirth care by adolescents and young people in the Northeastern region of Brazil

ABSTRACT OBJECTIVE To identify the factors that interfere with the access of adolescents and young people to childbirth care for in the Northeast region of Brazil. METHODS Cross-sectional study with 3,014 adolescents and young people admitted to the selected maternity wards to give birth in the Northeast region of Brazil. The sample design was probabilistic, in two stages: the first corresponded to the health establishments and the second to women who had recently given birth and their babies. The data was collected by means of interviews and consulting the hospital records, from pre-tested electronic form. Descriptive statistics were used for the univariate analysis, Pearson’s Chi-square test for the bivariate analysis and multiple logistic regressions for the multivariate analysis. Sociodemographic variables, obstetrical history, and birth care were analyzed. RESULTS Half of the adolescents and young people interviewed had not been given guidance on the location that they should go to when in labor, and among those who had, 23.5% did not give birth in the indicated health service. Furthermore, one third (33.3%) had to travel in search of assisted birth, and the majority (66.7%) of the postpartum women came to maternity by their own means. In the bivariate analysis, the variables marital status, paid work, health insurance, number of previous pregnancies, parity, city location, and type of health establishment showed a significant association (p < 0.20) with inadequate access to childbirth care. The multivariate analysis showed that married adolescents and young people (p < 0.015), with no health insurance (p < 0.002) and from the countryside (p < 0.001) were more likely to have inadequate access to childbirth care. CONCLUSIONS Adolescents and young women, married, without health insurance, and from the countryside are more likely to have inadequate access to birth care. The articulation between outpatient care and birth care can improve this access and, consequently, minimize the maternal and fetal risks that arise from a lack of systematic hospitalization planning.

Demux devices based on A-SiC:H

In this paper we present results about the functioning of a multilayered a-SiC:H heterostructure as a device for wavelength-division demultiplexing of optical signals. The device is composed of two stacked p-i-n photodiodes, both optimized for the selective collection of photogenerated carriers. Band gap engineering was used to adjust the photogeneration and recombination rates profiles of the intrinsic absorber regions of each photodiode to short and long wavelength absorption and carrier collection in the visible spectrum. The photocurrent signal using different input optical channels was analyzed at reverse and forward bias and under steady state illumination. This photocurrent is used as an input for a demux algorithm based on the voltage controlled sensitivity of the device. The device functioning is explained with results obtained by numerical simulation of the device, which permit an insight to the internal electric configuration of the double heterojunction.These results address the explanation of the device functioning in the frequency domain to a wavelength tunable photocapacitance due to the accumulation of space charge localized at the internal junction. The existence of a direct relation between the experimentally observed capacitive effects of the double diode and the quality of the semiconductor materials used to form the internal junction is highlighted.