Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the ...

A Friedmann–Robertson–Walker Universe was studied with a dark energy component represented by a quintessence field. The Lagrangian for this system, hereafter called the Friedmann–Robertson–Walker–quintessence (FRWq) system, ...

A Friedmann-Robertson-Walker Universe was studied with a dark energy component represented by a quintessence field. The Lagrangian for this system, hereafter called the Friedmann-Robertson-Walker-quintessence (FRWq) system, ...

A sensitive, economical and reproducible derivative visible-spectrophotometric method for determination of ciprofloxacin hydrochloride in ophthalmic solution was developed and validated. The method is based on the development ...

Neste trabalho apresenta-se uma formalização do teorema de existência de unificadores mais gerais em teorias de primeira ordem. Tal formalização foi desenvolvida na linguagem de especificação de ordem superior, do assistente ...

We investigate the possibility of detecting the Podolsky generalized electrodynamics constant a. First we analyze an ion interferometry apparatus proposed by B. Neyenhuis et al. (Phys. Rev. Lett. 99, 200401 (2007)), who ...

Our aim in this research isto analyse conceptions and propositions to unify high school in Brazil, during the period 1930-2004. In this period a dualistic structure in the organization of high school in Brazil prevailed, ...