skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 488,775  for All Library Resources

Sorted by: Sorted by: AuthorOr hit Enter to replace sort method
Results 1 2 3 4 5 next page
Refined by: subject: Computer Science, Theory & Methods remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Propositional temporal interval logic is PSPACE complete
Propositional temporal interval logic is PSPACE complete
Material Type:
Book Chapter 		Add to My Research

Propositional temporal interval logic is PSPACE complete

9th International Conference on Automated Deduction, 1988, p.218-237 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 1988 ;ISSN: 0302-9743 ;ISBN: 354019343X ;ISBN: 9783540193432 ;EISSN: 1611-3349 ;EISBN: 3540392165 ;EISBN: 9783540392163 ;DOI: 10.1007/BFb0012834

Full text available

Citations Cited by
2
Exploring Multilingual Word Embedding Alignments in BERT Models: A Case Study of English and Norwegian
Exploring Multilingual Word Embedding Alignments in BERT Models: A Case Study of English and Norwegian
Material Type:
Book Chapter 		Add to My Research

Exploring Multilingual Word Embedding Alignments in BERT Models: A Case Study of English and Norwegian

Artificial Intelligence XL, p.47-58 [Peer Reviewed Journal]

The Author(s), under exclusive license to Springer Nature Switzerland AG 2023 ;ISSN: 0302-9743 ;ISBN: 9783031479939 ;ISBN: 3031479939 ;EISSN: 1611-3349 ;EISBN: 3031479947 ;EISBN: 9783031479946 ;DOI: 10.1007/978-3-031-47994-6_4

Digital Resources/Online E-Resources

Citations Cited by
3
Large scale performance analysis of distributed deep learning frameworks for convolutional neural networks
Large scale performance analysis of distributed deep learning frameworks for convolutional neural networks
Material Type:
Article 		Add to My Research

Large scale performance analysis of distributed deep learning frameworks for convolutional neural networks

Journal of big data, 2023-12, Vol.10 (1), p.1-23, Article 96 [Peer Reviewed Journal]

The Author(s) 2023 ;ISSN: 2196-1115 ;EISSN: 2196-1115 ;DOI: 10.1186/s40537-023-00765-w

Full text available

Citations Cited by
4
Scalable Centroid Based Fuzzy Min-Max Neural Network Ensemble Classifier Using MapReduce
Scalable Centroid Based Fuzzy Min-Max Neural Network Ensemble Classifier Using MapReduce
Material Type:
Book Chapter 		Add to My Research

Scalable Centroid Based Fuzzy Min-Max Neural Network Ensemble Classifier Using MapReduce

Pattern Recognition and Machine Intelligence, p.597-607 [Peer Reviewed Journal]

The Author(s), under exclusive license to Springer Nature Switzerland AG 2023 ;ISSN: 0302-9743 ;ISBN: 9783031451690 ;ISBN: 3031451694 ;EISSN: 1611-3349 ;EISBN: 9783031451706 ;EISBN: 3031451708 ;DOI: 10.1007/978-3-031-45170-6_62

Digital Resources/Online E-Resources

Citations Cited by
5
Efficient Computation of the Shapley Value for Centrality in Networks
Efficient Computation of the Shapley Value for Centrality in Networks
Material Type:
Conference Proceeding 		Add to My Research

Efficient Computation of the Shapley Value for Centrality in Networks

Internet and Network Economics, p.1-13 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 3642175716 ;ISBN: 9783642175718 ;EISSN: 1611-3349 ;EISBN: 3642175724 ;EISBN: 9783642175725 ;DOI: 10.1007/978-3-642-17572-5_1

Digital Resources/Online E-Resources

Citations Cited by
6
Empirical autopsy of deep video captioning encoder-decoder architecture
Empirical autopsy of deep video captioning encoder-decoder architecture
Material Type:
Article 		Add to My Research

Empirical autopsy of deep video captioning encoder-decoder architecture

Array (New York), 2021-03, Vol.9, p.100052, Article 100052 [Peer Reviewed Journal]

2020 The Author(s) ;ISSN: 2590-0056 ;EISSN: 2590-0056 ;DOI: 10.1016/j.array.2020.100052

Full text available

Citations Cited by
7
Automatic Compound Figure Separation in Scientific Articles: A Study of Edge Map and Its Role for Stitched Panel Boundary Detection
Automatic Compound Figure Separation in Scientific Articles: A Study of Edge Map and Its Role for Stitched Panel Boundary Detection
Material Type:
Conference Proceeding 		Add to My Research

