Buscar
Mostrando ítems 1-10 de 14754
Hilbert-style formalism for two-dimensional notions of consequence
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-21)
The present work proposes a two-dimensional Hilbert-style deductive formalism (H-formalism) for B-consequence relations, a class of two-dimensional
logics that generalize the usual (Tarskian, one-dimensional) notions of ...
Design and evaluation of an advanced virtual reality system for visualization of dentistry structures
(2012-12-01)
This paper presents the development of an application created to assist the teaching of dental structures, generate rich content information and different manners of interaction. An ontology was created to provide semantics ...
Design and evaluation of an advanced virtual reality system for visualization of dentistry structures
(2012-12-01)
This paper presents the development of an application created to assist the teaching of dental structures, generate rich content information and different manners of interaction. An ontology was created to provide semantics ...
Bedforms-ATM, an open source software to analyze the scale-based hierarchies and dimensionality of natural bed forms
(Elsevier, 2018-06-30)
Bedforms-ATM (Bed forms analysis toolkit for multiscale modeling) is a software designed to hierarchize and quantify the dimensionality of natural bed forms fields. It comprises four modular applications, namely: (1) wavelet ...
Visualização Volumétrica Aplicada às GeociênciasVolumetric Visualization Applied to Geosciences
(Instituto de Geociências /Universidade Federal do Rio Grande do Sul, 2008)