Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
Taming electromagnetic metamaterials for isotropic perfect absorbersAIP advances, 2015-07, Vol.5 (7), p.077119-077119-8 [Peer Reviewed Journal]ISSN: 2158-3226 ;EISSN: 2158-3226 ;DOI: 10.1063/1.4926656Full text available |
|
2 |
Material Type: Article
|
Nutritional status and associated factors in children aged 15-17 years in a suburb in VietnamJournal of advanced biotechnology and experimental therapeutics, 2021, Vol.4 (1), p.17-24 [Peer Reviewed Journal]ISSN: 2616-4760 ;EISSN: 2616-4760 ;DOI: 10.5455/jabet.2021.d102Full text available |
|
3 |
Material Type: Article
|
A Combined Algorithm of Kalman Estimator and Guard Interval Optimization for Mobile WiMAXInternational journal of distributed systems and technologies, 2013-01, Vol.4 (1), p.16-28 [Peer Reviewed Journal]Copyright © 2013, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. ;ISSN: 1947-3532 ;EISSN: 1947-3540 ;DOI: 10.4018/jdst.2013010102Digital Resources/Online E-Resources |
|
4 |
Material Type: Reports
|
Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2005Digital Resources/Online E-Resources |
|
5 |
Material Type: Web Resources
|
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sedimentsDigital Resources/Online E-Resources |
|
6 |
Material Type: Thesises (postgraduate)
|
Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)Digital Resources/Online E-Resources |
|
7 |
Material Type: Conference Proceeding
|
Program specialisation as a preprocessing step for termination analysisWST 2006: Eighth International Workshop on Termination, 2006, p.7-11Digital Resources/Online E-Resources |
|
8 |
Material Type: Article
|
Pregnancy with Heart Disease: Maternal Outcomes and Risk Factors for Fetal Growth RestrictionInternational journal of environmental research and public health, 2019-06, Vol.16 (12), p.2075 [Peer Reviewed Journal]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. ;2019 by the authors. 2019 ;ISSN: 1660-4601 ;ISSN: 1661-7827 ;EISSN: 1660-4601 ;DOI: 10.3390/ijerph16122075 ;PMID: 31212780Full text available |
|
9 |
Material Type: Conference Proceeding
|
Polynomial interpretations as a basis for termination analysis of logic programsLogic Based Program Synthesis and Transformation, Pre-Proceedings, 2005, p.180-186Digital Resources/Online E-Resources |
|
10 |
Material Type: Conference Proceeding
|
Polytool: Proving termination automatically based on polynomial interpretationsLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, Vol.4407, p.210-+ [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349Digital Resources/Online E-Resources |
|
11 |
Material Type: Conference Proceeding
|
Polynomial interpretations as a basis for termination analysis of logic programsLecture Notes in Computer Science, 2005, Vol.3668, p.311-325 [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 354029208X ;ISBN: 9783540292081 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
|
12 |
Material Type: Conference Proceeding
|
Polytool: Proving termination automatically based on polynomial interpretationPreproceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06), 2006, p.188-196Digital Resources/Online E-Resources |
|
13 |
Material Type: Article
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsTheory and Practice of Logic Programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]ISSN: 1471-0684 ;EISSN: 1475-3081Full text available |
|
14 |
Material Type: Article
|
Polytool: polynomial interpretations as a basis for termination analysis of Logic programsarXiv.org, 2009-122009. 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.0912.4360Full text available |
|
15 |
Material Type: Reports
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2009Digital Resources/Online E-Resources |
|
16 |
Material Type: Article
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsTheory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
|
17 |
Material Type: Article
|
Polynomial interpretations as a basis for termination analysis of logic programsTheory and practice of logic programming, 2011-01, Vol.11 (1), p.33 [Peer Reviewed Journal]ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
|
18 |
Material Type: Conference Proceeding
|
Termination analysis of logic programs based on dependency graphsLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, Vol.4915, p.8-22 [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
|
19 |
Material Type: Conference Proceeding
|
Termination analysis of logic programs based on dependency graphsPre-proceedings of LOPSTR07, 2007, p.12-26Digital Resources/Online E-Resources |
|
20 |
Material Type: Article
|
Associated Factors with the Success Rate of Laparoscopic Surgery for Fallopian Tubal Occlusion in Vietnamese Infertile WomenElectronic journal of general medicine, 2021-08, Vol.18 (4), p.em2982021. This work is published 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: 2516-3507 ;EISSN: 2516-3507 ;DOI: 10.29333/ejgm/10868Full text available |