Streamlining Temporal Formal Verification over Columnar Databases
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf).
Giacomo Bergami
doaj +1 more source
Research on Temporal Query Expansion and Temporal Index Optimization Based on Spark [PDF]
There exists some temporal databases and temporal analysis tools based on cluster-based computing systems.However,most of them are disk-oriented and performance degenerate rapidly when processing big data.This paper proposes a system which is based on ...
ZHOU Liang,LI Gefei,TAI Weipeng,ZHENG Xiao
doaj +1 more source
Translophagy—A potential link between autophagy impairment and translational errors
Neurodegenerative diseases are characterised by the accumulation of abnormal proteins and protein aggregates, but their origin often remains unknown. We propose that selective autophagy removes damaged protein‐making machinery, preventing errors during protein synthesis.
Mykola V. Korolchuk +11 more
wiley +1 more source
Converting relational databases into object relational databases [PDF]
This paper proposes an approach for migrating existing Relational DataBases (RDBs) into Object-Relational DataBases (ORDBs). The approach is superior to existing proposals as it can generate not only the target schema but also the data instances.
Ali, Akhtar +5 more
core +2 more sources
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
Spatio-temporal multi-granularity : modelling and implementation challenges [PDF]
Multiple spatial and temporal granularities are essential to extract significant knowledge from datasets at different levels of detail: they enable to zoom-in and zoom-out a dataset, enhancing the data modelling flexibility and being instrumental to ...
Elena Camossi +5 more
core +1 more source
Metric-temporal access methods
Metric-temporal databases are a new database model that combines metric spaces with temporal databases to process similarity queries within a time interval or snapshot.
Anabella De Battista +3 more
doaj
Durative Events in Active Databases [PDF]
Active databases are DBMS which are able to detect certain events in the environment and trigger actions in consequence. Event detection has been subject of much research, and a number of different event specification languages is extant.
Augusto, Juan Carlos +3 more
core +1 more source
Evolving temporal fuzzy itemsets from quantitative data with a multi-objective evolutionary algorithm [PDF]
We present a novel method for mining itemsets that are both quantitative and temporal, for association rule mining, using multi-objective evolutionary search and optimisation.
Gongora, Mario A. +9 more
core +1 more source
Pharmacological chromatin remodeling enhances response to estrogen therapy in ER+ breast cancer
Estrogen therapy elicits clinical benefit in ~ 30% of patients with endocrine‐resistant estrogen receptor (ER)‐positive breast cancer. Based on findings that ER transcriptional activation underlies response to estrogen therapy, we tested the effects of epigenetic dysregulation via pharmacological inhibition of histone deacetylases (HDACi).
Anneka L. Johnson Thomas +16 more
wiley +1 more source

