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

em Université de Lausanne, Switzerland


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents a new non parametric atlas registration framework, derived from the optical flow model and the active contour theory, applied to automatic subthalamic nucleus (STN) targeting in deep brain stimulation (DBS) surgery. In a previous work, we demonstrated that the STN position can be predicted based on the position of surrounding visible structures, namely the lateral and third ventricles. A STN targeting process can thus be obtained by registering these structures of interest between a brain atlas and the patient image. Here we aim to improve the results of the state of the art targeting methods and at the same time to reduce the computational time. Our simultaneous segmentation and registration model shows mean STN localization errors statistically similar to the most performing registration algorithms tested so far and to the targeting expert's variability. Moreover, the computational time of our registration method is much lower, which is a worthwhile improvement from a clinical point of view.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

PURPOSE: Advanced Practice Lung Cancer Nurses (APLCN) are well-established in several countries but their role has yet to be established in Switzerland. Developing an innovative nursing role requires a structured approach to guide successful implementation and to meet the overarching goal of improved nursing sensitive patient outcomes. The "Participatory, Evidence-based, Patient-focused process, for guiding the development, implementation, and evaluation of advanced practice nursing" (PEPPA framework) is one approach that was developed in the context of the Canadian health system. The purpose of this article is to describe the development of an APLCN model at a Swiss Academic Medical Center as part of a specialized Thoracic Cancer Center and to evaluate the applicability of PEPPA framework in this process. METHOD: In order to develop and implement the APLCN role, we applied the first seven phases of the PEPPA framework. RESULTS: This article spreads the applicability of the PEPPA framework for an APLCN development. This framework allowed us to i) identify key components of an APLCN model responsive to lung cancer patients' health needs, ii) identify role facilitators and barriers, iii) implement the APLCN role and iv) design a feasibility study of this new role. CONCLUSIONS: The PEPPA framework provides a structured process for implementing novel Advanced Practice Nursing roles in a local context, particularly where such roles are in their infancy. Two key points in the process include assessing patients' health needs and involving key stakeholders.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The development of model observers for mimicking human detection strategies has followed from symmetric signals in simple noise to increasingly complex backgrounds. In this study we implement different model observers for the complex task of detecting a signal in a 3D image stack. The backgrounds come from real breast tomosynthesis acquisitions and the signals were simulated and reconstructed within the volume. Two different tasks relevant to the early detection of breast cancer were considered: detecting an 8 mm mass and detecting a cluster of microcalcifications. The model observers were calculated using a channelized Hotelling observer (CHO) with dense difference-of-Gaussian channels, and a modified (Partial prewhitening [PPW]) observer which was adapted to realistic signals which are not circularly symmetric. The sustained temporal sensitivity function was used to filter the images before applying the spatial templates. For a frame rate of five frames per second, the only CHO that we calculated performed worse than the humans in a 4-AFC experiment. The other observers were variations of PPW and outperformed human observers in every single case. This initial frame rate was a rather low speed and the temporal filtering did not affect the results compared to a data set with no human temporal effects taken into account. We subsequently investigated two higher speeds at 5, 15 and 30 frames per second. We observed that for large masses, the two types of model observers investigated outperformed the human observers and would be suitable with the appropriate addition of internal noise. However, for microcalcifications both only the PPW observer consistently outperformed the humans. The study demonstrated the possibility of using a model observer which takes into account the temporal effects of scrolling through an image stack while being able to effectively detect a range of mass sizes and distributions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Glucose supply from blood to brain occurs through facilitative transporter proteins. A near linear relation between brain and plasma glucose has been experimentally determined and described by a reversible model of enzyme kinetics. A conformational four-state exchange model accounting for trans-acceleration and asymmetry of the carrier was included in a recently developed multi-compartmental model of glucose transport. Based on this model, we demonstrate that brain glucose (G(brain)) as function of plasma glucose (G(plasma)) can be described by a single analytical equation namely comprising three kinetic compartments: blood, endothelial cells and brain. Transport was described by four parameters: apparent half saturation constant K(t), apparent maximum rate constant T(max), glucose consumption rate CMR(glc), and the iso-inhibition constant K(ii) that suggests G(brain) as inhibitor of the isomerisation of the unloaded carrier. Previous published data, where G(brain) was quantified as a function of plasma glucose by either biochemical methods or NMR spectroscopy, were used to determine the aforementioned kinetic parameters. Glucose transport was characterized by K(t) ranging from 1.5 to 3.5 mM, T(max)/CMR(glc) from 4.6 to 5.6, and K(ii) from 51 to 149 mM. It was noteworthy that K(t) was on the order of a few mM, as previously determined from the reversible model. The conformational four-state exchange model of glucose transport into the brain includes both efflux and transport inhibition by G(brain), predicting that G(brain) eventually approaches a maximum concentration. However, since K(ii) largely exceeds G(plasma), iso-inhibition is unlikely to be of substantial importance for plasma glucose below 25 mM. As a consequence, the reversible model can account for most experimental observations under euglycaemia and moderate cases of hypo- and hyperglycaemia.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND: The goals of our study are to determine the most appropriate model for alcohol consumption as an exposure for burden of disease, to analyze the effect of the chosen alcohol consumption distribution on the estimation of the alcohol Population- Attributable Fractions (PAFs), and to characterize the chosen alcohol consumption distribution by exploring if there is a global relationship within the distribution. METHODS: To identify the best model, the Log-Normal, Gamma, and Weibull prevalence distributions were examined using data from 41 surveys from Gender, Alcohol and Culture: An International Study (GENACIS) and from the European Comparative Alcohol Study. To assess the effect of these distributions on the estimated alcohol PAFs, we calculated the alcohol PAF for diabetes, breast cancer, and pancreatitis using the three above-named distributions and using the more traditional approach based on categories. The relationship between the mean and the standard deviation from the Gamma distribution was estimated using data from 851 datasets for 66 countries from GENACIS and from the STEPwise approach to Surveillance from the World Health Organization. RESULTS: The Log-Normal distribution provided a poor fit for the survey data, with Gamma and Weibull distributions providing better fits. Additionally, our analyses showed that there were no marked differences for the alcohol PAF estimates based on the Gamma or Weibull distributions compared to PAFs based on categorical alcohol consumption estimates. The standard deviation of the alcohol distribution was highly dependent on the mean, with a unit increase in alcohol consumption associated with a unit increase in the mean of 1.258 (95% CI: 1.223 to 1.293) (R2 = 0.9207) for women and 1.171 (95% CI: 1.144 to 1.197) (R2 = 0. 9474) for men. CONCLUSIONS: Although the Gamma distribution and the Weibull distribution provided similar results, the Gamma distribution is recommended to model alcohol consumption from population surveys due to its fit, flexibility, and the ease with which it can be modified. The results showed that a large degree of variance of the standard deviation of the alcohol consumption Gamma distribution was explained by the mean alcohol consumption, allowing for alcohol consumption to be modeled through a Gamma distribution using only average consumption.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Computed Tomography (CT) represents the standard imaging modality for tumor volume delineation for radiotherapy treatment planning of retinoblastoma despite some inherent limitations. CT scan is very useful in providing information on physical density for dose calculation and morphological volumetric information but presents a low sensitivity in assessing the tumor viability. On the other hand, 3D ultrasound (US) allows a highly accurate definition of the tumor volume thanks to its high spatial resolution but it is not currently integrated in the treatment planning but used only for diagnosis and follow-up. Our ultimate goal is an automatic segmentation of gross tumor volume (GTV) in the 3D US, the segmentation of the organs at risk (OAR) in the CT and the registration of both modalities. In this paper, we present some preliminary results in this direction. We present 3D active contour-based segmentation of the eye ball and the lens in CT images; the presented approach incorporates the prior knowledge of the anatomy by using a 3D geometrical eye model. The automated segmentation results are validated by comparing with manual segmentations. Then, we present two approaches for the fusion of 3D CT and US images: (i) landmark-based transformation, and (ii) object-based transformation that makes use of eye ball contour information on CT and US images.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Functional neuroimaging has undergone spectacular developments in recent years. Paradoxically, its neurobiological bases have remained elusive, resulting in an intense debate around the cellular mechanisms taking place upon activation that could contribute to the signals measured. Taking advantage of a modeling approach, we propose here a coherent neurobiological framework that not only explains several in vitro and in vivo observations but also provides a physiological basis to interpret imaging signals. First, based on a model of compartmentalized energy metabolism, we show that complex kinetics of NADH changes observed in vitro can be accounted for by distinct metabolic responses in two cell populations reminiscent of neurons and astrocytes. Second, extended application of the model to an in vivo situation allowed us to reproduce the evolution of intraparenchymal oxygen levels upon activation as measured experimentally without substantially altering the initial parameter values. Finally, applying the same model to functional neuroimaging in humans, we were able to determine that the early negative component of the blood oxygenation level-dependent response recorded with functional MRI, known as the initial dip, critically depends on the oxidative response of neurons, whereas the late aspects of the signal correspond to a combination of responses from cell types with two distinct metabolic profiles that could be neurons and astrocytes. In summary, our results, obtained with such a modeling approach, support the concept that both neuronal and glial metabolic responses form essential components of neuroimaging signals.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Lentivirus-based gene delivery vectors carrying multiple gene cassettes are powerful tools in gene transfer studies and gene therapy, allowing coexpression of multiple therapeutic factors and, if desired, fluorescent reporters. Current strategies to express transgenes and microRNA (miRNA) clusters from a single vector have certain limitations that affect transgene expression levels and/or vector titers. In this study, we describe a novel vector design that facilitates combined expression of therapeutic RNA- and protein-based antiangiogenic factors as well as a fluorescent reporter from back-to-back RNApolII-driven expression cassettes. This configuration allows effective production of intron-embedded miRNAs that are released upon transduction of target cells. Exploiting such multigenic lentiviral vectors, we demonstrate robust miRNA-directed downregulation of vascular endothelial growth factor (VEGF) expression, leading to reduced angiogenesis, and parallel impairment of angiogenic pathways by codelivering the gene encoding pigment epithelium-derived factor (PEDF). Notably, subretinal injections of lentiviral vectors reveal efficient retinal pigment epithelium-specific gene expression driven by the VMD2 promoter, verifying that multigenic lentiviral vectors can be produced with high titers sufficient for in vivo applications. Altogether, our results suggest the potential applicability of combined miRNA- and protein-encoding lentiviral vectors in antiangiogenic gene therapy, including new combination therapies for amelioration of age-related macular degeneration.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Colonization is the crucial process underlying range expansions, biological invasions, and metapopulation dynamics. Which individuals leave their natal population to colonize empty habitats is a crucial question and is presently unresolved. Dispersal is the first step in colonization. However, not all dispersing individuals are necessarily good colonizers. Indeed, in some species, the phenotype of dispersers differs depending on the selective pressures that induce dispersal. In particular, kin-based interactions, a factor driving social evolution, should induce different social response profiles in nondispersing and dispersing individuals. Kin competition (defined here as between the mother and offspring) has been proven to produce dispersers with a particular phenotype that may enhance their colonizing ability. By using the common lizard (Lacerta vivipara), we conducted a multipopulation experiment to study the effect of kin competition on dispersal and colonization success. We manipulated mother-offspring interactions, which are the most important component of kin competition in the studied species, at the family and population levels and measured the consequences on colonization success. We demonstrate that mother-offspring competition at the population level significantly influences colonization success. Increased competition at the population level enhanced the colonization rate of the largest juveniles as well as the growth and survival of the colonizers. Based on these results, we calculated that kin-induced colonization halves the extinction probability of a newly initiated population. Because interactions between relatives are likely to affect the ability of a species to track habitat modifications, kin-based dispersal should be considered in the study of invasion dynamics and metapopulation functioning.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Ajjanahalli gold mine is spatially associated with a Late Archean craton-scale shear zone in the eastern Chitradurga greenstone belt of the Dharwar craton, India. Gold mineralization is hosted by an similar to100-m-wide antiform in a banded iron formation. Original magnetite and siderite are replaced by a peak metamorphic alteration assemblage of chlorite, stilpnomelane, minnesotaite, sericite, ankerite, arsenopyrite, pyrite, pyrrhotite, and gold at ca. 300degrees to 350degreesC. Elements enriched in the banded iron formation include Ca, Mg, C, S, An, As, Bi. Cu, Sb, Zn, Pb, Se, Ag, and Te, whereas in the wall rocks As, Cu, Zn, Bi, Ag, and An are only slightly enriched. Strontium correlates with CaO, MgO, CO2, and As, which indicates cogenetic formation of arsenopyrite and Mg-Ca carbonates. The greater extent of alteration in the Fe-rich banded iron formation layers than in the wall rock reflects the greater reactivity of the banded iron formation layers. The ore fluids, as interpreted from their isotopic composition (delta(18)O = 6.5-8.5parts per thousand; initial Sr-87/Sr-86 = 0.7068-0.7078), formed by metamorphic devolatilization of deeper levels of the Chitradurga greenstone belt. Arsenopyrite, chalcopyrite, and pyrrhotite have delta(34)S values within a narrow range between 2.1 and 2.7 per mil, consistent with a sulfur source in Chitradurga greenstone belt lithologies. Based on spatial and temporal relationships between mineralization, local structure development, and sinistral strike-slip deformation in the shear zone at the eastern contact of the Chitradurga greenstone belt, we suggest that the Ajjanahalli gold mineralization formed by fluid infiltration into a low strain area within the first-order structure. The ore fluids were transported along this shear zone into relatively shallow crustal levels during lateral terrane accretion and a change from thrust to transcurrent tectonics. Based on this model of fluid flow, exploration should focus on similar low strain areas or potentially connected higher order splays of the first-order shear zone.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

