Theory of constructive semigroups with apartness -- foundations, development and practice
Authors:
Melanija Mitrovic,
Mahouton Norbert Hounkonnou,
Marian Alexandru Baroni
Abstract:
This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also draw attention to its possible applications in other (constructive) mathematics disciplines, in computer science, social sciences, economics, etc. Another importa…
▽ More
This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also draw attention to its possible applications in other (constructive) mathematics disciplines, in computer science, social sciences, economics, etc. Another important goal of this paper is to provide a clear, understandable picture of constructive semigroups with apartness in Bishop's style both to (classical) algebraists and the ones who apply algebraic knowledge.
△ Less
Submitted 24 January, 2022; v1 submitted 6 August, 2020;
originally announced August 2020.
Structural Flyby Characterization of Nanoporosity
Authors:
R. R. Rosa,
A. Ferreira da Silva,
R. C. Brito,
L. S. Roman,
M. P. M. A. Baroni,
F. M. Ramos,
R. Ahuja,
C. Persson
Abstract:
Recently, Ferreira da Silva et al. [3] have performed a gradient pattern analysis of a canonical sample set (CSS) of scanning force microscopy (SFM) images of p-Si. They applied the so-called Gradient Pattern Analysis to images of three typical p-Si samples distinguished by different absorption energy levels and aspect ratios. Taking into account the measures of spatial asymmetric fluctuations t…
▽ More
Recently, Ferreira da Silva et al. [3] have performed a gradient pattern analysis of a canonical sample set (CSS) of scanning force microscopy (SFM) images of p-Si. They applied the so-called Gradient Pattern Analysis to images of three typical p-Si samples distinguished by different absorption energy levels and aspect ratios. Taking into account the measures of spatial asymmetric fluctuations they interpreted the global porosity not only in terms of the amount of roughness, but rather in terms of the structural complexity (e.g., walls and fine structures as slots). This analysis has been adapted in order to operate in a OpenGL flyby environment (the StrFB code), whose application give the numerical characterization of the structure during the flyby real time. Using this analysis we compare the levels of asymmetric fragmentation of active porosity related to different materials as p-Si and "porous diamond-like" carbon. In summary we have shown that the gradient pattern analysis technique in a flyby environment is a reliable sensitive method to investigate, qualitatively and quantitatively, the complex morphology of active nanostructures.
△ Less
Submitted 26 August, 2004;
originally announced August 2004.