Results 11 to 20 of about 451,209 (293)
, 2021 This dataset consists of HAXPES spectra at Sb measured at SPring-8 BL46XU, and is a part of HAXPES database (MDR HAXPES DB, https://doi.org/10.48505/nims.3056) as a collection of ...
Industrial Application and Partnership Division, JASRI
core +1 more source
, 2023 TD-SB-TemPsy is a trace diagnostics tool for signal-based temporal properties. TD-SB-TemPsy is © 2021 University of Luxembourg. It is distributed under the Apache license (version 2.0) This replication package contains all the necessary material (i.e.
Claudio Menghi (6892082) +3 more
core +1 more source
TD-SB-TemPsy_SupplementaryMaterial
, 2023 Supplementary material for the paper: Trace Diagnostics for Signal-based Temporal Properties The supplementary material contains 2 folders and 1 script: RawData folder: It contains all the results of the TD-SB-TemPsy execution on the PROP-SAT, MD1 and
Chaima Boufaied (8810777)
core +1 more source
, 2022 XML & TEI views of MS-HRC-SB-3-5 from Fin de partie ...
Samuel Beckett (12358795)
core +1 more source
, 2022 Page views of MS-HRC-SB-7-2 from Malone meurt / Malone ...
Samuel Beckett (12358795)
core +1 more source