Buscar
Mostrando ítems 1-10 de 10470
An abstract data type to handle vague spatial objects based on the fuzzy model
(Instituto Nacional de Pesquisas Espaciais - INPEUniversidade Federal de Santa Catarina - UFSCCampos do Jordão, 2015-11)
Crisp spatial data are geometric features with exact location on the extent and well-known boundaries. On the other hand, vague spatial data are characterized by inaccurate locations or uncertain boundaries. Despite the ...
Type abstraction for relaxed noninterference
(Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017)
Information-flow security typing statically prevents confidential information to leak to public
channels. The fundamental information flow property, known as noninterference, states that a
public observer cannot learn ...
Embedding vague spatial objects into spatial databases using the VagueGeometry abstract data type
(Instituto Nacional de Pesquisas Espaciais - INPEUniversidade Federal de Santa Catarina - UFSCCampos do Jordão, 2015-11)
Spatial vagueness has been required by geoscientists to handle vague spatial objects, i.e., spatial objects that do not have exact locations, strict boundaries, or sharp interiors. However, there is a gap in the literature ...
A categorical account of replicated data types
(Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2019-12)
Replicated Data Types (rdts) have been introduced as a suitable abstraction for dealing with weakly consistent data stores, which may (temporarily) expose multiple, inconsistent views of their state. In the literature, ...
Incorporando dados espaciais vagos em data warehouses geográficos: a proposta do tipo abstrato de dados vaguegeometry
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2014-10-09)
A data warehouse is a solution for organizing and storing multidimensional data related to decision-making processes in companies, generating a historical, highly voluminous, subject-oriented and nonvolatile database. A ...
A Domain-Driven Framework to Analyze Learning Dynamics in MOOCs through Event Abstraction
(MDPI, 2023)
Interest in studying Massive Online Open Courses (MOOC) learners' sessions has grown as a result of the retention and completion issues that these courses present. Applying process mining to study this phenomenon is difficult ...
GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES
(Universidad de TarapacáFacultad de Ingeniería, 2004)
A Strategy For Data Quality Assessment In IoT-based Air Quality Monitoring Systems
(Grupo de Investigación en Telecomunicaciones Aplicadas (GITA)Medellín, 2022)
Temporal Design Patterns for Digital Phenotype Cohort Selection in Critical Care:Systematic Literature Assessment and Qualitative Synthesis
(2020)
Background: Inclusion criteria for observational studies frequently contain temporal entities and relations. The use of digital phenotypes to create cohorts in electronic health record–based observational studies requires ...