Results 1 - 20 of 4,023 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 (2,373)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book Chapter
|
|
Zero-Knowledge Arguments for Lattice-Based Accumulators: Logarithmic-Size Ring Signatures and Group Signatures Without TrapdoorsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-662-49896-5_1Digital Resources/Online E-Resources |
| 2 |
Material Type: Book Chapter
|
|
Algorithmic Statistics: Forty Years LaterComputability and Complexity. Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, 2017, Vol.10010, p.669-737 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9783319500614 ;ISBN: 3319500619 ;DOI: 10.1007/978-3-319-50062-1_41Digital Resources/Online E-Resources |
| 3 |
Material Type: Book Chapter
|
|
Current Advances, Trends and Challenges of Machine Learning and Knowledge Extraction: From Machine Learning to Explainable AILecture Notes in Computer Science, 2018, Vol.LNCS-11015, p.1-8 [Peer Reviewed Journal]Attribution ;DOI: 10.1007/978-3-319-99740-7_1Digital Resources/Online E-Resources |
| 4 |
Material Type: Book Chapter
|
|
Introduction to the Theory of Gibbs Point ProcessesStochastic Geometry, 2019, Vol.2237, p.181-229 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-13547-8_5Digital Resources/Online E-Resources |
| 5 |
Material Type: Book Chapter
|
|
A Hierarchy of Monadic Effects for Program Verification Using Equational ReasoningMathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, 2019, p.226-254 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-33636-3_9Digital Resources/Online E-Resources |
| 6 |
Material Type: Book Chapter
|
|
The Mitochondrial Pathways of ApoptosisAdvances in experimental medicine and biology, 2012, Vol.942, p.157-183 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0065-2598 ;DOI: 10.1007/978-94-007-2869-1_7Digital Resources/Online E-Resources |
| 7 |
Material Type: Book Chapter
|
|
A Decision Tree Abstract Domain for Proving Conditional TerminationDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-10936-7_19Digital Resources/Online E-Resources |
| 8 |
Material Type: Book Chapter
|
|
Notes on the geometric Satake equivalenceRelative aspects in Representation Theory, Langlands Functoriality and Automorphic Forms, 2018, Vol.2221, p.1-134 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9783319952307 ;ISBN: 3319952307 ;DOI: 10.1007/978-3-319-95231-4_1Digital Resources/Online E-Resources |
| 9 |
Material Type: Book Chapter
|
|
An overview of recent results on Nitsche's method for contact problemsLecture Notes in Computational Science and Engineering, 2017, Vol.121, p.93-141 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-71431-8_4Digital Resources/Online E-Resources |
| 10 |
Material Type: Book Chapter
|
|
Weakly Supervised Action Labeling in Videos Under Ordering ConstraintsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-10602-1_41Digital Resources/Online E-Resources |
| 11 |
Material Type: Book Chapter
|
|
Alkene Metathesis for Transformations of RenewablesOrganometallics for Green Catalysis, 2019, p.77-102 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/3418_2018_18Digital Resources/Online E-Resources |
| 12 |
Material Type: Book Chapter
|
|
Revisiting Postulates for Inconsistency MeasuresLogics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings ; ISBN: 978-3-319-11557-3, 2014, Vol.8761, p.383-396 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-11558-0_27Digital Resources/Online E-Resources |
| 13 |
Material Type: Book Chapter
|
|
Nanochemistry by Thermoplasmonic EffectsProgress in Nanophotonics 7, 2022, Vol.147, p.71-91 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-16518-4_3Digital Resources/Online E-Resources |
| 14 |
Material Type: Book Chapter
|
|
Exploiting pointer analysis in memory models for deductive verificationLecture notes in computer science, 2019, Vol.11388 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-030-11245-5_8Digital Resources/Online E-Resources |
| 15 |
Material Type: Book Chapter
|
|
Refinement Metrics for Quantitative Information FlowThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 2019, Vol.11760, p.397-416 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 3030311740 ;ISBN: 9783030311742 ;DOI: 10.1007/978-3-030-31175-9_23Digital Resources/Online E-Resources |
| 16 |
Material Type: Book Chapter
|
|
Overview of the ImageCLEF 2022: Multimedia retrieval in medical, social media and nature applicationsLecture notes in computer science, 2022, Vol.13390, p.541-564 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-031-13643-6_31Digital Resources/Online E-Resources |
| 17 |
Material Type: Book Chapter
|
|
On the use of complex GTOs for the evaluation of radial integrals involving oscillating functionsAdvances in quantum chemistry, 2023, Vol.88, p.133-149 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0065-3276 ;EISSN: 2162-8815 ;DOI: 10.1016/bs.aiq.2023.03.002Digital Resources/Online E-Resources |
| 18 |
Material Type: Book Chapter
|
|
Actively Secure 1-out-of-N OT Extension with Application to Private Set IntersectionCT-RSA 2017: Topics in Cryptology – CT-RSA 2017, 2017, Vol.10159, p.381-396 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-52153-4_22Digital Resources/Online E-Resources |
| 19 |
Material Type: Book Chapter
|
|
Dual Crosslink Hydrogels with Metal-Ligand Coordination Bonds: Tunable Dynamics and Mechanics Under Large DeformationSelf-Healing and Self-Recovering Hydrogels, 2020, p.1-20 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/12_2020_62Digital Resources/Online E-Resources |
| 20 |
Material Type: Book Chapter
|
|
Inductive Learning from State Transitions over Continuous Domains27th International Conference on Inductive Logic Programming, 2018, Vol.LNCS, volume 10759, p.124-139 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-78090-0_9Digital Resources/Online E-Resources |
Results 1 - 20 of 4,023 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 (2,373)
Refine My Results
Creation Date
- Before 1998 (18)
- 1998 To 2003 (56)
- 2004 To 2009 (305)
- 2010 To 2016 (1,915)
- After 2016 (2,041)
-
More options
Subject
- Science & Technology (3,968)
- Technology (3,233)
- Computer Science (2,956)
- Computer Science, Theory & Methods (1,811)
- Computer Science, Information Systems (1,202)
- Computer Science, Artificial Intelligence (917)
- Life Sciences & Biomedicine (796)
- Physical Sciences (731)
- Mathematics (616)
- Computer Science, Software Engineering (552)
- Computer Science, Interdisciplinary Applications (474)
- Artificial Intelligence (438)
- Engineering Sciences (435)
- Engineering (418)
- Life Sciences (410)
- Information Retrieval (348)
- Telecommunications (338)
- Mathematics, Applied (292)
- User Interface Design & Usability (242)
- Agriculture (240)
-
More options
Databases
- HAL-SHS: Archive ouverte en Sciences de l'Homme et de la Société (Open Access) (205)
- Ebook Central - Academic Complete (187)
- MEDLINE (119)
- DOAB: Directory of Open Access Books (89)
- OAPEN (51)
- SpringerLink Fully Open Access Books (39)
- ScholarVox International (33)
- Springer_OA刊 (11)
- Taylor & Francis eBooks Open Access (11)
- ProQuest Central (10)
- SWEPUB Freely available online (8)
- De Gruyter Open Access Books (6)
- HighWire Press (Free Journals) (4)
- Wageningen Academic Publishers Open Access (3)
- Recercat (2)
- Cambridge Open Access Books and Elements (2)
- JSTOR eBooks: Open Access (2)
- NORA - Norwegian Open Research Archives (1)
- Project MUSE Open Access Books (1)
-
More options
Language
- Japanese (88)
- French (3)
- Danish (1)
- Norwegian (1)
-
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 | ||