Results 1 - 20 of 8,578 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Neuronal Spectral Analysis of EEG and Expert Knowledge Integration for Automatic Classification of Sleep StagesWSEAS Transactions on Information Science and Applications, 2005-11, Vol.2 (11), p.1854-1861Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1790-0832 ;EISSN: 2224-3402 ;DOI: 10.48550/arxiv.cs/0510083Digital Resources/Online E-Resources |
| 2 |
Material Type: Article
|
|
Rule-based Knowledge Representation for Service Level AgreementDOI: 10.48550/arxiv.cs/0609120Digital Resources/Online E-Resources |
| 3 |
Material Type: Article
|
|
Knowledge Representation Concepts for Automated SLA ManagementDOI: 10.48550/arxiv.cs/0611122Digital Resources/Online E-Resources |
| 4 |
Material Type: Article
|
|
ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update LogicsDOI: 10.48550/arxiv.cs/0610167Digital Resources/Online E-Resources |
| 5 |
Material Type: Article
|
|
|
| 6 |
Material Type: Article
|
|
A Constructive Semantic Characterization of Aggregates in ASPDOI: 10.48550/arxiv.cs/0601051Digital Resources/Online E-Resources |
| 7 |
Material Type: Article
|
|
Predicate Abstraction via Symbolic Decision ProceduresDOI: 10.48550/arxiv.cs/0612003Digital Resources/Online E-Resources |
| 8 |
Material Type: Article
|
|
Analysing viewpoints in design through the argumentation processDOI: 10.48550/arxiv.cs/0612020Digital Resources/Online E-Resources |
| 9 |
Material Type: Article
|
|
A Fixed-Parameter Algorithm for #SAT with Parameter Incidence TreewidthDOI: 10.48550/arxiv.cs/0610174Digital Resources/Online E-Resources |
| 10 |
Material Type: Article
|
|
Safety Evaluation of Critical Applications Distributed on TDMA-Based NetworksDOI: 10.48550/arxiv.cs/0611078Digital Resources/Online E-Resources |
| 11 |
Material Type: Article
|
|
Semantic results for ontic and epistemic changeDOI: 10.48550/arxiv.cs/0610093Digital Resources/Online E-Resources |
| 12 |
Material Type: Article
|
|
|
| 13 |
Material Type: Article
|
|
Developing strategies to produce better scientific papers: a Recipe for non-native users of EnglishDOI: 10.48550/arxiv.cs/0611013Digital Resources/Online E-Resources |
| 14 |
Material Type: Article
|
|
Positional Determinacy of Games with Infinitely Many PrioritiesDOI: 10.48550/arxiv.cs/0610035Digital Resources/Online E-Resources |
| 15 |
Material Type: Article
|
|
Postinal Determinacy of Games with Infinitely Many PrioritiesDOI: 10.48550/arxiv.cs/0610034Digital Resources/Online E-Resources |
| 16 |
Material Type: Article
|
|
ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming LanguageDOI: 10.48550/arxiv.cs/0609143Digital Resources/Online E-Resources |
| 17 |
Material Type: Article
|
|
A Richer Understanding of the Complexity of Election SystemsDOI: 10.48550/arxiv.cs/0609112Digital Resources/Online E-Resources |
| 18 |
Material Type: Article
|
|
On Verifying Complex Properties using Symbolic Shape AnalysisDOI: 10.48550/arxiv.cs/0609104Digital Resources/Online E-Resources |
| 19 |
Material Type: Article
|
|
Domain Wall Displacement Detection Technology Research ReportDOI: 10.48550/arxiv.cs/0610005Digital Resources/Online E-Resources |
| 20 |
Material Type: Article
|
|
How Hard Is Bribery in Elections?http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;DOI: 10.48550/arxiv.cs/0608081Digital Resources/Online E-Resources |
Results 1 - 20 of 8,578 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
Refine My Results
Creation Date
- Before 1992 (5)
- 1992 To 1994 (259)
- 1995 To 1997 (679)
- 1998 To 2001 (1,780)
- After 2001 (5,856)
-
More options
Resource Type
- Articles (8,577)
- Reviews (1)
-
More options
Subject
- Computer Science - Computation And Language (1,434)
- Computer Science - Artificial Intelligence (1,091)
- Mathematics - Information Theory (992)
- Computer Science - Information Theory (992)
- Computer Science - Computational Complexity (777)
- Computer Science - Logic In Computer Science (713)
- Computer Science - Data Structures And Algorithms (606)
- Computer Science - Networking And Internet Architecture (520)
- Computer Science - Distributed, Parallel, And Cluster Computing (513)
- Computer Science - Discrete Mathematics (466)
- Computer Science - Cryptography And Security (436)
- Physics - Quantum Physics (384)
- Computer Science - Programming Languages (370)
- Computer Science - Learning (350)
- Computer Science - Databases (299)
- Computer Science - Neural And Evolutionary Computing (273)
- Computer Science - Software Engineering (271)
- Computer Science - Information Retrieval (265)
- Computer Science - Computational Geometry (262)
- Computer Science - Computational Engineering, Finance, And Science (242)
-
More options
Journal Title
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||