Results 1 - 20 of 610,207 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Peer-reviewed Journals (356)
Refined by:
Journal Title:
Arxiv
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
RoBERTa: A Robustly Optimized BERT Pretraining ApproacharXiv.org, 2019-07 [Peer Reviewed Journal]2019. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.1907.11692Full text available |
| 2 |
Material Type: Article
|
|
On the radiation reaction forceAtti della Accademia peloritana dei pericolanti. Classe I di scienze fis., mat. e naturali, 2023-01, Vol.101 (1), p.A1 [Peer Reviewed Journal]ISSN: 0365-0359 ;EISSN: 1825-1242 ;DOI: 10.1478/AAPP.1011A1Full text available |
| 3 |
Material Type: Article
|
|
Only Classical Parameterised States have Optimal Measurements under Least Squares Losshttp://creativecommons.org/licenses/by/4.0 ;DOI: 10.48550/arxiv.2205.14142Digital Resources/Online E-Resources |
| 4 |
Material Type: Article
|
|
Modalities in homotopy type theoryLogical methods in computer science, 2020-01, Vol.16, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(1:2)2020Full text available |
| 5 |
Material Type: Article
|
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyarXiv.org, 2022-08 [Peer Reviewed Journal]2022. 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. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2109.15295Full text available |
| 6 |
Material Type: Article
|
|
Shrub-depth: Capturing Height of Dense GraphsLogical methods in computer science, 2019, Vol.15 (1) [Peer Reviewed Journal]Attribution ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-15(1:7)2019Full text available |
| 7 |
Material Type: Article
|
|
Robustness Against Transactional Causal ConsistencyLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:12)2021Full text available |
| 8 |
Material Type: Article
|
|
The Arf-Kervaire invariant of framed manifolds as an obstruction to embeddabilityAtti della Accademia peloritana dei pericolanti. Classe I di scienze fis., mat. e naturali, 2022-01, Vol.100 (2), p.A10 [Peer Reviewed Journal]ISSN: 0365-0359 ;EISSN: 1825-1242 ;DOI: 10.1478/AAPP.1002A10Full text available |
| 9 |
Material Type: Article
|
|
Universal construction of genuinely entangled subspaces of any sizearXiv.org, 2022-11 [Peer Reviewed Journal]2022. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2111.10193Full text available |
| 10 |
Material Type: Article
|
|
Theories of real addition with and without a predicate for integersLogical methods in computer science, 2021-05, Vol.17, Issue 2 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(2:18)2021Full text available |
| 11 |
Material Type: Article
|
|
PROBABILISTIC LOGICS BASED ON RIESZ SPACESLogical methods in computer science, 2020, Vol.16 [Peer Reviewed Journal]Attribution ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(1:6)2020Full text available |
| 12 |
Material Type: Article
|
|
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)arXiv.org, 2022-08 [Peer Reviewed Journal]2022. 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. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2208.13428Full text available |
| 13 |
Material Type: Article
|
|
On the logical complexity of cyclic arithmeticLogical methods in computer science, 2020-01, Vol.16, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(1:1)2020Full text available |
| 14 |
Material Type: Article
|
|
Interface Modeling for Quality and Resource ManagementLogical methods in computer science, 2021-05, Vol.17, Issue 2 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(2:19)2021Full text available |
| 15 |
Material Type: Article
|
|
Consistency of circuit lower bounds with bounded theoriesLogical methods in computer science, 2020-01, Vol.16, Issue 2 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(2:12)2020Full text available |
| 16 |
Material Type: Article
|
|
On the Preciseness of Subtyping in Session TypesLogical methods in computer science, 2017-01, Vol.13, Issue 2 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-13(2:12)2017Full text available |
| 17 |
Material Type: Article
|
|
On the Strong Equivalences for LPMLN ProgramsLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:4)2021Full text available |
| 18 |
Material Type: Article
|
|
Reasoning about Strategies: on the Satisfiability ProblemLogical methods in computer science, 2017-03, Vol.13, Issue 1 [Peer Reviewed Journal]EISSN: 1860-5974 ;DOI: 10.23638/LMCS-13(1:9)2017Full text available |
| 19 |
Material Type: Article
|
|
Axiomatizing Maximal Progress and Discrete TimeLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:1)2021Full text available |
| 20 |
Material Type: Article
|
|
Neural Network Approach to the Simulation of Entangled States with One Bit of CommunicationarXiv.org, 2023-09 [Peer Reviewed Journal]2023. 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. ;http://creativecommons.org/licenses/by/4.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.2305.19935Full text available |
Results 1 - 20 of 610,207 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Peer-reviewed Journals (356)
Refine My Results
Creation Date
- Before 2000 (13)
- 2000 To 2005 (54)
- 2006 To 2011 (34,303)
- 2012 To 2018 (207,270)
- After 2018 (368,568)
-
More options
New Records
Resource Type
- Articles (610,200)
- Reviews (7)
-
More options
Subject
- Algorithms (89,527)
- Computer Science - Learning (78,982)
- Computer Science - Computer Vision And Pattern Recognition (59,490)
- Mathematical Analysis (49,338)
- Machine Learning (46,722)
- Optimization (41,428)
- Computer Science - Artificial Intelligence (35,270)
- Neural Networks (31,360)
- Statistics - Machine Learning (29,993)
- Computer Simulation (29,182)
- Computer Science - Computation And Language (27,867)
- Mathematics - Combinatorics (26,474)
- Mathematics - Analysis Of Pdes (24,840)
- Polynomials (24,143)
- Mathematical Models (23,578)
- Mathematics - Optimization And Control (22,851)
- Mathematics - Probability (22,471)
- Mathematics - Information Theory (22,302)
- Computer Science - Information Theory (22,302)
- Datasets (21,415)
-
More options
Databases
- ROAD: Directory of Open Access Scholarly Resources (609,631)
- arXiv.org (609,622)
- ProQuest Central (609,168)
- Free E- Journals (609,132)
- Coronavirus Research Database (3,796)
- DOAJ Directory of Open Access Journals (530)
- Hyper Article en Ligne (HAL) (Open Access) (55)
- SWEPUB Freely available online (12)
- NCBI_PubMed Central（免费） (6)
- American Association for Artificial Intelligence publications (6)
- EDP Open (5)
- ProQuest One Psychology (4)
- IAMCR Open Access Journals (4)
- Geneva Foundation Free Medical Journals at publisher websites (4)
- IOP_英国物理学会OA刊 (3)
- NORA - Norwegian Open Research Archives (3)
- Springer_OA刊 (3)
- Project Euclid Open Access (3)
- Walter De Gruyter: Open Access Journals (3)
- MEDLINE (2)
-
More options
Journal Title
- Acta Astronomica (24)
- arXiv.org (609,124)
- Discrete Mathematics And Theoretical Computer Science (14)
- Electronic Proceedings In Theoretical Computer Science (285)
- Electronic Proceedings In Theoretical Computer Science, Eptcs (205)
- Journal Of The Korean Astronomical Society (19)
- Logical Methods In Computer Science (148)
- Quantum (15)
- 천문학회지 (19)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||