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

Correlação entre os métodos de concepção, ocorrência e formas de tratamento das onfalopatias em bovinos: estudo retrospectivo

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

El pensamiento de Carlos Nelson Coutinho: interpretar el Brasil

El presente artículo muestra una interpretación de Brasil a partir de la fecunda apropiación del pensamiento de Gramsci por el intelectual brasileño de izquierda Carlos Nelson Coutinho. Se destaca la osadía intelectual que caracteriza su producción a lo largo de cinco décadas en la búsqueda permanente de la ampliación conceptual como superación dialéctica, siendo fiel a la relación fundante entre historia y teoría política. A partir de una revisión del pensamiento de Coutinho, las autoras analizan el proceso de modernización de Brasil en el tránsito al capitalismo por la vía de la revolución pasiva. Se rescatan aportes de Coutinho sobre las configuraciones estatales en la historia brasileña, enfatizando el proceso de occidentalización con la ampliación del Estado a través de la actuación política de la sociedad civil que emerge de las entrañas de la dictadura militar. Se trata de una producción en proceso que delinea vías analíticas para trabajar el marxismo en movimiento propugnado por Coutinho

Gastric proliferative lesions induced by duodenogastric reflux in rats

OBJETIVO: Avaliar as lesões proliferativas que se desenvolvem na mucosa gástrica de ratos Wistar após modelo específico de refluxo duodeno-gástrico. MÉTODOS: Foram utilizados 75 ratos adultos machos divididos em três grupos experimentais: o grupo I (controle) submetido a gastrotomia na parede posterior do estômago glandular (25 animais); o grupo II (RDG), foi submetido a gastrojejunoanastomose látero-lateral na parede posterior do estômago glandular (25 animais) e o grupo III (RDG-P) submetido a gastrojejunoanastomose látero-lateral na parede posterior do estômago glandular, com secção e fechamento da alça (25 animais). Os animais foram observados durante 36 semanas, após o que foram realizados estudos macroscópicos e microscópicos da anastomose gastrojejunal, da região pré-pilórica e região escamosa do estômago. RESULTADOS: Os animais do Grupo I não apresentaram nenhum tipo de lesão. No grupo II observou-se 40% de lesões do tipo hiperplasia adenomatosa na anastomose e 12% de hiperplasia escamosa. No grupo III obteve-se 40% de hiperplasia adenomatosa na mucosa pré-pilórica, 72 % de hiperplasia adenomatosa na mucosa da anastomose, 20% de hiperplasia escamosa e 12 % de adenocarcinoma. CONCLUSÕES: O refluxo duodeno-gástrico induz a alta freqüência de lesões proliferativas na mucosa adjacente à anastomose gastrojejunal ou na mucosa pré-pilórica e o adenocarcinoma é um evento raro neste modelo experimental.

Avaliação da chuva de sementes em áreas de restinga em diferentes estágios de regeneração

This study was conducted in an area of restinga in the municipality of Silo Vicente (SP). The study aimed to evaluate the seed rain in three different conditions of regeneration. Was selected the following conditions: High Forest of Restinga in the middle stage of regeneration, an area of clearing in the same condition mentioned above and a third in early stages of regeneration. hi each condition were installed 10 seed collectors made of wood and screen with 80% of shade, supported to a height of 20cm of soil. They were evaluated monthly for one yew; the densities of seed deposited in the collector these seedlings are identified and categorized based on their dispersion syndrome and successional classes. The Area of High Forest area was carried out a phytosociological survey to identify which seedlings present in the rain could be from these areas. It was found that the densities of seedlings are relatively low compared to other formations of the Atlantic rain forest, but consistent with other studies of the same type of vegetation used in the study. Regarding dispersal syndromes and successional classes, there was prevalence of the zoocoric syndrome and species of secondary successional classes. The results indicate that the area has good ability to maintain their succession dynamics.

Polyembryony increases embryo and seedling mortality but also enhances seed individual survival in Handroanthus species (Bignoniaceae)

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

Searching for molecular markers in head and neck squamous cell carcinomas (HNSCC) by statistical and bioinformatic analysis of larynx-derived SAGE libraries

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

Measurement of inclusive differential cross sections for Upsilon(1S) production in p(p)over-bar collisions at root s=1.96 TeV

We present measurements of the inclusive production cross sections of the Upsilon(1S) bottomonium state in p (p) over bar collisions at root s=1.96 TeV. Using the Upsilon(1S)->mu(+)mu(-) decay mode for a data sample of 159 +/- 10 pb(-1) collected by the D0 detector at the Fermilab Tevatron collider, we determine the differential cross sections as a function of the Upsilon(1S) transverse momentum for three ranges of the Upsilon(1S) rapidity: 0 <\y(Upsilon)\<= 0.6, 0.6 <\y(Upsilon)\<= 1.2, and 1.2 <\y(Upsilon)\<= 1.8.

Search for right-handed W bosons in top quark decay

