O papel das rotas e da obtenção de informações sobre a eficiência no forrageio de dinoponera quadriceps em ambiente natural

In this study, we investigated the role of routes and information attainment for the queenless ant species Dinoponera quadriceps foraging efficiency. Two queenless ant colonies were observed in an area of Atlantic secondary Forest at the FLONA-ICMBio of Nisia Floresta, in the state of Rio Grande do Norte, northeastern Brazil, at least once a week. In the first stage of the study, we observed the workers, from leaving until returning to the colony. In the second stage, we introduced a acrylic plate (100 x 30 x 0,8 cm) on a selected entrance of the nest early in the morning before the ants left the nest. All behavioral recordings were done through focal time and all occurence samplings. The recording windows were of 15 minutes with 1 minute interval, and 5 minute intervals between each observation window. Foraging was the main activity when the workers were outside the nest. There was a positive correlation between time outside the nest and distance travelled by the ants. These variables influenced the proportion of resource that was taken to the nest, that is, the bigger its proportion, the longer the time outside and distance travelled during the search. That proportion also influenced the time the worker remained in the nest before a new trip, the bigger the proportion of the item, the shorter was the time in the nest. During all the study, workers showed fidelity to the route and to the sectors in the home range, even when the screen was in the ant´s way, once they deviated and kept the route. The features of foraging concerning time, distance, route and flexibility to go astray by the workers indicate that decisions are made by each individual and are optimal in terms of a cost-benefit relation. The strategy chosen by queenless ants fits the central place foraging and marginal value theorem theories and demonstrate its flexibility to new informations. This indicates that the workers can learn new environmental landmarks to guide their routes

Condição peri-implantar e fatores associados às doenças peri-implantares em pacientes reabilitados no serviço odontológico da faculdade de odontologia da UFRN

A introdução dos implantes dentários osseointegrados como uma ferramenta na reabilitação oral de pacientes edêntulos e parcialmente edêntulos é uma realidade no cotidiano do cirurgião-dentista. Estudos reportam uma alta taxa de sucesso da utilização de implantes no tratamento reabilitador. Entretanto, outras investigações têm mostrado a perda desses implantes devido a infecções peri-implantares, como a mucosite e a peri-implantite. O objetivo deste trabalho foi avaliar a frequência das doenças peri-implantares e seus fatores associados em pacientes com implantes dentais em função reabilitados no serviço odontológico da Faculdade de Odontologia da UFRN. Foram examinados 155 indivíduos portadores de 523 implantes e 2718 dentes. Dentes e implantes foram avaliados por meio de sondagem periodontal, observando-se a profundidade de sondagem, retração gengival, bem como foram avaliados índices de placa visível (IPV) e sangramento gengival (ISG) e presença de supuração. Os dados foram armazenados em fichas clínicas e avaliados estatisticamente por meio da estatística descritiva e inferencial. A idade média dos pacientes foi de 54,05 (± 12,61) anos, sendo 79,4% do sexo feminino. As frequências da mucosite, peri-implantite e periodontite em indivíduos foram 54%, 28% e 50%, respectivamente. Dos 523 implantes avaliados, 43% tinham mucosite, 14% peri-implantite e 43% saúde. Os testes Qui-quadrado de Pearson e Exato de Fisher mostraram que as doenças peri-implantares estão associadas as doenças periodontais, uso de medicação, alterações sistêmicas número de implantes, IPV, ISG, ao tempo de função das próteses, região do implante, número de roscas expostas e faixa de mucosa queratinizada (p<0,05). A análise de regressão múltipla, através da regressão binária logística, constatou que indivíduos que faziam uso de medicação (OR = 1,784), com um ISG > 10% (OR = 1,742), com implantes instalados na maxila (OR = 2,654), onde a prótese sobre o implante tinham mais de 2 anos em função (OR = 3,144) e que radiograficamente apresentavam uma perda óssea atingindo a terceira rosca do implante (OR = 4,701) mostram uma associação positiva com as doenças peri-implantares de maneira que esses indivíduos têm mais chances de ter essas doenças. Os resultados sugerem que a frequência das doenças peri-implantares na população em estudo foi de 82% dos pacientes e que estas doenças estão associadas a fatores relacionados aos indivíduos como: a presença da doença periodontal, piores IPV e IS, alterações sistêmicas, uso de medicação e maior número de implantes; e a fatores locais relacionados aos implantes como: ausência ou faixa de mucosa menor que 2mm, implantes na maxila e na região anterior, perda óssea atingindo a terceira rosca do implante e a um tempo de reabilitação prótetica maior que 2 anos

