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

Analgesia for cats after ovariohysterectomy with either buprenorphine or carprofen alone or in combination

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Comparative study on the sedative effects of morphine, methadone, butorphanol or tramadol, in combination with acepromazine, in dogs

To compare the effects of morphine (MOR), methadone (MET), butorphanol (BUT) and tramadol (TRA), in combination with acepromazine, on sedation, cardiorespiratory variables, body temperature and incidence of emesis in dogs.Prospective randomized, blinded, experimental trial.Six adult mixed-breed male dogs weighing 12.0 +/- 4.3 kg.Dogs received intravenous administration (IV) of acepromazine (0.05 mg kg(-1)) and 15 minutes later, one of four opioids was randomly administered IV in a cross-over design, with at least 1-week intervals. Dogs then received MOR 0.5 mg kg(-1); MET 0.5 mg kg(-1); BUT 0.15 mg kg(-1); or TRA 2.0 mg kg(-1). Indirect systolic arterial pressure (SAP), heart rate (HR), respiratory rate (f(R)), rectal temperature, pedal withdrawal reflex and sedation were evaluated at regular intervals for 90 minutes.Acepromazine administration decreased SAP, HR and temperature and produced mild sedation. All opioids further decreased temperature and MOR, BUT and TRA were associated with further decreases in HR. Tramadol decreased SAP whereas BUT decreased f(R) compared with values before opioid administration. Retching was observed in five of six dogs and vomiting occurred in one dog in MOR, but not in any dog in the remaining treatments. Sedation scores were greater in MET followed by MOR and BUT. Tramadol was associated with minor changes in sedation produced by acepromazine alone.When used with acepromazine, MET appears to provide better sedation than MOR, BUT and TRA. If vomiting is to be avoided, MET, BUT and TRA may be better options than MOR.

Effects of methadone, alone or in combination with acepromazine or xylazine, on sedation and physiologic values in dogs

Objective To evaluate the effects of methadone, administered alone or in combination with acepromazine or xylazine, on sedation and on physiologic values in dogs.Study design Randomized cross-over design.Animals Six adult healthy mixed-breed dogs weighing 13.5 +/- 4.9 kg.Methods Dogs were injected intramuscularly with physiologic saline (Control), or methadone (0.5mg kg(-1)) or acepromazine (0.1 mg kg(-1)) or xylazine (1.0 mg kg(-1)), or acepromazine (0.05 mg kg(-1)) plus methadone (0.5 mg kg(-1)) or xylazine (0.5 mg kg(-1)) plus methadone (0.5 mg kg(-1)) in a randomized cross-over design, with at least 1-week intervals. Sedation, pulse rate, indirect systolic arterial pressure, respiratory rate (RR), body temperature and pedal withdrawal reflex were evaluated before and at 15-minute intervals for 90 minutes after treatment.Results Sedation was greater in dogs receiving xylazine alone, xylazine plus methadone and acepromazine plus methadone. Peak sedative effect occurred within 30 minutes of treatment administration. Pulse rate was lower in dogs that received xylazine either alone or with methadone during most of the study. Systolic arterial pressure decreased only in dogs receiving acepromazine alone. When methadone was administered alone, RR was higher than in other treatments during most of the study and a high prevalence of panting was observed. In all treatments body temperature decreased, this effect being more pronounced in dogs receiving methadone alone or in combination with acepromazine. Pedal withdrawal reflex was absent in four dogs receiving methadone plus xylazine but not in any dog in the remaining treatments.Conclusions Methadone alone produces mild sedation and a high prevalence of panting. Greater sedation was achieved when methadone was used in combination with acepromazine or xylazine. The combination xylazine-methadone appears to result in better analgesia than xylazine administered alone. Both combinations of methadone/sedative were considered effective for premedication in dogs.

Analgesic efficacy of perioperative use of vedaprofen, tramadol or their combination in cats undergoing ovariohysterectomy

The analgesic efficacy of tramadol and/or vedaprofen was evaluated in cats submitted for elective ovariohysterectomy, using a randomised double blind placebo controlled design. Forty adult female cats (3.0 +/- 0.32 kg; 1.8 +/- 0.7 years) were distributed into four groups. Vedaprofen PO (0.5 mg/kg), tramadol SC (2 mg/kg), both, or placebo was administered 1 h before surgery and every 24 and 8 h, respectively, for 72 h after surgery. Pain score evaluated by interactive visual analogue and composite pain score and hyperalgesia by the von Frey filament test were recorded at 1, 2, 4, 6, 8, 12, 24, 28, 32, 48, 52, 56, 72, 96 h and on the 7th day after surgery. Animals treated with combined vedaprofen and tramadol treatment did not need rescue analgesia, did not develop hyperalgesia, and their serum cortisol concentrations and pain scores were lower than placebo until 24 and 72 h after surgery, respectively. Combined vedaprofen and tramadol treatment provided more effective postoperative analgesia and prevented hyperalgesia than when used on their own. Multimodal technique is a superior method of treating pain after feline ovariohysterectomy. This work also provides evidence for the benefits of analgesia for up to 3 days following ovariohysterectomy. (C) 2008 ESFM and AAFP. Published by Elsevier Ltd. All rights reserved.

