Comparative analysis of three rotary instruments used for coronal pre-enlargement in radicular dentin thickness and root canal area of mandibular molars

Purpose: The purpose of this study was to evaluate the increase of the cervical area and dentin thickness in mesial and distal walls of the mesial canals from mandibular molars after the use of LA Axxess (LA), CP Drill (CP) and Gates-Glidden (GG) rotary instruments. Material and Methods: Sixty root canals from thirty mandibular first molar were sectioned 3 mm below the cement-enamel junction, divided in 3 groups (n = 20 root canals, each) according to rotary instrument used, and the cervical images were captured before and after pre-enlargement instrumentation. The increase of the instrumented cervical area (mm2) and the dentin removal thickness (mm), at mesial and distal walls were calculated using Image tools software, by comparison of images. Data were analyzed by ANOVA and Tukey tests (p=0.05). Results: All rotary instruments promoted thickness reduction in dentin walls. In mesial wall, all rotary instruments promoted similar thickness reduction of dentinal wall and did not differ from each other (p>0.05). In distal wall, LA Axxess instrument promoted higher dentin thickness reduction than other groups (p<0.05). The three rotary instruments promoted different increase at the instrumented cervical area (p<0.05), LA promoted the highest increase area and GG and CP presented similar results. Conclusion: LA 20/0.06 promoted the highest thickness reduction in distal wall and increase of cervical area of root canal. On the other hand, CP was the safest instrument, with lower dentin removal of distal wall and similar increased area to GG.

Push-out bond strength of calcium hydroxide and mineral trioxide aggregate based sealers

The adhesiveness of six root canal sealers: Acroseal, Endo CPM, Epiphany, White MTA, Sealapex and Sealer 26 to dentin, was evaluated in a push-out test design. Methods: Twenty eight roots of freshly extracted teeth were gauged with a size 5 Largo drill. With a cutting machine slices of 2 mm were prepared, rinsed with 5.25% NaOCl and a final rinse with 17% EDTA, dried and filled with one of the sealers. After setting their bond strength was measured in a mechanical testing machine. The data were statistically analyzed by using a One Way ANOVA and post hoc Tukey test. Results: The mean and standard deviation from values of bond strength was: Sealapex 2.2±0.4; Endo CPM 3.8±1.3; White MTA 6.0±1.4; Epiphany 10.9±2.6; Sealer 26 12.3±2.3; and Acroseal 12.2±1.4. Acroseal, Sealer 26 and Epiphany presented a significantly (P<0.01) greater bond strength compared with the other sealers. Also White MTA showed higher adhesiveness compared with Endo CPM and Sealapex (P<0.01). Conclusion: The bond strength between endodontic sealers and root dentin was maximal when Acroseal, Sealer 26 and Epiphany were used; Sealapex e Endo CPM, in turn, presented the lowest bond strength mean values.

Influence of Insertion Techniques for Resin Cement and Mechanical Cycling on the Bond Strength Between Fiber Posts and Root Dentin

Purpose: To evaluate the effect of the insertion technique for resin cement and mechanical cycling on the bond strength between fiber posts and root dentin.Materials and Methods: Sixty-four single-rooted bovine teeth were endodontically prepared to receive glass-fiber posts. The insertion of cement into the root canal was performed using one of the following techniques: POS, insertion with the post; LEN, the use of a lentulo-type drill; EXP, insertion with a straight-tip explorer; or CEN, the use of a Centrix syringe. Half of the specimens were mechanically cycled. All specimens were sectioned into slices of 1.8 mm for the push-out test and 0.5 mm for analysis of the cement layer quality.Results: The insertion technique affected the interaction between factors (bond strength and mechanical cycling; p < 0.0001). Insertion of the Centrix syringe after mechanical cycling showed the highest bond values (13.6 +/- 3.2 MPa). Group-to-group comparisons for baseline and cycled conditions indicated that mechanical cycling significantly influenced the bond strength (p < 0.0001) of the POS and CEN groups. The quality of the cement layer did not differ between the techniques when evaluated in the middle (p = 0.0612) and cervical (p = 0.1119) regions, but did differ in the apical region (p = 0.0097), where the CEN group had better layer quality for the two conditions tested (baseline and cycled).Conclusion: The use of the Centrix syringe improved the homogeneity of the cement layer, reducing the defects in the layer and increasing adhesive strength values to dentin, even after mechanical cycling.