Eficácia do tratamento não-cirúrgico em indivíduos com mucosite peri-implantar

It has been shown that the development of peri-implant mucositis is associated with biofilm accumulation. It is believed that the therapeutic approaches used in periodontal disease may have a positive effect in the cases of peri-implant disease. The aim of this study was to evaluate the effectiveness of non-surgical treatment of peri-implant mucositis, with or without the use of chlorhexidine 0,12% in subjects rehabilitated with osseointegrated implants. Thus, patients were randomly divided into test group (chlorhexidine surgical therapy) and control (non-surgical treatment). This therapy consisted of an adaptation of the (Full Mouth scalling and Root Planing) nonoperative protocol FMSRP, but without the use of ultrasound. The visible plaque index (VPI), gingival bleeding index (GBI), probing depth (PD), bleeding on probing (BOP) and keratinized mucosa clinical parameters were evaluated at baseline and at different times after treatment. The data were not normally distributed and the implant was considered the sampling unit. Data were analyzed using Fri edman and Wilcoxon chi-square (=5%), tests using the Statistical Package for Social Sciences 17.0 (SPSS). Thus, 119 implants were evaluated, 61 in the test group and 58 in the control group. The results showed statistically significant differences for the variables: average BTI implants in both groups (p<0,001), mean ISG implants both in the test group (p<0,001), and control (p= 0,006) of implants; PS for the test group (p< 0,001) and control (p = 0,015) and SS (p<0,001) in the two treatment groups. However, there was no statistically significant difference when the groups were compared. The PS and SS variables showed no statistically significant difference in any of independent interest to the study (age, sex, smoking, treatment group, keratinized mucosa at different times, peri-implant biotype, average VPI implants and GBI). Thus, it can be concluded that both the mechanical treatment isolated as its association with chlorhexidine mouthwash 0.12% can be used for the treatment of peri-implant mucositis. Moreover, the condition of oral h ygiene has improved between baseline and six months and the depth and bleeding on probing decreased after three and six months

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Teorias f(R) de gravidade na formulação de Palatini

