901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

One of the unresolved questions of modern physics is the nature of Dark Matter. Strong experimental evidences suggest that the presence of this elusive component in the energy budget of the Universe is quite significant, without, however, being able to provide conclusive information about its nature. The most plausible scenario is that of weakly interacting massive particles (WIMPs), that includes a large class of non-baryonic Dark Matter candidates with a mass typically between few tens of GeV and few TeVs, and a cross section of the order of weak interactions. Search for Dark Matter particles using very high energy gamma-ray Cherenkov telescopes is based on the model that WIMPs can self-annihilate, leading to production of detectable species, like photons. These photons are very energetic, and since unreflected by the Universe's magnetic fields, they can be traced straight to the source of their creation. The downside of the approach is a great amount of background radiation, coming from the conventional astrophysical objects, that usually hides clear signals of the Dark Matter particle interactions. That is why good choice of the observational candidates is the crucial factor in search for Dark Matter. With MAGIC (Major Atmospheric Gamma-ray Imaging Cherenkov Telescopes), a two-telescope ground-based system located in La Palma, Canary Islands, we choose objects like dwarf spheroidal satellite galaxies of the Milky Way and galaxy clusters for our search. Our idea is to increase chances for WIMPs detection by pointing to objects that are relatively close, with great amount of Dark Matter and with as-little-as-possible pollution from the stars. At the moment, several observation projects are ongoing and analyses are being performed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Objective: Microalbuminuria (MAU) is a marker of early kidney injury and cardiovascular risk. We assessed the association of MAU with plasma adiponectin, leptin and hsCRP, as inflammatory markers, accounting for hypertension, diabetes and obesity. Design and methods: Population based, cross-sectional study in Caucasian subjects aged 35 to 75 years in Lausanne, Switzerland. MAU, measured on spot morning urine, was used either as a continuous (MAU) or dichotomized variable (MA defined as MAU >2.5 and >3.5 mg/mmol creatinine in men and women, respectively). Results: The 2955 women (age 53.3 ± 10.7, mean ± SD years) had mean body mass index (BMI) 24.9 ± 4.5 kg/m. The 2479 men (age 53.1 ± 10.8 years) had mean BMI 27.0 ± 3.9 kg/m². Median hsCRP was 1.3 and 1.3 mg/L, median adiponectin 6.2 and 10.6 mg/mL in men and women, respectively. MA prevalence was 4.9% in women and 9.8% in men. In multivariate regression analysis adjusting for potential confounders (age, sex, hypertension, diabetes, eGFR, BMI, percent fat mass, insulin and smoking), log-transformed MAU was positively associated with hsCRP (P <0.001) and adiponectin (P = 0.002), but not with leptin. The association of adiponectin with MAU was stronger in subjects with low hsCRP, and vice versa (P interaction <0.001). Conclusion: Adiponectin and hsCRP are significant positive determinants of MAU, independently of diabetes, hypertension and fat mass. A negative interaction between hsCRP and adiponectin was found for their effect on MAU. Whether hyperadiponectinemia represents an adequate protective response to vascular stress or has negative causal impact on the development of MAU should be assessed in further studies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Metabolic problems lead to numerous failures during clinical trials, and much effort is now devoted to developing in silico models predicting metabolic stability and metabolites. Such models are well known for cytochromes P450 and some transferases, whereas less has been done to predict the activity of human hydrolases. The present study was undertaken to develop a computational approach able to predict the hydrolysis of novel esters by human carboxylesterase hCES2. The study involved first a homology modeling of the hCES2 protein based on the model of hCES1 since the two proteins share a high degree of homology (congruent with 73%). A set of 40 known substrates of hCES2 was taken from the literature; the ligands were docked in both their neutral and ionized forms using GriDock, a parallel tool based on the AutoDock4.0 engine which can perform efficient and easy virtual screening analyses of large molecular databases exploiting multi-core architectures. Useful statistical models (e.g., r (2) = 0.91 for substrates in their unprotonated state) were calculated by correlating experimental pK(m) values with distance between the carbon atom of the substrate's ester group and the hydroxy function of Ser228. Additional parameters in the equations accounted for hydrophobic and electrostatic interactions between substrates and contributing residues. The negatively charged residues in the hCES2 cavity explained the preference of the enzyme for neutral substrates and, more generally, suggested that ligands which interact too strongly by ionic bonds (e.g., ACE inhibitors) cannot be good CES2 substrates because they are trapped in the cavity in unproductive modes and behave as inhibitors. The effects of protonation on substrate recognition and the contrasting behavior of substrates and products were finally investigated by MD simulations of some CES2 complexes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

