Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
Peer Review StatementJournal of physics. Conference series, 2022-07, Vol.2301 (1), p.011002 [Peer Reviewed Journal]Published under licence by IOP Publishing Ltd. This work is published under http://creativecommons.org/licenses/by/3.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/2301/1/011002Full text available |
|
2 |
Material Type: Article
|
Computational Thermodynamics: Recent developments and future potential and prospectsPhysica Status Solidi. B: Basic Solid State Physics, 2014-01, Vol.251 (1), p.9-13 [Peer Reviewed Journal]2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0370-1972 ;EISSN: 1521-3951 ;DOI: 10.1002/pssb.201470107Full text available |
|
3 |
Material Type: Article
|
Peer review declarationJournal of physics. Conference series, 2021-02, Vol.1812 (1) [Peer Reviewed Journal]2021. This work is published under http://creativecommons.org/licenses/by/3.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;ISSN: 1742-6588 ;EISSN: 1742-6596 ;DOI: 10.1088/1742-6596/1812/1/011003Full text available |
|
4 |
Material Type: Conference Proceeding
|
Positive First-order Logic on WordsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS52264.2021.9470602Digital Resources/Online E-Resources |
|
5 |
Material Type: Article
|
Current Status and Future Development of Quantum ComputationZhongguo gong cheng ke xue (Online), 2022-12, Vol.24 (4), p.133-144ISSN: 1009-1742 ;EISSN: 2096-0034 ;DOI: 10.15302/J-SSCAE-2022.04.016Full text available |
|
6 |
Material Type: Article
|
National Strategic Computing InitiativeComputing in science & engineering, 2018-09, Vol.20 (5), p.c1-c1 [Peer Reviewed Journal]ISSN: 1521-9615 ;EISSN: 1558-366X ;DOI: 10.1109/MCSE.2018.05329806Full text available |
|
7 |
Material Type: Article
|
Energy Optimized Task Mapping for Reliable and Real-Time Networked SystemsACM transactions on sensor networks, 2023-11, p.1-24 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1550-4859 ;EISSN: 1550-4867 ;DOI: 10.1145/3584985Digital Resources/Online E-Resources |
|
8 |
Material Type: Article
|
Computational thermodynamics: Recent developments and future potential and prospects (Phys. Status Solidi B 1/2014)Physica Status Solidi. B: Basic Solid State Physics, 2014-01, Vol.251 (1), p.np-n/a [Peer Reviewed Journal]2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim ;ISSN: 0370-1972 ;EISSN: 1521-3951 ;DOI: 10.1002/pssb.201470101Full text available |
|
9 |
Material Type: Conference Proceeding
|
Multi-Resource List Scheduling of Moldable Parallel Jobs under Precedence ConstraintsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3472456.3472487Digital Resources/Online E-Resources |
|
10 |
Material Type: Conference Proceeding
|
On sequentiality and well-bracketing in the π-calculusDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS52264.2021.9470559Digital Resources/Online E-Resources |
|
11 |
Material Type: Conference Proceeding
|
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum MechanicsDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3209108.3209131Digital Resources/Online E-Resources |
|
12 |
Material Type: Article
|
Image Segmentation Using Euleras Elastica as the RegularizationJournal of scientific computing, 2013-11, Vol.57 (2), p.414-438 [Peer Reviewed Journal]ISSN: 0885-7474 ;EISSN: 1573-7691 ;DOI: 10.1007/s10915-013-9710-3Full text available |
|
13 |
Material Type: Article
|
Elastic and Thermal Properties of Double Doped Orthovanadate: Eu1ax (La0.254Y0.746) x VO3Journal of low temperature physics, 2013-12, Vol.173 (5), p.227-238 [Peer Reviewed Journal]ISSN: 0022-2291 ;EISSN: 1573-7357 ;DOI: 10.1007/s10909-013-0896-4Full text available |
|
14 |
Material Type: Article
|
Coordinated learning by exploiting sparse interaction in multiagentsystemsConcurrency and computation, 2014-01, Vol.26 (1), p.51-70 [Peer Reviewed Journal]ISSN: 1532-0626 ;EISSN: 1532-0634 ;DOI: 10.1002/cpe.2947Full text available |
|
15 |
Material Type: Article
|
Context-awareness and Nature of Computation and CommunicationMobile networks and applications, 2022-10, Vol.27 (5), p.2010-2012 [Peer Reviewed Journal]The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2022. ;ISSN: 1383-469X ;EISSN: 1572-8153 ;DOI: 10.1007/s11036-022-01971-1Full text available |
|
16 |
Material Type: Article
|
On the Fair Comparison of Optimization Algorithms in Different MachinesThe annals of applied statistics, 2023-08 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1932-6157 ;EISSN: 1941-7330Digital Resources/Online E-Resources |
|
17 |
Material Type: Conference Proceeding
|
Bouncing threads for circular and non-wellfounded proofs -- Towards compositionality with circular proofs (Extended version)Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 1450393519 ;ISBN: 9781450393515 ;DOI: 10.1145/3531130.3533375Digital Resources/Online E-Resources |
|
18 |
Material Type: Article
|
Fast Computation of the Performance of Lunar Rover Drive Motor with Skewed Stator Slots Based on 2D FEMJournal of computers, 2013-12, Vol.8 (12), p.3196-3196ISSN: 1796-203X ;EISSN: 1796-203X ;DOI: 10.4304/jcp.8.12.3196-3195Full text available |
|
19 |
Material Type: Article
|
COMPUTING THE ACTION OF THE MATRIX EXPONENTIAL, WITH AN APPLICATION TO EXPONENTIAL INTEGRATORSSIAM journal on scientific computing, 2011-01, Vol.33 (1-2), p.488-511 [Peer Reviewed Journal]2015 INIST-CNRS ;Copyright Society for Industrial and Applied Mathematics 2011 ;ISSN: 1064-8275 ;EISSN: 1095-7197 ;DOI: 10.1137/100788860 ;CODEN: SJOCE3Full text available |
|
20 |
Material Type: Article
|
Adjusting the adjusted Rand Index A multinomialstoryComputational statistics, 2022-06, Vol.38 (1), p.327-347 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0943-4062 ;EISSN: 1613-9658 ;DOI: 10.1007/s00180-022-01230-7Full text available |