In this dissertation, after a brief review on the Einstein s General Relativity Theory and its application to the Friedmann-Lemaitre-Robertson-Walker (FLRW) cosmological models, we present and discuss the alternative theories of gravity dubbed f(R) gravity. These theories come about when one substitute in the Einstein-Hilbert action the Ricci curvature R by some well behaved nonlinear function f(R). They provide an alternative way to explain the current cosmic acceleration with no need of invoking neither a dark energy component, nor the existence of extra spatial dimensions. In dealing with f(R) gravity, two different variational approaches may be followed, namely the metric and the Palatini formalisms, which lead to very different equations of motion. We briefly describe the metric formalism and then concentrate on the Palatini variational approach to the gravity action. We make a systematic and detailed derivation of the field equations for Palatini f(R) gravity, which generalize the Einsteins equations of General Relativity, and obtain also the generalized Friedmann equations, which can be used for cosmological tests. As an example, using recent compilations of type Ia Supernovae observations, we show how the f(R) = R − fi/Rn class of gravity theories explain the recent observed acceleration of the universe by placing reasonable constraints on the free parameters fi and n. We also examine the question as to whether Palatini f(R) gravity theories permit space-times in which causality, a fundamental issue in any physical theory [22], is violated. As is well known, in General Relativity there are solutions to the viii field equations that have causal anomalies in the form of closed time-like curves, the renowned Gödel model being the best known example of such a solution. Here we show that every perfect-fluid Gödel-type solution of Palatini f(R) gravity with density and pressure p that satisfy the weak energy condition + p 0 is necessarily isometric to the Gödel geometry, demonstrating, therefore, that these theories present causal anomalies in the form of closed time-like curves. This result extends a theorem on Gödel-type models to the framework of Palatini f(R) gravity theory. We derive an expression for a critical radius rc (beyond which causality is violated) for an arbitrary Palatini f(R) theory. The expression makes apparent that the violation of causality depends on the form of f(R) and on the matter content components. We concretely examine the Gödel-type perfect-fluid solutions in the f(R) = R−fi/Rn class of Palatini gravity theories, and show that for positive matter density and for fi and n in the range permitted by the observations, these theories do not admit the Gödel geometry as a perfect-fluid solution of its field equations. In this sense, f(R) gravity theory remedies the causal pathology in the form of closed timelike curves which is allowed in General Relativity. We also examine the violation of causality of Gödel-type by considering a single scalar field as the matter content. For this source, we show that Palatini f(R) gravity gives rise to a unique Gödeltype solution with no violation of causality. Finally, we show that by combining a perfect fluid plus a scalar field as sources of Gödel-type geometries, we obtain both solutions in the form of closed time-like curves, as well as solutions with no violation of causality

Fundamentação cinética da estatística não gaussiana : efeitos em politrópicas

Considering a non-relativistic ideal gas, the standard foundations of kinetic theory are investigated in the context of non-gaussian statistical mechanics introduced by Kaniadakis. The new formalism is based on the generalization of the Boltzmann H-theorem and the deduction of Maxwells statistical distribution. The calculated power law distribution is parameterized through a parameter measuring the degree of non-gaussianity. In the limit = 0, the theory of gaussian Maxwell-Boltzmann distribution is recovered. Two physical applications of the non-gaussian effects have been considered. The first one, the -Doppler broadening of spectral lines from an excited gas is obtained from analytical expressions. The second one, a mathematical relationship between the entropic index and the stellar polytropic index is shown by using the thermodynamic formulation for self-gravitational systems

Termodinâmica de um gás de fótons no contexto de eletrodinâmicas não-lineares

The objective of this dissertation is the development of a general formalism to analyze the thermodynamical properties of a photon gas under the context of nonlinear electrodynamics (NLED). To this end it is obtained, through the systematic analysis of Maxwell s electromagnetism (EM) properties, the general dependence of the Lagrangian that describes this kind of theories. From this Lagrangian and in the background of classical field theory, we derive the general dispersion relation that photons must obey in terms of a background field and the NLED properties. It is important to note that, in order to achieve this result, an aproximation has been made in order to allow the separation of the total electromagnetic field into a strong background electromagnetic field and a perturbation. Once the dispersion relation is in hand, the usual Bose-Einstein statistical procedure is followed through which the thermodynamical properties, energy density and pressure relations are obtained. An important result of this work is the fact that equation of state remains identical to the one obtained under EM. Then, two examples are made where the thermodynamic properties are explicitly derived in the context of two NLED, Born-Infelds and a quadratic approximation. The choice of the first one is due to the vast appearance in literature and, the second one, because it is a first order approximation of a large class of NLED. Ultimately, both are chosen because of their simplicity. Finally, the results are compared to EM and interpreted, suggesting possible tests to verify the internal consistency of NLED and motivating further developement into the formalism s quantum case

Termoestatística quântica: uma abordagem via estatísticas não-gaussianas

