Complexity Bounds for Ordinal-Based Termination

`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program running times. Our main tool for this are length function theorems, which provide complexity bounds on the use of well quasi orders. We illustrate how to prove such theorems in the simple yet until now untreated case of ordinals. We show how to apply this new theorem to derive complexity bounds on programs when they are proven to terminate thanks to a ranking function into some ordinal.Comment: Invited talk at the 8th International Workshop on Reachability Problems (RP 2014, 22-24 September 2014, Oxford

SEM observation of the bond integrity of fiber-reinforced composite posts cemented into root canals

To test the null hypothesis that continuity of resin cement/dentin interfaces is not affected by location along the root canal walls or water storage for 3 months when bonding fiber posts into root canals. Methods: Fiber posts were luted to bovine incisors using four resinous luting systems: Multilink, Variolink II, Enforce Dual and Enforce PV. After cementation, roots were longitudinally sectioned and epoxy resin replicas were prepared for SEM analysis (baseline). The original halves were immersed in solvent, replicated and evaluated. After 3 months water storage and a second solvent immersion, a new set of replicas were made and analyzed. The ratio (%) between the length (mm) of available bonding interface and the actual extension of bonded cement/dentin interface was calculated. Results: Significant lower percent values of bond integrity were found for Multilink (8.25%) and Variolink II (10.08%) when compared to Enforce Dual (25.11%) and Enforce PV (27.0%) at baseline analysis. The same trend was observed after immersion in solvent, with no significant changes. However, bond integrity was significantly reduced after 3 months water storage and a second solvent immersion to values below 5% (Multilink = 3.31%, Variolink = 1.87%, Enforce Dual = 1.20%, and Enforce PV = 0.75%). The majority of gaps were depicted at the apical and middle thirds at baseline and after immersion in solvent. After 3 months, gaps were also detected at the cervical third. Significance: Bond integrity at the cement/dentin interface was surprisingly low after cementation of fiber posts to root canals with all resin cements. That was not significantly altered after immersion in solvent, but was further compromised after 3 months water storage. Gaps were mainly seen at middle and apical thirds throughout the experiment and extended to the cervical third after water storage for 3 months. Bond integrity of fiber posts luted to root canals was affected both by location and water storage.244483491CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO - CNPQCOORDENAÇÃO DE APERFEIÇOAMENTO DE PESSOAL DE NÍVEL SUPERIOR - CAPESFUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULO - FAPESP106/00Sem informação300305/04-0

Laboratory Simulation of Y-TZP All-ceramic Crown Clinical Failures

Clinically, zirconia-supported all-ceramic restorations are failing by veneer-chipping without exposing the zirconia interface. We hypothesized that mouth motion step-stress-accelerated fatigue testing of standardized dental crowns would permit this previously unrecognized failure mode to be investigated. Using CAD software, we imported the average dimensions of a mandibular first molar crown and modeled tooth preparation. The CAD-based tooth preparation was rapid-prototyped as a die for fabrication of zirconia core porcelain-veneered crowns. Crowns were bonded to aged composite reproductions of the preparation and aged 14 days in water. Crowns were single-cycle-loaded to failure or mouth-motion step-stress- fatigue-tested. Finite element analysis indicated high stress levels below the load and at margins, in agreement with only single-cycle fracture origins. As hypothesized, the mouth motion sliding contact fatigue resulted in veneer chipping, reproducing clinical findings allowing for investigations into the underlying causes of such failures

Survival probability of zirconia-reinforced lithium silicate ceramic: Effect of surface condition and fatigue test load profile

Objectives: The present investigation evaluated the step stress accelerated test (SSALT) load profiles on the survival probability of a glass ceramic under two surface conditions (polished or roughened). Methods: Suprinity–ZLS blocks (Vita Zhanfabrik) were shaped into cylinders, cut in a sawing machine, and crystalized according to the manufacturer's instructions. 60 discs were obtained (Ø = 12 mm, thickness = 1.2 mm) and randomly assigned into two surface conditions: “p” polished surface (400–1200-grit SiC papers), and “r” roughened surface (200-grit SiC papers). Profilometry was performed in all discs to evaluate average surface roughness prior to flexural fatigue strength testing. 3 discs of each group were submitted to biaxial flexural strength in an universal testing machine (0.5 mm/min) and the mean load to failure (N) was calculated to determine SSALT profiles. 27 specimens per surface condition were assigned into three profiles – Mild (n = 9), Moderate (n = 9), and Aggressive (n = 9), and submitted to the fatigue test (60–320 N, 140,000 cycles at 1.4 Hz). The results were analyzed using the Kaplan-Meier and Wilcoxon tests (5%), 2-way ANOVA and Tukey test (α = 5%). Results: Kaplan-Meier and generalized Wilcoxon showed (P = 0.002) that polished groups showed higher survival probability than roughened condition (P < 0.05). A rough internal surface impacted deleteriously on the fatigue strength and reliability of ZLS ceramic. Both surface conditions were more sensitive to the aggressive profile than the other profiles, even worst for the roughened group. Regardless the load profile, 0% survival probability was observed at 384 MPa for polished condition. While for roughened, aggressive tested specimens did not survived 147 MPa followed by moderate at 312 MPa and mild at 384 MPa. The failure modes showed fracture marks originating from superficial grooves for both surface conditions. Significance: Polished specimens are sensitive to the load profile variation, confirming the effect of surface morphology on the fatigue results

Microcomputed tomography evaluation of polymerization shrinkage of class I flowable resin composite restorations

The present study aimed to characterize the pattern and volume of polymerization shrinkage of flowable resin composites, including one conventional, two bulk fill, and one self-adhesive. Standardized class I preparations (2.5 mm depth × 4 mm length × 4 mm wide) were performed in 24 caries-free human third molars that were randomly divided in four groups, according to the resin composite and adhesive system used: group 1 = Permaflo + Peak Universal Bond (PP); group 2 = Filtek Bulk Fill + Scotchbond Universal (FS); group 3 = Surefil SDR + XP Bond (SX); and group 4 = Vertise flow self-adhering (VE) (n=6). Each tooth was scanned three times using a microcomputed tomography (μCT) apparatus. The first scan was done after the cavity preparation, the second after cavity filling with the flowable resin composite before curing, and the third after it was cured. The μCT images were imported into three-dimensional rendering software, and volumetric polymerization shrinkage percentage was calculated for each sample. Data were submitted to one-way analysis of variance and post hoc comparisons. No significant difference was observed among PP, FS, and VE. SX bulk fill resin composite presented the lowest values of volumetric shrinkage. Shrinkage was mostly observed along the occlusal surface and part of the pulpal floor. In conclusion, polymerization shrinkage outcomes in a 2.5-mm deep class I cavity were material dependent, although most materials did not differ. The location of shrinkage was mainly at the occlusal surface.421E16E23CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO - CNPQCOORDENAÇÃO DE APERFEIÇOAMENTO DE PESSOAL DE NÍVEL SUPERIOR - CAPES1777-2014309475/2014-7; 307217/2014-

Immediate placement of extra-short implants in refined scapula tip microvascular free flaps: In house virtual planning and surgical technique – Proof of concept

Scapula tip flaps have been introduced in the literature as an ideal surgical treatment option for large defects in the horizontal plane of the maxilla. This article aims to present a unique step by step protocol for a near total maxillectomy with a pterygoid bone resection and consecutive microvascular reconstruction with a harvested scapula tip flap. The protocol includes immediate placement of extra-short implants in donor bone with the aid of Virtual Surgical Planning (VSP), and an in-house 3D printing of medical 3D models and surgical guides. So far, there has been no presented surgical technique combining immediate implant placement in the scapula region with simultaneous microvascular repair. This technique allows: tumour resection; flap harvesting; extra-short implant placements and reconstruction to be performed in one simultaneous procedure. The technique is presented with illustrations, VSP (presented on videos), radiographs, and surgical findings. We discovered that this refinement of the scapula tip surgery has enabled reconstructive procedures to be performed at the same time as implant placements, providing expedited functional and aesthetic outcomes in selected cases. Moreover, modification of the surgical technique could enhance the competence of the oropharyngeal edge. In conclusion, this new surgical protocol utilizing VSP, 3D models and simultaneous extra-short implant placement provides indispensable advantages for such a complicated surgical procedures, while significantly shortening the duration of surgery

Fungos micorrízicos arbusculares na recuperação de florestas ciliares e fixação de carbono no solo

A associação micorrízica arbuscular estabelecida entre os fungos micorrízicos arbusculares (FMAs - Filo Glomeromycota) e as raízes das plantas tem papel fundamental na sobrevivência e nutrição das plantas. Nesta revisão, é salientado que a tríade floresta ciliar-fixação de carbono-fungos micorrízicos arbusculares deve ser considerada uma estratégia ambientalmente correta para recuperar áreas outrora ocupadas por florestas ciliares. São apresentadas brevemente as classes de solos que ocorrem em ambientes ripários e a entrada de carbono (C) nos ecossistemas terrestres. Posteriormente, é enfatizado que os fungos micorrízicos arbusculares possuem papel importante no processo de fixação de carbono no solo, visto seus efeitos na absorção de nutrientes pelas plantas e aumento na produção de biomassa vegetal em espécies arbóreas, principalmente espécies pioneiras e secundárias iniciais, utilizadas na recuperação de florestas ciliares. Outrossim, as hifas externas desses fungos impactam a estrutura do solo tanto fisicamente, pela ação física das hifas, como bioquimicamente, pela produção de uma glicoproteína. As estruturas diferenciadas pelos fungos, como esporos e hifas, também servem como via de entrada de C no solo, por meio de componentes celulares ricos em C. A recuperação de florestas ciliares pelo plantio de espécies arbóreas resulta na emergência de um novo serviço ambiental: a fixação de C, a qual pode ser incrementada quando no processo de recuperação seja considerada a inoculação com fungos micorrízicos arbusculares