Automatic Compound Figure Separation in Scientific Articles: A Study of Edge Map and Its Role for Stitched Panel Boundary Detection

Recent Trends in Image Processing and Pattern Recognition, p.319-332 [Peer Reviewed Journal]

Springer Nature Singapore Pte Ltd. 2017 ;ISSN: 1865-0929 ;ISBN: 9811048584 ;ISBN: 9789811048586 ;EISSN: 1865-0937 ;EISBN: 9811048592 ;EISBN: 9789811048593 ;DOI: 10.1007/978-981-10-4859-3_29

Digital Resources/Online E-Resources

Citations Cited by
8
DroidAPIMiner: Mining API-Level Features for Robust Malware Detection in Android
DroidAPIMiner: Mining API-Level Features for Robust Malware Detection in Android
Material Type:
Conference Proceeding 		Add to My Research

DroidAPIMiner: Mining API-Level Features for Robust Malware Detection in Android

Security and Privacy in Communication Networks, p.86-103

ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2013 ;ISSN: 1867-8211 ;ISBN: 9783319042824 ;ISBN: 3319042823 ;EISSN: 1867-822X ;EISBN: 9783319042831 ;EISBN: 3319042831 ;DOI: 10.1007/978-3-319-04283-1_6

Digital Resources/Online E-Resources

Citations Cited by
9
Context-Free Session Types for Applied Pi-Calculus
Context-Free Session Types for Applied Pi-Calculus
Material Type:
Conference Proceeding 		Add to My Research

Context-Free Session Types for Applied Pi-Calculus

Electronic proceedings in theoretical computer science, 2018, Vol.276 (Proc. EXPRESS/SOS 2018), p.3-18

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.276.3

Full text available

Citations Cited by
10
A Hazards-Based Correctness Statement for Pipelined Circuits
A Hazards-Based Correctness Statement for Pipelined Circuits
Material Type:
Book Chapter 		Add to My Research

A Hazards-Based Correctness Statement for Pipelined Circuits

Correct Hardware Design and Verification Methods, 2003, p.66-80 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2003 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540203636 ;ISBN: 354020363X ;EISSN: 1611-3349 ;EISBN: 9783540397243 ;EISBN: 3540397248 ;DOI: 10.1007/978-3-540-39724-3_8

Full text available

Citations Cited by
11
Combining Equivalence Verification and Completion Functions
Combining Equivalence Verification and Completion Functions
Material Type:
Conference Proceeding 		Add to My Research

Combining Equivalence Verification and Completion Functions

Formal Methods in Computer-Aided Design, 2004, p.98-112 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540237380 ;ISBN: 9783540237389 ;EISSN: 1611-3349 ;EISBN: 3540304940 ;EISBN: 9783540304944 ;DOI: 10.1007/978-3-540-30494-4_8

Full text available

Citations Cited by
12
Synchronization-at-Retirement for Pipeline Verification
Synchronization-at-Retirement for Pipeline Verification
Material Type:
Conference Proceeding 		Add to My Research

Synchronization-at-Retirement for Pipeline Verification

Formal Methods in Computer-Aided Design, 2004, p.113-127 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540237380 ;ISBN: 9783540237389 ;EISSN: 1611-3349 ;EISBN: 3540304940 ;EISBN: 9783540304944 ;DOI: 10.1007/978-3-540-30494-4_9

Full text available

Citations Cited by
13
A methodology for large-scale hardware verification
A methodology for large-scale hardware verification
Material Type:
Conference Proceeding 		Add to My Research

A methodology for large-scale hardware verification

Lecture notes in computer science, 2000, p.263-282 [Peer Reviewed Journal]

2001 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540412199 ;ISBN: 3540412190 ;EISSN: 1611-3349

Full text available

Citations Cited by
14
A methodology for efficient hardware verification
A methodology for efficient hardware verification
Material Type:
Article 		Add to My Research

A methodology for efficient hardware verification

Formal methods in system design, 1994-07, Vol.5 (1-2), p.95-117 [Peer Reviewed Journal]

ISSN: 0925-9856 ;EISSN: 1572-8102 ;DOI: 10.1007/BF01384235

Full text available

Citations Cited by
15
Cryptoschemes Based on New Signature Formation Mechanism
Cryptoschemes Based on New Signature Formation Mechanism
Material Type:
Article 		Add to My Research

