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

Results 21 - 40 of 46  for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
previous page 1 Results 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Creation of Hollow-Gaussian Beam for Optical Trap by Dual-beam Nonliear Fabry-perot Interferometer
Creation of Hollow-Gaussian Beam for Optical Trap by Dual-beam Nonliear Fabry-perot Interferometer
Material Type:
Article 		Add to My Research

Creation of Hollow-Gaussian Beam for Optical Trap by Dual-beam Nonliear Fabry-perot Interferometer

Communications in physics, 2021-07, Vol.31 (3)

ISSN: 0868-3166 ;EISSN: 0868-3166 ;DOI: 10.15625/0868-3166/2021/16029

Full text available

Citations Cited by
22
Nonlinear Double-arm Optical Tweezers for Controlling 3D Microspheres
Nonlinear Double-arm Optical Tweezers for Controlling 3D Microspheres
Material Type:
Article 		Add to My Research

Nonlinear Double-arm Optical Tweezers for Controlling 3D Microspheres

Communications in physics, 2020-10, Vol.30 (4), p.355

ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/4/15373

Full text available

Citations Cited by
23
Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonate
Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonate
Material Type:
Article 		Add to My Research

Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonate

Environmental microbiology, 2012-06, Vol.14 (6), p.1517-1527 [Peer Reviewed Journal]

ISSN: 1462-2912 ;EISSN: 1462-2920 ;DOI: 10.1111/j.1462-2920.2012.02739.x

Full text available

Citations Cited by
24
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Article 		Add to My Research

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory 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/S1471068410000025

Full text available

Citations Cited by
25
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Article 		Add to My Research

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory and Practice of Logic Programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]

ISSN: 1471-0684 ;EISSN: 1475-3081

Full text available

Citations Cited by
26
Polynomial interpretations as a basis for termination analysis of logic programs
Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Article 		Add to My Research

Polynomial interpretations as a basis for termination analysis of logic programs

Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33 [Peer Reviewed Journal]

ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Full text available

Citations Cited by
27
Appearance of an ensemble solitary pulse train in transient backward stimulated Raman scattering
Appearance of an ensemble solitary pulse train in transient backward stimulated Raman scattering
Material Type:
Article 		Add to My Research

Appearance of an ensemble solitary pulse train in transient backward stimulated Raman scattering

Communications in physics, 2016-03, Vol.25 (3), p.275

ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/25/3/6770

Full text available

Citations Cited by
28
Efficient Generation of Coherent Stokes Field in Hydrogen Gas-Filled Hollow Core Photonic Crystal Fibres
Efficient Generation of Coherent Stokes Field in Hydrogen Gas-Filled Hollow Core Photonic Crystal Fibres
Material Type:
Article 		Add to My Research

Efficient Generation of Coherent Stokes Field in Hydrogen Gas-Filled Hollow Core Photonic Crystal Fibres

Communications in physics, 2020-05, Vol.30 (2), p.143

ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/2/14460

Full text available

Citations Cited by
29
Polytool: Proving termination automatically based on polynomial interpretations
Polytool: Proving termination automatically based on polynomial interpretations
Material Type:
Conference Proceeding 		Add to My Research

Polytool: Proving termination automatically based on polynomial interpretations

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, Vol.4407, p.210-+ [Peer Reviewed Journal]

ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349

Digital Resources/Online E-Resources

Citations Cited by
30
FALSE TARGETS CAUSED BY REFLECTION POSITION DETERMINING SOLUTION AND SYSTEM FOR SECONDARY SURVEILLANCE RADAR
FALSE TARGETS CAUSED BY REFLECTION POSITION DETERMINING SOLUTION AND SYSTEM FOR SECONDARY SURVEILLANCE RADAR
Material Type:
Patent 		Add to My Research

FALSE TARGETS CAUSED BY REFLECTION POSITION DETERMINING SOLUTION AND SYSTEM FOR SECONDARY SURVEILLANCE RADAR

Digital Resources/Online E-Resources

Citations Cited by
31
The Dependency Triple Framework for Termination of Logic Programs
The Dependency Triple Framework for Termination of Logic Programs
Material Type:
Book Chapter 		Add to My Research

The Dependency Triple Framework for Termination of Logic Programs

Logic-Based Program Synthesis and Transformation, p.37-51 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 3642125913 ;ISBN: 9783642125911 ;EISSN: 1611-3349 ;EISBN: 9783642125928 ;EISBN: 3642125921 ;DOI: 10.1007/978-3-642-12592-8_4

Digital Resources/Online E-Resources

Citations Cited by
32
Polynomial interpretations as a basis for termination analysis of logic programs
Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Conference Proceeding 		Add to My Research