Multi-step adhesive cementation versus one-step adhesive cementation: push-out bond strength between fiber post and root dentin before and after mechanical cycling

This study evaluated the effects of mechanical cycling on resin push-out bond strength to root dentin, using two strategies for fiber post cementation. Forty bovine roots were embedded in acrylic resin after root canal preparation using a custom drill of the fiber post system. The fiber posts were cemented into root canals using two different strategies (N = 20): a conventional adhesive approach using a three-step etch-and-rinse adhesive system combined with a conventional resin cement (ScotchBond Multi Purpose Plus + RelyX ARC ), or a simplified adhesive approach using a self-adhesive resin cement (RelyX U100). The core was built up with composite resin and half of the specimens from each cementation strategy were submitted to mechanical cycling (45 degree angle; 37 degrees C; 88 N; 4 Hz; 700,000 cycles). Each specimen was cross-sectioned and the disk specimens were pushed-out. The means from every group (n = 10) were statistically analyzed using a two-way ANOVA and a Tukey test (P = 0.05). The cementation strategy affected the push-out results (P < 0.001), while mechanical cycling did not (P = 0.3716). The simplified approach (a self-adhesive resin cement) had better bond performance despite the conditioning. The self-adhesive resin cement appears to be a good option for post cementation. Further trials are needed to confirm these results.

Magmatism and fenitization in the Cretaceous potassium-alkaline-carbonatitic complex of Ipanema So Paulo State, Brazil

The Ipanema alkaline-carbonatitic complex is part of the Meso-Cenozoic alkaline magmatism located within the southeastern part of the Brazilian Platform. Drill-core and field sampling have indicated the occurrence of glimmerites, with subordinate shonkinites (mela-syenites), clinopyroxene-bearing glimmerites, diorites and syenites. The glimmerites are cross-cut by lamprophyric dykes and calciocarbonatites. Fenitization has deeply affected the country rocks, originating dioritic and syenitic rocks. The Ipanema rocks show a distinct potassic affinity. The initial Sr-Nd- isotopic composition of the Ipanema rocks ((87)Sr/(86)Sr = 0.70661-0.70754 and (143)Nd/(144)Nd = 0.51169-0.51181) is similar to that of tholeiitic and potassium-rich-alkaline rocks of the Eastern Paraguay. Stable isotope data for the Ipanema calciocarbonatite suggest interaction with fluids at temperatures typical of hydrothermal stages, as hypothesized for other carbonatite complexes from southeastern Brazil. The chemical differences between the lamprophyre, glimmerites, carbonatites, apatitites and magnetitites, and the absence of marked REE enrichment in the evolved lithologies, all indicate that fractional crystallization and accumulus of liquidus phases in a magma reservoir, likely coupled with liquid immiscibility processes, may have played an important role in the genesis of the Ipanema rocks.

Territoriality and male-biased sexual size dimorphism in Argia reclusa (Odonata: Zygoptera)

In Odonata, many species present sexual size dimorphism (SSD), which can be associated with male territoriality in Zygoptera. We hypothesized that in the territorial damselfly Argia reclusa, male-male competition can favor large males, and consequently, drive selection pressures to generate male-biased SSD. The study was performed at a small stream in southeastern Brazil. Males were marked, and we measured body size and assessed the quality of territories. We tested if larger territorial males (a) defended the best territories (those with more male intrusions and visiting females), (b) won more fights, and (c) mated more. Couples were collected and measured to show the occurrence of sexual size dimorphism. Results indicated that males are larger than females, and that territorial males were larger than non-territorial males. Larger territorial males won more fights and defended the best territories. There was no difference between the mating success of large territorial and small non-territorial males. Although our findings suggest that male territoriality may play a significant role on the evolution of sexual size dimorphism in A. reclusa, we suggest that other factors should also be considered to explain the evolution of SSD in damselflies, since non-territorial males are also capable of acquiring mates.

