Herbrand's Theorem and Equational Reasoning: Problems and Solutions

The famous Herbrand's theorem of mathematical logic plays an important role in automated theorem proving. In the first part of this article, we recall the theorem and formulate a number of natural decision problems related to it. Somewhat surprisingly, these problems happen to be equivalent. One of these problems is the so-called simultaneous rigid E-unification problem. In the second part, we survey recent result on the simultaneous rigid E-unification problem.

From XML to relational view updates: applying old solutions to solve a new problem

XML has become an important medium for data exchange, and is frequently used as an interface to - i.e. a view of - a relational database. Although lots of work have been done on querying relational databases through XML views, the problem of updating relational databases through XML views has not received much attention. In this work, we give the rst steps towards solving this problem. Using query trees to capture the notions of selection, projection, nesting, grouping, and heterogeneous sets found throughout most XML query languages, we show how XML views expressed using query trees can be mapped to a set of corresponding relational views. Thus, we transform the problem of updating relational databases through XML views into a classical problem of updating relational databases through relational views. We then show how updates on the XML view are mapped to updates on the corresponding relational views. Existing work on updating relational views can then be leveraged to determine whether or not the relational views are updatable with respect to the relational updates, and if so, to translate the updates to the underlying relational database. Since query trees are a formal characterization of view de nition queries, they are not well suited for end-users. We then investigate how a subset of XQuery can be used as a top level language, and show how query trees can be used as an intermediate representation of view de nitions expressed in this subset.

Contractual solutions to the holdup problem: a survey

In this survey, we presented the general idea and main results from what we understand that are the most important contributions to contractual solutions to the holdup problem literature. The aim of this paper is to push the previous analysis, uniform the notation and provide a snapshot on the most recent literature, as well as bring topics for future inquires on this issue.

Do equity and foreign currency risk premiums display common patterns?

In da Costa et al. (2006) we have shown how a same pricing kernel can account for the excess returns of the S&:P500 over the US short term bond and of the uncovered over the covered trading of foreign government bonds. In this paper we estimate and test the overidentifying restrictiom; of Euler equations associated with "ix different versions of the Consumption Capital Asset Pricing I\Iodel. Our main finding is that the same (however often unreasonable) values for the parameters are estimated for ali models in both nmrkets. In most cases, the rejections or otherwise of overidentifying restrictions occurs for the two markets, suggesting that success and failure stories for the equity premium repeat themselves in foreign exchange markets. Our results corroborate the findings in da Costa et al. (2006) that indicate a strong similarity between the behavior of excess returns in the two markets when modeled as risk premiums, providing empirical grounds to believe that the proposed preference-based solutions to puzzles in domestic financiaI markets can certainly shed light on the Forward Premium Puzzle.

Similarity between the in vitro activity and toxicity of two different fungizone™ / lipofundin™ admixtures

Amphotericin B (AmB), an antifungal agent that presents a broad spectrum of activity, remains the gold standard in the antifungal therapy. However, sometimes the high level of toxicity forbids its clinical use. The aim of this work was to evaluate and compare the efficacy and toxicity in vitro of Fungizon™ (AmB-D) and two new different AmB formulations. Methods: three products were studied: Fungizon™, and two Fungizon™ /Lipofundin™ admixtures, which were diluted through two methods: in the first one, Fungizon™ was previously diluted with water for injection and then, in Lipofundin™ (AmB-DAL); the second method consisted of a primary dilution of AmB-D as a powder in the referred emulsion (AmB-DL). For the in vitro assay, two cell models were used: Red Blood Cells (RBC) from human donors and Candida tropicallis (Ct). The in vitro evaluation (K+ leakage, hemoglobin leakage and cell survival rate-CSR) was performed at four AmB concentrations (from 50 to 0.05mg.L-1). Results: The results showed that the action of AmB was not only concentration dependent, but also cellular type and vehicle kind dependent. At AmB concentrations of 50 mg.L-1, although the hemoglobin leakage for AmB-D was almost complete (99.51), for AmB-DAL and AmB-DL this value tended to zero. The p = 0.000 showed that AmB-D was significantly more hemolytic. Conclusion: The Fungizon™- Lipofundin™ admixtures seem to be the more valuable AmB carrier systems due to their best therapeutic index presented

Canibalismo em larvas de matrinxã, Brycon cephalus, após imersão dos ovos à diferentes concentrações de triiodotironina (T3)

The present work evaluated larvae cannibalism of matrinxa, Brycon cephalus, originated from eggs exposed to triiodothyronine, in the period of 36 to 72 hours after hatching. Observed parameters were: weight and length of larvae, stomach content, presence of cannibalism and type of attacks. This study was carried out at Centro de Pesquisa e Gestao de Recursos Pesqueiros Continentais (CEPTA/IBAMA), Pirassununga-SP, in November 2004. Three females were hormonally induced to spawn and pooled oocytes were fertilized and separated into four batches that constituted the treatments: L-1 (control - water); L-2 (0.01 ppm T-3); L-3 (0.05 ppm T-3) and L-4 (0.1 ppm T-3). Eggs were exposed during 15 minutes to water or to solutions containing the different concentrations of T3. Eggs were distributed in 12 conic incubators (60 L), with three replicates per treatment. There was stocked 500 mL of eggs per incubator and hatched larvae were counted. Samples of 30 larvae per treatment were colleted during occurrence of cannibalism (36, 48, 60 and 72 hours post hatching). Predator larvae (with rests of larvae in the stomach) were 50% of the total number of larvae and they presented weight 50% higher compared to that of non predator larvae (without rests of larvae in the stomach) and 9% higher regarding length. Coefficient of variation of weight and length did not differ among treatments, showing similarity in relation to the size. The stomach content revealed that cannibalism occurred in around 50-60 % of larvae, regardless the exposure to the triiodothyronine, and attacks were characterized as head-tail and tail-head attacks.

