958 resultados para Sequent Calculus


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Real exchange rate is an important macroeconomic price in the economy and a ects economic activity, interest rates, domestic prices, trade and investiments ows among other variables. Methodologies have been developed in empirical exchange rate misalignment studies to evaluate whether a real e ective exchange is overvalued or undervalued. There is a vast body of literature on the determinants of long-term real exchange rates and on empirical strategies to implement the equilibrium norms obtained from theoretical models. This study seeks to contribute to this literature by showing that it is possible to calculate the misalignment from a mixed ointegrated vector error correction framework. An empirical exercise using United States' real exchange rate data is performed. The results suggest that the model with mixed frequency data is preferred to the models with same frequency variables

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the context of the teleparallel equivalent of general relativity, the Weitzenbock manifold is considered as the limit of a suitable sequence of discrete lattices composed of an increasing number of smaller and smaller simplices, where the interior of each simplex (Delaunay lattice) is assumed to be flat. The link lengths l between any pair of vertices serve as independent variables, so that torsion turns out to be localized in the two-dimensional hypersurfaces (dislocation triangle, or hinge) of the lattice. Assuming that a vector undergoes a dislocation in relation to its initial position as it is parallel transported along the perimeter of the dual lattice (Voronoi polygon), we obtain the discrete analogue of the teleparallel action, as well as the corresponding simplicial vacuum field equations.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The purpose of this study was to evaluate the effectiveness of subgingival application of Carisolv™ gel as an adjunctive therapy to scaling and root planing (SRP) on calculus removal compared to conventional instrumentation. Forty-five teeth requiring extraction due to severe periodontal disease were randomized to the following treatments: 1) SRP alone; 2) placebo gel + SRP; 3) Carisolv™ gel + SRP. Either test or placebo gel was applied subgingivally for 1 min and then the root were instrumented until a smooth and calculus-free surface was achieved. Instrumentation time and the number of strokes required were recorded. After extraction, the efficacy of root surface instrumentation was measured by percentage of remaining calculus. There was no statistically significant difference (p>0.05) between the treatment groups regarding either time required for instrumentation or the percentage of residual calculus. The subgingival application of Carisolv™ gel prior to SRP did not provide any additional benefit to root instrumentation compared to scaling and root planing alone.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

It is presented a software developed with Delphi programming language to compute the reservoir's annual regulated active storage, based on the sequent-peak algorithm. Mathematical models used for that purpose generally require extended hydrological series. Usually, the analysis of those series is performed with spreadsheets or graphical representations. Based on that, it was developed a software for calculation of reservoir active capacity. An example calculation is shown by 30-years (from 1977 to 2009) monthly mean flow historical data, from Corrente River, located at São Francisco River Basin, Brazil. As an additional tool, an interface was developed to manage water resources, helping to manipulate data and to point out information that it would be of interest to the user. Moreover, with that interface irrigation districts where water consumption is higher can be analyzed as a function of specific seasonal water demands situations. From a practical application, it is possible to conclude that the program provides the calculation originally proposed. It was designed to keep information organized and retrievable at any time, and to show simulation on seasonal water demands throughout the year, contributing with the elements of study concerning reservoir projects. This program, with its functionality, is an important tool for decision making in the water resources management.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

