|
|
|
|
|
Giacomo Bergami
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf). Human-readable declarative languages also help the common practitioner to express tempora...
ver más
|
|
|
|
|
|
|
|
|
|
|
Chia-Ping Tsai, Che-Wei Chang, Hung-Chang Hsiao and Haiying Shen
Not Only SQL (NoSQL) is a critical technology that is scalable and provides flexible schemas, thereby complementing existing relational database technologies. Although NoSQL is flourishing, present solutions lack the features required by enterprises for ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Roman Zoun, Kay Schallert, David Broneske, Ivayla Trifonova, Xiao Chen, Robert Heyer, Dirk Benndorf and Gunter Saake
Mass spectrometers enable identifying proteins in biological samples leading to biomarkers for biological process parameters and diseases. However, bioinformatic evaluation of the mass spectrometer data needs a standardized workflow and system that store...
ver más
|
|
|
|
|
|