INTRODUCTION: This study sought to increase understanding of women's thoughts and feelings about decision making and the experience of subsequent pregnancy following stillbirth (intrauterine death after 24 weeks' gestation). METHODS: Eleven women were interviewed, 8 of whom were pregnant at the time of the interview. Modified grounded theory was used to guide the research methodology and to analyze the data. RESULTS: A model was developed to illustrate women's experiences of decision making in relation to subsequent pregnancy and of subsequent pregnancy itself. DISCUSSION: The results of the current study have significant implications for women who have experienced stillbirth and the health professionals who work with them. Based on the model, women may find it helpful to discuss their beliefs in relation to healing and health professionals to provide support with this in mind. Women and their partners may also benefit from explanations and support about the potentially conflicting emotions they may experience during this time.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND: The World Anti-Doping Agency (WADA) is introducing enhancements to doping investigations in its 2015 Code, which include improved sharing of information between antidoping organisations (including sporting bodies) and enhanced accountability of athlete support staff. These additions will improve the control of links between sports doping and organised crime. In February 2013 the Australian Crime Commission released a report that linked several professional sporting codes, professional athletes with links to organised crime, performance enhancing drugs and illicit substances. Following this report the Australian Football League (AFL) partnered the Australian national antidoping organisation to investigate peptide use in Australian football. METHODS: This review compared the model proposed by Marclay, a hypothetical model for anti-doping investigations that proposed a forensic intelligence and analysis approach, to use the forensic capabilities of the AFL investigation to test the model's relevance to an actual case. RESULTS: The investigation uncovered the use of peptides used to enhance athlete performance. The AFL investigation found a high risk of doping where athlete support staff existed in teams with weak corporate governance controls. A further finding included the need for the investigation to provide a timely response in professional team sports that were sensitive to the competition timing. In the case of the AFL the team was sanctioned prior to the finals as an interim outcome for allowing the risk of use of performance-enhancing substances. Doping violation charges are still being considered. DISCUSSION: Antidoping strategies should include the investigation of corporate officers in team doping circumstances, the mandatory recording of all athlete substance use during competition and training phases, the wider sharing of forensic intelligence with non-sporting bodies particularly law enforcement and collaboration between antidoping and sporting organisations in doping investigations. CONCLUSIONS: The AFL investigation illustrated the importance of the 2015 WADA Code changes and highlighted the need for a systematic use of broad forensic intelligence activities in the investigation of doping violations.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The conflict between siblings over how parental resources are divided has promoted the evolution of specific behaviour to outcompete each other. Young animals look out for parents' arrival in order to start begging as quickly as possible, since a rapid begging reaction increases the likelihood of being fed before nestmates. If the young can physically intercept the parents, selection might be operating on the offspring ability to monitor parent arrival (vigilance towards parents) and any sudden modifications in siblings' behaviour (vigilance towards siblings). To investigate the adaptive value of nestling vigilance in the context of family interactions, we recorded which direction barn owl Tyto alba siblings were facing in 89 two-chick broods before the first parental feeding visit of the night. Nestlings were more vigilant towards nest entrance than expected by chance suggesting that vigilance towards parents is an important component of sibling competition. When positioned near the nest-box entrance where parents predictably deliver food, the younger individual (i.e. junior) looked more towards the entrance than its older sibling. Thus, when the likelihood of obtaining a food item is relatively high, juniors are more vigilant than seniors to detect the incoming parent. When positioned at the back of the nest, the senior looked relatively more frequently towards its sibling than the junior did in the same situation. This suggests that when the likelihood of obtaining a food item is relatively low, seniors are more vigilant than juniors to observe their sibling. Because vigilance was not related to hunger level and prey obtaining, we propose the hypothesis that vigilance towards parents and siblings only indirectly influences the outcome of sibling competition.

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.