Changes

              
    

          
          
        
        

            
f
1
{
f
1
{
            
2
  "access_rights": "",
2
  "access_rights": "",
            
3
  "author": "Luca Bortolussi",
3
  "author": "Luca Bortolussi",
            
4
  "author_email": "",
4
  "author_email": "",
            
5
  "citation": [],
5
  "citation": [],
            
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
            
7
  "defined_in": "https://doi.org/10.48550/arXiv.2201.09928",
7
  "defined_in": "https://doi.org/10.48550/arXiv.2201.09928",
            
8
  "doi": "10.57702/0q6klzum",
8
  "doi": "10.57702/0q6klzum",
            
n
9
  "doi_date_published": null,
n
9
  "doi_date_published": "2024-12-16",
            
10
  "doi_publisher": "TIB",
10
  "doi_publisher": "TIB",
            
n
11
  "doi_status": false,
n
11
  "doi_status": true,
            
12
  "domain": "https://service.tib.eu/ldmservice",
12
  "domain": "https://service.tib.eu/ldmservice",
            
13
  "extra_authors": [
13
  "extra_authors": [
            
14
    {
14
    {
            
15
      "extra_author": "Giuseppe Maria Gallo",
15
      "extra_author": "Giuseppe Maria Gallo",
            
16
      "orcid": ""
16
      "orcid": ""
            
17
    },
17
    },
            
18
    {
18
    {
            
19
      "extra_author": "Jan K\u0159et\u00ednsk\u00fd",
19
      "extra_author": "Jan K\u0159et\u00ednsk\u00fd",
            
20
      "orcid": ""
20
      "orcid": ""
            
21
    },
21
    },
            
22
    {
22
    {
            
23
      "extra_author": "Laura Nenzi",
23
      "extra_author": "Laura Nenzi",
            
24
      "orcid": ""
24
      "orcid": ""
            
25
    }
25
    }
            
26
  ],
26
  ],
            
27
  "groups": [
27
  "groups": [
            
28
    {
28
    {
            
29
      "description": "",
29
      "description": "",
            
30
      "display_name": "Signal Temporal Logic",
30
      "display_name": "Signal Temporal Logic",
            
31
      "id": "b4bccb9a-123b-47ac-8861-0ef1ee9fa8c9",
31
      "id": "b4bccb9a-123b-47ac-8861-0ef1ee9fa8c9",
            
32
      "image_display_url": "",
32
      "image_display_url": "",
            
33
      "name": "signal-temporal-logic",
33
      "name": "signal-temporal-logic",
            
34
      "title": "Signal Temporal Logic"
34
      "title": "Signal Temporal Logic"
            
35
    },
35
    },
            
36
    {
36
    {
            
37
      "description": "",
37
      "description": "",
            
38
      "display_name": "Stochastic Processes",
38
      "display_name": "Stochastic Processes",
            
39
      "id": "16311b2f-eb40-4bf7-a2cf-aefeacd0caa4",
39
      "id": "16311b2f-eb40-4bf7-a2cf-aefeacd0caa4",
            
40
      "image_display_url": "",
40
      "image_display_url": "",
            
41
      "name": "stochastic-processes",
41
      "name": "stochastic-processes",
            
42
      "title": "Stochastic Processes"
42
      "title": "Stochastic Processes"
            
43
    }
43
    }
            
44
  ],
44
  ],
            
45
  "id": "47750fa4-7186-4206-ada2-9de9fc45f0b8",
45
  "id": "47750fa4-7186-4206-ada2-9de9fc45f0b8",
            
46
  "isopen": false,
46
  "isopen": false,
            
47
  "landing_page": 
47
  "landing_page": 
            
48
"https://link.springer.com/chapter/10.1007/978-3-030-60132-4_1",
48
"https://link.springer.com/chapter/10.1007/978-3-030-60132-4_1",
            
49
  "license_title": null,
49
  "license_title": null,
            
50
  "link_orkg": "",
50
  "link_orkg": "",
            
51
  "metadata_created": "2024-12-16T23:17:11.353127",
51
  "metadata_created": "2024-12-16T23:17:11.353127",
            
n
52
  "metadata_modified": "2024-12-16T23:17:11.353134",
n
52
  "metadata_modified": "2024-12-16T23:17:11.888523",
            
53
  "name": 
53
  "name": 
            
54
d-the-kernel-trick-for-signal-temporal-logic-on-stochastic-processes",
54
d-the-kernel-trick-for-signal-temporal-logic-on-stochastic-processes",
            
55
  "notes": "The dataset is used to evaluate the performance of the STL 
55
  "notes": "The dataset is used to evaluate the performance of the STL 
            
56
kernel for signal temporal logic.",
56
kernel for signal temporal logic.",
            
n
57
  "num_resources": 0,
n
57
  "num_resources": 1,
            
58
  "num_tags": 3,
58
  "num_tags": 3,
            
59
  "organization": {
59
  "organization": {
            
60
    "approval_status": "approved",
60
    "approval_status": "approved",
            
61
    "created": "2024-11-25T12:11:38.292601",
61
    "created": "2024-11-25T12:11:38.292601",
            
62
    "description": "",
62
    "description": "",
            
63
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
63
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
64
    "image_url": "",
64
    "image_url": "",
            
65
    "is_organization": true,
65
    "is_organization": true,
            
66
    "name": "no-organization",
66
    "name": "no-organization",
            
67
    "state": "active",
67
    "state": "active",
            
68
    "title": "No Organization",
68
    "title": "No Organization",
            
69
    "type": "organization"
69
    "type": "organization"
            
70
  },
70
  },
            
71
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
71
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
72
  "private": false,
72
  "private": false,
            
73
  "relationships_as_object": [],
73
  "relationships_as_object": [],
            
74
  "relationships_as_subject": [],
74
  "relationships_as_subject": [],
            
t
75
  "resources": [],
t
75
  "resources": [
            
76
    {
            
77
      "cache_last_updated": null,
            
78
      "cache_url": null,
            
79
      "created": "2024-12-16T23:37:10",
            
80
      "data": [
            
81
        "dcterms:title",
            
82
        "dcterms:accessRights",
            
83
        "dcterms:creator",
            
84
        "dcterms:description",
            
85
        "dcterms:issued",
            
86
        "dcterms:language",
            
87
        "dcterms:identifier",
            
88
        "dcat:theme",
            
89
        "dcterms:type",
            
90
        "dcat:keyword",
            
91
        "dcat:landingPage",
            
92
        "dcterms:hasVersion",
            
93
        "dcterms:format",
            
94
        "mls:task",
            
95
        "datacite:isDescribedBy"
            
96
      ],
            
97
      "description": "The json representation of the dataset with its 
            
98
distributions based on DCAT.",
            
99
      "format": "JSON",
            
100
      "hash": "",
            
101
      "id": "a84490ba-d7d9-41ac-801b-ef268928e6bd",
            
102
      "last_modified": "2024-12-16T23:17:11.880536",
            
103
      "metadata_modified": "2024-12-16T23:17:11.891861",
            
104
      "mimetype": "application/json",
            
105
      "mimetype_inner": null,
            
106
      "name": "Original Metadata",
            
107
      "package_id": "47750fa4-7186-4206-ada2-9de9fc45f0b8",
            
108
      "position": 0,
            
109
      "resource_type": null,
            
110
      "size": 933,
            
111
      "state": "active",
            
112
      "url": 
            
113
resource/a84490ba-d7d9-41ac-801b-ef268928e6bd/download/metadata.json",
            
114
      "url_type": "upload"
            
115
    }
            
116
  ],
            
76
  "services_used_list": "",
117
  "services_used_list": "",
            
77
  "state": "active",
118
  "state": "active",
            
78
  "tags": [
119
  "tags": [
            
79
    {
120
    {
            
80
      "display_name": "kernel trick",
121
      "display_name": "kernel trick",
            
81
      "id": "7b99d3a4-7504-420f-a150-0b022c693edc",
122
      "id": "7b99d3a4-7504-420f-a150-0b022c693edc",
            
82
      "name": "kernel trick",
123
      "name": "kernel trick",
            
83
      "state": "active",
124
      "state": "active",
            
84
      "vocabulary_id": null
125
      "vocabulary_id": null
            
85
    },
126
    },
            
86
    {
127
    {
            
87
      "display_name": "signal temporal logic",
128
      "display_name": "signal temporal logic",
            
88
      "id": "8b6564ac-3d14-42fa-9341-b62eb48a9826",
129
      "id": "8b6564ac-3d14-42fa-9341-b62eb48a9826",
            
89
      "name": "signal temporal logic",
130
      "name": "signal temporal logic",
            
90
      "state": "active",
131
      "state": "active",
            
91
      "vocabulary_id": null
132
      "vocabulary_id": null
            
92
    },
133
    },
            
93
    {
134
    {
            
94
      "display_name": "stochastic processes",
135
      "display_name": "stochastic processes",
            
95
      "id": "f93326d4-cb03-403d-97fe-0d0a9ebcc8ad",
136
      "id": "f93326d4-cb03-403d-97fe-0d0a9ebcc8ad",
            
96
      "name": "stochastic processes",
137
      "name": "stochastic processes",
            
97
      "state": "active",
138
      "state": "active",
            
98
      "vocabulary_id": null
139
      "vocabulary_id": null
            
99
    }
140
    }
            
100
  ],
141
  ],
            
101
  "title": "Learning Model Checking and the Kernel Trick for Signal 
142
  "title": "Learning Model Checking and the Kernel Trick for Signal 
            
102
Temporal Logic on Stochastic Processes",
143
Temporal Logic on Stochastic Processes",
            
103
  "type": "dataset",
144
  "type": "dataset",
            
104
  "version": ""
145
  "version": ""
            
105
}
146
}