OBJECTIVES: Human papillomavirus (HPV) is a sexually transmitted infection of particular interest because of its high prevalence rate and strong causal association with cervical cancer. Two prophylactic vaccines have been developed and different countries have made or will soon make recommendations for the vaccination of girls. Even if there is a consensus to recommend a vaccination before the beginning of sexual activity, there are, however, large discrepancies between countries concerning the perceived usefulness of a catch-up procedure and of boosters. The main objective of this article is to simulate the impact on different vaccination policies upon the mid- and long-term HPV 16/18 age-specific infection rates. METHODS: We developed an epidemiological model based on the susceptible-infective-recovered approach using Swiss data. The mid- and long-term impact of different vaccination scenarios was then compared. RESULTS: The generalization of a catch-up procedure is always beneficial, whatever its extent. Moreover, pending on the length of the protection offered by the vaccine, boosters will also be very useful. CONCLUSIONS: To be really effective, a vaccination campaign against HPV infection should at least include a catch-up to early reach a drop in HPV 16/18 prevalence, and maybe boosters. Otherwise, the protection insured for women in their 20s could be lower than expected, resulting in higher risks to later develop cervical cancer.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Serum-free aggregating cell cultures of fetal rat telencephalon were examined by biochemical and immunocytochemical methods for their development-dependent expression of several cytoskeletal proteins, including the heavy- and medium-sized neurofilament subunits (H-NF and M-NF, respectively); brain spectrin; synapsin I; beta-tubulin; and the microtubule-associated proteins (MAPs) 1, 2, and 5 and tau protein. It was found that with time in culture the levels of most of these cytoskeletal proteins increased greatly, with the exceptions of the particular beta-tubulin form studied, which remained unchanged, and MAP 5, which greatly decreased. Among the neurofilament proteins, expression of M-NF preceded that of H-NF, with the latter being detectable only after approximately 3 weeks in culture. Furthermore, MAP 2 and tau protein showed a development-dependent change in expression from the juvenile toward the adult form. The comparison of these developmental changes in cytoskeletal protein levels with those observed in rat brain tissue revealed that protein expression in aggregate cultures is nearly identical to that in vivo during maturation of the neuronal cytoskeleton. Aggregate cultures deprived of glial cells, i.e., neuron-enriched cultures prepared by treating early cultures with the antimitotic drug cytosine arabinoside, exhibited pronounced deficits in M-NF, H-NF, MAP 2, MAP 1, synapsin I, and brain spectrin, with increased levels of a 145-kDa brain spectrin breakdown product. These adverse effects of glial cell deprivation could be reversed by the maintenance of neuron-enriched cultures at elevated concentrations of KCl (30 mM). This chronic treatment had to be started at an early developmental stage to be effective, a finding suggesting that sustained depolarization by KCl is able to enhance the developmental expression and maturation of the neuronal cytoskeleton.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND: Nicotine dependence is the major obstacle for smokers who want to quit. Guidelines have identified five effective first-line therapies, four nicotine replacement therapies (NRTs)--gum, patch, nasal spray and inhaler--and bupropion. Studying the extent to which these various treatments are cost-effective requires additional research. OBJECTIVES: To determine cost-effectiveness (CE) ratios of pharmacotherapies for nicotine dependence provided by general practitioners (GPs) during routine visits as an adjunct to cessation counselling. METHODS: We used a Markov model to generate two cohorts of one-pack-a-day smokers: (1) the reference cohort received only cessation counselling from a GP during routine office visits; (2) the second cohort received the same counselling plus an offer to use a pharmacological treatment to help them quit smoking. The effectiveness of adjunctive therapy was expressed in terms of the resultant differential in mortality rate between the two cohorts. Data on the effectiveness of therapies came from meta-analyses, and we used odds ratio for quitting as the measure of effectiveness. The costs of pharmacotherapies were based on the cost of the additional time spent by GPs offering, prescribing and following-up treatment, and on the retail prices of the therapies. We used the third-party-payer perspective. Results are expressed as the incremental cost per life-year saved. RESULTS: The cost per life-year saved for only counselling ranged from Euro 385 to Euro 622 for men and from Euro 468 to Euro 796 for women. The CE ratios for the five pharmacological treatments varied from Euro 1768 to Euro 6879 for men, and from Euro 2146 to Euro 8799 for women. Significant variations in CE ratios among the five treatments were primarily due to differences in retail prices. The most cost-effective treatments were bupropion and the patch, and, then, in descending order, the spray, the inhaler and, lastly, gum. Differences in CE between men and women across treatments were due to the shape of their respective mortality curve. The lowest CE ratio in men was for the 45- to 49-year-old group and for women in the 50- to 54-year-old group. Sensitivity analysis showed that changes in treatment efficacy produced effects only for less-well proven treatments (spray, inhaler, and bupropion) and revealed a strong influence of the discount rate and natural quit rate on the CE of pharmacological treatments. CONCLUSION: The CE of first-line treatments for nicotine dependence varied widely with age and sex and was sensitive to the assumption for the natural quit rate. Bupropion and the nicotine patch were the two most cost-effective treatments.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with this prevalent problem, in this paper we develop a methodology using Modal Interval Analysis which takes into account those uncertainties in the plant model. A fault detection method is developed based on this model which is quite robust to uncertainty and results in no false alarm. As soon as a fault is detected, an ANFIS model is trained in online to capture the major behavior of the occurred fault which can be used for fault accommodation. The simulation results understandably demonstrate the capability of the proposed method for accomplishing both tasks appropriately

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In the context of Systems Biology, computer simulations of gene regulatory networks provide a powerful tool to validate hypotheses and to explore possible system behaviors. Nevertheless, modeling a system poses some challenges of its own: especially the step of model calibration is often difficult due to insufficient data. For example when considering developmental systems, mostly qualitative data describing the developmental trajectory is available while common calibration techniques rely on high-resolution quantitative data. Focusing on the calibration of differential equation models for developmental systems, this study investigates different approaches to utilize the available data to overcome these difficulties. More specifically, the fact that developmental processes are hierarchically organized is exploited to increase convergence rates of the calibration process as well as to save computation time. Using a gene regulatory network model for stem cell homeostasis in Arabidopsis thaliana the performance of the different investigated approaches is evaluated, documenting considerable gains provided by the proposed hierarchical approach.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background and Aims: The international E EsAI s tudy g roup is currently d eveloping the first activity index ( EEsAI) specific for E osinophilic Esophagitis (EoE). G oal: T o develop, e valuate and validate the EEsAI. Methods: T he development c omprises three p hases: 1. Selection of c andidate items ( completed); 2. Evaluation of t he activity index i n a first patient cohort (in progress, p atient recruitment completed); and 3. Validation in a s econd EoE patient cohort. F ocus group interviews with patients were used in p hase 1 to g enerate patient r eported outcomes (PRO) according to g uidelines o f regulatory authorities (FDA a nd EMA), whereas the section of biologic items was developed by Delphi rounds o f international E oE experts from E urope and North America. Results: T he EEsAI has a modular c omposition to a ssess the following components o f EoE activity: p atient r eported outcomes, e ndoscopic activity, histologic activity, laboratory activity, a nd quality of l ife (QoL). Definitions for a ll aspects o f endoscopic and histologic appearance were e stablished by consensus r ounds a mong E oE experts. S ymptom a ssessment tools were c reated that t ake into account d ifferent food consistencies as w ell as f ood avoidance and specific processing strategies. The EEsAI i s currently e valuated in a cohort of a dult EoE patients since M arch 2 011 (patient recruitment completed). Conclusions: The EEsAI standardizes outcome assessment in EoE t rials. T he collaboration with i nternational E oE e xperts a s well as f ollowing o f the guidelines f rom regulatory authorities will lead to its wide applicability.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Objective: Microalbuminuria (MAU) is a marker of early kidney injury and cardiovascular risk. We assessed the association of MAU with plasma adiponectin, leptin, and hsCRP as inflammatory marker, accounting for hypertension, diabetes and obesity. Design and Methods: Population based, cross-sectional study in Caucasian subjects aged 35 to 75 years in Lausanne, Switzerland. MAU, measured by quantitative immunonephelometry on spot morning urine, was used either as a continuous (MAU) or dichotomized variable (MA defined as MAU > 2.5 and >3.5 mg/mmol creatinine in men and women, respectively). Results: The 2955 women (age 53.3_10.7, mean_SD years) had mean body mass index (BMI) 24.9_4.5 kg/m. The 2479 men (age 53.1_10.8 years) hadmean BMI 27.0_3.9 kg/m2.Median hsCRP was 1.3 and 1.3 mg/L, median adiponectin 6.2 and 10.6mg/mL in men and women, respectively. MA prevalence was 4.9% in women and 9.8% in men. In multivariate regression analysis adjusting for potential confounders (age, sex, hypertension, diabetes, eGFR, BMI, percent fat mass, insulin and smoking), logtransformed MAU was positively associated with hsCRP (P<0.001) and adiponectin (P¼0.002), but not with leptin. The association of adiponectin with MAU was stronger in subjects with low hsCRP, and vice versa (P interaction<0.001). Conclusion: Adiponectin and hsCRP are significant positive determinants of MAU, independently of diabetes, hypertension and fat mass. A negative interaction between hsCRP and adiponectin was found for their effect on MAU. Whether hyperadiponectinemia represents an adequate protective response to vascular stress or has negative causal impact on the development of MAU should be assessed in further studies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Commentaire de: Gaziano TA, Young CR, Fitzmaurice G, Atwood S, Gaziano JM. Laboratory-based versus non-laboratory-based method for assessment of cardiovascular disease risk: the NHANES I Follow-up Study cohort. Lancet. 2008;371(9616):923-31. PMID: 18342687

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A dinâmica de desenvolvimento de Cabo Verde vem sendo uma constante, com ganhos significativos para o país, como atestam a recente adesão à Organização Mundial do Comércio, a graduação a País de Rendimento Médio e a Parceria Especial com a União Europeia. No dia 23 de Julho de 2008, Cabo Verde tornou-se no 153º Estado membro da Organização Mundial do Comércio, sendo que nesta conquista foi o primeiro país Africano e o terceiro País Menos Avançado a conseguir este importante marco via negocial. As vantagens advenientes desta adesão são muitas, sendo de destacar a maior confiança dos investidores no país ao propiciar-se a expansão do mercado e a realização de negócios num ambiente mais seguro e estável, e ainda a possibilidade de melhoria da qualidade de prestação de serviços, uma vez que tudo passou a ser norteado por padrões e regras do comércio internacional. Este trabalho foi elaborado com base em pesquisa bibliográfica e exploratória necessária à construção de um referencial teórico sobre o assunto em questão, tendo como base artigos, livros, revistas e consultas em websites. Finalizando, para avaliação, apresentamos uma componente prática com base num questionário aplicado ao tecido empresarial, com perguntas abertas e de múltipla escolha, onde os inquiridos puderam fazer a sua apreciação relativa ao processo de adesão, e às expectativas advenientes. Os resultados obtidos no final do trabalho mostraram de forma clara e inequívoca a necessidade de Cabo Verde se reorganizar, reforçar o sector privado e a competitividade das empresas, através de, designadamente: melhoria do ambiente fiscal das empresas, fomento e apoio às pequenas e médias empresas. Outrossim, há que dar seguimento as reformas no sector comercial, capacitando e formando quadros nacionais uma vez que estes desempenham um papel essencial no crescimento económico do país e permitem dar maior previsibilidade aos investidores, sendo este último um dos pilares decisivos no requisito do investimento externo. The dynamics of the development of Cape Verde is becoming a constant, with significant gains to the country, as attests the recent adhesion to the World Trade Organization, the graduation to Country of Medium Revenue, as well as the Special Partnership with the European Union. On July 23, 2008, Cape Verde became the 153rd State member of the World Trade Organization, and in this conquest it was the first African country and the third Less Advanced Country to get this mark through negotiable way. The advantages proceeding from this adhesion are many, highlighting the investors' largest trust in the country when propitiating the expansion of the market and the accomplishment of business in a safer and stable atmosphere, and still the possibility of improvement of the quality of installment of services, once everything started being guided by patterns and rules of the international trade. This work was elaborated based on bibliographical and exploratory researches necessary to the construction of the theoretical referential about the subject in question, based on articles, books, magazines and website researches. Concluding, for evaluation, we presented a practical component based on a questionnaire applied to the managerial stuff, with open and multiple choice questions, where the inquired could make his appreciation related to the adhesion process, and the proceeding expectations. The results obtained at the end of the work, showed in a clear way the need of Cape Verde to organize, to reinforce the private sector and the competitiveness of the companies, through, namely: the improvement of the fiscal atmosphere of the companies, fomentation and support of the small and medium companies. Meanwhile, it is important to continue the reforms in the commercial sector, qualifying and forming national staff once they play an essential part in the economic growth of the country and allow giving a larger previsibility to the investors, being this last one, one of the decisive pillars in the requirement of the external investment.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND: Prognosis prediction for resected primary colon cancer is based on the T-stage Node Metastasis (TNM) staging system. We investigated if four well-documented gene expression risk scores can improve patient stratification. METHODS: Microarray-based versions of risk-scores were applied to a large independent cohort of 688 stage II/III tumors from the PETACC-3 trial. Prognostic value for relapse-free survival (RFS), survival after relapse (SAR), and overall survival (OS) was assessed by regression analysis. To assess improvement over a reference, prognostic model was assessed with the area under curve (AUC) of receiver operating characteristic (ROC) curves. All statistical tests were two-sided, except the AUC increase. RESULTS: All four risk scores (RSs) showed a statistically significant association (single-test, P < .0167) with OS or RFS in univariate models, but with HRs below 1.38 per interquartile range. Three scores were predictors of shorter RFS, one of shorter SAR. Each RS could only marginally improve an RFS or OS model with the known factors T-stage, N-stage, and microsatellite instability (MSI) status (AUC gains < 0.025 units). The pairwise interscore discordance was never high (maximal Spearman correlation = 0.563) A combined score showed a trend to higher prognostic value and higher AUC increase for OS (HR = 1.74, 95% confidence interval [CI] = 1.44 to 2.10, P < .001, AUC from 0.6918 to 0.7321) and RFS (HR = 1.56, 95% CI = 1.33 to 1.84, P < .001, AUC from 0.6723 to 0.6945) than any single score. CONCLUSIONS: The four tested gene expression-based risk scores provide prognostic information but contribute only marginally to improving models based on established risk factors. A combination of the risk scores might provide more robust information. Predictors of RFS and SAR might need to be different.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The effects of patch size and isolation on metapopulation dynamics have received wide empirical support and theoretical formalization. By contrast, the effects of patch quality seem largely underinvestigated, partly due to technical difficulties in properly assessing quality. Here we combine habitat-quality modeling with four years of demographic monitoring in a metapopulation of greater white-toothed shrews (Crocidura russula) to investigate the role of patch quality on metapopulation processes. Together, local patch quality and connectivity significantly enhanced local population sizes and occupancy rates (R2 = 14% and 19%, respectively). Accounting for the quality of patches connected to the focal one and acting as potential sources improved slightly the model explanatory power for local population sizes, pointing to significant source-sink dynamics. Local habitat quality, in interaction with connectivity, also increased colonization rate (R2 = 28%), suggesting the ability of immigrants to target high-quality patches. Overall, patterns were best explained when assuming a mean dispersal distance of 800 m, a realistic value for the species under study. Our results thus provide evidence that patch quality, in interaction with connectivity, may affect major demographic processes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We investigated dispersal patterns in the monogamous Crocidura russula, based both on direct field observations (mark-recapture data) and on genetic analyses (microsatellite loci). Natal dispersal was found to be low. Most juveniles settled within their natal territory or one immediately adjacent. Migration rate was estimated to two individuals per year and per population. The correlation between genetic and geographical distances over a 16 km transect implies that migration occurs over short ranges. Natal dispersal was restricted to first-litter juveniles weaned in early May; this result suggests a direct dependence of dispersal on reproductive opportunities. Natal dispersal was highly female biased, a pattern unusual among mammals. Its association with monogamy provides support for the resource-competition model of dispersal. Our results demonstrate that a state-biased dispersal can be directly inferred from microsatellite genotype distributions, which opens new perspectives for empirical studies in this area.