153 resultados para sequent calculus

em Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho"


Relevância:

60.00% 60.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

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:

10.00% 10.00%

Publicador:

Resumo:

Nesta pesquisa foram utilizadas vinte fêmeas bovinas, sem patologias aparentes nas glândulas mamárias, em lactação, objetivando avaliar estruturas anatômicas das papilas mamárias. Quatro técnicas ultra-sonográficas foram avaliadas. Utilizou-se transdutor linear de 7,5 MHz para uso endoretal, na obtenção das imagens, padronizando-se o lado direito do animal para visualização das papilas craniais e caudais, em dois planos anatômicos (sagital e transversal). Os animais foram divididos em quatro grupos (G1, G2, G3, G4) que representaram as diferentes técnicas empregadas em momentos distintos (antes e após ordenha). Os resultados indicaram que entre as técnicas estudadas, as de exame direto e com uso de almofadada de silicone, foram as que apresentaram maior aplicabilidade, quando considerada a sua facilidade de uso na rotina com complementação do exame clinico. Entretanto, pólipos e cálculos lácteos tem sua extensão e localização convenientemente visibilizados mediante uso da técnica de pressão de liquido. Já a técnica de imersão em água, mostrou-se mais eficiente quanto à qualidade das imagens obtidas e na caracterização das estruturas anatômicas. O experimento realizado, traz subsídios anatomo-topográfico que irão contribuir com a qualidade do diagnóstico em pacientes que possam ter indicação cirúrgica (telotomia) e levanta questões que poderão ser respondidas conforme a casuística e a experiência consolidada do cirurgião.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O babaçu (Orbignya phalerata) é uma típica palmeira das matas de transição dos ecossistemas Amazônia/Cerrado e Amazônia/Caatinga, sendo de grande importância econômica, social e ambiental nestas regiões. Os produtos advindos dos babaçuais possibilitam renda para uma das camadas mais pobres da região amazônica e um dos entraves para a obtenção eficiente destes produtos é a colheita dos cocos de babaçu, que atualmente se faz no sistema extrativista. O objetivo deste trabalho foi realizar o desenvolvimento e projeto de uma colhedora de babaçu adaptável ao ambiente de trabalho da agricultura familiar e as características das matas de transição amazônicas. Para tal foram realizados estudos de literatura que nortearam as decisões e simplificações de projeto, assim como foram realizados os cálculos e desenhos da nova colhedora. O projeto foi realizado através de ferramentas de engenharia que apresentaram como resultados o memorial de cálculo que descreve o caminho técnico para o dimensionamento dos elementos constituintes da colhedora e a partir destes os desenhos detalhados dos elementos da nova máquina. Pelos desenhos detalhados suas considerações e decisões concluí-se que a colhedora de babaçu apresenta-se passível de ser construída com materiais nacionais de baixo custo, além de fácil operação, manutenção e com mínimo efeito sobre os babaçuais naturais.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The peripheral ossifying fibroma (POF) is a common gingival growth usually arising from the interdental papilla. The anterior maxilla is the most common location of involvement. The etiology and pathogenesis of POF remains unknown. Some investigators consider it a neoplastic process, whereas others argue that it is a reactive process; in either case, the lesion is thought to arise from cells in the periodontal ligament. Trauma or local irritants, such as dental plaque, calculus, microorganisms, masticatory force, ill-fitting dentures, and poor quality restorations, have been implicated in the etiology of POF. The recommended treatment is the excisional biopsy; however, it can leave a defect if the procedure is not followed by a subepithelial connective tissue graft. The main objective of this article was to present a clinical case of excisional biopsy of a POF followed by a subepithelial connective tissue graft to correct the defect caused by the biopsy. The biopsy defect was satisfactorily repaired, and the lesion has not recurred after 6 years of follow-up.