Aspiration of equine oocytes from immature follicles after treatment with equine pituitary extract (EPE) alone or in combination with hCG

This study examined the effect of treating mares with equine pituitary extract (EPE) alone or in combination with hCG on the recovery rate of immature follicles by transvaginal follicular aspiration (ovum pick-up; OPU). Ten normally cycling crossbred mares aged 3-15 years and weighing 350-400 kg were subjected to each of three treatments in a random sequence with each exposure to a new treatment separated by a rest cycle during which a spontaneous ovulation occurred. The treatments were (1) superovulated with 25 mg EPE and treated with 2500 IU hCG, (2) superovulation with 25 mg EPE, and (3) control (no exogenous treatment). Treatments 7 days after spontaneous ovulation; and all the follicles > 10 mm were aspirated 24 h after the largest follicle achieved a diameter of 27-30 mm for control group, and most follicles reached 22-27 mm for the EPE alone treatment. To the group EPE+hCG, when the follicles reached 22-27 mm, hCG was administered, 24 h before OPU. Superovulation increased the number of follicles available for aspiration. The total number of follicles available for aspiration was 61 in the EPE/hCG group. 63 in the EPE group and 42 in the control. The proportion of follicles aspirated varied from 63.5% to 73.8%. Oocyte recovery rate ranged from 15.0% to 16.7% and the proportion of mares that yielded at least one oocyte was 70% (7/10) in the EPE/hCG, 60% (6/10) in the EPE alone and 50% (5/10) in control group. The EPE/hCG treatment had a higher proportion of follicles with expanded granulose cells (64.4%) than the control (3.3%: p < 0.05) and the EPE treatment (25.0%). The intervals from spontaneous ovulation to aspiration were similar for all treatments (11-12 days). However, superovulatory treatment significantly increased the aspiration to ovulation interval from 15 +/- 4 days for control to 27 +/- 15 days for EPE (p < 0.05) and to 23 +/- 13 days for EPE/hCG treatment with commensurate increases in the time between spontaneous ovulations. (c) 2008 Elsevier B.V. All rights reserved.

Rehabilitation of Atrophic Maxilla Using the Combination of Autogenous and Allogeneic Bone Grafts Followed by Protocol-Type Prosthesis

Currently, there are several techniques for the rehabilitation of atrophic maxillary ridges in literature. The grafting procedure using autogenous bone is considered ideal by many researchers, as it shows osteogenic capability and causes no antigenic reaction. However, this type of bone graft has some shortcomings, mainly the restricted availability of donor sites. In recent years, several alternatives have been investigated to supply the disadvantages of autogenous bone grafts. In such studies, allogeneic bone grafts, which are obtained from individuals with different genetic load, but from the same species, have been extensively used. They can be indicated in cases of arthroplasty, surgical knee reconstruction, large bone defects, and in oral and maxillofacial reconstruction. Besides showing great applicability and biocompatibility, this type of bone is available in unlimited quantities. on the other hand, allogeneic bone may have the disadvantage of transmitting infectious diseases. Atrophic maxillae can be treated with bone grafts followed by osseointegrated implants to obtain aesthetic and functional oral rehabilitation. This study aimed to show the viability of allogeneic bone grafting in an atrophic maxilla, followed by oral rehabilitation with dental implant and protocol-type prosthesis within a 3-year follow-up period by means of a clinical case report.

Removable Partial Denture in Combination with a Milled Fixed Partial Prosthesis as Interim Restorations in Long-Term Treatment

Interim restorations are frequently used in prosthodontic treatments. Many complex situations require the combination of fixed and removable partial prostheses. An appropriate interim restoration design that accurately implements the treatment plan is necessary to prepare the oral cavity for the prostheses, and to contribute to the preservation and health of remaining natural teeth, bone support, and gingival tissues. This report describes a modified technique for construction of interim restorations with a combination of fixed and removable partial prostheses. The technique consists of the construction of a milled fixed prosthesis and removable partial denture with metallic framework for use during extensive treatment, improving masticatory function and esthetics and preserving the periodontal health of supporting structures. This interim restoration can also serve as a template for the definitive restoration, allowing patient and dentist to evaluate appearance and function and helping to ensure the success of the definitive restoration.

A combination of clinical and microbiological management of generalized aggressive periodontitis in primary teeth. A case report

