Browsing by Subject "Information storage and retrieval systems"
Now showing items 1-20 of 319
-
A common framework for classifying and specifying deductive database updating problems
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Conference report
Open AccessSeveral problems may arise when updating a deductive database. Up to now, the general approach of the research related to deductive database updating problems has been to provide specific methods for solving particular ... -
A complete proof procedure for efficient integrity checking in deductive databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessWe present proof procedure for checking the integrity of a deductive database. We follow the proposal of Sadri and Kowalski. Our procedure replaces the latter's meta-level rules by inference rules that are implemented more ... -
A cost model for random access queries in document stores
(2021-07)
Article
Open AccessDocument stores have become one of the key NoSQL storage solutions. They have been widely adopted in different domains due to their ability to store semi-structured data and expressive query capabilities. However, ... -
A deductive approach to semantic heterogeneity in multidatabase systems
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
Conference report
Open AccessHeterogeneous Databases are becoming increasingly important, but they present several problems. We consider the problem of semantic heterogeneity and show that a deductive model is suita.ble for coping with the problem. ... -
A derivation path recording method for integrity checking in deductive databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
Conference report
Open AccessA method is presented for checking integrity constraints in a deductive database in which verification of integrity is reduced to determine if the transaction has induced the insertion of sorne inconsistency atom. In ... -
A first literature review on enterprise reference architecture
(Association for Information Systems (AIS), 2017)
Conference report
Restricted access - publisher's policyEnterprise Reference Architectures have been increasingly emerging as new standardized architectural description artefacts suitable to provide a frame of reference for a particular business domains. Used in an appropriate ... -
A framework to assess the quality and impact of bioinformatics training across ELIXIR
(Public Library of Science (PLOS), 2020-07)
Article
Open AccessELIXIR is a pan-European intergovernmental organisation for life science that aims to coordinate bioinformatics resources in a single infrastructure across Europe; bioinformatics training is central to its strategy, which ... -
A graph partitioning approach to entity disambiguation using uncertain information
(Springer, 2008-08-31)
Conference report
Restricted access - publisher's policyThis paper presents a method for Entity Disambiguation in Information Extraction from different sources in the web. Once entities and relations between them are extracted, it is needed to determine which ones are referring ... -
A model for revocation forecasting in public-key infrastructures
(2015-05-01)
Article
Open AccessOne of the hardest tasks of a certification infrastructure is to manage revocation. This process consists in collecting and making the revocation status of certificates available to users. Research on this topic has focused ... -
A new plan generation method for deductive conceptual models validation
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
Conference report
Open AccessA new method for planning in a deductive conceptual model context is proposed. lt is based on viewing the information base modelled by a deductive conceptual model as a deductive database. This is possible provided that ... -
A note on the limitations of utilizing modal logic for federated information systems
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessRecently much effort has been put into using modal logic representation lan guages for different kinds of distributed database and distributed problem solving systems. We have ourselves presented an architecture realizing ... -
A process-aware tool for the worldwide request and distribution of medical supplies for Chagas
(Universitat Politècnica de Catalunya, 2019-07)
Bachelor thesis
Open AccessLas enfermedades tropicales desatendidas (ETD) son un grupo de enfermedades transmisibles que prevalecen en condiciones tropicales en 149 países. Afectan principalmente a las poblaciones que viven en la pobreza, sin ... -
A square block format for symmetric band matrices
(Springer, 2014)
Conference report
Open AccessThis contribution describes a Square Block, SB, format for storing a banded symmetric matrix. This is possible by rearranging “in place” LAPACK Band Layout to become a SB layout: store submatrices as a set of square blocks. ... -
A study on data deduplication in HPC storage systems
(Institute of Electrical and Electronics Engineers (IEEE), 2012)
Conference report
Restricted access - publisher's policyDeduplication is a storage saving technique that is highly successful in enterprise backup environments. On a file system, a single data block might be stored multiple times across different files, for example, multiple ... -
A system of scripts to increase the efficiency of disk provisioning in a SAN
(Universitat Politècnica de Catalunya, 2012-05-18)
Master thesis
Restricted access - author's decision[ANGLÈS] To improve the process of provisioning in a storage subdivision of T-systems Iberia that deals with a large client, which will in turn improve their performance rates, enhance error detection and increase workflow. -
A weak allowedness condition that ensures completeness of SLDNF-resolution
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1990)
Conference report
Open AccessThe lillowedness condition usually imposed on classes of programs for which general completeness results for SLDNF-resolution have been proved is a very restrictive one and prohibits many important programming constructs. ... -
A web-based user interface for browsing and annotating image collections using a state-of-the-art content-based image search engine
(Universitat Politècnica de Catalunya, 2018-02-01)
Bachelor thesis
Open Access
Covenantee: Dublin City UniversityThis thesis consists of developing a web user interface for a content-based image retrieval (CBIR) system in order to provide a visualization of the obtained results and eventually to improve them by capturing the user's ... -
AbacusFS integrated storage and computational platform
(Institute of Electrical and Electronics Engineers (IEEE), 2012)
Conference report
Open AccessToday's applications, especially those in the scientific community, deal with an ever growing amount of data. Among the problems that arise from this explosion of data are how to organize the data so that the information ... -
Aeneas: A tool to enable applications to effectively use non-relational databases
(Elsevier, 2013)
Conference report
Open AccessNon-relational databases arise as a solution to solve the scalability problems of relational databases when dealing with big data applications. However, they are highly configurable prone to user decisions that can heavily ... -
An abductive proof procedure for hypothetical reasoning in computational theories
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessIn this paper. we develop a resolution-based proof procedure, called SLY resolution. far hypothetical reasoning in computational theories. SLY coincides with SLD resolution in the case of definite programs and when hypotheses ...