Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Bài báo
|
Optimal controller synthesis for timed systemsLogical methods in computer science, 2023-03, Vol.19, Issue 1 [Tạp chí có phản biện]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-19(1:20)2023Tài liệu số/Tài liệu điện tử |
|
2 |
Material Type: Bài báo
|
Fair in the Eyes of OthersThe Journal of artificial intelligence research, 2022-11, Vol.75, p.913-951 [Tạp chí có phản biện]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1076-9757 ;EISSN: 1943-5037 ;DOI: 10.1613/jair.1.13778Tài liệu số/Tài liệu điện tử |
|
3 |
Material Type: Bài báo
|
Tameness and the power of programs over monoids in DALogical methods in computer science, 2022-08, Vol.18, Issue 3 (3) [Tạp chí có phản biện]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-18(3:14)2022Tài liệu số/Tài liệu điện tử |
|
4 |
Material Type: Bài báo
|
Hyperspectral Anomaly Detection Based on Regularized Tensor DecompositionRemote sensing (Basel, Switzerland), 2023, Vol.15 (6) [Tạp chí có phản biện]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 2072-4292 ;EISSN: 2072-4292 ;DOI: 10.3390/rs15061679Tài liệu số/Tài liệu điện tử |
|
5 |
Material Type: Bài báo
|
Wireless Communications Through Reconfigurable Intelligent SurfacesIEEE access, 2019-01, Vol.7, p.116753-116773 [Tạp chí có phản biện]Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2019 ;Attribution ;ISSN: 2169-3536 ;EISSN: 2169-3536 ;DOI: 10.1109/ACCESS.2019.2935192 ;CODEN: IAECCGTài liệu số/Tài liệu điện tử |
|
6 |
Material Type: Bài báo
|
Survey of Low-Resource Machine TranslationComputational linguistics - Association for Computational Linguistics, 2022-09, Vol.48 (3), p.673-732 [Tạp chí có phản biện]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0891-2017 ;EISSN: 1530-9312 ;DOI: 10.1162/coli_a_00446Tài liệu số/Tài liệu điện tử |
|
7 |
Material Type: Bài báo
|
Controlling a random populationLogical methods in computer science, 2021-01, Vol.17, Issue 4 (4), p.119-135 [Tạp chí có phản biện]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1860-5974 ;EISSN: 1860-5974 ;DOI: 10.46298/lmcs-17(4:12)2021Tài liệu số/Tài liệu điện tử |
|
8 |
Material Type: Bài báo
|
Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communicationsEURASIP journal on wireless communications and networking, 2022-12, Vol.2022 (1) [Tạp chí có phản biện]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1687-1472 ;EISSN: 1687-1499 ;DOI: 10.1186/s13638-022-02204-5Tài liệu số/Tài liệu điện tử |
|
9 |
Material Type: Bài báo
|
Open data from the first and second observing runs of Advanced LIGO and Advanced VirgoSoftwareX, 2021-01, Vol.13, p.100658, Article 100658 [Tạp chí có phản biện]2021 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 2352-7110 ;EISSN: 2352-7110 ;DOI: 10.1016/j.softx.2021.100658Tài liệu số/Tài liệu điện tử |
|
10 |
Material Type: Bài báo
|
BioTransformer: a comprehensive computational tool for small molecule metabolism prediction and metabolite identificationJournal of cheminformatics, 2019-01, Vol.11 (1), p.2-25, Article 2 [Tạp chí có phản biện]The Author(s) 2019 ;COPYRIGHT 2019 BioMed Central Ltd. ;Journal of Cheminformatics is a copyright of Springer, (2019). All Rights Reserved. © 2019. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;Attribution ;ISSN: 1758-2946 ;EISSN: 1758-2946 ;DOI: 10.1186/s13321-018-0324-5 ;PMID: 30612223Tài liệu số/Tài liệu điện tử |