748 resultados para Concurrent programs


Relevância:

30.00% 30.00%

Publicador:

Resumo:

The passage of the Adoptions and Safe Families Act of 1997, with its focus on child safety and concurrent planning, has presented family preservation workers with new challenges and new opportunities. Twenty volunteers from a large comprehensive social service agency were interviewed to determine their experiences with two models of family preservation—Multisystemic Therapy (MST) and Traditional Family Preservation Service (TFPS) or practice as usual. Workers from both programs were able to articulate values consistent with family preservation as important strengths of the programs— keeping families together and empowering families for example. Information from referring agencies was described as variable and not especially useful when working with seriously troubled families, especially as it related to risk and child safety. Both groups indicated that the jargon of family preservation had permeated their agencies, and that working with other agencies was at times a challenge, though for different reasons. Finally, despite some reservations about the effectiveness of short-term treatment with families that face serious challenges, both groups of workers were generally satisfied with family preservation as an approach to practice.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We present two concurrent semantics (i.e. semantics where concurrency is explicitely represented) for CC programs with atomic tells. One is based on simple partial orders of computation steps, while the other one is based on contextual nets and it is an extensión of a previous one for eventual CC programs. Both such semantics allow us to derive concurrency, dependency, and nondeterminism information for the considered languages. We prove some properties about the relation between the two semantics, and also about the relation between them and the operational semantics. Moreover, we discuss how to use the contextual net semantics in the context of CLP programs. More precisely, by interpreting concurrency as possible parallelism, our semantics can be useful for a safe parallelization of some CLP computation steps. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it for the task of scheduling CC programs. Moreover, our semantics is also suitable for CC programs with a new kind of atomic tell (called locally atomic tell), which checks for consistency only the constraints it depends on. Such a tell achieves a reasonable trade-off between efficiency and atomicity, since the checked constraints can be stored in a local memory and are thus easily accessible even in a distributed implementation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Thesis (Ph.D.)--University of Washington, 2016-06

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The aim of this present study was to investigate on the effects of concurrent training with blood flow restriction (BFR-CT) and concurrent training (CT) on the aerobic fitness, muscle mass and muscle strength in a cohort of older individuals. 25 healthy older adults (64.7±4.1 years; 69.33±10.8 kg; 1.6±0.1 m) were randomly assigned to experimental groups: CT (n=8, endurance training (ET), 2 days/week for 30-40 min, 50-80% VO2peak and RT, 2 days/week, leg press with 4 sets of 10 reps at 70-80% of 1-RM with 60 s rest), BFR-CT (n=10, ET, similar to CT, but resistance training with blood flow restriction: 2 days/week, leg press with 1 set of 30 and 3 sets of 15 reps at 20-30% 1-RM with 60 s rest) or control group (n=7). Quadriceps cross-sectional area (CSAq), 1-RM and VO2peak were assessed pre- and post-examination (12 wk). The CT and BFR-CT showed similar increases in CSAq post-test (7.3%, P<0.001; 7.6%, P<0.0001, respectively), 1-RM (38.1%, P<0.001; 35.4%, P=0.001, respectively) and VO2peak (9.5%, P=0.04; 10.3%, P=0.02, respectively). The BFR-CT promotes similar neuromuscular and cardiorespiratory adaptations as CT.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introduction: Cervical and breast cancer are the most common malignancies among women worldwide. Effective screening can facilitate early detection and dramatically reduce mortality rates. The interface between those screening patients and patients most needing screening is complex, and women in remote areas of rural counties face additional barriers that limit the effectiveness of cancer prevention programs. This study compared various methods to improve compliance with mass screening for breast and cervical cancer among women in a remote, rural region of Brazil. Methods: In 2003, a mobile unit was used to perform 10 156 mammograms and Papanicolaou smear tests for women living in the Barretos County region of Sao Paulo state, Brazil (consisting of 19 neighbouring cities). To reach the women, the following community outreach strategies were used: distribution of flyers and pamphlets; media broadcasts (via radio and car loudspeakers); and community healthcare agents (CHCAs) making home visits. Results: The most useful intervention appeared to be the home visits by healthcare agents or CHCAs. These agents of the Family Health Programme of the Brazilian Ministry of Health reached an average of 45.6% of those screened, with radio advertisements reaching a further 11.9%. The great majority of the screened women were illiterate or had elementary level schooling (80.9%) and were of 'poor' or 'very poor' socioeconomic class (67.2%). Conclusions: Use of a mobile screening unit is a useful strategy in developing countries where local health systems have inadequate facilities for cancer screening in underserved populations. A multimodal approach to community outreach strategies, especially using CHCAs and radio advertisements, can improve the uptake of mass screening in low-income, low-educational background female populations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Disruption or loss of tumor suppressor gene TP53 is implicated in the development or progression of almost all different types of human malignancies. Other members of the p53 family have been identified. One member, p73, not only shares a high degree of similarity with p53 in its primary sequence, but also has similar functions. Like p53, p73 can bind to DNA and activate transcription. Using PCR-SSCP and gene sequencing, we analyzed the TP53 and TP73 genes in a case of a grade III anaplastic astrocytoma that progressed to glioblastoma. We found a deletion of AAG at position 595-597 of TP53 (exon 6), resulting in the deletion of Glu 199 in the protein and a genomic polymorphism of TP73, identified as an A-to-G change, at position E8/+15 at intron 8 (IVS8-15A>G). The mutation found at exon 6 of the gene TP53 could be associated with the rapid tumoral progression found in this case, since the mutated p53 may inactivate the wild-type p53 and the p73 alpha protein, which was conserved here, leading to an increase in cellular instability.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Human bocavirus (HBoV) is a parvovirus recently identified in association with acute respiratory infections (ARI). Despite its worldwide occurrence, little is known on the pathogenesis of HBoV infections. In addition, few systematic studies of HBoV in ARI have been conducted in Latin America. Therefore, in order to test whether active viral replication of human bocavirus is associated with respiratory diseases and to understand the clinical impact of this virus in patients with these diseases, we performed a 3-year retrospective hospital-based study of HBoV in outpatients and inpatients with symptoms of Acute Respiratory Infections (ARI) in Brazil. Nasopharyngeal aspirates (NPAs) from 1015 patients with respiratory symptoms were tested for HBoV DNA by PCR. All samples positive for HBoV were tested by PCR for all other respiratory viruses, had HBoV viral loads determined by quantitative real time PCR and, when possible, were tested by RT-PCR for HBoV VP1 mRNA, as evidence of active viral replication. HBoV was detected in 4.8% of patients, with annual rates of 10.0%, 3.0% and 3.0% in 2005, 2006 and 2007, respectively. The range of respiratory symptoms was similar between HBoV-positive and HBoV-negative ARI patients. However, a higher rate of diarrhea was observed in HBoV-positive patients. High HBoV viral loads (> 10(8) copies/mL) and diarrhea were significantly more frequent in patients with exclusive infection by HBoV and in patients with detection of HBoV VP1 mRNA than in patients with viral co-infection, detected in 72.9% of patients with HBoV. In summary, our data demonstrated that active HBoV replication was detected in a small percentage of patients with ARI and was correlated with concurrent diarrhea and lack of other viral co-infections.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A study was designed to determine how the degree programs in Information and library science available in 2000-2005 at the public universities of Madrid fit the tabour market needs of their students. The methodology used was the development of a questionnaire addressed to graduates. Although the number of surveys completed is not high (118), the authors believe that the results obtained permit a series of conclusions that may be extrapolated to the entire cohort.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Concurrent training is recommended for health improvement, but its acute effects on cardiovascular function are not well established. This study analyzed hemodynamics and autonomic modulation after a single session of aerobic (A), resistance (R), and concurrent (A + R) exercises. Twenty healthy subjects randomly underwent four sessions: control (C:30 min of rest), aerobic (A:30 min, cycle ergometer, 75% of VO(2) peak), resistance (R:6 exercises, 3 sets, 20 repetitions, 50% of 1 RM), and concurrent (AR: A + R). Before and after the interventions, blood pressure (BP), heart rate (HR), cardiac output (CO), and HR variability were measured. Systolic BP decreased after all the exercises, and the greatest decreases were observed after the A and AR sessions (-13 +/- 1 and -11 +/- 1 mmHg, respectively, P < 0.05). Diastolic BP decreased similarly after all the exercises, and this decrease lasted longer after the A session. CO also decreased similarly after the exercises, while systemic vascular resistance increased after the R and AR sessions in the recovery period (+4.0 +/- 1.7 and +6.3 +/- 1.9 U, respectively, P < 0.05). Stroke volume decreased, while HR increased after the exercises, and the greatest responses were observed after the AR session (SV, A = -14.6 +/- 3.6, R = -22.4 +/- 3.5 and AR = -23.4 +/- 2.4 ml; HR, A = +13 +/- 2, R = +15 +/- 2 vs. AR = +20 +/- 2 bpm, P < 0.05). Cardiac sympathovagal balance increased after the exercises, and the greatest increase was observed after the AR session (A = +0.7 +/- 0.8, R = +1.0 +/- 0.8 vs. AR = +1.2 +/- 0.8, P < 0.05). In conclusion, the association of aerobic and resistance exercises in the same training session did not potentiate postexercise hypotension, and increased cardiac sympathetic activation during the recovery period.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study tested the concurrent and construct validity of a newly developed OMNI-Kayak Scale, testing 8 male kayakers who performed a flatwater load-incremented ""shuttle"" test over a 500-m course and 3 estimation-production trials over a 1,000-m course. Velocity, blood lactate concentration, heart rate, and rating of perceived exertion (RPE), using the OMNI-Kayak RPE Scale and the Borg 6-20 Scale were recorded. OMNI-Kayak Scale RPE was highly correlated with velocity, the Borg 6-20 Scale RPE, blood lactate, and heart rate for both load-incremented test (rs=.87-.96), and estimation trials (rs=.75-.90). There were no significant differences among velocities, heart rate and blood lactate concentration between estimation and production trials. The OMNI-Kayak RPE Scale showed concurrent and construct validity in assessing perception of effort in flatwater kayaking and is a valid tool for self-regulation of exercise intensity.