Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
Material Type: Article
|
Nonlinear Double-arm Optical Tweezers for Controlling 3D MicrospheresCommunications in physics, 2020-10, Vol.30 (4), p.355ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/4/15373Full text available |
|
22 |
Material Type: Article
|
Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonateEnvironmental 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.xFull text available |
|
23 |
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 |
|
24 |
Material Type: Article
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 100499 ;ISSN: 1471-0684 ;ISSN: 1475-3081 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
|
25 |
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]Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
|
26 |
Material Type: Article
|
Appearance of an ensemble solitary pulse train in transient backward stimulated Raman scatteringCommunications in physics, 2016-03, Vol.25 (3), p.275ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/25/3/6770Full text available |
|
27 |
Material Type: Article
|
Efficient Generation of Coherent Stokes Field in Hydrogen Gas-Filled Hollow Core Photonic Crystal FibresCommunications in physics, 2020-05, Vol.30 (2), p.143ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/2/14460Full text available |
|
28 |
Material Type: Conference Proceeding
|
Polytool: Proving termination automatically based on polynomial interpretationspublic 528675 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-71410-1_15Digital Resources/Online E-Resources |
|
29 |
Material Type: Book Chapter
|
The Dependency Triple Framework for Termination of Logic ProgramsLogic-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_4Digital Resources/Online E-Resources |
|
30 |
Material Type: Conference Proceeding
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 65589 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/11562931_24Digital Resources/Online E-Resources |
|
31 |
Material Type: Book Chapter
|
Termination Analysis of Logic Programs Based on Dependency GraphsLogic-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_2Digital Resources/Online E-Resources |
|
32 |
Material Type: Book Chapter
|
Polytool: Proving Termination Automatically Based on Polynomial InterpretationsLogic-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_15Digital Resources/Online E-Resources |
|
33 |
Material Type: Conference Proceeding
|
Termination analysis of logic programs based on dependency graphspublic 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2Digital Resources/Online E-Resources |
|
34 |
Material Type: Book Chapter
|
Influences of Trade Union Activities on Improving Labor Productivities in Enterprises: A Comparative StudyContemporary Economic Issues in Asian Countries: Proceeding of CEIAC 2022, Volume 2, 2023, p.359-387The 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-495Digital Resources/Online E-Resources |
|
35 |
Material Type: Reports
|
Leiomyomatosis peritonealis dissemianata five years after laparoscopic uterine myomectomy: A case reportAnnals of medicine and surgery (2012), 2021, Vol.66, p.102377-102377ISSN: 2049-0801 ;EISSN: 2049-0801 ;DOI: 10.1016/j.amsu.2021.102377Full text available |
|
36 |
Material Type: Conference Proceeding
|
The Optical DisdrometerThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.28Digital Resources/Online E-Resources |
|
37 |
Material Type: Conference Proceeding
|
Device for measuring parameters of the meteorological precipitationThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.1Digital Resources/Online E-Resources |
|
38 |
Material Type: Conference Proceeding
|
Inter-Carrier Interference suppression combined with channel estimation for mobile OFDM systemThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2016, p.61Digital Resources/Online E-Resources |
|
39 |
Material Type: Thesises (postgraduate)
|
|
|
40 |
Material Type: Web Resources
|
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sedimentsDigital Resources/Online E-Resources |