Results 11 to 20 of about 227,612 (270)
Toward a verified relational database management system [PDF]
, 2013 We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS implementation, and proof that the implementation meets the specification are all
Malecha, Gregory Michael +3 more
core +1 more source
Ontology-based data access with databases: a short course [PDF]
, 2013 Ontology-based data access (OBDA) is regarded as a key ingredient of the new generation of information systems. In the OBDA paradigm, an ontology defines a high-level global schema of (already existing) data sources and provides a vocabulary for user ...
A. Artale +23 more
core +3 more sources
Anatomy of a Native XML Base Management System [PDF]
, 2002 Several alternatives to manage large XML document collections exist, ranging from file systems over relational or other database systems to specifically tailored XML repositories.
Fiebig, Thorsten +6 more
core +3 more sources
A batch scheduler with high level components [PDF]
, 2005 In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emphasizes on low software complexity by using high level tools.
Capit, Nicolas +7 more
core +5 more sources
Semi-automatic Database Design for Neuroscience Experiment Management Systems [PDF]
, 2004 Neuroinformatics provides tools for neuroscience researchers to study brain function. In order to handle experiment paradigms that change frequently, we are developing a semiautomatic database design tool that will enable an experiment management system (
Brinkley, James F +2 more
core +1 more source
Advanced Sustainable Systems, EarlyView.Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit +43 more
wiley +1 more source
LSM Management on Computational Storage [PDF]
, 2019 LSM-trees have emerged as the write-optimized index of choice for key-value stores and relational database systems. LSM-trees typically rely on a storage manager on top of a file system for storing data on Solid-State Drives (SSDs).
Bonnet, Philippe +2 more
core +1 more source
Advanced Science, EarlyView.Rheumatoid arthritis is a disease characterized by joint inflammation. Approximately 50% of patients show insufficient response to traditional synthetic disease‐modifying antirheumatic drugs. This study aims to elucidate differential molecular profiles of the mechanisms underlying drug responses through multi‐omics strategy.
Congcong Jian +26 more
wiley +1 more source
Agribusiness, EarlyView.ABSTRACT This study analyzes the effects of value co‐creation and creation of shared value in agricultural input marketing. This study used a sample of 178 agricultural companies in Costa Rica. The data were analyzed using partial least squares structural equation modeling (PLS‐SEM) with SMART PLS software. Our findings reveal the significant influence
Luis Ricardo Solís‐Rivera +1 more
wiley +1 more source
, 2017 As a dedicated synthetic aperture radio interferometer, the MingantU SpEctral Radioheliograph (MUSER), initially known as the Chinese Spectral RadioHeliograph (CSRH), has entered the stage of routine observation. More than 23 million data records per day
Deng, Hui +5 more
core +1 more source