987 resultados para Partial Order Semantics
Resumo:
Abstract This thesis proposes a set of adaptive broadcast solutions and an adaptive data replication solution to support the deployment of P2P applications. P2P applications are an emerging type of distributed applications that are running on top of P2P networks. Typical P2P applications are video streaming, file sharing, etc. While interesting because they are fully distributed, P2P applications suffer from several deployment problems, due to the nature of the environment on which they perform. Indeed, defining an application on top of a P2P network often means defining an application where peers contribute resources in exchange for their ability to use the P2P application. For example, in P2P file sharing application, while the user is downloading some file, the P2P application is in parallel serving that file to other users. Such peers could have limited hardware resources, e.g., CPU, bandwidth and memory or the end-user could decide to limit the resources it dedicates to the P2P application a priori. In addition, a P2P network is typically emerged into an unreliable environment, where communication links and processes are subject to message losses and crashes, respectively. To support P2P applications, this thesis proposes a set of services that address some underlying constraints related to the nature of P2P networks. The proposed services include a set of adaptive broadcast solutions and an adaptive data replication solution that can be used as the basis of several P2P applications. Our data replication solution permits to increase availability and to reduce the communication overhead. The broadcast solutions aim, at providing a communication substrate encapsulating one of the key communication paradigms used by P2P applications: broadcast. Our broadcast solutions typically aim at offering reliability and scalability to some upper layer, be it an end-to-end P2P application or another system-level layer, such as a data replication layer. Our contributions are organized in a protocol stack made of three layers. In each layer, we propose a set of adaptive protocols that address specific constraints imposed by the environment. Each protocol is evaluated through a set of simulations. The adaptiveness aspect of our solutions relies on the fact that they take into account the constraints of the underlying system in a proactive manner. To model these constraints, we define an environment approximation algorithm allowing us to obtain an approximated view about the system or part of it. This approximated view includes the topology and the components reliability expressed in probabilistic terms. To adapt to the underlying system constraints, the proposed broadcast solutions route messages through tree overlays permitting to maximize the broadcast reliability. Here, the broadcast reliability is expressed as a function of the selected paths reliability and of the use of available resources. These resources are modeled in terms of quotas of messages translating the receiving and sending capacities at each node. To allow a deployment in a large-scale system, we take into account the available memory at processes by limiting the view they have to maintain about the system. Using this partial view, we propose three scalable broadcast algorithms, which are based on a propagation overlay that tends to the global tree overlay and adapts to some constraints of the underlying system. At a higher level, this thesis also proposes a data replication solution that is adaptive both in terms of replica placement and in terms of request routing. At the routing level, this solution takes the unreliability of the environment into account, in order to maximize reliable delivery of requests. At the replica placement level, the dynamically changing origin and frequency of read/write requests are analyzed, in order to define a set of replica that minimizes communication cost.
Resumo:
We present a method for analyzing the curvature (second derivatives) of the conical intersection hyperline at an optimized critical point. Our method uses the projected Hessians of the degenerate states after elimination of the two branching space coordinates, and is equivalent to a frequency calculation on a single Born-Oppenheimer potential-energy surface. Based on the projected Hessians, we develop an equation for the energy as a function of a set of curvilinear coordinates where the degeneracy is preserved to second order (i.e., the conical intersection hyperline). The curvature of the potential-energy surface in these coordinates is the curvature of the conical intersection hyperline itself, and thus determines whether one has a minimum or saddle point on the hyperline. The equation used to classify optimized conical intersection points depends in a simple way on the first- and second-order degeneracy splittings calculated at these points. As an example, for fulvene, we show that the two optimized conical intersection points of C2v symmetry are saddle points on the intersection hyperline. Accordingly, there are further intersection points of lower energy, and one of C2 symmetry - presented here for the first time - is found to be the global minimum in the intersection space
Resumo:
The basis set superposition error-free second-order MØller-Plesset perturbation theory of intermolecular interactions was studied. The difficulties of the counterpoise (CP) correction in open-shell systems were also discussed. The calculations were performed by a program which was used for testing the new variants of the theory. It was shown that the CP correction for the diabatic surfaces should be preferred to the adiabatic ones
Resumo:
Rising renal cell carcinoma incidence is in relationship with early diagnosis during radiological exams. Radical nephrectomy was the gold standard treatment for 30 years. Partial nephrectomy is nowadays a validated therapeutic option for renal cell carcinoma up to 7 cm with comparable oncological results associated with better life quality and survival. Partial nephrectomy is tricky and laparoscopic approach remains reserved for expert centers.
Resumo:
Introduction: Surgery represents the treatment of choice for localized renal cell neoplasia. Partial nephrectomy (PN) has widened its indications over the past two decades and has shown oncological results equivalent to radical nephrectomy for small tumors. The role of negative surgical margins has been widely debated. Intraoperative fresh frozen section analysis is shown to be unreliable, expensive, time-consuming and not well correlated to final pathology. The goal of the present study was to assess the feasibility of intraoperative ex-vivo ultrasound (US) control of resection margins and its correlation to margin status at definitive pathology in patients undergoing PN.Material and Methods: The study was carried out in our institution from February 2008 to March 2010. Patients undergoing PN for T1-T2 renal tumors were included. Ex vivo US was performed by one single senior radiologist. Considering its availability, not all consecutive eligible patients were included. PN was undertaken in a standardized technique applying the "minimal healthy tissue margin" technique. Once resected, the specimen was kept in a saline solution and ex-vivo US was performed to evaluate the whole tumor pseudocapsule.Results: Twelve patients (five women, age (mean}SD) 65}11 years) were included. Intraoperative ex-vivo US showed negative surgical margin in all cases. US duration ranged from 1 to 4 minutes, with a median time of 1 minute. Definitive histological analysis confirmed the presence of two angiomyolipoma, eight pT1a tumors, of which seven were clear cell carcinoma and one was a type II papillary tumor, one pT1b clear cell carcinoma and one pT2 chromophobe carcinoma (size 2.9}2.3 cm). Final pathology revealed R0 margins.Conclusion: Intraoperative ex-vivo US control of resection margins in patients undergoing PN is feasible, time-efficient and well correlated to definitive pathological examination with regards to margin status.
Resumo:
A new radiolarian order - Archaeospicularia - is proposed for some Lower Paleozoic radiolarians previously considered to belong to Spumellaria and to Collodaria. It is characterized by a globular shell made of several spicules which can be free, interlocked, or fused to formed a latticed wall. The present paper gives the definition of this order and proposes a first classification. It is supposed that the Archaeospicularia represents the oldest radiolarian group and that in the Lower Paleozoic it gave rise to the orders Entactinaria, Albaillellaria, and probably Spumellaria by the reduction of the number of initial spicules. The origin of this order and its relationships with other groups of organisms with siliceous skeletons are also briefly discussed. (C) 2000 Academie des sciences / Editions scientifiques et medicales Elsevier SAS.
Resumo:
OBJECTIVE: To present a series of localized fibrous tumours of the pleura (LFTP), to define the clinical and histopathological diagnostic criteria of this tumour, and to determine the optimal treatment and follow-up. METHODS: Review of the charts of the patients with the diagnosis of LFTP (formerly called benign fibrous mesothelioma), as well as of all the histological sections, including immunohistochemical stains. Review of the literature with special emphasis on the clinical and histological criteria of malignancy. RESULTS: During the last 30 years, we found 15 patients with a complete clinical chart and histological material, particularly paraffin blocks of the tumour. The mean age was 57 years (range 27-79). Eight patients were asymptomatic, and the remaining seven presented with non-specific symptoms. All but one had complete resection of the tumour, including partial lung resection in two and partial chest wall resection in three. The diagnosis was confirmed by histological review in 15 cases. Immunohistochemical stainings showed positivity for vimentin in all cases, for CD 34 in 80%, but were consistently negative for cytokeratins. Nine tumours were histologically classified as malignant. Among them, five recurred, two of which were responsible for death. One benign tumour recurred after 1 year, and was treated successfully by repeat resection and radiotherapy. Overall, 13 patients (86%) were alive with no evidence of disease between 10 months and 27 years after the first resection. CONCLUSIONS: LFTP is a rare tumour which has a benign clinical course in over 80% of the cases, and is asymptomatic in half the patients. The diagnosis is difficult to establish before operation. Treatment consists of complete resection including adjacent structures if necessary. The clinical behaviour of LFTP cannot be predicted on the basis of histological aspects only. If histologically malignant tumours are more prone to recurrence and poor outcome, broad-based and locally invasive tumours bear a higher risk of recurrence. Long term follow-up is therefore mandatory in all cases in order to perform early re-resection when recurrence occurs.
Resumo:
This paper investigates the effects of women‘s labour force participation on fertility, as well as the effects of the combined labour force participation of both members of a couple. It specifically focuses on such dimensions as unemployment, earnings, temporary contracts and part-time jobs, and it shows that their effects differ in accordance with national institutions and labour market regulations. Event-history methods and a longitudinal sample of the European Community Household Panel are used in the analyses, concerning the years 1993-2000. The results show that labour market insecurity of one or both members of a couple has a particularly strong impact in reducing birth rates in the Southern European countries studied. The more conventional model of men’s employment combined with housewifery has a positive impact on second or higher order births in United Kingdom, Spain and Italy, while in Denmark the effect is the opposite. These differences are consistent with different national models of combining parental responsibilities and participation by gender across the life course.
Resumo:
To enhance the clinical value of coronary magnetic resonance angiography (MRA), high-relaxivity contrast agents have recently been used at 3T. Here we examine a uniform bilateral shadowing artifact observed along the coronary arteries in MRA images collected using such a contrast agent. Simulations were performed to characterize this artifact, including its origin, to determine how best to mitigate this effect, and to optimize a data acquisition/injection scheme. An intraluminal contrast agent concentration model was used to simulate various acquisition strategies with two profile orders for a slow-infusion of a high-relaxivity contrast agent. Filtering effects from temporally variable weighting in k-space are prominent when a centric, radial (CR) profile order is applied during contrast infusion, resulting in decreased signal enhancement and underestimation of vessel width, while both pre- and postinfusion steady-state acquisitions result in overestimation of the vessel width. Acquisition during the brief postinfusion steady-state produces the greatest signal enhancement and minimizes k-space filtering artifacts.
Higher-order expansions for compound distributions and ruin probabilities with subexponential claims
Resumo:
Nitric oxide (NO) plays a major role in the regulation of cardiovascular and metabolic homeostasis, as evidenced by insulin resistance and arterial hypertension in endothelial NO synthase (eNOS) null mice. Extrapolation of these findings to humans is difficult, however, because eNOS gene deficiency has not been reported. eNOS gene polymorphism and impaired NO synthesis, however, have been reported in several cardiovascular disease states and could predispose to insulin resistance. High-fat diet induces insulin resistance and arterial hypertension in normal mice. To test whether partial eNOS deficiency facilitates the development of insulin resistance and arterial hypertension during metabolic stress, we examined effects of an 8-week high-fat diet on insulin sensitivity (euglycemic clamp) and arterial pressure in eNOS(+/-) mice. When fed a normal diet, these mice had normal insulin sensitivity and were normotensive. When fed a high-fat diet, however, eNOS(+/-) mice developed exaggerated arterial hypertension and had fasting hyperinsulinemia and a 35% lower insulin-stimulated glucose utilization than control mice. The partial deletion of the eNOS gene does not alter insulin sensitivity or blood pressure in mice. When challenged with nutritional stress, however, partial eNOS deficiency facilitates the development of insulin resistance and arterial hypertension, providing further evidence for the importance of this gene in linking metabolic and cardiovascular disease.
Resumo:
We study wave-induced fluid flow effects in porous rocks partially saturated with gas and water, where the saturation patterns are governed by mesoscopic heterogeneities associated with the dry frame properties. The link between the dry frame properties and the gas saturation is defined by the assumption of capillary pressure equilibrium, which in the presence of heterogeneity implies that neighboring regions can exhibit different levels of saturation. In order to determine the equivalent attenuation and phase velocity of the synthetic rock samples considered in this study, we apply a numerical upscaling procedure, which permits to take into account mesoscopic heterogeneities associated with the dry frame properties as well as spatially continuous variations of the pore fluid properties. We consider numerical experiments to analyze such effects in heterogeneous partially saturated porous media, where the saturation field is determined by realistic variations in porosity. Our results indicate that the spatially continuous nature of gas saturation inherent to this study is a critical parameter controlling the seismic response of these environments, which in turn suggests that the physical mechanisms governing partial saturation should be accounted for when analyzing seismic data in a poro-elastic context.
Resumo:
We study the potential consequences of a hypothetical trade boycott against Catalan products organized by some sectors of the Spanish society mainly for political reasons. A symmetric trade boycott would have two effects: a reduction of Catalan exports to Spain and a partial process of import substitution in Catalonia. In order to quantify the economic impact of the boycott, we compare the "actual" Catalan economy, as described in the input-output table for 2005, with a "simulated" Catalan economy that takes into account the effects of a boycott on the trade exchanges between Catalonia and Spain.