REIDEMEISTER TORSION AND ANALYTIC TORSION OF SPHERES

We provide a simple topological derivation of a formula for the Reidemeister and the analytic torsion of spheres.

Global analytic regularity for structures of co-rank one

We consider real analytic involutive structures V, of co-rank one, defined on a real analytic paracompact orientable manifold M. To each such structure we associate certain connected subsets of M which we call the level sets of V. We prove that analytic regularity propagates along them. With a further assumption on the level sets of V we characterize the global analytic hypoellipticity of a differential operator naturally associated to V. As an application we study a case of tube structures.

Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

Hyperfunctions and (analytic) hypoellipticity

In this work we discuss the problem of smooth and analytic regularity for hyperfunction solutions to linear partial differential equations with analytic coefficients. In particular we show that some well known ""sum of squares"" operators, which satisfy Hormander`s condition and consequently are hypoelliptic, admit hyperfunction solutions that are not smooth (in particular they are not distributions).

Paradigms that guide the models of attention to the health in Brazil: an analytic essay

SILVA, Flávio César Bezerra da ; COSTA, Francisca Marta de Lima; ANDRADE, Hamilton Leandro Pinto de; FREIRE, Lúcia de Fátima; MACIEL, Patrícia Suerda de Oliveira; ENDERS, Bertha Cruz ; MENEZES, Rejane Maria Paiva de. Paradigms that guide the models of attention to the health in Brazil: an analytic essay. Revista de Enfermagem UFPE On Line., Recife, v.3,n.4, p.460-65. out/dez. 2009. Disponível em < http://www.ufpe.br/revistaenfermagem/index.php/revista/search/results >.

Short communication: Principal components and factor analytic models for test-day milk yield in Brazilian Holstein cattle

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

Proposal of a Transmission Line Model Based on Lumped Elements: An Analytic Solution

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

An existence theorem for an analytic first order PDE in the framework of Colombeau's theory

We study the existence of a holomorphic generalized solution u of the PDE[GRAPHICS]where f is a given holomorphic generalized function and (alpha (1),...alpha (m)) is an element of C-m\{0}.

Topological K-equivalence of analytic function-germs

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

The analytic torsion of a disc

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