Search Results - "J.A. Leite"

ESTUDO DE VARIANTE GENÉTICA DO SOD2 NA NEFROPATIA FALCÊMICA by J.A. Leite, S.M.P. Cruz, A.C. Cabanas-Pedro, M.S. Figueiredo

Get full text

PP108-MON IMPACT OF L-CITRULLINE ON HISTOLOGY, INFLAMMATORY SCORE AND INTESTINAL PERMEABILITY IN AN EXPERIMENTAL INTESTINAL MUCOSITIS MODEL INDUCED BY ADMINISTRATION OF 5-FU IN MICE by Antunes, M.M, Leocádio, P.C, Leite, J.A, Teixeira, L.G, Leonel, A.J, Carmona, D, Generoso, S.V, Nascimento, V.C, Correia, M.I.T.D

Get full text

Dynamic updates of non-monotonic knowledge bases by Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.

“…In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic…”
Get full text

Immunomodulatory activity of ouabain in Leishmania leishmania amazonensis-infected Swiss mice by Jacob, P. L., Leite, J. A., Alves, A. K. A., Rodrigues, Y. K. S., Amorim, F. M., Néris, P. L. N., Oliveira, M. R., Rodrigues-Mascarenhas, S.

“…Ouabain is a cardiotonic steroid identified as an endogenous substance of human plasma, being produced by the adrenal, pituitary, and hypothalamus. Despite the…”
Get full text

Use of atomic force microscopy as a diagnostic tool to identify orthopoxvirus by Trindade, G.S., Vilela, J.M.C., Ferreira, J.M.S., Aguiar, P.H.N., Leite, J.A., Guedes, M.I.M.C., Lobato, Z.I.P., Madureira, M.C., da Silva, M.I.N., da Fonseca, F.G., Kroon, E.G., Andrade, M.S.

“…Atomic force microscopy (AFM) is a versatile technique that permits the imaging of surfaces and generates topographical images from a variety of materials. Due…”
Get full text

Evolving Knowledge Bases: Specification and Semantics by Leite, J.A

“…An Evolving Knowledge Base (EKB) is capable of self evolution by means of its internally specified behaviour. In this thesis the author incrementally…”
Get full text

Languages of Updates by Leite, J.A

Get full text

Logic Programming for NMR by Leite, J.A

Get full text

Abstract by Leite, J.A

Get full text

Conclusions and Future Directions by Leite, J.A

Get full text

Knowledge and Behaviour Update Language by Leite, J.A

Get full text

Multi-dimensional Dynamic Logic Programming by Leite, J.A

Get full text

Dynamic Logic Programming by Leite, J.A

Get full text

Multi-dimensional KABUL by Leite, J.A

Get full text

A List of Symbols by Leite, J.A

Get full text

Illustrative Examples by Leite, J.A

Get full text

Introduction by Leite, J.A

Get full text