Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.

The set of equilibria of first-price auctions

In this note I specify the class of functions that are equilibria of symmetric first-price auctions.

The effects of macromolecular and serum supplements and oxygen tension during bovine in vitro procedures on kinetics of oocyte maturation and embryo development

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

Identification of oligomers in polyethyleneterephthalate bottles for mineral water and fruit juice - Development and validation of a high-performance liquid chromatographic method for the determination of first series cyclic trimer

Cyclic oligomers were identified in PET bottles used for mineral water and fruit juice using MS and H-1 and C-13 NMR: a first series cyclic trimer, a first series cyclic tetramer, a first series cyclic dimmer and a second series cyclic trimer. An analytical method to determine first series cyclic trimer in these bottles was developed and validated, using HPLC. The first series cyclic trimer levels were 316-462 mg/100 g of PET bottle. (c) 2005 Elsevier B.V. All rights reserved.

Predictors of first-year survival in patients with advanced COPD treated using long-term oxygen therapy

Little evidence-based guidance is available to aid clinicians in determining short-term prognoses in very severe COPD patients. Therefore, the present study was designed to provide a prospective assessment (1) of the mortality rates and (2) whether the baseline measurements may be determinants of 1-year mortality in hypoxemic COPD patients receiving long-term oxygen therapy (LTOT).Seventy-eight clinically stable patients with advanced COPD treated using LTOT were enrolled in a prospective cohort study. Outcome variable: first-year mortality. Baseline measurements: categorical variables: age (<60 or >= 60 years); gender; body mass index (<20 or >= 20 kg/m(2)); fat-free mass (FFM) index (<16 [men] and <15kg/m(2) [women]; baseline dyspnea index (BDI) (<= 3 or >3); and corticosteroid use. Continuous variables: smoking history; lung function; FFM; fat mass; hemoglobin; hematocrit; arterial blood gases; forearm muscle strength; St. George's Respiratory Questionnaire (SGRQ); and comorbidity score. By the end of 1-year of follow-up, 12 patients (15.4%) had died. Kaplan-Meier curves showed that BDI <= 3 was the only variable associated with higher mortality. Cox proportional hazards analysis revealed that tower PaO2 and SPO2, higher PaCO2 and SGRQ scores were associated with reduced survival. In the multivariate analysis, BDI remained predictive of mortality (hazard ratio [HR], 0.50; 95% confidence interval [CI], 0.31-0.81), as did PaO2 (HR, 0.49; 95% CI, 0.26-0.95). These data suggest that readily available parameters as dyspnea intensity and hypoxemia severity may be useful in predicting first-year survival rates in advanced COPD patients receiving LTOT (C) 2007 Elsevier Ltd. All rights reserved.

Maternal and perinatal outcomes of first pregnancy after chemotherapy for gestational trophoblastic neoplasia in Brazilian women

Objective. To evaluate maternal and perinatal outcomes of first pregnancy after chemotherapy for gestational trophoblastic neoplasia (GTN) in Brazilian patients.Methods. This study included 252 subsequent pregnancies after chemotherapy for GTN treated between 1960-2005. Correlations of maternal and perinatal outcomes with chemotherapy regimen (single or multiagent) and the time interval between chemotherapy completion and first subsequent pregnancy were investigated.Results. There was a significant increase in adverse maternal outcomes in women who conceived <6 months than 6-12 months (76.2% and 19.6%; p<0.0001; OR=13.12; CI 95%=3.87-44.40) and >12 months (76.2% and 21.7%; P<0.0001; OR=11.56; CI 95%=3.98-33.55) after chemotherapy. Spontaneous abortion frequency was higher <6 months (71.4%) than 6-12 months (17.6%; p<0.0001: OR=11.66; CI 95%=3.55-38.22) and >12 months (9.4%; p<0.0001: OR=23.97: CI 95%=8.21-69.91) after chemotherapy. There was no difference in adverse perinatal outcomes (stillbirth, fetal malformation, and preterm birth) related to the interval after chemotherapy and Subsequent pregnancy. The overall occurrence of adverse maternal and perinatal outcomes did not significantly differ between patients on single or multiagent regimens.Conclusion. Adverse maternal outcomes and spontaneous abortion were more frequent among patients who conceived within 6 months of chemotherapy completion. In these cases, careful prenatal monitoring and hCG level measurement 6 weeks after the completion of any new pregnancy are recommended. (C) 2008 Elsevier B.V. All rights reserved.

Identification and characterization of polymorphisms within the 5' flanking region, first exon and part of first intron of bovine GH gene

The aim of the present study was to identify and characterize polymorphisms within the 5' flanking region, first exon and part of first intron of the bovine growth hormone gene among different beef cattle breeds: Nelore (n = 25), Simmental (n = 39), Simbrasil (n = 24), Simmental x Nelore (n = 30), Canchim x Nelore (n = 30) and Angus x Nelore (n = 30). Two DNA fragments (GH1, 464 bp and GH2, 453 bp) were amplified by polymerase chain reaction and then used for polymorphism identification by SSCP. Within the GH1 fragment, five polymorphisms were identified, corresponding to three different alleles: GH1.1, GH1.2 and GH1.3 (GenBank: AY662648, AY662649 and AY662650, respectively). These allele sequences were aligned and compared with bovine GH gene nucleotide sequence (GenBank: M57764 and AF118837), resulting in the identification of five insertion/deletions (INDELs) and five single nucleotide polymorphisms (SNPs). In the GH2 fragment two alleles were identified, GH2.1 and GH2.2 (GenBank: AY662651 and AY662652, respectively). The allele sequences were compared with GenBank sequences (M57764, AF007750 and AH009106) and three INDELs and four SNPs were identified. In conclusion, we were able to identify six new polymorphisms of the bovine GH gene (one INDEL and five SNPs), which can be used as molecular markers in genetic studies.

Hybrid layer thickness and resin tag length of a self-etching adhesive bonded to sound dentin

Objectives: the purpose of this study is to employ optical microscopy to measure the thickness of the hybrid layer and the penetration (tags) of an aggressive self-etching adhesive system into sound dentin.Methods: occtusat cavities were prepared in 40 extracted human posterior teeth. The prepared teeth were randomly assigned to four experimental groups with 10 specimens each. The self-etching adhesive system Adper Prompt L-Pop was applied to the dentin surface as follows: Group 1: cavosurface enamel was etched for 60 s and dentin for 20 s with 35% phosphoric acid get, immediately followed by application of the self -etching adhesive with a brush to the entire cavity for 15 s; Groups 2, 3, and 4: no pre-etching was performed, and the self -etching adhesive was applied to both enamel and dentin for 15, 30 and 45 s, respectively. After curing, the cavities were fitted with composite resin Fittek Z250. Afterwards, the teeth were decalcified and the restorations were carefully removed for later embedding in paraffin. The specimens were serially sectioned at 6 mu m of thickness and sequentially mounted in glass slides. These sections were stained with Brown and Brenn staining for posterior analysis and measurement of the hybrid layer and resin tags on a tight microscope with a micrometric ocular 40/075. The results were submitted to analysis of variance at the 5% level.Results: whenever there was significance, the Tukey test was applied at the 5% level. The specimens receiving application of acid etching before the selfetching. adhesive displayed a larger thickness of the hybrid layer; on the other hand, specimens receiving only application of the self -etching adhesive on dentin for 15, 30 and 45 s exhibited similar thickness of the hybrid layer. As regards the resin tags, no statistically significant differences could be found between the study groups.Conclusions: it could be concluded that the increase in the time of application of the self-etching adhesive Adper Prompt L-Pop did not significantly influence the formation and thickness of hybrid layer, as well as its penetration into the sound dentin surface. (c) 2005 Elsevier Ltd. All rights reserved.

Morphological aspects of spermatogenic cells at different stages of sexual maturation in black isogenic C57BL/6/Uni mice

In order to study the morphological changes that occur in cells of the testes of isogenic black mouse C57BL/6/Uni into three periods during spermatogenetic used 15 mice divided into 3 groups of 5 animals with 40,50 and 60 days of age. The mice were sacrificed and weighed. Testicles were weighed and measured, and histologically processed and stained with HE, PAS and Masson Massom-H and evaluated under light microscopy. It was observed that group I with 40 days of age in the seminifcrous tubules had a lumen with sparse small amount of interstitial tubular cells. In the seminiferous epithelium type A spermatogonia, intermediate and B were identified, which occupied the compartment adbasal and intermingled with these cells in spermatocytes I in Pachytene and leptotene was observed, whereas in the adluminal compartment Golgi phase spermatids we observed the presence of acrosomal granule. In group II, the cells of the seminiferous epithelium were developed and it was observed in round spermatids cephalic hood phase plus many elongated spermatids in acrosome phase and Sertoli cells. In Group III, 60 days old, it was found that seminiferous epithelium which was of the tubules had elongated spermatids in acrosome phase and maturation, with elongated nuclei and acrosomal system typical of spermiation in the presence of sperm and residual bodies near the tubular lumen. Therefore morphological evolution of germ cell testicular spermatids can be checked and recognized in its four phases: Golgi, cap, acrosome and maturation over the age of the animal.

Effect of Cement Type, Relining Procedure, and Length of Cementation on Pull-out Bond Strength of Fiber Posts

Introduction: As opposed to the cementation metal posts, the cementation of fiber posts has several details that can significantly influence the success of post retention. This study evaluated the effect of the relining procedure, the cement type, and the luted length of the post on fiber posts retention. Methods: One hundred eighty bovine incisors were selected to assess post retention; after endodontic treatment, the canals were flared with diamonds burs. Post holes were prepared in lengths of 5, 7.5, and 10 mm; the fiber posts were relined with composite resin and luted with RelyX ARC, RelyX Unicem, or RelyX Luting 2. All cements are manufactured by 3M ESPE (St. Paul, MN). Samples were subjected to a pull-out bond strength test in a universal testing machine; the results (N) were submitted to a three-way analysis of variance and the Tukey post hoc test (alpha = 0.05). Results: The improvement of post retention occurred with the increase of the post length luted into the root canal; the relining procedure improved the pull-out bond strength. RelyX Unicem and RelyX ARC showed similar values of retention, both showing higher values than RelyX Luting 2. Conclusion: Post length, the reining procedure, and the cement type are all important factors for improving the retention of fiber posts. (J Endod 2010;36:1543-1546)

Search for pair production of first-generation leptoquarks in p(p)over-bar collisions at root s=1.96 TeV

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)