Male dimorphism of a neotropical arachnid: harem size, sneaker opportunities, and gonadal investment

Serracutisoma proximum is a harvestman with alternative male morphs. Large males use sexually dimorphic second legs in fights for the possession of territories on the vegetation, where females oviposit. Small males have short second legs and do not fight but rather sneak into the territories and copulate with egg-guarding females. We investigated the presence of male dimorphism across 10 populations of S. proximum, compared gonadal investment between male morphs, and assessed if the distribution of the sneakers is influenced by harem size. In all populations, there was male dimorphism, indicated by the bimodal distribution of the leg II length/body length. Gonadal investment did not differ between morphs and was not affected by male size, second leg length, and morph relative frequency in the populations. We found 361 territories, 90.0% containing 1 male, 9.7% containing 2 males (dyads), and 0.3% containing 3 males. The probability of encountering dyads increased with the number of females present in the territories. Moreover, the proportion of sneakers in territories containing dyads was higher than would be expected by chance. One possible reason for the ubiquity of alternative morphs in S. proximum could be the high mating opportunities experienced by sneakers in spatially structured populations with a resource defense polygyny system. Additionally, the high frequency of successful invasions by sneakers and hence the high sperm competition risk for both morphs may explain the similarity in gonadal investment between male morphs.

In Vitro PLK1 Inhibition by BI 2536 Decreases Proliferation and Induces Cell-Cycle Arrest in Melanoma Cells

Melanoma is one of the most treatment-resistant malignancies and regardless of new therapeutic tactics the outcome remains dismal. Polo-like kinase 1 (PLK1) has been shown to be over-expressed in a variety of tumors, becoming an attractive target for cancer management. In the present study we tested the in vitro antitumor activities of BI 2536, a selective inhibitor of PLK1, against two melanoma cell lines. Our results showed that nanomolar concentrations (10-150 nmol/L) of the drug significantly decreased cell proliferation and clonogenicity, promoting cell cycle arrest in G2/M. Targeting the cell cycle offers an attractive potential cancer-treatment option. Herein we show that PLK1 inhibition may be a feasible approach for the impairment of tumor progression and dissemination. This in vitro profile of melanoma cell growth inhibition by PLK1 modulation may be an interesting model to be tested in association with first-line antineoplasic agents in melanomas.

The SB-index and the HSB-index: efficient indices for spatial data warehouses

Spatial data warehouses (SDWs) allow for spatial analysis together with analytical multidimensional queries over huge volumes of data. The challenge is to retrieve data related to ad hoc spatial query windows according to spatial predicates, avoiding the high cost of joining large tables. Therefore, mechanisms to provide efficient query processing over SDWs are essential. In this paper, we propose two efficient indices for SDW: the SB-index and the HSB-index. The proposed indices share the following characteristics. They enable multidimensional queries with spatial predicate for SDW and also support predefined spatial hierarchies. Furthermore, they compute the spatial predicate and transform it into a conventional one, which can be evaluated together with other conventional predicates by accessing a star-join Bitmap index. While the SB-index has a sequential data structure, the HSB-index uses a hierarchical data structure to enable spatial objects clustering and a specialized buffer-pool to decrease the number of disk accesses. The advantages of the SB-index and the HSB-index over the DBMS resources for SDW indexing (i.e. star-join computation and materialized views) were investigated through performance tests, which issued roll-up operations extended with containment and intersection range queries. The performance results showed that improvements ranged from 68% up to 99% over both the star-join computation and the materialized view. Furthermore, the proposed indices proved to be very compact, adding only less than 1% to the storage requirements. Therefore, both the SB-index and the HSB-index are excellent choices for SDW indexing. Choosing between the SB-index and the HSB-index mainly depends on the query selectivity of spatial predicates. While low query selectivity benefits the HSB-index, the SB-index provides better performance for higher query selectivity.