Genetic similarity between staphylococcus sp isolated from human and hospital settings, and susceptibility to different antimicrobials

Foram coletadas 143 amostras de mãos de humanos e camas hospitalares, através de swabs no caldo BHI, em um hospital escola da cidade de Ribeirão Preto/SP. As amostras coletadas foram incubadas a 37ºC por 24 horas e após este período as culturas foram semeadas em placas de Petri contendo agar Staphylococcus Médium 110. As colônias típicas do gênero Staphylococcus foram colhidas e estocados a 4ºC até o momento de elaboração das provas de catalase, manitol, hemólise, DNAse e coagulase. As cepas isoladas foram analisadas através da técnica de RAPD-PCR para verificar o grau de similaridade. A sensibilidade das cepas isoladas foi testada frente a 10 diferentes antibióticos. Das 92 cepas de Staphylococcus sp isoladas, 67 (72,8%) foram identificados como Staphylococcus coagulase-negativas e 25 (27,2%) como Staphylococcus coagulase-positivas. A análise de similaridade mostrou uma grande heterogeneidade entre as cepas, entretanto foram isoladas algumas cepas com 100% de similaridade. Resistência a oxacilina foi encontrada em 39 (42%) cepas. Duas cepas de estafilococos coagulase-negativos mostraram-se resistentes a vancomicina. Onze cepas (12%) de estafilococos foram consideradas multirresistentes. Medidas de desinfecção das mãos de pessoal e dos leitos hospitalares e a racionalização do uso indiscriminado de antibióticos podem contribuir para a queda da transmissão de patógenos e diminuição da pressão de seleção, e conseqüentemente diminuindo a freqüência e letalidade das infecções nosocomiais.

Migration of diethylhexyl phthalate from PVC bags into intravenous cyclosporine solutions

The migration of diethylhexyl phthalate (DEHP) from PVC bags into LVPS (0.9% NaCl) and LVPS with cyclosporine at concentrations of 2.5 and 0.5 mg/ml was studied. PVC bags were placed in contact with these solutions and stored at 25 1 degrees C. They were taken for analysis each 30 min during 6 h and after this period at each 1 h until 12 h of contact. Water was used as reference, and exposed and analyzed under the same conditions. After contact, the solutions were submitted to extraction with hexane and analyzed by GC-FID. The results showed that DEHP did not migrate into water and LVPS during all the time. Also, no measurable amount of DEHP was detected during the first 3 h of contact between the PVC bag and the diluted cyclosporine solution. However, the amount of released DEHP reached a detectable level after 4 It of contact, increased until 6 h, stabilized, and increased again after 9-10 h. The 12 h of contact showed the highest DEHP levels for both cyclosporine concentrations. The DEHP migrated was 0.02-0.08% of that present in the bag. (c) 2005 Elsevier B.V. All rights reserved.

Raman and photoluminescence of Er3+-doped SnO2 obtained via the sol-gel technique from solutions with distinct pH

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Bounded solutions of fermions in the background of mixed vector-scalar inversely linear potentials

The problem of a fermion subject to a general mixing of vector and scalar potentials in a two-dimensional world is mapped into a Sturm-Liouville problem. Isolated bounded solutions are also searched. For the specific case of an inversely linear potential, which gives rise to an effective Kratzer potential in the Sturm-Liouville problem, exact bounded solutions are found in closed form. The case of a pure scalar potential with their isolated zero-energy solutions, already analyzed in a previous work, is obtained as a particular case. The behavior of the upper and lower components of the Dirac spinor is discussed in detail and some unusual results are revealed. The nonrelativistic limit of our results adds a new support to the conclusion that even-parity solutions to the nonrelativistic one-dimensional hydrogen atom do not exist. (c) 2004 Elsevier B.V. All rights reserved.

General solutions for some classes of interacting two field kinks

In this work we present some classes of models whose the corresponding two coupled first-order nonlinear equations can be put into a linear form, and consequently be solved completely. In these cases the so-called trial orbit method is completely unnecessary. We recall that some physically important models as, for instance, the problem of tiling a plane with a network of defects and polymer properties are in this class of models. (c) 2005 Elsevier B.V. All rights reserved.

Bounded solutions of fermions in the background of mixed vector-scalar Poeschl-Teller-like potentials

The problem of a fermion subject to a convenient mixing of vector and scalar potentials in a two-dimensional space-time is mapped into a Sturm-Liouville problem. For a specific case which gives rise to an exactly solvable effective modified Poschl-Teller potential in the Sturm-Liouville problem, bound-state solutions are found. The behaviour of the upper and lower components of the Dirac spinor is discussed in detail and some unusual results are revealed. The Dirac delta potential as a limit of the modified Poschl-Teller potential is also discussed. The problem is also shown to be mapped into that of massless fermions subject to classical topological scalar and pseudoscalar potentials. Copyright (C) EPLA, 2007.