951 resultados para reasoning with different levels of abstraction
Resumo:
Cell division is a highly dynamic process where sister chromatids remain associated with each other from the moment of DNA replication until the later stages of mitosis, giving rise to two daughter cells with equal genomes. The “molecular glue” that links sister DNA molecules is called cohesin, a tripartite ring-like protein complex composed of two Structural Maintenance of Chromosome proteins (Smc1 and Smc3) bridged by a kleisin subunit Rad21/Scc1, that together prevent precocious sister chromatid separation. Accumulating evidence has suggested that cohesion decay may be the cause of segregation errors that underlie certain human pathologies. However it remains to be determined how much cohesin loss abolishes functional sister chromatid cohesion. To answer these questions, we have developed different experimental conditions aiming to titrate the levels of cohesin on mitotic chromosomes in a precise manner. Using these tools, we will determine the minimal amount of cohesin needed to confer functional cohesion. The approaches described here take advantage of a system in Drosophila melanogaster where the Tobacco Etch Virus (TEV) protease can cleave the Rad21 subunit of cohesin leading to precocious sister chromatid separation. Firstly, we tried to express different levels of TEV protease to obtain partial loss of cohesion. However, this approach has failed to produce systematic different levels of sister chromatid separation. Most of the work was therefore focused on a second strategy, for which we established strains with different levels of cohesin sensitive/cohesin resistant to TEV protease. Strains containing different amounts of functional cohesin (TEV resistant) were tested by in vitro cleavage and by in vivo injections in embryos for their ability to promote sister chromatid cohesion. Our results reveal that removal of half of the cohesin complexes does not impair chromosome segregation, implying that chromosome cohesion is less sensitive to cohesin amounts than previously anticipated.
Resumo:
INTRODUCTION: The present study investigated the prevalence of two single-nucleotide polymorphisms (SNPs) in the Toll-like receptor 3 (TLR3) gene in patients infected with hepatitis B virus (HBV) and hepatitis C virus (HCV). METHODS: Samples collected from HCV (n = 74) and HBV (n = 35) carriers were subjected to quantitative real-time PCR (qPCR) to detect the presence of the SNPs rs5743305 and rs3775291 in TLR3 and to measure the following biomarkers: alanine aminotransferase (ALT), aspartate aminotransferase (AST), gamma-glutamyl transpeptidase (GGT), and prothrombin time (PT). A healthy control group was investigated and consisted of 299 HCV- and HBV-seronegative individuals. RESULTS: No significant differences in allele, genotype and haplotype frequencies were observed between the investigated groups, and no association was observed between the polymorphisms and histopathological results. Nevertheless, genotypes TA/AA (rs5743305) and GG (rs3775291) appear to be associated with higher levels of ALT (p<0.01), AST (p<0.05) and PT (p<0.05). In addition, genotypes TT (rs5743305; p<0.05) and GG (rs3775291; p<0.05) were associated with higher GGT levels. CONCLUSIONS: This genetic analysis revealed the absence of an association between the polymorphisms investigated and susceptibility to HBV and HCV infection; however, these polymorphisms might be associated with a greater degree of biliary damage during the course of HCV infection.
Resumo:
In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.
Resumo:
The Embedded Through-Section (ETS) technique is a promising technique for the shear strengthening of existing (RC) elements. According to this technique, holes are drilled through the beam section, and bars of steel or FRP material are introduced into these holes and bonded to the concrete with adhesive materials. An experimental program was carried out with RC T-cross section beams strengthened in shear using the ETS steel bars and ETS CFRP rods. The research is focused on the evaluation of the ETS efficiency on beams with different percentage of existing internal transverse reinforcement (ρsw=0.0%, ρsw=0.1% and ρsw=0.17%). The effectiveness of different ETS strengthening configurations was also investigated. The good bond between the strengthening ETS bars and the surrounding concrete allowed the yield initiation of the ETS steel bars and the attainment of high tensile strains in the ETS CFPR rods, leading to significant increase of shear capacity, whose level was strongly influenced by the inclination of the ETS bars and the percentage of internal transverse reinforcement.
Resumo:
OBJECTIVE: To assess the frequency of comorbidities of mental and behavioral disorders (CMBD) in psychoactive substance (PAS)-dependent patients with different periods of abstinence cared for at Alcohol and Other Drug Psychosocial Care Centers (CAPS-ad). METHOD: All patients under treatment in the two CAPS-ad of the city of Uberlândia-MG, between April and September 2010, were consecutively assessed. The ICD-10 symptom checklist was used to diagnose CMBD; additional information was obtained from interviews and medical records. The patients were divided according to duration of abstinence: < 1 week (Group 1); 1-4 weeks (Group 2); and > 4 weeks (Group 3). RESULTS: Of all patients assessed, 62.8% were diagnosed with CMBD, which were more frequent (p < 0.05) in Group 1 (72%) than Group 3 (54.2%), and both groups were similar to Group 2 (61%). Depressive and anxiety disorders were more frequent among patients of Group 1. Mood disorders were more frequent (p < 0.05) in women [22/34 (65%) vs. 54/154 (35.1%)], whereas psychotic disorders were more frequent (p = 0.05) in men [16/154 (10.4%) vs. 0]. The presence of CMBD was associated with more severe clinical conditions. CONCLUSIONS: The higher frequency of diagnosis of CMBD in patients of Group 1 may have resulted from the difficulties in distinguishing mental disorders that are due to PAS intoxication or withdrawal from those that are not. However, to make the diagnosis of CMBD, even during detoxification, can increase the likelihood of better response to treatment.
Resumo:
La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.
Resumo:
Body color polymorphism of urban populations of cosmopolite fly Drosophila kikkawai Burla, 1954 was investigated in relation to its possible association with environmental temperature. Samples of D. kikkawai were collected in spring, summer, autumn and winter between 1987 to 1988, in zones with different levels of urbanization in the southern Brazilian city of Porto Alegre, Rio Grande do Sul. A clear association was observed between darker flies and both seasons with low temperatures and areas of low urbanization (where temperature is generally lower than in urbanized areas). Results of preliminary laboratory experiments involving six generations of flies grown in chambers at temperatures of 17º and 25ºC confirmed this tendency to a relationship between body color and temperature, with allele frequency of the main gene involved in body pigmentation changing over time.
Resumo:
Furosemide (FD: Lasix) is a loop diuretic which strongly increases both urine flow and electrolyte urinary excretion. Healthy volunteers were administered 40 mg orally (dissolved in water) and concentrations of FD were determined in serum and urine for up to 6 h for eight subjects, who absorbed water at a rate of 400 ml/h. Quantification was performed by HPLC with fluorescence detection (excitation at 233 nm, emission at 389 nm) with a limit of detection of 5 ng/ml for a 300-microliters sample. The elution of FD was completed within 4 min using a gradient of acetonitrile concentration rising from 30 to 50% in 0.08 M phosphoric acid. The delay to the peak serum concentration ranged from 60 to 120 min. FD was still easily measurable in the sera from all subjects 6 h after administration. In urine, the excretion rates reached their maximum between 1 and 3 h. The total amount of FD excreted in the urine averaged 11.2 mg (range 7.6-14.0 mg), with a mean urine volume of 3024 ml (range 2620-3596 ml). Moreover, the urine density was lower than 1.010 (recommended as an upper limit in doping analysis to screen diuretics) only for 2 h. An additional volunteer was administered 40 mg of FD and his urine was collected over a longer period. FD was still detectable 48 h after intake. Gas chromatography-mass spectrometry with different types of ionization was used to confirm the occurrence of FD after permethylation of the extract. Negative-ion chemical ionization, with ammonia as reactant gas, was found to be the most sensitive method of detection.
Resumo:
BACKGROUND: Depending on its magnitude, lower body negative pressure (LBNP) has been shown to induce a progressive activation of neurohormonal, renal tubular, and renal hemodynamic responses, thereby mimicking the renal responses observed in clinical conditions characterized by a low effective arterial volume such as congestive heart failure. Our objective was to evaluate the impact of angiotensin II receptor blockade with candesartan on the renal hemodynamic and urinary excretory responses to a progressive orthostatic stress in normal subjects. METHODS: Twenty healthy men were submitted to three levels of LBNP (0, -10, and -20 mbar or 0, -7.5, and -15 mm Hg) for 1 hour according to a crossover design with a minimum of 2 days between each level of LBNP. Ten subjects were randomly allocated to receive a placebo and ten others were treated with candesartan 16 mg orally for 10 days before and during the three levels of LBNP. Systemic and renal hemodynamics, renal sodium excretions, and the hormonal response were measured hourly before, during, and for 2 hours after LBNP. RESULTS: During placebo, LBNP induced no change in systemic and renal hemodynamics, but sodium excretion decreased dose dependently with higher levels of LBNP. At -20 mbar, cumulative 3-hour sodium balance was negative at -2.3 +/- 2.3 mmol (mean +/- SEM). With candesartan, mean blood pressure decreased (76 +/- 1 mm Hg vs. 83 +/- 3 mm Hg, candesartan vs. placebo, P < 0.05) and renal plasma flow increased (858 +/- 52 mL/min vs. 639 +/- 36 mL/min, candesartan vs. placebo, P < 0.05). Glomerular filtration rate (GFR) was not significantly higher with candesartan (127 +/- 7 mL/min in placebo vs. 144 +/- 12 mL/min in candesartan). No significant decrease in sodium and water excretion was found during LBNP in candesartan-treated subjects. At -20 mbar, the 3-hour cumulative sodium excretion was + 4.6 +/- 1.4 mmol in the candesartan group (P= 0.02 vs. placebo). CONCLUSION: Selective blockade of angiotensin II type 1 (AT1) receptors with candesartan increases renal blood flow and prevents the antinatriuresis during sustained lower body negative pressure despite a modest decrease in blood pressure. These results thus provide interesting insights into potential benefits of AT1 receptor blockade in sodium-retaining states such as congestive heart failure.
Resumo:
Introduction: A standardized three-dimensional ultrasonographic (3DUS) protocol is described that allows fetal face reconstruction. Ability to identify cleft lip with 3DUS using this protocol was assessed by operators with minimal 3DUS experience. Material and Methods: 260 stored volumes of fetal face were analyzed using a standardized protocol by operators with different levels of competence in 3DUS. The outcomes studied were: (1) the performance of post-processing 3D face volumes for the detection of facial clefts; (2) the ability of a resident with minimal 3DUS experience to reconstruct the acquired facial volumes, and (3) the time needed to reconstruct each plane to allow proper diagnosis of a cleft. Results: The three orthogonal planes of the fetal face (axial, sagittal and coronal) were adequately reconstructed with similar performance when acquired by a maternal-fetal medicine specialist or by residents with minimal experience (72 vs. 76%, p = 0.629). The learning curve for manipulation of 3DUS volumes of the fetal face corresponds to 30 cases and is independent of the operator's level of experience. Discussion: The learning curve for the standardized protocol we describe is short, even for inexperienced sonographers. This technique might decrease the length of anatomy ultrasounds and improve the ability to visualize fetal face anomalies.
Resumo:
Objective: Limited information is available on the quantitative relationship between family history and the corresponding underlying traits. We analyzed these associations for blood pressure, fasting blood glucose, and cholesterol levels. Methods: Data were obtained from 6,102 Caucasian participants (2,903 men and 3,199 women) aged 35-75 years using a population-based cross-sectional survey in Switzerland. Cardiovascular disease risk factors were measured, and the corresponding family history was self-reported using a structured questionnaire. Results: The prevalence of a positive family history (in first-degree relatives) was 39.6% for hypertension, 22.3% for diabetes, and 29.0% for hypercholesterolemia. Family history was not known for at least one family member in 41.8% of participants for hypertension, 14.4% for diabetes, and 50.2% for hypercholesterolemia. A positive family history was strongly associated with higher levels of the corresponding trait, but not with the other traits. Participants who reported not to know their family history of hypertension had a higher systolic blood pressure than participants with a negative history. Sibling histories had higher positive predictive values than parental histories. The ability to discriminate, calibrate, and reclassify was best for the family history of hypertension. Conclusions: Family history of hypertension, diabetes, and hypercholesterolemia was strongly associated with the corresponding dichotomized and continuous phenotypes.
Resumo:
Oxidative modification of LDL is thought to play an important role in the development of atherosclerosis. Susceptibility of LDL to peroxidation may partly depend on the compositional characteristics of the antioxidant and fatty acid content. The aim of this study was to examine the association between levels of antibodies to oxidized LDL and the various serum fatty acids in women. A total of 465 women aged 18-65 years were selected randomly from the adult population census of Pizarra, a town in southern Spain. Measurement of anti-oxidized-LDL was done by ELISA and the fatty acid composition of serum phospholipids was determined by GC. The levels of anti-oxidized-LDL antibodies were significantly related with age (r - 0.341, P < 0.001), BMI (r - 0.239, P < 0.001), waist:hip ratio (r - 0.285, P < 0.001), glucose (r - 0.208, P < 0.001), cholesterol (r - 0.243, P < 0.001), LDL-cholesterol (r - 0.185, P = 0.002), EPA (r - 0.159, P = 0.003), DHA (r - 0.121, P = 0.026), and the sum of the serum phospholipid n-3 PUFA (r - 0.141, P = 0.009). Multiple regression analysis showed that the variables that explained the behaviour of the levels of anti-oxidized-LDL antibodies were age (P < 0.001) and the serum phospholipid EPA (P < 0.001). This study showed that the fatty acid composition of serum phospholipids, and especially the percentage of EPA, was inversely related with the levels of anti-oxidized-LDL antibodies.
Resumo:
OBJECTIVES: To examine whether the humoural response to malaria vaccine candidate antigens, Plasmodium falciparum [circumsporozoite repetitive sequence (NANP)(5) GLURP fragments (R0 and R2) and MSP3] varies with the level of malaria transmission and to determine whether the antibodies (IgG) present at the beginning of the malaria transmission season protect against clinical malaria. METHODS: Cross-sectional surveys were conducted to measure antibody response before, at the peak and at the end of the transmission season in children aged 6 months to 10 years in two villages with different levels of malaria transmission. A cohort study was performed to estimate the incidence of clinical malaria. RESULTS: Antibodies to these antigens showed different seasonal patterns. IgG concentrations to any of the four antigens were higher in the village with high entomological inoculation rate. Multivariate analysis of combined data from the two villages indicated that children who were classified as responders to the selected antigens were at lower risk of clinical malaria than children classified as non-responders [(NANP)(5) (incidence rate ratio (IRR) = 0.65, 95% CI: 0.46-0.92; P = 0.016), R0 (IRR = 0.69, 95% CI: 0.48-0.97; P = 0.032), R2 (IRR = 0.73, 95% CI: 0.50-1.06; P = 0.09), MSP3 (IRR = 0.52, 95% CI: 0.32-0.85; P = 0.009)]. Fitting a model with all four antibody responses showed that MSP3 looked the best malaria vaccine candidate (IRR = 0.63; 95% CI: 0.38-1.05; P = 0.08). CONCLUSION: Antibody levels to the four antigens are affected by the intensity of malaria transmission and associated with protection against clinical malaria. It is worthwhile investing in the development of these antigens as potential malaria vaccine candidates.
Resumo:
BACKGROUND: The aim of this study was to assess whether virtual reality (VR) can discriminate between the skills of novices and intermediate-level laparoscopic surgical trainees (construct validity), and whether the simulator assessment correlates with an expert's evaluation of performance. METHODS: Three hundred and seven (307) participants of the 19th-22nd Davos International Gastrointestinal Surgery Workshops performed the clip-and-cut task on the Xitact LS 500 VR simulator (Xitact S.A., Morges, Switzerland). According to their previous experience in laparoscopic surgery, participants were assigned to the basic course (BC) or the intermediate course (IC). Objective performance parameters recorded by the simulator were compared to the standardized assessment by the course instructors during laparoscopic pelvitrainer and conventional surgery exercises. RESULTS: IC participants performed significantly better on the VR simulator than BC participants for the task completion time as well as the economy of movement of the right instrument, not the left instrument. Participants with maximum scores in the pelvitrainer cholecystectomy task performed the VR trial significantly faster, compared to those who scored less. In the conventional surgery task, a significant difference between those who scored the maximum and those who scored less was found not only for task completion time, but also for economy of movement of the right instrument. CONCLUSIONS: VR simulation provides a valid assessment of psychomotor skills and some basic aspects of spatial skills in laparoscopic surgery. Furthermore, VR allows discrimination between trainees with different levels of experience in laparoscopic surgery establishing construct validity for the Xitact LS 500 clip-and-cut task. Virtual reality may become the gold standard to assess and monitor surgical skills in laparoscopic surgery.
Resumo:
We provide a cultural explanation to the phenomenon of corruption in the framework of an overlapping generations model with intergenerational transmissionof values. We show that the economy has two steady states with different levels of corruption. The driving force in the equilibrium selection process is the education effort exerted by parents which depends on the distribution of ethics in the population and on expectations about future policies. We propose some policy interventions which via parents' efforts have long-lasting effects on corruption and show the success of intensive education campaigns. Educating the young is a key element in reducing corruption successfully.