Equality and Monodic First-Order Temporal Logic

It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.

Towards First-Order Temporal Resolution

In this paper we show how to extend clausal temporal resolution to the ground eventuality fragment of monodic first-order temporal logic, which has recently been introduced by Hodkinson, Wolter and Zakharyaschev. While a finite Hilbert-like axiomatization of complete monodic first order temporal logic was developed by Wolter and Zakharyaschev, we propose a temporal resolution-based proof system which reduces the satisfiability problem for ground eventuality monodic first-order temporal formulae to the satisfiability problem for formulae of classical first-order logic.

Introducing higher moments in the CAPM: some basic ideas

We show how to include in the CAPM moments of any order, extending the mean-variance or mean-variance-skewness versions available until now. Then, we present a simple way to modify the formulae, in order to avoid the appearance of utility parameters. The results can be easily applied to practical portfolio design, with econometric inference and testing based on generalised method of moments procedures. An empirical application to the Brazilian stock market is discussed.

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Obtenção de nanopartículas de hexaferrita de bário pelo método pechini

In this study barium hexaferrite was (general formulae BaFe12O19) was synthesized by the Pechini method under different conditions of heat treatment. Precursors like barium carbonate and iron nitrate were used. These magnetic ceramic, with magnetoplumbite type structure, are widely used as permanent magnet because of its excellent magnetic properties, such as: high Curie temperature, good magnetic anisotropy, high coercivity and corrosion resistance. The samples were characterized by thermal analysis (DTA and TG), X- ray Diffraction (XRD), Fourier transform infrared spectroscopy (FTIR), Scanning Electron Microscopy (SEM) end Vibrating sample Magnetometer (VSM). The results confirm the expected phase, which was reinforced according to our analysis. A single phase powder at relatively high temperatures with particle sizes around 100 nm was obtained. The characteristic magnetic behavior one of the phases has been noted (probably superparamagnetic material), while another phase was identified as a ferrimagnetic material. The ferrimagnetic phase showed vortex configuration with two central and slightly inclined plateaus. In general, increase of heat treatment temperature and time, directly influenced the technological properties of the samples

Ruthenium (II) phosphine/picolinate complexes as antimycobacterial agents

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

Ruthenium(II) phosphine/diimine/picolinate complexes: Inorganic compounds as agents against tuberculosis

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

Síntese e caracterização da ferrita de MnZn obtida pelo método dos citratos precursores

It was synthesized MnZn ferrite with general formulae Mn1-xZnxFe2O4 (mol%), 0,3 ≤ x ≤ 0,7 by using the citrate precursor method. The precursors decomposition was studied by thermogravimetric analysis (TGA), differential thermogravimetric analysis (DTG), differential thermal analysis (DTA) and Fourier transform infrared (FTIR) of powder calcined at 350ºC/3,5h. X-ray diffraction pattern (XRD) of samples was done from 350 to 1200ºC/2h using various atmospheres. The power calcined at 350ºC/3,5h formed spinel phase. It is necessary atmosphere control to avoid secondary phase such as hematite. From 900 to 1200ºC was obtained 90,66 and 100% of MnZn spinel ferrite phase, respectively. Analysis by dispersive energy scanning (EDS) at 350ºC shows high Mn and Zn dispersion, indicating that the diffusion process was homogeneous. Semi-quantitative analysis by EDS verified that despite the atmosphere control during calcinations at high temperatures (< 800ºC) occurred ZnO evaporation causing stoichiometric deviation. Vibrating sample magnetometer (VSM) measures show soft ferrite material characteristics with Hc from 6,5 x 10-3 to 11,1 x 10-2 T. Saturation magnetization (Ms) and initial permeability (µi) of MnZn spinel phase obtained, respectively, from 14,3 to 83,8 Am2/kg and 14,1 to 62,7 (Am2/kg)T

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

In vitro antibacterial action of Tetraclean, MTAD and five experimental irrigation solutions

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

Karyotypic evolution trends in Rhamdia quelen (Siluriformes, Heptapteridae) with considerations about the origin and differentiation of its supernumerary chromosomes

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

Mechanisms of karyotype differentiation in Cassidinae sensu lato (Coleoptera, Polyphaga, Chrysomelidae) based on seven species of the Brazilian fauna and an overview of the cytogenetic data

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

Cytogenetics of four Omophoita species (Coleoptera, Chrysomelidae, Alticinae): A comparative analysis using mitotic and meiotic cells submitted to the standard staining and C-banding technique

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

Empirical diversity indices applied to forest communities in different successional stages

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

On a symmetry in strong distributions

A strong Stieltjes distribution d psi(t) is called symmetric if it satisfies the propertyt(omega) d psi(beta(2)/t) = -(beta(2)/t)(omega) d psi(t), for t is an element of (a, b) subset of or equal to (0, infinity), 2 omega is an element of Z, and beta > 0.In this article some consequences of symmetry on the moments, the orthogonal L-polynomials and the quadrature formulae associated with the distribution are given. (C) 1999 Elsevier B.V. B.V. All rights reserved.