Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Conference Proceeding
|
A natural semantics for logic programs with negationFoundations of Software Technology and Theoretical Computer Science, 2005, p.78-88 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1989 ;ISSN: 0302-9743 ;ISBN: 3540520481 ;ISBN: 9783540520481 ;EISSN: 1611-3349 ;EISBN: 3540468722 ;EISBN: 9783540468721 ;DOI: 10.1007/3-540-52048-1_34Full text available |
|
2 |
Material Type: Conference Proceeding
|
Distributed Estimation of Graph Laplacian Eigenvalues by the Alternating Direction of Multipliers MethodIFAC 2014 World Congress Proceedings, 2014Distributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
3 |
Material Type: Conference Proceeding
|
Default reasoning with specificityLecture notes in computer science, 2000, p.792-806 [Peer Reviewed Journal]2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540677970 ;ISBN: 3540677976 ;EISSN: 1611-3349Full text available |
|
4 |
Material Type: Conference Proceeding
|
Consensus-based Distributed Estimation of Laplacian Eigenvalues of Undirected GraphsProceedings of the ECC 2013, 2013, p.227-232Distributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
5 |
Material Type: Conference Proceeding
|
Betrayed by Your AdsDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
6 |
Material Type: Conference Proceeding
|
On the strong completion of logic programsAlgebraic and Logic Programming, 2005, p.158-172 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1990 ;ISSN: 0302-9743 ;ISBN: 9783540531623 ;ISBN: 3540531629 ;EISSN: 1611-3349 ;EISBN: 3540467386 ;EISBN: 9783540467380 ;DOI: 10.1007/3-540-53162-9_37Full text available |
|
7 |
Material Type: Conference Proceeding
|
Distributed network topology reconstruction in presence of anonymous nodesDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
8 |
Material Type: Conference Proceeding
|
EXPERIMENTAL-NUMERICAL RESISTIVITY MEASUREMENTS APPROACH FOR CHARACTERIZATION IN STRUCTURAL TIMBERCoREST VI 2018 proceedings, Vol.27, p.168-173Distributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
9 |
Material Type: Conference Proceeding
|
Association of recycled PC PSU with MPPT and a control application in a smartphoneIECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society, 2020Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/IECON43393.2020.9254905Digital Resources/Online E-Resources |
|
10 |
Material Type: Conference Proceeding
|
An Adaptive Neuro-Fuzzy Inference System for Seasonal Forecasting of Tropical Cyclones Making Landfall along the Vietnam CoastAdvanced Computational Methods for Knowledge Engineering, p.225-236 [Peer Reviewed Journal]Springer International Publishing Switzerland 2013 ;ISSN: 1860-949X ;ISBN: 9783319002927 ;ISBN: 3319002929 ;EISSN: 1860-9503 ;EISBN: 9783319002934 ;EISBN: 3319002937 ;DOI: 10.1007/978-3-319-00293-4_17Full text available |
|
11 |
Material Type: Conference Proceeding
|
Semantic-Based Recommendation Method for Sport News Aggregation SystemLecture Notes in Business Information Processing, 2016, Vol.LNBIP-268, p.32-47Attribution ;DOI: 10.1007/978-3-319-49944-4_3Digital Resources/Online E-Resources |
|
12 |
Material Type: Conference Proceeding
|
Improving binary skin cancer classification based on best model selection method combined with optimizing full connected layers of Deep CNN2020 International Conference on Multimedia Analysis and Pattern Recognition (MAPR)Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/MAPR49794.2020.9237778Digital Resources/Online E-Resources |
|
13 |
Material Type: Conference Proceeding
|
Parallel Two-Phase K-MeansComputational Science and Its Applications – ICCSA 2013, p.224-231 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 3642396399 ;ISBN: 9783642396397 ;EISSN: 1611-3349 ;EISBN: 9783642396403 ;EISBN: 3642396402 ;DOI: 10.1007/978-3-642-39640-3_16Full text available |
|
14 |
Material Type: Conference Proceeding
|
Combining Descriptors Extracted from Feature Maps of Deconvolutional Networks and SIFT Descriptors in Scene Image ClassificationComputational Science and Its Applications – ICCSA 2013, p.321-331 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 3642396399 ;ISBN: 9783642396397 ;EISSN: 1611-3349 ;EISBN: 9783642396403 ;EISBN: 3642396402 ;DOI: 10.1007/978-3-642-39640-3_24Full text available |
|
15 |
Material Type: Conference Proceeding
|
Glass Nanopipette: Fabrication and Application for Studying Living CellsThe Third International Conference on the Development of Biomedical Engineering in Vietnam, p.127-129Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 1680-0737 ;ISBN: 9783642120190 ;ISBN: 3642120199 ;EISSN: 1433-9277 ;EISBN: 9783642120206 ;EISBN: 3642120202 ;DOI: 10.1007/978-3-642-12020-6_31Full text available |
|
16 |
Material Type: Conference Proceeding
|
Fluid replacement in dengue shock syndrome : A randomized, double-blind comparison of four intravenous-fluid regimens. Authors' replyClinical infectious diseases, 1999, Vol.29 (4), p.787-796 [Peer Reviewed Journal]1999 INIST-CNRS ;ISSN: 1058-4838 ;EISSN: 1537-6591 ;CODEN: CIDIELFull text available |
|
17 |
Material Type: Conference Proceeding
|
The influence of La2O3 substitution on the structure and properties of Sr hexaferriteJournal de physique. IV, 1997, Vol.7 (1), p.C1.313-C1.3141997 INIST-CNRS ;ISSN: 1155-4339Full text available |
|
18 |
Material Type: Conference Proceeding
|
Effect of matrix particle size on EPS lightweight concrete propertiesMATEC Web of Conferences, 2018, Vol.251, p.1027 [Peer Reviewed Journal]2018. This work is licensed 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. ;ISSN: 2261-236X ;ISSN: 2274-7214 ;EISSN: 2261-236X ;DOI: 10.1051/matecconf/201825101027Full text available |
|
19 |
Material Type: Conference Proceeding
|
Evaluation of innovative surgical instrument using haptic interface in virtual realityDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
20 |
Material Type: Conference Proceeding
|
A Study on Vietnamese ProsodyNew Challenges for Intelligent Information and Database Systems, p.63-73 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2011 ;ISSN: 1860-949X ;ISBN: 3642199526 ;ISBN: 9783642199523 ;EISSN: 1860-9503 ;EISBN: 9783642199530 ;EISBN: 3642199534 ;DOI: 10.1007/978-3-642-19953-0_7Full text available |