We present a measurement of the fraction f(+) of right-handed W bosons produced in top quark decays, based on a candidate sample of t (t) over bar events in the lepton+jets decay mode. These data correspond to an integrated luminosity of 230 pb(-1), collected by the D0 detector at the Fermilab Tevatron p (p) over bar Collider at root s=1.96 TeV. We use a constrained fit to reconstruct the kinematics of the t (t) over bar and decay products, which allows for the measurement of the leptonic decay angle theta(*) for each event. By comparing the cos theta(*) distribution from the data with those for the expected background and signal for various values of f(+), we find f(+)=0.00 +/- 0.13(stat)+/- 0.07(syst). This measurement is consistent with the standard model prediction of f(+)=3.6 x 10(-4).

Search for resonant second generation slepton production at the Fermilab Tevatron

We present a search for supersymmetry in the R-parity violating resonant production and decay of smuons and muon sneutrinos in the channels mu ->chi(0)(1)mu, mu ->chi(0)(2,3,4)mu, and nu(mu)->chi(+/-)(1,2)mu. We analyzed 0.38 fb(-1) of integrated luminosity collected between April 2002 and August 2004 with the D0 detector at the Fermilab Tevatron Collider. The observed number of events is in agreement with the standard model expectation, and we calculate 95% C.L. limits on the slepton production cross section times branching fraction to gaugino plus muon, as a function of slepton and gaugino masses. In the framework of minimal supergravity, we set limits on the coupling parameter lambda(')(211), extending significantly previous results obtained in Run I of the Tevatron and at the CERN LEP collider.

Measurement of the t(t)over-bar production cross section in p(p)over-bar collisions at root s=1.96 TeV using lepton plus jets events with lifetime b-tagging

We present a measurement of the top quark pair (t (t) over bar) production cross section (sigma(t (t) over bar)) in pp collisions at root s = 1.96 TeV using 230 pb(-1) of data collected by the DO experiment at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), missing transverse energy, and jets in the final state. We employ lifetime-based b-jet identification techniques to further enhance the t F purity of the selected sample. For a top quark mass of 175 GeV, we measure sigma(t (t) over bar) 8.6(-1.5)(+1.6) (stat. + syst.) +/- 0.6(lumi.) pb, in agreement with the standard model expectation. (c) 2005 Published by Elsevier B.V.

Measurement of the t(t)over-bar production cross section in p(p)over-bar collisions at root s=1.96 TeV using kinematic characteristics of lepton plus jets events

We present a measurement of the top quark pair (t (t) over bar) production cross section (sigma(t (t) over bar)) in pp collisions at a center-of-mass energy of 1.96 TeV using 230 pb(-1) of data collected by the DO detector at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), large missing transverse energy, and at least four jets, and extract the t (t) over bar content of the sample based on the kinematic characteristics of the events. For a top quark mass of 175 GeV, we measure sigma(t (t) over bar) 6.7(-1.3)(+1.4)(stat)(-1.1)(+1.6)(syst) +/- 0.4(lumi) pb, in good agreement with the standard model prediction. (c) 2005 Elsevier B.V. All rights reserved.

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

We report on a search for the pair production of second generation scalar leptoquarks (LQ(2)) in p (p) over bar collisions at the center-of-mass energy, root s = 1.96 TeV, using data corresponding to an integrated luminosity of 294 19 pb(-1) recorded with the DO detector. No evidence for a leptoquark signal in the LQ(2)LQ(2) -> mu q mu q channel has been observed, and upper bounds on the product of cross section times branching fraction were set. This yields lower mass limits of m(LQ2) > 247 GeV/c(2) for beta = B(LQ(2) -> mu q) = 1 and m(LQ2) > 182 GeV/c(2) for beta = 1/2. Combining these limits with previous DO results, the lower limits on the mass of a second generation scalar leptoquark are m(LQ2) > 251 GeV/c(2) and m(LQ2) > 204 GeV/c(2) for beta = I and beta = 1/2, respectively. (c) 2006 Elsevier B.V. All rights reserved.

Search for the rare decay B-s(0)->phi mu(+)mu(-) with the D0 detector

We present a search for the flavor-changing neutral current decay B-s(0)->phi mu(+)mu(-) using about 0.45 fb(-1) of data collected in p (p) over bar collisions at root s=1.96 TeV with the D0 detector at the Fermilab Tevatron Collider. We find an upper limit on the branching ratio of this decay normalized to B-s(0)-> J/psi phi of B(B-s(0)->phi mu(+)mu(-))/B(B-s(0)-> J/psi phi)< 4.4x10(-3) at the 95% C.L. Using the central value of the world average branching fraction of B-s(0)-> J/psi phi, the limit corresponds to B(B-s(0)->phi mu(+)mu(-))< 4.1x10(-6) at the 95% C.L., the most stringent upper bound to date.

Search for randall-sundrum gravitons in dilepton and diphoton final states

We report the first direct search for the Kaluza-Klein (KK) modes of Randall-Sundrum gravitons using dielectron, dimuon, and diphoton events observed with the D0 detector operating at the Fermilab Tevatron p (p) over bar Collider at root s = 1: 96 TeV. No evidence for resonant production of gravitons has been found in the data corresponding to an integrated luminosity of approximate to 260 pb(-1). Lower limits on the mass of the first KK mode at the 95% C. L. have been set between 250 and 785 GeV, depending on its coupling to standard model particles.