Cryptoschemes Based on New Signature Formation Mechanism

Computer science journal of Moldova, 2006-12, Vol.14 (3(42)), p.397-411 [Peer Reviewed Journal]

ISSN: 1561-4042

Full text available

Citations Cited by
16
Real-Time Modelling and Processing for Communication Systems: Applications and Practices
Real-Time Modelling and Processing for Communication Systems: Applications and Practices
Material Type:
Book 		Add to My Research

Real-Time Modelling and Processing for Communication Systems: Applications and Practices

Springer International Publishing AG 2018 ;ISSN: 2367-3370 ;ISBN: 331972214X ;ISBN: 9783319722146 ;EISSN: 2367-3389 ;EISBN: 3319722158 ;EISBN: 9783319722153 ;DOI: 10.1007/978-3-319-72215-3 ;OCLC: 1018251361

Digital Resources/Online E-Resources

Citations Cited by
17
Comparative Feature-Ranking Performance of Machine Learning: Model Classifiers in Skin Segmentation and Classification
Comparative Feature-Ranking Performance of Machine Learning: Model Classifiers in Skin Segmentation and Classification
Material Type:
Book Chapter 		Add to My Research

Comparative Feature-Ranking Performance of Machine Learning: Model Classifiers in Skin Segmentation and Classification

Advances in Computer Vision, 2019, Vol.944, p.592-607

Springer Nature Switzerland AG 2020 ;ISSN: 2194-5357 ;ISBN: 9783030177973 ;ISBN: 3030177971 ;EISSN: 2194-5365 ;EISBN: 303017798X ;EISBN: 9783030177980 ;DOI: 10.1007/978-3-030-17798-0_48 ;OCLC: 1099350856 ;LCCallNum: Q342

Digital Resources/Online E-Resources

Citations Cited by
18
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Material Type:
Book Chapter 		Add to My Research

Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving

Lecture notes in computer science, 1999, Vol.1690, p.323-340 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 1999 ;2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540664635 ;ISBN: 3540664637 ;EISSN: 1611-3349 ;EISBN: 9783540482567 ;EISBN: 3540482563 ;DOI: 10.1007/3-540-48256-3_22 ;OCLC: 619662655 ;LCCallNum: QA1-939

Full text available

Citations Cited by
19
Linking Context to Data Warehouse Design
Linking Context to Data Warehouse Design
Material Type:
Article 		Add to My Research

Linking Context to Data Warehouse Design

International journal of advanced computer science & applications, 2019, Vol.10 (1)

2019. This work is licensed under https://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. ;ISSN: 2158-107X ;EISSN: 2156-5570 ;DOI: 10.14569/IJACSA.2019.0100102

Full text available

Citations Cited by
20
Scalable Network Monitoring in High Speed Networks
Scalable Network Monitoring in High Speed Networks
Material Type:
Book 		Add to My Research

Scalable Network Monitoring in High Speed Networks

Springer Science+Business Media, LLC 2011 ;ISBN: 1461401186 ;ISBN: 9781461401186 ;EISBN: 1461401194 ;EISBN: 9781461401193 ;DOI: 10.1007/978-1-4614-0119-3 ;OCLC: 745003887

Digital Resources/Online E-Resources

Citations Cited by

Results 1 - 20 of 488,775  for All Library Resources

Sorted by: Sorted by: AuthorOr hit Enter to replace sort method
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Creation Date 

From To
Refine
  1. Before 1969  (638)
  2. 1969 To 1982  (2,996)
  3. 1983 To 1996  (22,945)
  4. 1997 To 2011  (212,445)
  5. After 2011  (261,566)
  6. More options open sub menu

Resource Type 

  1. Conference Proceedings  (234,187)
  2. Articles  (135,127)
  3. Book Chapters  (117,851)
  4. Books  (1,467)
  5. magazinearticle  (131)
  6. Reviews  (9)
  7. Web Resources  (2)
  8. Other  (1)
  9. More options open sub menu

Language 

  1. English  (488,487)
  2. Japanese  (14,633)
  3. Portuguese  (661)
  4. Ndongo  (412)
  5. Spanish  (246)
  6. German  (187)
  7. Norwegian  (111)
  8. Russian  (88)
  9. French  (26)
  10. Swedish  (6)
  11. Welsh  (5)
  12. Polish  (4)
  13. Danish  (2)
  14. Chinese  (2)
  15. Italian  (1)
  16. Slovenian  (1)
  17. More options open sub menu
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait