3 resultados para weak non-wastefulness
em BORIS: Bern Open Repository and Information System - Berna - Suiça
Resumo:
OBJECTIVES To assess the available evidence on the effectiveness of accelerated orthodontic tooth movement through surgical and non-surgical approaches in orthodontic patients. METHODS Randomized controlled trials and controlled clinical trials were identified through electronic and hand searches (last update: March 2014). Orthognathic surgery, distraction osteogenesis, and pharmacological approaches were excluded. Risk of bias was assessed using the Cochrane risk of bias tool. RESULTS Eighteen trials involving 354 participants were included for qualitative and quantitative synthesis. Eight trials reported on low-intensity laser, one on photobiomodulation, one on pulsed electromagnetic fields, seven on corticotomy, and one on interseptal bone reduction. Two studies on corticotomy and two on low-intensity laser, which had low or unclear risk of bias, were mathematically combined using the random effects model. Higher canine retraction rate was evident with corticotomy during the first month of therapy (WMD=0.73; 95% CI: 0.28, 1.19, p<0.01) and with low-intensity laser (WMD=0.42mm/month; 95% CI: 0.26, 0.57, p<0.001) in a period longer than 3 months. The quality of evidence supporting the interventions is moderate for laser therapy and low for corticotomy intervention. CONCLUSIONS There is some evidence that low laser therapy and corticotomy are effective, whereas the evidence is weak for interseptal bone reduction and very weak for photobiomodulation and pulsed electromagnetic fields. Overall, the results should be interpreted with caution given the small number, quality, and heterogeneity of the included studies. Further research is required in this field with additional attention to application protocols, adverse effects, and cost-benefit analysis. CLINICAL SIGNIFICANCE From the qualitative and quantitative synthesis of the studies, it could be concluded that there is some evidence that low laser therapy and corticotomy are associated with accelerated orthodontic tooth movement, while further investigation is required before routine application.
Resumo:
In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).
Resumo:
OBJECTIVES To evaluate the diagnostic performance of seven non-invasive tests (NITs) of liver fibrosis and to assess fibrosis progression over time in HIV/HCV co-infected patients. METHODS Transient elastography (TE) and six blood tests were compared to histopathological fibrosis stage (METAVIR). Participants were followed over three years with NITs at yearly intervals. RESULTS Area under the receiver operating characteristic curve (AUROC) for significant fibrosis (> = F2) in 105 participants was highest for TE (0.85), followed by FIB-4 (0.77), ELF-Test (0.77), APRI (0.76), Fibrotest (0.75), hyaluronic acid (0.70), and Hepascore (0.68). AUROC for cirrhosis (F4) was 0.97 for TE followed by FIB-4 (0.91), APRI (0.89), Fibrotest (0.84), Hepascore (0.82), ELF-Test (0.82), and hyaluronic acid (0.79). A three year follow-up was completed by 87 participants, all on antiretroviral therapy and in 20 patients who completed HCV treatment (9 with sustained virologic response). TE, APRI and Fibrotest did not significantly change during follow-up. There was weak evidence for an increase of FIB-4 (mean increase: 0.22, p = 0.07). 42 participants had a second liver biopsy: Among 38 participants with F0-F3 at baseline, 10 were progessors (1-stage increase in fibrosis, 8 participants; 2-stage, 1; 3-stage, 1). Among progressors, mean increase in TE was 3.35 kPa, in APRI 0.36, and in FIB-4 0.75. Fibrotest results did not change over 3 years. CONCLUSION TE was the best NIT for liver fibrosis staging in HIV/HCV co-infected patients. APRI-Score, FIB-4 Index, Fibrotest, and ELF-Test were less reliable. Routinely available APRI and FIB-4 performed as good as more expensive tests. NITs did not change significantly during a follow-up of three years, suggesting slow liver disease progression in a majority of HIV/HCV co-infected persons on antiretroviral therapy.