Exploració per tema "Information storage and retrieval systems"

Ara es mostren els items 1-20 de 323

    • A common framework for classifying and specifying deductive database updating problems 

      Teniente López, Ernest; Urpí Tubella, Antoni (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
      Text en actes de congrés
      Accés obert
      Several 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 

      Nüssel, Georg; Decker, Hendrik; Celma, Matilde; Casamayor, Juan Carlos (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Text en actes de congrés
      Accés obert
      We 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 

      Hewasinghage, Moditha Lakshan Dharmasir; Abelló Gamazo, Alberto; Varga, Jovan; Zimányi, Esteban (2021-07)
      Article
      Accés obert
      Document 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 

      Mazumdar, Subhasish (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      Heterogeneous 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 

      Celma, Matilde; Casamayor, Juan Carlos; Mota, L.; Pastor, M.A.; Marqués, Francisco (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
      Text en actes de congrés
      Accés obert
      A 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 

      Sánchez Puchol, Fèlix; Pastor Collado, Juan Antonio (Association for Information Systems (AIS), 2017)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Enterprise 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 

      Gurwitz, Kim T.; Singh Gaur, Prakash; Bellis, Louisa J.; Larcombe, Lee; Alloza, Eva; Laszlo Balint, Balint; Botzki, Alexander; Dimec, Jure; Dominguez del Angel, Victoria; Fernandes, Pedro L.; Korpelainen, Eija; Krause, Roland; Kuzak, Mateusz; Le Pera, Loredana; Leskošek, Brane; Lindvall, Jessica M.; Marek, Diana; Martinez, Paula A.; Muyldermans, Tuur; Nygård, Ståle; Palagi, Patricia M.; Peterson, Hedi; Psomopoulos, Fotis; Spiwok, Vojtech; Gelder, Celia W. G. van; Via, Allegra; Vidak, Marko; Wibberg, Daniel; Morgan, Sarah L.; Rustici, Gabriella (Public Library of Science (PLOS), 2020-07)
      Article
      Accés obert
      ELIXIR 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 

      Sapena Masip, Emilio; Padró, Lluís; Turmo Borras, Jorge (Springer, 2008-08-31)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      This 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 

      Hernández Gañan, Carlos; Mata Diaz, Jorge; Muñoz Tapia, José Luis; Esparza Martín, Óscar; Alins Delgado, Juan José (2015-05-01)
      Article
      Accés obert
      One 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 

      Costal Costa, Dolors (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      A 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 

      Boman, Magnus (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Text en actes de congrés
      Accés obert
      Recently 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 

      Murciano Durán, Victor (Universitat Politècnica de Catalunya, 2019-07)
      Treball Final de Grau
      Accés obert
      Las 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 

      Gustavson, Fred G.; Herrero Zaragoza, José Ramón; Morancho Llena, Enrique (Springer, 2014)
      Text en actes de congrés
      Accés obert
      This 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 

      Meister, Dirk; Kaiser, Jürgen; Brinkmann, Andre; Cortés, Toni; Kuhn, Michael; Kunkel, Julian (Institute of Electrical and Electronics Engineers (IEEE), 2012)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Deduplication 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 

      Ramadan Delgado, Malek Mahmud (Universitat Politècnica de Catalunya, 2012-05-18)
      Projecte Final de Màster Oficial
      Accés restringit per decisió de l'autor
      [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 

      Cavedon, Lawrence; Decker, Hendrik (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1990)
      Text en actes de congrés
      Accés obert
      The 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 

      Gómez Duran, Paula (Universitat Politècnica de Catalunya, 2018-02-01)
      Treball Final de Grau
      Accés obert
      Realitzat a/amb:   Dublin City University
      This 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 

      Nuhic, Isak; Šterk, Marjan; Cortés, Toni (Institute of Electrical and Electronics Engineers (IEEE), 2012)
      Text en actes de congrés
      Accés obert
      Today'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 

      Cugnasco, Cesare; Hernández, Roger; Becerra Fontal, Yolanda; Torres Viñals, Jordi; Ayguadé Parra, Eduard (Elsevier, 2013)
      Text en actes de congrés
      Accés obert
      Non-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 

      Casamayor, Juan Carlos (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Text en actes de congrés
      Accés obert
      In 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 ...