Polynomial interpretations as a basis for termination analysis of logic programs

Lecture Notes in Computer Science, 2005, Vol.3668, p.311-325 [Peer Reviewed Journal]

ISSN: 0302-9743 ;ISBN: 354029208X ;ISBN: 9783540292081 ;EISSN: 1611-3349

Digital Resources/Online E-Resources

Citations Cited by
33
Termination Analysis of Logic Programs Based on Dependency Graphs
Termination Analysis of Logic Programs Based on Dependency Graphs
Material Type:
Book Chapter 		Add to My Research

Termination Analysis of Logic Programs Based on Dependency Graphs

Logic-Based Program Synthesis and Transformation, p.8-22 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2008 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;EISBN: 9783540787693 ;EISBN: 3540787690 ;DOI: 10.1007/978-3-540-78769-3_2

Digital Resources/Online E-Resources

Citations Cited by
34
Polytool: Proving Termination Automatically Based on Polynomial Interpretations
Polytool: Proving Termination Automatically Based on Polynomial Interpretations
Material Type:
Book Chapter 		Add to My Research

Polytool: Proving Termination Automatically Based on Polynomial Interpretations

Logic-Based Program Synthesis and Transformation, p.210-218 [Peer Reviewed Journal]

Springer Berlin Heidelberg 2007 ;ISSN: 0302-9743 ;ISBN: 354071409X ;ISBN: 9783540714095 ;EISSN: 1611-3349 ;EISBN: 9783540714101 ;EISBN: 3540714103 ;DOI: 10.1007/978-3-540-71410-1_15

Digital Resources/Online E-Resources

Citations Cited by
35
Termination analysis of logic programs based on dependency graphs
Termination analysis of logic programs based on dependency graphs
Material Type:
Conference Proceeding 		Add to My Research

Termination analysis of logic programs based on dependency graphs

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, Vol.4915, p.8-22 [Peer Reviewed Journal]

ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349

Digital Resources/Online E-Resources

Citations Cited by
36
Influences of Trade Union Activities on Improving Labor Productivities in Enterprises: A Comparative Study
Influences of Trade Union Activities on Improving Labor Productivities in Enterprises: A Comparative Study
Material Type:
Book Chapter 		Add to My Research

Influences of Trade Union Activities on Improving Labor Productivities in Enterprises: A Comparative Study

Contemporary Economic Issues in Asian Countries: Proceeding of CEIAC 2022, Volume 2, 2023, p.359-387

The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2023 ;ISBN: 9819904897 ;ISBN: 9789819904891 ;EISBN: 9789819904907 ;EISBN: 9819904900 ;DOI: 10.1007/978-981-99-0490-7_22 ;OCLC: 1385454398 ;LCCallNum: HC411-495

Digital Resources/Online E-Resources

Citations Cited by
37
Leiomyomatosis peritonealis dissemianata five years after laparoscopic uterine myomectomy: A case report
Leiomyomatosis peritonealis dissemianata five years after laparoscopic uterine myomectomy: A case report
Material Type:
Reports 		Add to My Research

Leiomyomatosis peritonealis dissemianata five years after laparoscopic uterine myomectomy: A case report

Annals of medicine and surgery (2012), 2021, Vol.66, p.102377-102377

ISSN: 2049-0801 ;EISSN: 2049-0801 ;DOI: 10.1016/j.amsu.2021.102377

Full text available

Citations Cited by
38
Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)
Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)
Material Type:
Thesises (postgraduate) 		Add to My Research

Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)

Digital Resources/Online E-Resources

Citations Cited by
39
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sediments
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sediments
Material Type:
Web Resources 		Add to My Research

Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sediments

Digital Resources/Online E-Resources

Citations Cited by
40
Polytool: Proving termination automatically based on polynomial interpretation
Polytool: Proving termination automatically based on polynomial interpretation
Material Type:
Conference Proceeding 		Add to My Research

Polytool: Proving termination automatically based on polynomial interpretation

Preproceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06), 2006, p.188-196

Digital Resources/Online E-Resources

Citations Cited by

Results 21 - 40 of 46  for All Library Resources

Sorted by: Sorted by: RelevanceOr hit Enter to replace sort method
previous page 1 Results 2 3 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Creation Date 

From To
Refine
  1. Before 2007  (7)
  2. 2007 To 2009  (9)
  3. 2010 To 2012  (6)
  4. 2013 To 2019  (8)
  5. After 2019  (16)
  6. More options open sub menu

Language 

  1. English  (45)
  2. Japanese  (3)
  3. Dutch  (1)
  4. German  (1)
  5. 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