CT-guided percutaneous drilling is a safe and reliable method of treating osteoid osteomas

Computed tomography (CT)-guided percutaneous drilling is an alternative for osteoid osteoma treatment. This study aims to evaluate the remodeling of the drill orifice. The success rate and complications were also recorded and compared with other treatment methods.

Disruption of endogenous tidal rhythms of larval release linked to food supply and heat stress in an intertidal barnacle

The timing of larval release may greatly affect the survivorship and distribution of pelagic stages and reveal important aspects of life history tactics in marine invertebrates. Endogenous rhythms of breeding individuals and populations are valuable indicators of selected strategies because they are free of the neutral effect of stochastic environmental variation. The high-shore intertidal barnacle Chthamalus bisinuatus exhibits endogenous tidal and tidal amplitude rhythms in a way that larval release would more likely occur during fortnightly neap periods at high tide. Such timing would minimize larval loss due to stranding and promote larval retention close to shore. This fully explains temporal patterns in populations facing the open sea and inhabiting eutrophic areas. However, rhythmic activity breaks down to an irregular pattern in a population within the São Sebastião Channel subjected to large variation of food supply around a mesotrophic average. Peaks of chl a concentration precede release events by 6 d, suggesting resource limitation for egg production within the channel. Also, extreme daily temperatures imposing mortality risk correlate to release rate just 1 d ahead, suggesting a terminal reproductive strategy. Oceanographic conditions apparently dictate whether barnacles follow a rhythmic trend of larval release supported by endogenous timing or, alternatively, respond to the stochastic variation of key environmental factors, resulting in an erratic temporal pattern.

Sexual selection in Pomatoschistus – nests, sperm competition, and paternal care

Sexual selection arises through variation in reproductive success. This thesis investigates different aspects important in sexual selection, namely nest building, sperm competition, paternity and paternal care, and their mutual interrelationships. In the studied species, the sand goby (Pomatoschistus minutus) and the common goby (Pomatoschistus microps), sperm competition did arise when small males, so called sneakers, sneaked into other males nests and released sperm. They seemed to use female behaviour as their prime cue for a sneaking opportunity. However, also nest-holders, both with and without eggs, were found to fertilize eggs in the nests of other males. Clearly, nest-holding males tried to prevent other males from spreading their sperm in their nests, since they showed aggression towards such males. A nest building experiment indicated that the small nest-openings found in the sneaker male treatment were sexually selected through protection against sneaking or by female choice. Yet, no behavioural or genetical support for the hypothesis that the nest functions as a physical or visual defence, or that sneaker males prefer to sneak upon nests with wide nest-openings, were found in the other studies. Still, individual nest-holding males showed a higher mucus preparation effort inside the nest in the presence of a sneaker male than when alone. In close relatives, such mucus contains sperm, suggesting an importance in sperm competition. However, the mucus may also have pheromone and anti-bacterial functions and may constitute a mating effort, as found in other gobies. Both a behavioural and a mate choice experiment suggested that the males were not less eager to spawn in the presence of a sneaker male. Sneak intrusion did not affect nest defence, fanning or filial cannibalism, nor had paternity an effect on filial cannibalism. This and various life history aspects, together with the fact that the parasitic male only fertilized a fraction of the clutches, would predict females to ignore sneaker males. This was also the case, as the presence of sneaker males was found not to affect female spawning decision. Still, several females spawned in two nests, which coincided with parasitic spawnings, suggesting a cost of disturbance for the females and thus a substantial cost to the nest-holding males in terms of lost mating success. However, females paid attention to other traits in their choice of mate since spawning was associated with sand volume of the nest, but not with nest-opening width. Also, female (but not male) courtship was correlated with partial clutch filial cannibalism, indicating that females are able to anticipate future male cannibalism. In a partial correlation of nest opening, sand volume, male courtship display, displacement fanning and male size, a large number of traits were correlated both positively and negatively with regard to how we may expect them to be appreciated by females. For instance, males which fan well also build large nests or display intensely (but not both). Together with all the other results of this thesis, this shows the entangled selection pressures working on breeding animals, as well as the different male and female tactics employed to maximize their reproduction.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Mediterranean brachiopods: morphological, ecological and phylogenetic aspects