International Journal of Paediatric Dentistry 2012; 22: 310316 Background. Generalized aggressive periodontitis (GAP) in primary teeth is a rare periodontal disease that occurs during or soon after eruption of the primary teeth. An association with systemic diseases is a possibility. Case Report. A 4-year-old Brazilian girl presented with GAP involving the entire primary dentition. The patient and her parents and sister were subjected to microbiological testing to identify the microorganisms involved in the disease. The patient underwent tooth extraction to eradicate the disease and received a prosthesis for the restoration of masticatory function. After the permanent teeth erupted, fixed orthodontic appliances were place to restore dental arch form and occlusion. Conclusions. The results show the importance of an early diagnosis of GAP and of a multidisciplinary approach involving laboratory and clinical management to treat the disease and to restore masticatory function, providing a better quality of life for patients.

Bone healing in critical-size defects treated with either bone graft, membrane, or a combination of both materials: a histological and histometric study in rat tibiae

Objectives: The aim of the present investigation was to histologically analyze the effect of using lyophilized bovine bone (GenOx (R) organic matrix) with (or without) guided tissue regeneration (using a decalcified cortical osseous membrane [GenDerm (R)]) on bone healing in surgically created critical-size defects created in rat tibia.Material and methods: Surgical critical-size bone defects were created in 64 animals that were randomly divided into four groups: group I (control); group II (defect filled with GenOx (R)); group III (defect covered by GenDerm (R)); group IV (defect filled with GenOx (R) and covered by GenDerm (R)). Animals were killed at 30 or 90 days post-surgery. The specimens were embedded in paraffin, serially cut, and stained with hematoxylin and eosin for analysis under light microscopy. The formation of new bone in the cortical area of the defect was histomorphometrically evaluated.Results: All experimental groups demonstrated superior bone healing compared with the control group. However, group IV samples showed evidence of more advanced healing at both 30 and 90 days post-surgery as compared with the other experimental groups.Conclusions: The bovine organic bone graft GenOx (R) associated with GenDerm (R) this produced the best treatment results in the case of critical-size defects in rat tibia.

Acellular dermal matrix allograft used alone and in combination with enamel matrix protein in gingival recession: Histologic study in dogs

Gingival recession was created in six mongrel dogs. The dogs were divided into two groups based on treatment: group 1-AlloDerm only, group 2-AlloDerm + Emdogain. The histologic results were compared. At the end of the study, the mean values were, for groups I and 2, respectively: 0.06 and 0.32 mm for cementum regeneration; -0.75 and -0.86 mm for bone regeneration; -2.15 and -3.11 mm for attachment level; and 4.90 and 5.51 mm for defect extent. The epithelial formation parameter was 2.88 mm in group 1 and 2.15 mm in group 2, which was a statistically significant difference. It could be concluded that Emdogain did not result in beneficial effects when associated with AlloDerm.

Saliva substitute in combination with high-concentrated fluoride toothpaste: Effects on demineralised dentin in vitro

Objectives: The aim of this in vitro study was to assess the effects of saliva substitutes (modified with respect to calcium, phosphates, and fluorides) in combination with a high-concentrated fluoride toothpaste on demineralised dentin.Methods: Before and after demineralisation of bovine dentin specimens (subsurface lesions; 37 degrees C, pH 5.0, 5 d), one-quarter of each specimen's surface was covered with nail varnish (control of sound/demineralised tissue). Subsequently, specimens were exposed to original Saliva natura (saturation with respect to octacalciumphosphate [S(OCP)]: 0.03; SN 0), or to three lab-produced Saliva natura modifications (S(OCP): 1, 2, and 3; SN 1-3) for 2 and 5 weeks (37 degrees C). An aqueous solution (S(OCP): 2.5) served as positive control (PC). Two times daily (2 min each), Duraphat toothpaste (5000 ppm F(-); Colgate)/saliva substitute slurry (ratio 1:3) was applied gently. Differences in mineral losses (Delta Delta Z) and lesion depths (Delta LD) between values before and after exposure were microradiographically evaluated.Results: After both treatment periods specimens immersed in SN 0 revealed significantly higher mineral losses (lower Delta Delta Z values) and lesion depths (lower Delta LD) compared to PC (p < 0.05; ANOVA). After 5 weeks, specimens stored in SN 1 and 2 showed significantly higher mineral losses compared to PC (p < 0.05), while those stored in SN 3 showed similar results (p > 0.05). No differences in mineral loss could be observed between SN 2 and 3 (p > 0.05).Conclusions: Under the conditions of this limited protocol, the combination of Saliva natura solutions slightly saturated with respect to OCP in combination with a high-concentrated fluoride toothpaste enabled remineralisation of dentin in vitro. Crown Copyright (c) 2009 Published by Elsevier Ltd. All rights reserved.

Efficacy of geraniol but not of β-ionone or their combination for the chemoprevention of rat colon carcinogenesis

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)