Considering a quantum gas, the foundations of standard thermostatistics are investigated in the context of non-Gaussian statistical mechanics introduced by Tsallis and Kaniadakis. The new formalism is based on the following generalizations: i) Maxwell- Boltzmann-Gibbs entropy and ii) deduction of H-theorem. Based on this investigation, we calculate a new entropy using a generalization of combinatorial analysis based on two different methods of counting. The basic ingredients used in the H-theorem were: a generalized quantum entropy and a generalization of collisional term of Boltzmann equation. The power law distributions are parameterized by parameters q;, measuring the degree of non-Gaussianity of quantum gas. In the limit q

Unicidade e discretização para problemas de valor inicial

This paper has two objectives: (i) conducting a literature search on the criteria of uniqueness of solution for initial value problems of ordinary differential equations. (ii) a modification of the method of Euler that seems to be able to converge to a solution of the problem, if the solution is not unique

Estruturação litosférica da Província Borborema ao longo da Transecta Angüera (BA) Macau (RN), com base em dados gravimétricos

Since 2005, geophysical surveys have been carried out in the Precambri-an Borborema Province, along two transects with 800 km long each one. A pool of Brazilian public universities and institutions has been acquired deep refrac-tion seismic, gravity and magnetotelluric, with the purpose to model the conti-nental lithosphere of the region. This paper present the gravity survey of the second transect, that crosses the Borborema Province from SW to NE, passing through the São Francisco Craton, Transversal and Meridional zones and Rio Grande do Norte Domain, in the Setentrional Zone. In this way, it cuts some important geologic structures, like the limit of the São Francis Craton and the Borborema Province, Paleozoic and Mesozoic sedimentary basins of Tucano, Jatobá and Potiguar and the extensive Pernambuco and Patos shear zones. Recognition techniques gravity sources in the subsurface, such as spectral analysis and Euler Deconvolution, were applied to the Bouguer anomalies, as well as their regional and residual components. These techniques provided in-formation on possible anomalous bodies, which correlated with pre-existing geological and geophysical data, subsidized a 2.5 D gravity modeling of the lithosphere beneath the Borborema Province and its southern limit with the São Francisco Craton.

Evidências da herança geotectônica pré-cambriana na geração da barcia potiguar: um estudo geofísico multdisciplinar

The 3D gravity modeling of the Potiguar rift basin consisted of a digital processing of gravity and aeromagnetic data, subsidized by the results of Euler deconvolution of gravity and magnetic data and the interpretation of seismic lines and wells descriptions. The gravity database is a compilation of independent geophysical surveys conducted by several universities, research institutions and governmental agencies. The aeromagnetic data are from the Bacia Potiguar and Plataforma Continental do Nordeste projects, obtained from the Brazilian Petroleum Agency (ANP). The solutions of the Euler Deconvolution allowed the analysis of the behavior of the rift main limits. While the integrated interpretation of seismic lines provided the delimitating horizons of the sedimentary formations and the basement top. The integration of these data allowed a 3D gravity modeling of basement topography, allowing the identification of a series of internal structures of the Potiguar rift, as well intra-basement structures without the gravity effect of the rift. The proposed inversion procedure of the gravity data allowed to identify the main structural features of the Potiguar rift, elongated in the NE-SW direction, and its southern and eastern faulted edges, where the sedimentary infill reachs thicknesses up to 5500 m. The southern boundary is marked by the Apodi and Baixa Grande faults. These faults seem to be a single NW-SE oriented fault with a strong bend to NE-SW direction. In addition, the eastern boundary of the rift is conditioned by the NE-SW trending Carnaubais fault system. It was also observed NW-SE oriented faults, which acted as transfer faults to the extensional efforts during the basin formation. In the central part of the residual anomaly map without the gravity effect of the rift stands out a NW-SE trending gravity high, corresponding to the Orós-Jaguaribe belt lithotypes. We also observe a gravity maximum parallel to the Carnaubais fault system. This anomaly is aligned to the eastern limit of the rift and reflects the contact of different crustal blocks, limited by the eastern ward counterpart of the Portalegre Shear Zone