The Brachiopoda of the Marine Protected Area “Secche di Tor Paterno”, Central Tyrrhenian Sea, have been investigated in order to give a first glance of the diversity of the brachiopods of this area and provide a new report on the Mediterranean Brachiopod fauna. Four species were reported: Novocrania anomala (Müller, 1776), Megathiris detruncata (Gmelin, 1790), Joania cordata (Risso,1826) and Argyrotheca cuneata (Risso,1826). For all the four species a morphological analysis was carried out. For the two most abundant species, J.cordata and A. cuneata, a morphometric study, based on thickness/width and length/width scattergrams, was carried out, in order to investigate their variability. Size-frequency distributions relative to the three dimensions of the shell were also computed, aimed at a evaluation of population dynamics of these two species. The results showed that, for both species, the parameters which most determine the rise of the shell during the growth of animal are width and length and that frequency distributions are mainly bi- or plurymodal and that they are difficult to interpret, as reported by other studies. Analysis of drill holes found on the shell of some specimens of the two same species revealed a predatory origin and that three different predators are responsible for them. Partial sequences of two different genetic markers, the Internal Transcribed Spacer 1 (ITS1) and the cytochrome oxidase subunit 1 (COI), were used to investigate the phylogenetic relationship between two populations of the eurybathic brachiopod species Gryphus vitreus (Born,1778) across the strait of Gibraltar. This represents the first genetic population study on brachiopods. Results from AMOVA and Bayesian analysis performed on 31 specimens highlighted no genetic differentiation indicating a likely panmixia, dispite the lecitotrophic development of the species.

Recycled crustal material in the geochemical record of Pacific ocean island basalts from Pitcairn, Hawaii and Rurutu

Die Isotopenzusammensetzungen des Pitcairn Hotspot (Südpazifik), des Mauna Kea (Hawaii) und der Insel Rurutu (Französisch Polynesien) wurden bestimmt, um Heterogenitäten im Erdmantel zu charakterisieren. Die Bleiisotopenzusammensetzung wurde mit einer Dreiisotopenspiketechnik zur Korrektur der instrumentellen Massenfraktionierung gemessen. An Proben von Pitcairn wurde zusätzlich die Os, Hf, Nd, Sr Isotopenzusammensetzung, sowie die Haupt- und Spurenelementzusammensetzung bestimmt. Die Isotopensignatur des Pitcairn Hotspots kann durch eine Sedimentkomponente in der Magmenquelle erklärt werden. Die Bleiisotopenschwankungen des Mauna Kea in der HSDP-2 Bohrung treten als Oszillationen auf, die sich zu linearen Anordnungen im Bleiisotopenraum zusammensetzen. Das begrenzte zeitliche Auftreten einer linearen Anordnung zeigt, daß die Heterogenitäten mehrere zehner Kilometer Länge im aufsteigenden Mantelmaterial unter dem Vulkan einnehmen. Auch die Bleiisotopenzusammensetzungen der Rurutu-laven zeigen lineare Anordnungen.Diese lineare Anordnungen im Bleiisotopenraum können durch eine vorwiegend binäre Mischung erklärt werden. Ein Bleiisotopenentwicklungsmodell unterstützt, daß die Differenzierung der Ausgangsmaterialien vor weniger als etwa zwei Milliarden Jahren geschah und für Mauna Kea relativ jung sein könnte. Keine der Hotspots weisen identische Mischungsendglieder auf, so daß die Heterogenitäten kleinräumige Merkmale im Erdmantel sind.