Changes
On December 16, 2024 at 11:32:12 PM UTC, admin:
-
Changed value of field
doi_status
toTrue
in Generating Shortest Synchronizing Sequences using ASP -
Changed value of field
doi_date_published
to2024-12-16
in Generating Shortest Synchronizing Sequences using ASP -
Added resource Original Metadata to Generating Shortest Synchronizing Sequences using ASP
f | 1 | { | f | 1 | { |
2 | "access_rights": "", | 2 | "access_rights": "", | ||
3 | "author": "Canan G\u00a8uni\u00b8cen", | 3 | "author": "Canan G\u00a8uni\u00b8cen", | ||
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.1312.6146", | 7 | "defined_in": "https://doi.org/10.48550/arXiv.1312.6146", | ||
8 | "doi": "10.57702/sn0gsdsz", | 8 | "doi": "10.57702/sn0gsdsz", | ||
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": "Esra Erdem", | 15 | "extra_author": "Esra Erdem", | ||
16 | "orcid": "" | 16 | "orcid": "" | ||
17 | }, | 17 | }, | ||
18 | { | 18 | { | ||
19 | "extra_author": "H\u00a8usn\u00a8u Yenig\u00a8un", | 19 | "extra_author": "H\u00a8usn\u00a8u Yenig\u00a8un", | ||
20 | "orcid": "" | 20 | "orcid": "" | ||
21 | } | 21 | } | ||
22 | ], | 22 | ], | ||
23 | "groups": [ | 23 | "groups": [ | ||
24 | { | 24 | { | ||
25 | "description": "", | 25 | "description": "", | ||
26 | "display_name": "Question Answering", | 26 | "display_name": "Question Answering", | ||
27 | "id": "01e9bd6b-910d-421d-bb31-799604023211", | 27 | "id": "01e9bd6b-910d-421d-bb31-799604023211", | ||
28 | "image_display_url": "", | 28 | "image_display_url": "", | ||
29 | "name": "question-answering", | 29 | "name": "question-answering", | ||
30 | "title": "Question Answering" | 30 | "title": "Question Answering" | ||
31 | } | 31 | } | ||
32 | ], | 32 | ], | ||
33 | "id": "ac73b735-d16d-4997-8a00-421145818304", | 33 | "id": "ac73b735-d16d-4997-8a00-421145818304", | ||
34 | "isopen": false, | 34 | "isopen": false, | ||
35 | "landing_page": "https://arxiv.org/abs/2303.12345", | 35 | "landing_page": "https://arxiv.org/abs/2303.12345", | ||
36 | "license_title": null, | 36 | "license_title": null, | ||
37 | "link_orkg": "", | 37 | "link_orkg": "", | ||
38 | "metadata_created": "2024-12-16T23:32:11.290783", | 38 | "metadata_created": "2024-12-16T23:32:11.290783", | ||
n | 39 | "metadata_modified": "2024-12-16T23:32:11.290789", | n | 39 | "metadata_modified": "2024-12-16T23:32:11.858328", |
40 | "name": "generating-shortest-synchronizing-sequences-using-asp", | 40 | "name": "generating-shortest-synchronizing-sequences-using-asp", | ||
41 | "notes": "The problem of finding a shortest synchronizing sequence | 41 | "notes": "The problem of finding a shortest synchronizing sequence | ||
42 | for a finite state automaton (FA) is formulated in Answer Set | 42 | for a finite state automaton (FA) is formulated in Answer Set | ||
43 | Programming (ASP). Four different ASP formulations are given. Also an | 43 | Programming (ASP). Four different ASP formulations are given. Also an | ||
44 | extension of the SAT formulation of the same problem given in [16] is | 44 | extension of the SAT formulation of the same problem given in [16] is | ||
45 | suggested.", | 45 | suggested.", | ||
n | 46 | "num_resources": 0, | n | 46 | "num_resources": 1, |
47 | "num_tags": 5, | 47 | "num_tags": 5, | ||
48 | "organization": { | 48 | "organization": { | ||
49 | "approval_status": "approved", | 49 | "approval_status": "approved", | ||
50 | "created": "2024-11-25T12:11:38.292601", | 50 | "created": "2024-11-25T12:11:38.292601", | ||
51 | "description": "", | 51 | "description": "", | ||
52 | "id": "079d46db-32df-4b48-91f3-0a8bc8f69559", | 52 | "id": "079d46db-32df-4b48-91f3-0a8bc8f69559", | ||
53 | "image_url": "", | 53 | "image_url": "", | ||
54 | "is_organization": true, | 54 | "is_organization": true, | ||
55 | "name": "no-organization", | 55 | "name": "no-organization", | ||
56 | "state": "active", | 56 | "state": "active", | ||
57 | "title": "No Organization", | 57 | "title": "No Organization", | ||
58 | "type": "organization" | 58 | "type": "organization" | ||
59 | }, | 59 | }, | ||
60 | "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559", | 60 | "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559", | ||
61 | "private": false, | 61 | "private": false, | ||
62 | "relationships_as_object": [], | 62 | "relationships_as_object": [], | ||
63 | "relationships_as_subject": [], | 63 | "relationships_as_subject": [], | ||
t | 64 | "resources": [], | t | 64 | "resources": [ |
65 | { | ||||
66 | "cache_last_updated": null, | ||||
67 | "cache_url": null, | ||||
68 | "created": "2024-12-16T23:37:11", | ||||
69 | "data": [ | ||||
70 | "dcterms:title", | ||||
71 | "dcterms:accessRights", | ||||
72 | "dcterms:creator", | ||||
73 | "dcterms:description", | ||||
74 | "dcterms:issued", | ||||
75 | "dcterms:language", | ||||
76 | "dcterms:identifier", | ||||
77 | "dcat:theme", | ||||
78 | "dcterms:type", | ||||
79 | "dcat:keyword", | ||||
80 | "dcat:landingPage", | ||||
81 | "dcterms:hasVersion", | ||||
82 | "dcterms:format", | ||||
83 | "mls:task", | ||||
84 | "datacite:isDescribedBy" | ||||
85 | ], | ||||
86 | "description": "The json representation of the dataset with its | ||||
87 | distributions based on DCAT.", | ||||
88 | "format": "JSON", | ||||
89 | "hash": "", | ||||
90 | "id": "1356922d-48c5-4969-b1db-a1eb492d81da", | ||||
91 | "last_modified": "2024-12-16T23:32:11.850473", | ||||
92 | "metadata_modified": "2024-12-16T23:32:11.861220", | ||||
93 | "mimetype": "application/json", | ||||
94 | "mimetype_inner": null, | ||||
95 | "name": "Original Metadata", | ||||
96 | "package_id": "ac73b735-d16d-4997-8a00-421145818304", | ||||
97 | "position": 0, | ||||
98 | "resource_type": null, | ||||
99 | "size": 986, | ||||
100 | "state": "active", | ||||
101 | "url": | ||||
102 | resource/1356922d-48c5-4969-b1db-a1eb492d81da/download/metadata.json", | ||||
103 | "url_type": "upload" | ||||
104 | } | ||||
105 | ], | ||||
65 | "services_used_list": "", | 106 | "services_used_list": "", | ||
66 | "state": "active", | 107 | "state": "active", | ||
67 | "tags": [ | 108 | "tags": [ | ||
68 | { | 109 | { | ||
69 | "display_name": "finite state automaton", | 110 | "display_name": "finite state automaton", | ||
70 | "id": "b822434c-0bdf-4eae-910d-3cc01ed4f82e", | 111 | "id": "b822434c-0bdf-4eae-910d-3cc01ed4f82e", | ||
71 | "name": "finite state automaton", | 112 | "name": "finite state automaton", | ||
72 | "state": "active", | 113 | "state": "active", | ||
73 | "vocabulary_id": null | 114 | "vocabulary_id": null | ||
74 | }, | 115 | }, | ||
75 | { | 116 | { | ||
76 | "display_name": "question answering", | 117 | "display_name": "question answering", | ||
77 | "id": "d4e35d0b-ca07-4d05-bb27-50b2f30f2f00", | 118 | "id": "d4e35d0b-ca07-4d05-bb27-50b2f30f2f00", | ||
78 | "name": "question answering", | 119 | "name": "question answering", | ||
79 | "state": "active", | 120 | "state": "active", | ||
80 | "vocabulary_id": null | 121 | "vocabulary_id": null | ||
81 | }, | 122 | }, | ||
82 | { | 123 | { | ||
83 | "display_name": "single entity", | 124 | "display_name": "single entity", | ||
84 | "id": "96a6dc93-4c5c-41bd-a3de-4c6eb347e168", | 125 | "id": "96a6dc93-4c5c-41bd-a3de-4c6eb347e168", | ||
85 | "name": "single entity", | 126 | "name": "single entity", | ||
86 | "state": "active", | 127 | "state": "active", | ||
87 | "vocabulary_id": null | 128 | "vocabulary_id": null | ||
88 | }, | 129 | }, | ||
89 | { | 130 | { | ||
90 | "display_name": "single relation", | 131 | "display_name": "single relation", | ||
91 | "id": "f4b0bddd-8fab-44fb-8f93-1a8aea1a23ab", | 132 | "id": "f4b0bddd-8fab-44fb-8f93-1a8aea1a23ab", | ||
92 | "name": "single relation", | 133 | "name": "single relation", | ||
93 | "state": "active", | 134 | "state": "active", | ||
94 | "vocabulary_id": null | 135 | "vocabulary_id": null | ||
95 | }, | 136 | }, | ||
96 | { | 137 | { | ||
97 | "display_name": "synchronizing sequence", | 138 | "display_name": "synchronizing sequence", | ||
98 | "id": "7c7296cb-767d-48d4-b742-c38ee3546f35", | 139 | "id": "7c7296cb-767d-48d4-b742-c38ee3546f35", | ||
99 | "name": "synchronizing sequence", | 140 | "name": "synchronizing sequence", | ||
100 | "state": "active", | 141 | "state": "active", | ||
101 | "vocabulary_id": null | 142 | "vocabulary_id": null | ||
102 | } | 143 | } | ||
103 | ], | 144 | ], | ||
104 | "title": "Generating Shortest Synchronizing Sequences using ASP", | 145 | "title": "Generating Shortest Synchronizing Sequences using ASP", | ||
105 | "type": "dataset", | 146 | "type": "dataset", | ||
106 | "version": "" | 147 | "version": "" | ||
107 | } | 148 | } |