Sciweavers

128 search results - page 9 / 26
» da 2006
Sort
View
BIRTHDAY
2006
Springer
13 years 11 months ago
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
Arnon Avron, Anna Zamansky
PERCOM
2006
ACM
14 years 7 months ago
Learning in a Large-Scale Pervasive Environment
Débora Nice Ferrari Barbosa, Iara Augustin,...
CLEIEJ
2010
13 years 5 months ago
An educational methodology based on the work of students
In the year 2006 the "Instituto Universitario Aut
Sylvia da Rosa, Federico Gomez Frois
IGPL
2007
149views more  IGPL 2007»
13 years 7 months ago
Logical and Philosophical Remarks on Quasi-Set Theory
Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theo...
Newton C. A. da Costa, Décio Krause
NA
2007
64views more  NA 2007»
13 years 7 months ago
UPML formulation for truncating conductive media in curvilinear coordinates
Abstract. This work presents a formulation based on UPML for truncating conductive media by using a local and non-orthogonal coordinate system to solve Maxwell’s Equations by the...
Rodrigo M. S. de Oliveira, Carlos Leonidas da S. S...