To evaluate the prevalence of metabolic disorders in patients with staghorn calculi treated at the Regional Center of Lithiasis Metabolic Studies in central region of Såo Paulo State, Brazil. Between February 2000 and February 2008, 630 patients with urinary calculi were evaluated in the lithiasis outpatient clinic. Thirty-seven of them had staghorn calculi (35 women and 2 men). The inclusion criteria for the metabolic investigation included the absence of urological manipulation 30 days before the examination, negative urine culture and creatinine clearance > 60 mL/min. The protocol for metabolic investigation consisted of qualitative search for cystinuria. Two non-consecutive 24-hour urine samples collected to measure calcium, phosphorus, uric acid, sodium, potassium, magnesium, oxalate and citrate, and serum calcium levels, phosphorus, uric acid, sodium, potassium, magnesium, chloride, parathormone and urine pH. Among patients with lithiasis, 5.9% (37/630) had staghorn calculus and in 48.6% (18/37) were diagnosed with urinary infection. The females were predominant for 94.5% of cases. The calculi were unilateral in 31 of cases and bilateral in six. Metabolic abnormalities were found in 68.2% of patients with hypercalciuria (64.2%) and hypocitraturia (53.3%) being the most common disorders. The presence of metabolic disorders in nearly 70% of patients with staghorn calculus reinforces the necessity for evaluation of these patients. The diagnosis and treatment of identified metabolic abnormalities can contribute to the prevention of recurrent staghorn calculi.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In order to refine the solution given by the classical logistic equation and extend its range of applications in the study of tumor dynamics, we propose and solve a generalization of this equation, using the so-called Fractional Calculus, i.e., we replace the ordinary derivative of order 1, in one version of the usual equation, by a non-integer derivative of order 0 < α < 1, and recover the classical solution as a particular case. Finally, we analyze the applicability of this model to describe the growth of cancer tumors.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study aimed to determine whether dental calculus formation is really higher among patients with chronic kidney disease undergoing hemodialysis than among controls. Furthermore, the study evaluated correlations between dental calculus formation and dental plaque, variables that are related to renal disease and/or saliva composition. The Renal Group was composed of 30 patients undergoing hemodialysis, whereas the Healthy Group had 30 clinically healthy patients. Stimulated whole saliva and parotid saliva were collected. Salivary flow rate and calcium and phosphate concentrations were determined. In the Renal Group the saliva collection was carried out before and after a hemodialysis session. Patients from both groups received intraoral exams, oral hygiene instructions, and dental scaling. Three months later, the dental calculus was measured by the Volpe-Manhold method to determine the rate of dental calculus formation. The Renal Group presented a higher rate of dental calculus formation (p < 0.01). Correlation was observed between rate of dental calculus formation and whole saliva flow rate in the Renal Group after a hemodialysis session (r = 0.44, p < 0.05). The presence of dental calculus was associated with phosphate concentration in whole saliva from the Renal Group (p < 0.05). In conclusion, patients undergoing hemodialysis presented accelerated dental calculus formation, probably due to salivary variables.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we continue the development of the differential calculus started in Aragona et al. (Monatsh. Math. 144: 13-29, 2005). Guided by the so-called sharp topology and the interpretation of Colombeau generalized functions as point functions on generalized point sets, we introduce the notion of membranes and extend the definition of integrals, given in Aragona et al. (Monatsh. Math. 144: 13-29, 2005), to integrals defined on membranes. We use this to prove a generalized version of the Cauchy formula and to obtain the Goursat Theorem for generalized holomorphic functions. A number of results from classical differential and integral calculus, like the inverse and implicit function theorems and Green's theorem, are transferred to the generalized setting. Further, we indicate that solution formulas for transport and wave equations with generalized initial data can be obtained as well.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this thesis we present pi@, an extremely simple and conservative extension of the pi-calculus representing a keystone in this respect, thanks to its expressiveness capabilities. The pi@ calculus is obtained by the addition of polyadic synchronisation and priority to the pi-calculus, in order to achieve compartment semantics and atomicity of complex operations respectively. In its direct application to biological modelling, the stochastic variant of the calculus, Spi@, is shown able to model consistently several phenomena such as formation of molecular complexes, hierarchical subdivision of the system into compartments, inter-compartment reactions, dynamic reorganisation of compartment structure consistent with volume variation. The pivotal role of pi@ is evidenced by its capability of encoding in a compositional way several bio-inspired formalisms, so that it represents the optimal core of a framework for the analysis and implementation of bio-inspired languages. In this respect, the encodings of BioAmbients, Brane Calculi and a variant of P Systems in pi@ are formalised. The conciseness of their translation in pi@ allows their indirect comparison by means of their encodings. Furthermore it provides a ready-to-run implementation of minimal effort whose correctness is granted by the correctness of the respective encoding functions. Further important results of general validity are stated on the expressive power of priority. Several impossibility results are described, which clearly state the superior expressiveness of prioritised languages and the problems arising in the attempt of providing their parallel implementation. To this aim, a new setting in distributed computing (the last man standing problem) is singled out and exploited to prove the impossibility of providing a purely parallel implementation of priority by means of point-to-point or broadcast communication.