A formal model of abductive inference is provided in which abduction is conceived as expansive and contractive movements through a topological space of theoretical and practical commitments. A pair of presheaves over the ...

Esta dissertação é uma humilde introdução a grandes ferramentas da teoria da homotopia abstrata: categorias modelo e ∞-categorias (através de quasicategorias). A primeira parte do texto apresenta estas estruturas, conectando ...

The concept of model category is due to Quillen [1]. It represents an axiomatic aproach to homotopy in which not only homotopy itself but also several of the concepts of Algebraic Topology are developed, such as fibrations, ...

Backgrounds Ea aims: The boundaries between the categories of body composition provided by vectorial analysis of bioimpedance are not well defined. In this paper, fuzzy sets theory was used for modeling such uncertainty. ...

The ocean is a perpetual source of energy that has being studied for the last decades in order to convert the energy from the waves and tides into electricity, through a clean process. So far, several devices have been ...