Buscar
Mostrando ítems 1-10 de 62
A topological and domain theoretical study of total computable functions
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2016-07-29)
Topologically the set of total computable functions has been studied only as
a subspace of a Baire space. Where the topology of this Baire space is the
induced topology of a Scott topology for the partial functions (not ...
Wadge hardness in Scott spaces and its effectivization
(Cambridge University Press, 2015-10)
We prove some results on the Wadge order on the space of sets of natural numbers endowed with Scott topology, and more generally, on omega-continuous domains. Using alternating decreasing chains we characterize the property ...
CI-posets, domínios e espaços de funções
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA APLICADA E ESTATÍSTICA, 2019-11-25)
In this work, we study posets (partially ordered sets) that are not necessarily continuous but having intervals as continuous posets with induced order. That class of posets
associated with the Scott topology plays an ...
Topologías consistentes
(Boletín de Matemáticas, 1998)
Se introduce la categoría de los espacios topológicos consistentes y se muestra que el funtor que, a cada espacio topológico consistente, le asocia el conjunto ordenado por su orden de especialización, tiene como adjunto ...
Uma extensão de overlaps e naBL-Álgebras para reticulados
(BrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2019-08-05)
Overlap functions were introduced as a class of bivariate aggregation functions on [0, 1] to be applied in the image processing field. Many researchers have begun to develop overlap functions
in order to explore their ...
Relationships among the neotropical Candirus (Trichomycteridae, Siluriformes) and the evolution of parasitism based on analysis of mitochondrial and nuclear gene sequences
(Academic Press Inc Elsevier Science, 2009-12)
Phylogenetic relationships among the trichomycterid catfishes are investigated for the first time using molecular sequence data. Data derived from mitochondrial and nuclear DNA sequences for representatives of 17 genera ...
The Vip3Ag4 insecticidal protoxin from Bacillus thuringiensis adopts a tetrameric configuration that is maintained on proteolysis
(MDPI AG, 2017-05)
The Vip3 proteins produced during vegetative growth by strains of the bacterium Bacillus thuringiensis show insecticidal activity against lepidopteran insects with a mechanism of action that may involve pore formation and ...